Formalizing narratives using nested circumscription

Chitta Baral, Alfredo Gabaldon, Alessandro Provetti

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations


The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall short. To address narratives, Pinto and Reiter have extended Situation Calculus axioms, Kowalski and Sergot have introduced the Event Calculus in Logic Programming, and Baral et al. have defined the specification language L which allows to express actual and hypothetical situations in a uniform setting. The L entailment relation can formalize several forms of reasoning about actions and change. In this paper we illustrate a translation of L theories into Nested Abnormality Theories, a novel form of circumscription. The proof of soundness and completeness of the translation is the main technical result of the paper, but attention is also devoted to the features of Nested Abnormality Theories to capture commonsense reasoning in general and to clarify which assumptions a logical formalization forces upon a domain. These results also help clarifying the relationship between L and other recent circumscriptive formalizations for narratives, such as Miller and Shanahan's.

Original languageEnglish (US)
Title of host publicationProceedings of the National Conference on Artificial Intelligence
Editors Anon
Place of PublicationMenlo Park, CA, United States
Number of pages6
StatePublished - 1996
Externally publishedYes
EventProceedings of the 1996 13th National Conference on Artificial Intelligence, AAAI 96. Part 1 (of 2) - Portland, OR, USA
Duration: Aug 4 1996Aug 8 1996


OtherProceedings of the 1996 13th National Conference on Artificial Intelligence, AAAI 96. Part 1 (of 2)
CityPortland, OR, USA

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'Formalizing narratives using nested circumscription'. Together they form a unique fingerprint.

Cite this