Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | Topics in Artificial Intelligence - 4th Congress of the Italian Association for Artificial Intelligence AI*IA 1995, Proceedings |
| Herausgeber/-innen | Marco Gori, Giovanni Soda |
| Herausgeber (Verlag) | Springer Verlag |
| Seiten | 335-346 |
| Seitenumfang | 12 |
| ISBN (Print) | 3540604375, 9783540604372 |
| Publikationsstatus | Veröffentlicht - 1995 |
| Veranstaltung | 4th Congress of the Italian Association for Artificial Intelligence, AI*IA 1995 - Florence, Italien Dauer: 11 Okt. 1995 → 13 Okt. 1995 |
Publikationsreihe
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Band | 992 |
| ISSN (Print) | 0302-9743 |
| ISSN (elektronisch) | 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 Sachgebiete
- Mathematik (insg.)
- Theoretische Informatik
- Informatik (insg.)
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
Topics in Artificial Intelligence - 4th Congress of the Italian Association for Artificial Intelligence AI*IA 1995, Proceedings. Hrsg. / Marco Gori; Giovanni Soda. Springer Verlag, 1995. S. 335-346 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 992).
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › 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 -