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

新田克己， 加藤丈智 (東京工業大学）
東条敏， 兼岩憲 (北陸先端科学技術大学院大学)

• 研究の背景と目的
• 研究の内容
  • (1)知識表現言語の開発
  • (2)論証構築支援ツールの開発
• 研究の成果
  • 研究上の成果
  • ソフトウエアとしての成果
• 残された課題
• 自己評価