(24) 動的に変化する状況における法的推論システムの研究開発

　 　　 本調査研究は、ICOTにおいて開発された New Helic-II において課題と して残された状況依存性の記述と言語セマンティクスの整理を可能にするよう 言語仕様を検討し, 実装することを目的とする。状況依存性の記述について, 状況を変数化することにより動的な束縛を行なうしくみを実現する。またセマ ンティクスについては, プロパティとイベントの区別を行なった型階層とユニ フィケーションのしくみを設計開発する。

研究の期間　　平成８年６月１日より平成９年３月末日（２年計画の初年度）

研究従事者

東条　敏　　北陸先端科学技術大学院大学　助教授

國藤　進　　北陸先端科学技術大学院大学　教授

新田　克己　東京工業大学　教授

大森　正則　北陸先端科学技術大学院大学　修士課程２年

委託研究の平成８年度計画については、こちらをご覧ください。