English

Reasoning about unpredicted change and explicit time

Artificial Intelligence 2024-07-10 v1

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.

Keywords

Cite

@article{arxiv.2407.06622,
  title  = {Reasoning about unpredicted change and explicit time},
  author = {Florence Dupin de Saint-Cyr and Jérôme Lang},
  journal= {arXiv preprint arXiv:2407.06622},
  year   = {2024}
}
R2 v1 2026-06-28T17:33:58.252Z