Formalizing reasoning about change

A temporal diagnosis approach

authored by: Johann Gamper, Wolfgang Nejdl
Abstract: In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an explicit representation of qualitative temporal information which provides a simpler and more natural representation than the situation calculus. We show how to generate more specific explanations by instantiating explanations and assuming an Open World Assumption. We argue that a framework for reasoning about action should be able to deal with concurrent and durative actions and show how they can be represented in our system.
Organisation(s): Knowledge-Based Systems Section
Type: Conference contribution
Pages: 335-346
No. of pages: 12
Publication date: 1995
Publication status: Published
Peer reviewed: Yes
ASJC Scopus subject areas: Theoretical Computer Science, General Computer Science
Electronic version(s): https://doi.org/10.1007/3-540-60437-5_33 (Access: Unknown)

BibTeX

@inproceedings{a30c5eab4dce4663999345130bde37c2,
title = "Formalizing reasoning about change: A temporal diagnosis approach",
abstract = "In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an explicit representation of qualitative temporal information which provides a simpler and more natural representation than the situation calculus. We show how to generate more specific explanations by instantiating explanations and assuming an Open World Assumption. We argue that a framework for reasoning about action should be able to deal with concurrent and durative actions and show how they can be represented in our system.",
author = "Johann Gamper and Wolfgang Nejdl",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1995.; 4th Congress of the Italian Association for Artificial Intelligence, AI*IA 1995 ; Conference date: 11-10-1995 Through 13-10-1995",
year = "1995",
doi = "10.1007/3-540-60437-5_33",
language = "English",
isbn = "3540604375",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "335--346",
editor = "Marco Gori and Giovanni Soda",
booktitle = "Topics in Artificial Intelligence - 4th Congress of the Italian Association for Artificial Intelligence AI*IA 1995, Proceedings",
address = "Germany",
}