氏名: 谷口外志光 (l0461647)
論文題目: 多エージェント系自己認識論理式の標準形への変換手続きの実現と評価に関する研究
論文概要
多エージェント系自己認識論理とは、相互通信を行なう複数のエー
ジェントが存在する場合に、各々のエージェントが前提知識から推
論によって導くことのできる知識を特徴付けるものである。その特
徴を解析するために、与えられた論理式が定理あるいは恒真式であ
るかどうかを判定する決定手続きが与えられている。多エージェン
ト系自己認識論理の決定手続きに対し、様相演算子の入れ子の深さ
が2以上の論理式を用いた場合、その操作は入れ子の深さが1である
場合よりも煩雑になると考えられる。本論文では、多エージェント
系自己認識論理で扱われる論理式を、それと同値な標準形に変換す
る手続きの実現について述べると共に、その変換が決定手続きに対
して効率面で有効であるかどうかを述べる。
目次に戻る