Formalizing reasoning about change

A temporal diagnosis approach

verfasst von: 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.
Organisationseinheit(en): Fachgebiet Wissensbasierte Systeme
Typ: Aufsatz in Konferenzband
Seiten: 335-346
Anzahl der Seiten: 12
Publikationsdatum: 1995
Publikationsstatus: Veröffentlicht
Peer-reviewed: Ja
ASJC Scopus Sachgebiete: Theoretische Informatik, Allgemeine Computerwissenschaft
Elektronische Version(en): https://doi.org/10.1007/3-540-60437-5_33 (Zugang: Unbekannt)

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",
}