Abstract
In this paper we introduce phased labeled logics of conditional goals. Labels are used to impose restrictions on the proof theory of the logic. The restriction discussed in this paper is that a proof rule can be blocked in a derivation due to the fact that another proof rule has been applied earlier in the derivation. We call a set of proof rules that can be applied in any order a phase in the proof theory. We propose a one-phase logic of goals containing four proof rules, and we show that it is equivalent to a four-phase logic of goals in which each phase contains exactly one proof rule. The proof theory of the four-phase logic of goals is much more effcient, because other orderings no longer have to be considered.
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
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, 1991.
D. Gabbay. Labelled Deductive Systems, volume 1. Oxford University Press, 1996.
H. Geffner and J. Pearl. Conditional entailment: bridging two approaches to default reasoning. Artificial Intelligence, 53:209–244, 1992.
P. Haddawy and S. Hanks. Representations for decision-theoretic planning: Utility functions for dead-line goals. In Proceedings of the KR’92, pages 71–82, 1992.
Z. Huang and J. Bell. Dynamic goal hierarchies. In Intelligent Agent Systems: Theoretical and Practical Issues, LNAI 1027, pages 88–103. Springer, 1997.
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 reasoning. In P. McNamara and H. Prakken, editors, Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science. IOS Press, 1998.
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.
Y.-H. Tan and L.W.N. van der Torre. How to combine ordering and minimizing in a deontic logic based on preferences. In Deontic Logic, Agency and Normative Systems. Proceedings of the ΔEON’96, Workshops in Computing, pages 216–232. Springer, 1996.
L.W.N. van der Torre. Reasoning about Obligations: Defeasibility in Preference-based Deontic Logic. PhD thesis, Erasmus University Rotterdam, 1997.
L.W.N. van der Torre. Labeled logics of conditional goals. In Proceedings of the ECAI’98, pages 368–369. John Wiley & Sons, 1998.
L.W.N. van der Torre and Y.-H. Tan. Cancelling and overshadowing: two types of defeasibility in defeasible deontic logic. In Proceedings of the IJCAI’95, pages 1525–1532. Morgan Kaufman, 1995.
L.W.N. van der Torre and Y.-H. Tan. The many faces of defeasibility in defeasible deontic logic. In D. Nute, editor, Defeasible Deontic Logic, pages 79–121. Kluwer, 1997.
L.W.N. van der Torre and Y.-H. Tan. Deliberate robbery, or the calculating Samaritan. In Proceedings of the ECAI’98 Workshop on Practical Reasoning and Rationality (PRR’98), 1998.
L.W.N. van der Torre and Y.-H. Tan. Diagnosis and decision making in normative reasoning. Artificial Intelligence and Law, 1998.
L.W.N. van der Torre and Y.-H. Tan. Prohairetic Deontic Logic (PDL). In this volume, 1998.
L.W.N. van der Torre and Y.-H. Tan. Two-phase deontic logic. 1998. Submitted.
L.W.N. van der Torre and E. Weydert. Goals, desires, utilities and preferences. In Proceedings of the ECAI’98 Workshop on Decision Theory meets Artificial Intelligence, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van der Torre, L.W.N. (1998). Phased Labeled Logics of Conditional Goals. In: Dix, J., del Cerro, L.F., Furbach, U. (eds) Logics in Artificial Intelligence. JELIA 1998. Lecture Notes in Computer Science(), vol 1489. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49545-2_7
Download citation
DOI: https://doi.org/10.1007/3-540-49545-2_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65141-3
Online ISBN: 978-3-540-49545-1
eBook Packages: Springer Book Archive