Reasoning about unpredicted change and explicit time
Abstract
Reasoning about unpredicted change consists in explaining observations by events; we propose here an approach for explaining time-stamped observations by surprises, which are simple events consisting in the change of the truth value of a fluent. A framework for dealing with surprises is defined. Minimal sets of surprises are provided together with time intervals where each surprise has occurred, and they are characterized from a model-based diagnosis point of view. Then, a probabilistic approach of surprise minimisation is proposed.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2024
- DOI:
- 10.48550/arXiv.2407.06622
- arXiv:
- arXiv:2407.06622
- Bibcode:
- 2024arXiv240706622D
- Keywords:
-
- Computer Science - Artificial Intelligence
- E-Print:
- 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning (ECSQARU-FAPR 1997), Jun 1997, Bad Honnef, Germany. pp.223-236