Finding Minimal Models by the Semantic Tableaux System - Collections

＜technical report＞
Finding Minimal Models by the Semantic Tableaux System

Creator	Creator Name Hirata, Kouichi 平田, 耕一 Affiliation Affiliation Name Research Institute of Fundamental Information Science, Kyushu University 九州大学理学部附属基礎情報学研究施設
Language	English
Publisher	Research Institute of Fundamental Information Science, Kyushu University
Publisher	九州大学理学部附属基礎情報学研究施設
Date	1993-05
Source Title	RIFIS Technical Report
Vol	72
Publication Type	Accepted Manuscript
Access Rights	open access
Related DOI	RIFIS Technical Report \|\| 72
Related DOI	http://www.i.kyushu-u.ac.jp/research/report.html
Related URI	RIFIS Technical Report \|\| 72
Related URI	http://www.i.kyushu-u.ac.jp/research/report.html
Relation	RIFIS Technical Report \|\| 72
Relation	http://www.i.kyushu-u.ac.jp/research/report.html
Abstract	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.show more

File	FileType	Size	Views	Description
72.ps.tar	pdf	171 KB	374
72.ps	tgz	132 KB	11