<学術雑誌論文>
APPROXIMATE EXTENSIONS IN DEFAULT LOGIC

作成者
本文言語
出版者
発行日
雑誌名
開始ページ
終了ページ
出版タイプ
アクセス権
概要 The extension, one of the most important notions in Reiter's default logic, is not computable in general. This paper proposes new notions of sub-extension and approximate extension which can successiv...ely be constructed from a given default theory. By introducing a time-bound into them, we show that every step of our construction terminates in a finite time. We also prove that the set of approximate extensions contains the set of extensions in Reiter's sense.続きを見る

本文情報を非表示

rifis-tr-47 pdf 807 KB 73 RIFIS Technical Report
p007 pdf 555 KB 40 Bulletin of Informatics and Cybernetics

詳細

レコードID
その他のタイトル
査読有無
関連情報
ISSN
NCID
登録日 2009.04.22
更新日 2018.08.31