ルールベースプログラミングシステムの設計とその応用

2005 年度 実績報告書

• 研究課題/領域番号: 17700025
• 研究機関: 筑波大学
• 研究代表者: MARIN Mircea 筑波大学, 大学院・システム情報工学研究科, 講師 (60396603)
• キーワード: ルールベースプログラミング / 正則言語 / パターンマッチング

研究概要

本プロジェクトでは,ルールに基づくプログラミングシステムRhoLogの設計,実装,およびその応用を行っている.このシステムのプロトタイプの実装はすでに完了しているので,本年度は,そのプロトタイプに,さらに文脈と列を扱い,正則制約を備えたパターンマッチングの機能を追加し,拡張を行った.このためには,RhoLogの計算モデルを改良する必要があった.
現在のRhoLogには,この新しい機能を備えたパターンマッチングが実装されている.この改良によりRhoLogは,DTDやXML Schemaに適合するXML文書やデータの妥当性検査や処理に非常に適したものとなった.さらに,XMLの変換,構文解析,DNA解析などがRhoLogの応用に適していると考えられるので,これらの応用の検討を行った.
RhoLogは,Mathematicaのパッケージとして実装されており,以下のURLで公開されているhttp:/www.score.cs.tsukuba.ac.jp/〜mmarin/RhoLog.このパッケージは,RhoLogのプログラミング原理や典型的な応用例についての統合化されたヘルプ及びチュートリアルを含んでいる.
正則制約によるパターンマッチングの理論については,単一化に関する国際ワークショップ(UNIF'05)及び論理,プログラミング,人工知能と推論に関する国際会議(LPAR2005)で研究発表を行った.

研究成果

• [雑誌論文] Computational Origami of a Morley's Triangle (2006)
  • 著者名/発表者名: Tetsuo Ida, Hidekazu Takahashi, Mircea Marin
  • 雑誌名: Proceedings of MKM 2005. Lecture Notes in Artificial Intelligence. LNAT3863 ページ: 267-282
• [雑誌論文] Progress of RhoLog, a Rule-based Programming System (2006)
  • 著者名/発表者名: Mircea Marin, Tetsuo Ida
  • 雑誌名: Mathematica in Education and Research. 11 ページ: 50-66
• [雑誌論文] Can Context Matching be Used for XML Querying? (2005)
  • 著者名/発表者名: Temur Kutsia, Mircea Marin
  • 雑誌名: Proceedings of the 19^<th> International Workshop on Unification (UNIF'05), Nara, Japan. ページ: 77-92
• [雑誌論文] Rule-based Programming with RhoLog (2005)
  • 著者名/発表者名: Mircea Marin, Tetsuo Ida
  • 雑誌名: Proceedings of SYNASC 2005, Timisoara, Romania. IEEE Computer Society Press. ページ: 8
• [雑誌論文] Morley's Theorem Revisited Through Computational Origami (2005)
  • 著者名/発表者名: Tetsuo Ida, Hidekazu Takahashi, Dorin Tepeneu, Mircea Marin
  • 雑誌名: eProceedings of International Mathematica Symposium IMS 2005. ページ: 55
• [雑誌論文] Matching with Regular Constraints (2005)
  • 著者名/発表者名: Temur Kutsia, Mircea Marin
  • 雑誌名: Proceedings of LPAR 2005.Lecture Notes in Artificial Intelligence. 3835 ページ: 215-229