<テクニカルレポート>
Finding Minimal Models by the Semantic Tableaux System

作成者
本文言語
出版者
発行日
雑誌名
出版タイプ
アクセス権
概要 The semantic tableaux system is a procedure to decide whether or not a given formula is valid. The system also works for finding minimal models of formulas. In this paper, we apply this function to ci...rcumscription. We show that we can obtain the minimal models of circumscription just by checking the models produced by the system, and hence we do not need to check all possible models of it. We also present an algorithm to produce the models of circumscription based on the system.続きを見る

本文情報を非表示

72.ps.tar pdf 171 KB 92  
72.ps tgz 132 KB 5  

詳細

レコードID
査読有無
関連情報
タイプ
登録日 2009.04.22
更新日 2018.08.31