Nonmonotonic temporal logic and its Kripke semantics

Yasushi Fujiwara, Shinichi Honiden

Research output: Contribution to journalArticle

2 Citations (Scopus)

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 languageEnglish
Pages (from-to)16-22
Number of pages7
JournalJournal of Information Processing
Volume14
Issue number1
Publication statusPublished - 1991 Jan 1
Externally publishedYes

Fingerprint

Temporal logic
Semantics

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Nonmonotonic temporal logic and its Kripke semantics. / Fujiwara, Yasushi; Honiden, Shinichi.

In: Journal of Information Processing, Vol. 14, No. 1, 01.01.1991, p. 16-22.

Research output: Contribution to journalArticle

@article{a38a44c6b3d9443e9e54b314f40d12d6,
title = "Nonmonotonic temporal logic and its Kripke semantics",
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.",
author = "Yasushi Fujiwara and Shinichi Honiden",
year = "1991",
month = "1",
day = "1",
language = "English",
volume = "14",
pages = "16--22",
journal = "Journal of Information Processing",
issn = "0387-5806",
publisher = "Information Processing Society of Japan",
number = "1",

}

TY - JOUR

T1 - Nonmonotonic temporal logic and its Kripke semantics

AU - Fujiwara, Yasushi

AU - Honiden, Shinichi

PY - 1991/1/1

Y1 - 1991/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0025795518&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0025795518&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0025795518

VL - 14

SP - 16

EP - 22

JO - Journal of Information Processing

JF - Journal of Information Processing

SN - 0387-5806

IS - 1

ER -