メタ述語によるルール問い合わせシステムとその改良
スポンサーリンク
概要
- 論文の詳細を見る
前論文において,SDL-導出方法が適用できないルール問い合わせシステムに対して,そのメタシステムを導入することにより,メタシステムでのSDL-導出方法が適用できることを示した.しかしながら,メタルールの導入が必要であり,導出における導出木が一般的には複雑になる.この論文で,前論文と同値でメタルールの少ない体系があることを示す.さらに,その体系では,Prologと同様に,メタルール間の頭部の単一化で導出木が構築できることを示す.
- 東海大学の論文
- 2003-03-30