| Project/Area Number |
17700025
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
MARIN Mircea 筑波大学, 大学院システム情報工学研究科, 講師 (60396603)
|
|---|
| Project Period (FY) |
2005 – 2006
|
| Project Status |
Completed (Fiscal Year 2006)
|
| Budget Amount *help |
¥2,200,000 (Direct Cost: ¥2,200,000)
Fiscal Year 2006: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 2005: ¥1,200,000 (Direct Cost: ¥1,200,000)
|
|---|
| Keywords | ソフトウェア学 / 情報基礎 / ルールベースプログラミング / 正則言語 / パターンマッチング |
|---|
| Research Abstract |
このプロジェクトの目的はルールベースプログラミングのための高度なシステムを設計し、実現することであった。この目的の実現のために、ρLogと呼ぶルールベースプログラミングシステムを設計・実装した。ρLogはwww.score.cs.tsukuba.ac.jp/~mmarin/RhoLogで公開している。公開されたソフトウェアパッケジはMathematicaのコード、利用のためのドキュメント、様々な例題から成っており、Mathematicaのシステムがインストールされている計算機で、ユーザーがすぐにρLogを利用できるようになっている。ドキュメントはMathematicaのヘルプ機能を用いて作成されており、使いやすくなっている。
ρLogの計算モデルはSLDリゾリューションに基づき、最左リテラル優先選択、否定の有限失敗としての解釈をとった実現となっている。エルブランユニバースを構成する項は、順序変数(シーケンス変数)を許した一階の項である。我々はこの計算モデルが健全かつ準完全であることを証明している。これらの結果により我々のルールベースシステムが一般的プログラミングのためにも有効であることを示した。さらに、文脈変数を用いてパターン・マッチングのメカニズムを拡張し、順序変数と文脈変数を用いた正規表現の導入を行った。これらの拡張により、ρLogはXML文書のような木構造をもつデータに有効であることが示せた。
ρLogのさらなる応用の可能性として、多様なXML文書処理の処理に加え、様々な書換戦略による書換え計算、制約付き関数論理プログラミングシステムの実装のための計算モデル、様々な論理体系の試験的実装のための計算モデル、定理証明系の基礎となる計算モデルとしての利用が考えられる。
|
