Loading...
Please wait, while we are loading the content...
Formalizing reasoning about change: a temporal diagnosis approach (1995).
| Content Provider | CiteSeerX |
|---|---|
| Author | Gamper, Johann Nejdl, Wolfgang |
| 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. |
| File Format | |
| Publisher Date | 1995-01-01 |
| Access Restriction | Open |
| Subject Keyword | Temporal Diagnosis Approach Dynamic System Explicit Representation Temporal Explanation Problem Open World Assumption Situation Calculus Natural Representation Specific Explanation Previous Work Durative Action Model-based Diagnosis Qualitative Temporal Information |
| Content Type | Text |
| Resource Type | Article |
