Abstract
Sandewall has recently proposed a systematic approach to the representation of knowledge about dynamical systems that includes a general framework in which to assess the range of applicability of existing and new logics for action and change and to provide a means of studying whether and in what sense the logics of action and change are relevant for intelligent agents. As part of the framework, a number of logics of preferential entailment are introduced and assessed for particular classes of action scenario descriptions. This paper provides syntactic characterizations of several of these relations of preferential entailment in terms of standard FOPC and circumscription axioms. The intent is to simplify the process of comparison with existing formalisms which use more traditional techniques and to provide a basis for studying the feasibility of compiling particular classes of problems into logic programs.
Preview
Unable to display preview. Download preview PDF.
References
P. Doherty. Reasoning about action and change using occlusion. In Proceedings of the 11th European Conference on Artificial Intelligence, Aug. 8–12, Amsterdam, pages 401–405, 1994.
P. Doherty. Reasoning about action and change using occlusion: Extended report. Technical report, Linköping University, 1994.
M. Gelfond and V. Lifschitz. Representing actions in extended logic programming. In K. Apt, editor, Proc. Joint Int'l Conf. and Symp. on Logic Programming, pages 559–573, 1992.
H. Kautz. The logic of persistence. In Proc. National Conf. on Artificial Intelligence, (AAAI-86), pages 401–405, 1986.
V. Lifschitz. Computing circumscription. In Proc. IJCAI-85, volume 1, pages 121–127, 1985.
V. Lifschitz. Pointwise circumscription. In M. Ginsberg, editor, Readings in Non-monotonic Reasoning, pages 179–193. Morgan Kaufmann, 1988.
V. Lifschitz. Toward a metatheory of action. In Proc. International Conf. on Knowledge Representation and Reasoning, (KR-91), pages 376–386, 1991.
F. Lin and Y. Shoham. Provably correct theories of action (preliminary report). In National Conference on Artificial Intelligence (AAAI-91), pages 349–354, 1991.
W. Lukaszewicz. Non-Monotonic Reasoning — Formalization of Commonsense Reasoning. Ellis Horwood Series in Artificial Intelligence. Ellis Horwood, 1990.
E. Sandewall. Filter preferential entailment for the logic of action and change. In Proc. Int'l Joint Conf. on Artificial Intelligence, (IJCAI-89), 1989.
E. Sandewall. Features and fluents: A systematic approach to the representation of knowledge about dynamical systems. Technical Report LITH-IDA-R-92-30, Department of Computer and Information Science, Linköping University, September 1992. Second Review Version.
E. Sandewall. The range of applicability of nonmonotonic logics for the inertia problem. In Proc. Int'l Joint Conf. on Artificial Intelligence, (IJCAI-93), 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Doherty, P., Łukaszewicz, W. (1994). Circumscribing features and fluents. In: Gabbay, D.M., Ohlbach, H.J. (eds) Temporal Logic. ICTL 1994. Lecture Notes in Computer Science, vol 827. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013982
Download citation
DOI: https://doi.org/10.1007/BFb0013982
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58241-0
Online ISBN: 978-3-540-48585-8
eBook Packages: Springer Book Archive