Some Logical Properties of Nonmonotonic Causal Theories

  title={Some Logical Properties of Nonmonotonic Causal Theories},
  author={Marek J. Sergot and Robert Craven},
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge representation, as well as a higher level, special-purpose notation, the action language C+, for specifying and reasoning about the effects of actions and the persistence (‘inertia’) of facts over time. In this paper we investigate some logical properties of these formalisms. There are two motivations. From the technical… CONTINUE READING


Publications referenced by this paper.
Showing 1-4 of 4 references

Modal Logic—An Introduction

  • B. F. Chellas
  • Cambridge University Press
  • 1980
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…