Steps Towards Commonsense-Driven Belief Revision in the Event Calculus

Abstract

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. Surprisingly, little attention has been paid to the problem of automatically revising (correcting) a Knowledge Base when… (More)

2 Figures and Tables

Topics

  • Presentations referencing similar topics