Efficient reasoning about rich temporal domains
type: Item
instance of: scholarly article
title: Efficient reasoning about rich temporal domains
zbMATH Open document ID: 0662.03014
DOI: 10.1007/BF00297513
author: Yoav Shoham
published in: Journal of Philosophical Logic
publication date: 1988-01-01T00:00:00Z
review text: Much of the discussion of this article has been extensively presented elsewhere [the author, Reasoning about change (MIT Press, Boston, MA, 1987)]. The approach concerns the construction of the logic of chronological ignorance which is intended to face the problem of nonmonotonic temporal inferences. In developing the theory the author gives a very general framework for nonmonotonic logics: the preference logics. The notions of preferential satisfiability, validity and entailment are defined. The syntax and semantics of a monotonic logic of temporal knowledge (TK) are first introduced. The nonmonotonic version of the logic of TK follows as the chronological ignorance (CI). The syntax of the two is identical and the semantics of CI follows by associating with TK a preference criterion on Kripke structures. The notions of latest time point of a base formula and chronologically maximally ignorant model of a formula are defined. The framework is used to offer a solution to an instance of the qualification problem: the shooting scenario. Finally, causal theories which are supported by the CI are discussed and a solution to the extended prediction problem is suggested.
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68T99
zbMATH DE Number: 4081515
zbMATH Keywords: temporal logic
zbMATH Keywords: logic of chronological ignorance
zbMATH Keywords: nonmonotonic temporal inferences
zbMATH Keywords: nonmonotonic logics
zbMATH Keywords: preference logics
zbMATH Keywords: temporal knowledge
zbMATH Keywords: extended prediction problem
reviewed by: Dan Cristea
MaRDI profile type: Publication
cites work: Q3703315
cites work: Nonmonotonic logic and temporal projection
cites work: Closed-world databases and circumscription
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Nonmonotonic Logic II
cites work: Non-monotonic logic. I
cites work: Semantical considerations on nonmonotonic logic
cites work: A logic for default reasoning
cites work: Problems in formal temporal reasoning
full work available at URL: https://doi.org/10.1007/bf00297513
OpenAlex ID: W4237838644
description: scientific article; zbMATH DE number 4081515