Nonmonotonic temporal logic and its Kripke semantics

Yasushi Fujiwara*, Shinichi Honiden

*この研究の対応する著者

研究成果: Article査読

2 被引用数 (Scopus)

抄録

Human commonsense reasoning is at the same time nonmonotonic and temporal. This paper proposes a logic for nonmonotonic temporal reasoning. The nonmonotonic temporal logic 'autoepistemic temporal logic' (ATL) is an extension of both autoepistemic logic, a kind of nonmonotonic logic, and propositional temporal logic (PTL). A spatio-temporal logic ST5, which is suitable for reasoning about multiprocess networks, is also proposed, and a close relationship is exhibited between the semantics of ATL and ST5. Stable expansions of premises of a certain type are then characterized in terms of statewise autoepistemic stable expansions. The result may also provide a general approach to constructing nonmonotonic logics with possible-world semantics.

本文言語English
ページ(範囲)16-22
ページ数7
ジャーナルJournal of information processing
14
1
出版ステータスPublished - 1991 1 1
外部発表はい

ASJC Scopus subject areas

  • コンピュータ サイエンス(全般)

フィンガープリント

「Nonmonotonic temporal logic and its Kripke semantics」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル