Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 16-22 |
| Number of pages | 7 |
| Journal | Journal of information processing |
| Volume | 14 |
| Issue number | 1 |
| Publication status | Published - 1991 Jan 1 |
| Externally published | Yes |
ASJC Scopus subject areas
- Computer Science(all)