A Simple Declarative Language for Describing Narratives With Actions

@article{Kakas1997ASD,
  title={A Simple Declarative Language for Describing Narratives With Actions},
  author={A. Kakas and R. Miller},
  journal={J. Log. Program.},
  year={1997},
  volume={31},
  pages={157-200}
}
Abstract We describe a simple declarative languageEfor describing the effects of a series of action occurrences within a narrative.Eis analogous to Gelfond and Lifschitz's LanguageAand its extensions, but is based on a different ontology. The semantics ofEis based on a simple characterisation of persistence which facilitates a modular approach to extending the expressivity of the language. Domain descriptions inAcan be translated to equivalent theories inE. We show how, in the context of… Expand
110 Citations
Formalizing Narratives Using Nested Circumscription
  • 21
  • PDF
Formalizing Narratives using Nested Circumscriptionand Value
Representing Rami cations in anEvent-based LanguageKristof
  • Highly Influenced
Reasoning about Actions, Events and Causality
Execution mechanisms for the action language C+
  • 12
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 88 REFERENCES
Narratives in the Situation Calculus
  • 107
HYPOTHETICAL REASONING ABOUT ACTIONS: FROM SITUATION CALCULUS TO EVENT CALCULUS
  • A. Provetti
  • Mathematics, Computer Science
  • Comput. Intell.
  • 1996
  • 36
Representing Actions: Laws, Observations and Hypotheses
  • 152
  • PDF
Towards a General Theory of Action and Time
  • 2,913
  • PDF
Soundness and Completeness Theorems for Three Formalizations of Action
  • G. Kartha
  • Mathematics, Computer Science
  • IJCAI
  • 1993
  • 87
  • PDF
Nonmonotonic Reasoning in the Framework of Situation Calculus
  • A. B. Baker
  • Mathematics, Computer Science
  • Artif. Intell.
  • 1991
  • 129
...
1
2
3
4
5
...