Recent extensions of the Event Calculus resulted in powerful formalisms, able to reason about a multitude of commonsense phenomena in causal domains, involving epistemic notions, functional fluents and probabilistic aspects, among others. Less attention has been paid to the problem of automatically revising (correcting) a Knowledge Base when an observation contradicts inferences made regarding the world state. Despite mature work on the related belief revision field, adapting such results for the case of action theories is non-trivial. This paper describes how to address this problem for deterministic, yet partially observable, domains, by proposing a generic framework in the context of the Event Calculus, along with ASP encodings of the revision algorithm and a web-based tester of the formalism implementation.

中文翻译：

---

修改事件微积分理论以从意外观察中恢复过来

事件微积分的最新扩展产生了强大的形式主义，能够对因果领域中的大量常识现象进行推理，包括认知概念、功能流利和概率方面等。当观察与关于世界状态的推断相矛盾时，自动修改（更正）知识库的问题较少受到关注。尽管在相关的信念修正领域有成熟的工作，但将这些结果应用于行动理论的案例并非易事。本文描述了如何通过在事件微积分的上下文中提出一个通用框架以及修订算法的 ASP 编码和基于 Web 的形式主义实现测试器来解决确定性但部分可观察的域的这个问题。