氏名: 花房 浩章 (089433530)
論文題目: タブロー法を用いた知識論理の証明システムに関する研究
論文概要
命題論理に「知っている」という様相演算子を加えた知識の論理は、人工知能論やゲームの理論との関わりにおいて注目され、分散システムにおいても盛んに研究が行なわれている。知識の論理では、知識を特徴づけるさまざまな公理を組み合わせることによって多くの体系が考えられる。与えられた論理式が与えられた体系の定理であるかどうかということの判定は、体系の特徴づけという観点から重要であるが、それは容易ではない。そこで本研究では、代表的な体系（K,T,S4など）についてその性質を考察するとともに、タブロー法を用いて各体系の証明システムを実現する。
目次に戻る