Abstract
In this paper we study defeasible goals in Gabbay’s labelled deductive systems. We prove the completeness of a simple and elegant proof theory for the labelled logic of defeasible goals by proving two phasing theorems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
F. Bacchus and A.J. Grove. Utility independence in a qualitative decision theory. In Proceedings of KR’96, pages 542–552, 1996.
C. Boutilier. Toward a logic for qualitative decision theory. In Proceedings of the KR’94, pages 75–86, 1994.
J. Doyle, Y. Shoham, and M.P. Wellman. The logic of relative desires. In Sixth International Symposium on Methodologies for Intelligent Systems, Charlotte, North Carolina, 1991.
J. Doyle and M.P. Wellman. Preferential semantics for goals. In Proceedings of the AAAI’91, pages 698–703, Anaheim, 1991.
D. Gabbay. Labelled Deductive Systems, volume 1. Oxford University Press, 1996.
Z. Huang and J. Bell. Dynamic goal hierarchies. In Intelligent Agent Systems: Theoretical and Practical Issues, LNAI 1027, pages 88–103. Springer, 1997.
S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167–207, 1990.
J. Lang. Conditional desires and utilities — an alternative approach to qualitative decision theory. In Proceedings of the ECAI’96, pages 318–322, 1996.
D. Makinson. On a fundamental problem of deontic logic. In P. McNamara and H. Prakken, editors, Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science. IOS Press, 1998.
D. Makinson and L. van der Torre. The logic of reusable propositional output. Submitted, 1999.
J.D. Mullen. Does the logic of preference rest on a mistake? Metaphilosophy, 10:247–255, 1979.
J. Pearl. From conditional oughts to qualitative decision theory. In Proceedings of the UAI’93, pages 12–20, 1993.
S.-W. Tan and J. Pearl. Qualitative decision theory. In Proceedings of the AAAI’94, 1994.
S.-W. Tan and J. Pearl. Specification and evaluation of preferences under uncertainty. In Proceedings of the KR’94, pages 530–539, 1994.
L. van der Torre. Labeled logics of conditional goals. In Proceedings of the ECAI’98, pages 368–369. John Wiley & Sons, 1998.
L. van der Torre. Phased labeled logics of conditional goals. In Logics in Artificial Intelligence, LNAI 1489, pages 92–106. Springer, 1998.
L. van der Torre and Y. Tan. Cancelling and overshadowing: two types of defeasibility in defeasible deontic logic. In Proceedings of the IJCAI’95, pages 1525–1532. Morgan Kaufman, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van der Torre, L. (1999). Defeasible Goals. In: Hunter, A., Parsons, S. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1999. Lecture Notes in Computer Science(), vol 1638. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48747-6_35
Download citation
DOI: https://doi.org/10.1007/3-540-48747-6_35
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66131-3
Online ISBN: 978-3-540-48747-0
eBook Packages: Springer Book Archive