Reasoning about unpredicted change and explicit time
<|reference_start|>Reasoning about unpredicted change and explicit time: 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.<|reference_end|>
@article{de saint-cyr2024reasoning,
    title={Reasoning about unpredicted change and explicit time},
    author={Florence Dupin de Saint-Cyr (IRIT-ADRIA), J'er^ome Lang (LAMSADE)},
    journal={1st International Joint Conference on Qualitative and Quantitative
  Practical Reasoning (ECSQARU-FAPR 1997), Jun 1997, Bad Honnef, Germany.
  pp.223-236},
    year={2024},
    doi={10.1007/BFb0035625},
    archivePrefix={arXiv},
    eprint={2407.06622},
    primaryClass={cs.AI}
}