主催: 社団法人 人工知能学会
会議名: 2011年度人工知能学会全国大会(第25回)
回次: 25
開催地: 岩手県岩手市 アイーナ
開催日: 2011/06/01 - 2011/06/03
階層グラフ書換え言語モデルLMNtalは高い表現力で様々な計算モデルを統合しているが,データ間に複雑な参照構造を持つ計算モデルは実現困難であった.今回我々はLMNtalを階層ハイパーグラフ書換えモデルへ拡張することで,制約記述言語CHRなどの計算モデルをより自然に記述可能とし,かつ理想的な計算量での実行を実現した.本論文ではHyperLMNtalとそれを用いたモデルの記述例,動作例などを紹介する.