著者

石下 裕里 戸次 大介

出版者

人工知能学会

雑誌

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

巻号頁・発行日

vol.25, 2011

---

本研究の目的は、「前提」を形式的に記述することである。Heim(1983)以来、動的論理を用いた前提の分析が主流であり、戸次(2010)では複数オブジェクトや量化を扱えるように拡張されている。しかし、戸次(2010)の証明システムは動的論理に対して間接的である。そこで本研究では、Harel(2000)等に見られる、動的命題を様相演算子とみなす考え方に基づき、直接的な証明システムの構築を試みる。