Charles Darwin University

CDU eSpace
Institutional Repository

 
CDU Staff and Student only
 

Applying the persistent set approach in temporal reasoning

Zhang, Yan and Foo, Norman Y. (1995). Applying the persistent set approach in temporal reasoning. Annals of Mathematics and Artificial Intelligence,14(1):75-98.

Document type: Journal Article
Citation counts: Scopus Citation Count Cited 2 times in Scopus Article | Citations

Google Scholar Search Google Scholar

Title Applying the persistent set approach in temporal reasoning
Author Zhang, Yan
Foo, Norman Y.
Journal Name Annals of Mathematics and Artificial Intelligence
Publication Date 1995
Volume Number 14
Issue Number 1
ISSN 1012-2443   (check CDU catalogue  open catalogue search in new window)
Scopus ID 2-s2.0-21844495851
Start Page 75
End Page 98
Total Pages 24
Place of Publication Netherlands
Publisher Springer
Field of Research 1702 - Cognitive Sciences
Abstract Since Hanks and McDermott raised the problem of temporal projection (e.g. the Yale shooting problem) and showed that classical nonmonotonic logics failed to solve it, many solutions have been proposed. However, as indicated by some researchers, most of them are not completely satisfactory. In Zhang and Foo [22], we presented a theory of actions called the persistent set approach (PSA). In this paper, we extend our previous work to deal with temporal reasoning. Different from those minimality-based approaches, we propose a persistence-based formalization of actions within the situation calculus framework, and show that this gives natural and intuitive solutions to the problem of temporal projection in many cases. Explanations of some of the differences between persistence and minimality are given. We show that our approach also provides a unified framework for representing actions with disjunctive effects, while most of the current methods are inappropriate for dealing with these actions in the general case.
DOI http://dx.doi.org/10.1007/BF01530894   (check subscription with CDU E-Gateway service for CDU Staff and Students  check subscription with CDU E-Gateway in new window)
 
Versions
Version Filter Type
Access Statistics: 4 Abstract Views  -  Detailed Statistics
Created: Fri, 29 Aug 2014, 20:20:54 CST by Anthony Hornby