Abstract
Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions exhibit non-monotonic behaviour which could be captured through a non-monotonic system like defeasible logic. To this end we outline a defeasible logic of intention. The proposed technique alleviates most of the problems related to logical omniscience. The proof theory given shows how our approach helps in the maintenance of intention-consistency in agent systems like BDI.
This research was partially supported by the University of Queensland under the grant UQRSF ITEE-03/2002001335.
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.
Similar content being viewed by others
References
Antoniou, G., Billington, D., Governatori, G., Maher, M.: A flexible framework for defeasible logics. In: AAAI 2000, pp. 401–405. AAAI/MIT Press (2000)
Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2), 255–287 (2001)
Billington, D.: Defeasible logic is stable. Journal of Logic and Computation 3, 370–400 (1993)
Chellas, B.F.: Modal Logic, An Introduction. Cambridge University Press, Cambridge (1980)
Chen, X., Liu, G.: A logic of intention. In: ICJAI 1999 (1999)
Cohen, P.R., Levesque, H.J.: Persistence, intention and commitment. In: Proceedings Timberline workshop on Reasoning about plans and actions, pp. 297–338 (1986)
Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42(3) (1990)
Bratman, M.E.: Intentions, Plans and Practical Reason. Harvard University Press, Cambridge (1987)
Governatori, G., Maher, M.J.: An argumentation-theoretic characterisation of defeasible logic. In: ECAI 2000, pp. 469–473 (2000)
Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithica (1962)
Pollock, M.E., Konolige, K.: A representationalist theory of intention. In: IJCAI 1993, pp. 390–395 (1993)
Lobo, J., Bhatia, R., Naqvi, S.: A policy description language. In: AAAI 1999. AAAI/MIT Press (1999)
Maher, M.J.: Propositional defeasible logic has linear complexity. Theory and. Practice of Logic Programming 1(6), 691–711 (2001)
Maher, M.J., Governatori, G.: A semantic decomposition of defeasible logic. In: AAAI 1999 (1999)
Maher, M.J., Rock, A., Antoniou, G., Billignton, D., Miller, T.: Efficient defeasible reasoning systems. International Journal of Artificial Intelligence Tools 10(4) (2001)
Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 353–395. Oxford University Press, Oxford (1987)
Rao, A.S., Georgeff, M.P.: Modelling rational agents within a BDIarchitecture. In: KR 1991, pp. 473–484. Morgan Kaufmann, San Francisco (1991)
Singh, M.P.: Semantical considerations on intention dynamics for BDI agents. Journal of Experimental and Theoretical Artificial Intelligence (1998)
Son, T.C., Lobo, J.: Reasoning about policies using logic programa. In: AAAIspring symposium on answer set programming, March 26-28 (2001)
Sugimoto, T.: A preference-based theory of intention. In: Mizoguchi, R., Slaney, J.K. (eds.) PRICAI 2000. LNCS, vol. 1886, Springer, Heidelberg (2000)
Thanagrajah, J., Padgham, L., Harland, J.: Representation and reasoning for goals in BDI agents. In: Australasian Conference on Computer Science (2002)
Van Linder, B.: Modal Logic for Rational Agents. PhD thesis, Department of Computer Science, Utrecht University June 19 (1996)
Zamparelli, R.: Intentions are plans plus wishes (and more). In: AAAI Spring symposium 1993 (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Governatori, G., Padmanabhan, V. (2003). A Defeasible Logic of Policy-Based Intention. In: Gedeon, T.(.D., Fung, L.C.C. (eds) AI 2003: Advances in Artificial Intelligence. AI 2003. Lecture Notes in Computer Science(), vol 2903. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24581-0_35
Download citation
DOI: https://doi.org/10.1007/978-3-540-24581-0_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20646-0
Online ISBN: 978-3-540-24581-0
eBook Packages: Springer Book Archive