Formalizing narratives using nested circumscription

Chitta Baral, Alfredo Gabaldon, Alessandro Provetti

Research output: Contribution to journalArticle

11 Citations (Scopus)

Abstract

Representing and reasoning about narratives together with the ability to do hypothetical reasoning is important for agents in a dynamic world. These agents need to record their observations and action executions as a narrative and at the same time, to achieve their goals against a changing environment, they need to make plans (or re-plan) from the current situation. The early action formalisms did one or the other. For example, while the original situation calculus was meant for hypothetical reasoning and planning, the event calculus was more appropriate for narratives. Recently, there have been some attempts at developing formalisms that do both. Independently, there has also been a lot of recent research in reasoning about actions using circumscription. Of particular interest to us is the research on using high-level languages and their logical representation using nested abnormality theories (NATs) - a form of circumscription with blocks that make knowledge representation modular. Starting from theories in the high-level language ℒ, which is extended to allow concurrent actions, we define a translation to NATs that preserves both narrative and hypothetical reasoning. We initially use the high level language ℒ, and then extend it to allow concurrent actions. In the process, we study several knowledge representation issues such as filtering, and restricted monotonicity with respect to NATs. Finally, we compare our formalization with other approaches, and discuss how our use of NATs makes it easier to incorporate other features of action theories, such as constraints, to our formalization.

Original languageEnglish (US)
Pages (from-to)107-164
Number of pages58
JournalArtificial Intelligence
Volume104
Issue number1-2
StatePublished - Sep 1998
Externally publishedYes

Fingerprint

High level languages
Knowledge representation
narrative
formalization
language
action theory
Planning
planning
event
ability
Language

Keywords

  • Circumscription
  • Narratives
  • Nested abnormality theories
  • Reasoning about actions
  • Value minimization

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computational Theory and Mathematics

Cite this

Baral, C., Gabaldon, A., & Provetti, A. (1998). Formalizing narratives using nested circumscription. Artificial Intelligence, 104(1-2), 107-164.

Formalizing narratives using nested circumscription. / Baral, Chitta; Gabaldon, Alfredo; Provetti, Alessandro.

In: Artificial Intelligence, Vol. 104, No. 1-2, 09.1998, p. 107-164.

Research output: Contribution to journalArticle

Baral, C, Gabaldon, A & Provetti, A 1998, 'Formalizing narratives using nested circumscription', Artificial Intelligence, vol. 104, no. 1-2, pp. 107-164.
Baral C, Gabaldon A, Provetti A. Formalizing narratives using nested circumscription. Artificial Intelligence. 1998 Sep;104(1-2):107-164.
Baral, Chitta ; Gabaldon, Alfredo ; Provetti, Alessandro. / Formalizing narratives using nested circumscription. In: Artificial Intelligence. 1998 ; Vol. 104, No. 1-2. pp. 107-164.
@article{915c5ecc01d4460daef6e4491c1aa4d5,
title = "Formalizing narratives using nested circumscription",
abstract = "Representing and reasoning about narratives together with the ability to do hypothetical reasoning is important for agents in a dynamic world. These agents need to record their observations and action executions as a narrative and at the same time, to achieve their goals against a changing environment, they need to make plans (or re-plan) from the current situation. The early action formalisms did one or the other. For example, while the original situation calculus was meant for hypothetical reasoning and planning, the event calculus was more appropriate for narratives. Recently, there have been some attempts at developing formalisms that do both. Independently, there has also been a lot of recent research in reasoning about actions using circumscription. Of particular interest to us is the research on using high-level languages and their logical representation using nested abnormality theories (NATs) - a form of circumscription with blocks that make knowledge representation modular. Starting from theories in the high-level language ℒ, which is extended to allow concurrent actions, we define a translation to NATs that preserves both narrative and hypothetical reasoning. We initially use the high level language ℒ, and then extend it to allow concurrent actions. In the process, we study several knowledge representation issues such as filtering, and restricted monotonicity with respect to NATs. Finally, we compare our formalization with other approaches, and discuss how our use of NATs makes it easier to incorporate other features of action theories, such as constraints, to our formalization.",
keywords = "Circumscription, Narratives, Nested abnormality theories, Reasoning about actions, Value minimization",
author = "Chitta Baral and Alfredo Gabaldon and Alessandro Provetti",
year = "1998",
month = "9",
language = "English (US)",
volume = "104",
pages = "107--164",
journal = "Artificial Intelligence",
issn = "0004-3702",
publisher = "Elsevier",
number = "1-2",

}

TY - JOUR

T1 - Formalizing narratives using nested circumscription

AU - Baral, Chitta

AU - Gabaldon, Alfredo

AU - Provetti, Alessandro

PY - 1998/9

Y1 - 1998/9

N2 - Representing and reasoning about narratives together with the ability to do hypothetical reasoning is important for agents in a dynamic world. These agents need to record their observations and action executions as a narrative and at the same time, to achieve their goals against a changing environment, they need to make plans (or re-plan) from the current situation. The early action formalisms did one or the other. For example, while the original situation calculus was meant for hypothetical reasoning and planning, the event calculus was more appropriate for narratives. Recently, there have been some attempts at developing formalisms that do both. Independently, there has also been a lot of recent research in reasoning about actions using circumscription. Of particular interest to us is the research on using high-level languages and their logical representation using nested abnormality theories (NATs) - a form of circumscription with blocks that make knowledge representation modular. Starting from theories in the high-level language ℒ, which is extended to allow concurrent actions, we define a translation to NATs that preserves both narrative and hypothetical reasoning. We initially use the high level language ℒ, and then extend it to allow concurrent actions. In the process, we study several knowledge representation issues such as filtering, and restricted monotonicity with respect to NATs. Finally, we compare our formalization with other approaches, and discuss how our use of NATs makes it easier to incorporate other features of action theories, such as constraints, to our formalization.

AB - Representing and reasoning about narratives together with the ability to do hypothetical reasoning is important for agents in a dynamic world. These agents need to record their observations and action executions as a narrative and at the same time, to achieve their goals against a changing environment, they need to make plans (or re-plan) from the current situation. The early action formalisms did one or the other. For example, while the original situation calculus was meant for hypothetical reasoning and planning, the event calculus was more appropriate for narratives. Recently, there have been some attempts at developing formalisms that do both. Independently, there has also been a lot of recent research in reasoning about actions using circumscription. Of particular interest to us is the research on using high-level languages and their logical representation using nested abnormality theories (NATs) - a form of circumscription with blocks that make knowledge representation modular. Starting from theories in the high-level language ℒ, which is extended to allow concurrent actions, we define a translation to NATs that preserves both narrative and hypothetical reasoning. We initially use the high level language ℒ, and then extend it to allow concurrent actions. In the process, we study several knowledge representation issues such as filtering, and restricted monotonicity with respect to NATs. Finally, we compare our formalization with other approaches, and discuss how our use of NATs makes it easier to incorporate other features of action theories, such as constraints, to our formalization.

KW - Circumscription

KW - Narratives

KW - Nested abnormality theories

KW - Reasoning about actions

KW - Value minimization

UR - http://www.scopus.com/inward/record.url?scp=0032156243&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0032156243&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0032156243

VL - 104

SP - 107

EP - 164

JO - Artificial Intelligence

JF - Artificial Intelligence

SN - 0004-3702

IS - 1-2

ER -