A Nonmonotonic Temporal Logic and Its Kripke Semantics
スポンサーリンク
概要
- 論文の詳細を見る
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.
- 一般社団法人情報処理学会の論文
- 1991-03-31
著者
-
Fujiwara Yasushi
Systems & Software Engineering Laboratory Research And Development Center Toshiba Corporation
-
Fujiwara Yasushi
Systems & Software Engineering Laboratory Toshiba Corporation
-
HONIDEN SHINICHI
Systems & Software Engineering Division, Toshiba Corporation
-
Honiden Shinichi
Systems & Software Engineering Laboratory Toshiba Corporation
関連論文
- Software Prototyping with Reusable Components
- A High-Level Petri Net for Accurate Modeling of Reactive and Concurrent Systems (Special Section on Description Models for Concurrent Systems and Their Applications)
- A Nonmonotonic Temporal Logic and Its Kripke Semantics
- An Analysis of Simulation between Petri Nets through Rewriting Logic
- Performance Evaluation by Qpit*i
- Bisimulation as Performance Equivalence Criterion : (max, +) Case (Special Issue on New System Software)
- Dinaturality of Simple Subtyping