研究課題
このプロジェクトの目的はルールベースプログラミングのための高度なシステムを設計し、実現することであった。この目的の実現のために、ρLogと呼ぶルールベースプログラミングシステムを設計・実装した。ρLogはwww.score.cs.tsukuba.ac.jp/~mmarin/RhoLogで公開している。公開されたソフトウェアパッケジはMathematicaのコード、利用のためのドキュメント、様々な例題から成っており、Mathematicaのシステムがインストールされている計算機で、ユーザーがすぐにρLogを利用できるようになっている。ドキュメントはMathematicaのヘルプ機能を用いて作成されており、使いやすくなっている。ρLogの計算モデルはSLDリゾリューションに基づき、最左リテラル優先選択、否定の有限失敗としての解釈をとった実現となっている。エルブランユニバースを構成する項は、順序変数(シーケンス変数)を許した一階の項である。我々はこの計算モデルが健全かつ準完全であることを証明している。これらの結果により我々のルールベースシステムが一般的プログラミングのためにも有効であることを示した。さらに、文脈変数を用いてパターン・マッチングのメカニズムを拡張し、順序変数と文脈変数を用いた正規表現の導入を行った。これらの拡張により、ρLogはXML文書のような木構造をもつデータに有効であることが示せた。ρLogのさらなる応用の可能性として、多様なXML文書処理の処理に加え、様々な書換戦略による書換え計算、制約付き関数論理プログラミングシステムの実装のための計算モデル、様々な論理体系の試験的実装のための計算モデル、定理証明系の基礎となる計算モデルとしての利用が考えられる。
すべて 2007 2006
すべて 雑誌論文 (5件)
Proceedings of 22 nd ACM Symposium on Applied Computing
ページ: 767-772
Proceedings Second International Congress on Mathematical Software, LNCS 4151
ページ: 361-372
Proceedings of the 22th Intl. Workshop on Unification (UNIF 2006)
ページ: 89-107
Mathematica in Education and Research 11 (1)
ページ: 50-66
Journal of Applied Non-Classical Logic 16 (1-2)
ページ: 151-168
