著者

南部 優 高橋 和子

出版者

人工知能学会

雑誌

人工知能学会全国大会論文集 (ISSN:13479881)

巻号頁・発行日

vol.24, 2010

---

規則と達成すべき目標を内包する体系化された法規範を形式的に表現し, その法規範およびそれに変更が加えられたときの 変更の妥当性を検証する手法について述べる. 本研究では規範に則しかつ目標を達成できるモデルが存在することを妥当性と考え, 義務と許可の概念を陽に扱うことのできる義務論理を使って検証の枠組みを与える. この手法を授業カリキュラムに関する規程に応用した例を示す.