Details
| Original language | English |
|---|---|
| Title of host publication | Topics in Artificial Intelligence - 4th Congress of the Italian Association for Artificial Intelligence AI*IA 1995, Proceedings |
| Editors | Marco Gori, Giovanni Soda |
| Publisher | Springer Verlag |
| Pages | 335-346 |
| Number of pages | 12 |
| ISBN (print) | 3540604375, 9783540604372 |
| Publication status | Published - 1995 |
| Event | 4th Congress of the Italian Association for Artificial Intelligence, AI*IA 1995 - Florence, Italy Duration: 11 Oct 1995 → 13 Oct 1995 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 992 |
| ISSN (Print) | 0302-9743 |
| ISSN (electronic) | 1611-3349 |
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.
ASJC Scopus subject areas
- Mathematics(all)
- Theoretical Computer Science
- Computer Science(all)
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Topics in Artificial Intelligence - 4th Congress of the Italian Association for Artificial Intelligence AI*IA 1995, Proceedings. ed. / Marco Gori; Giovanni Soda. Springer Verlag, 1995. p. 335-346 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 992).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - Formalizing reasoning about change
T2 - 4th Congress of the Italian Association for Artificial Intelligence, AI*IA 1995
AU - Gamper, Johann
AU - Nejdl, Wolfgang
N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1995.
PY - 1995
Y1 - 1995
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84957700073&partnerID=8YFLogxK
U2 - 10.1007/3-540-60437-5_33
DO - 10.1007/3-540-60437-5_33
M3 - Conference contribution
AN - SCOPUS:84957700073
SN - 3540604375
SN - 9783540604372
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 335
EP - 346
BT - Topics in Artificial Intelligence - 4th Congress of the Italian Association for Artificial Intelligence AI*IA 1995, Proceedings
A2 - Gori, Marco
A2 - Soda, Giovanni
PB - Springer Verlag
Y2 - 11 October 1995 through 13 October 1995
ER -