Abstract
We are interested in programming languages for cognitive agents with preferences. We define rule-based agent theories and inference procedures in defeasible logic, and in this setting we discuss patterns of agent behavior called agent types.
This work was partially supported by Australia Research Council under Discovery Project No. DP0558854 on “A Formal Approach to Resource Allocation in Web Service Oriented Composition in Open Marketplaces”.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: A flexible framework for defeasible logics. In: Proc. AAAI 2000, Menlo Park, CA. AAAI/MIT Press (2000)
Brazier, F.M.T., Dunin Keplicz, B., Jennings, N., Treur, J.: Desire: Modelling multi-agent systems in a compositional formal framework. Int. J. Coop. Inf. Syst. 6, 67–94 (1997)
Brewka, G., Benferhat, S., Le Berre, D.: Qualitative choice logic. Artificial Intelligence 157, 203–237 (2004)
Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. Cog. Sc. Quart. 2(3-4), 428–447 (2002)
Dastani, M., de Boer, F., Dignum, F., Meyer, J.-J.: Programming agent deliberation. In: Proc. AAMAS 2003 (2003)
Dastani, M., van der Torre, L.W.N.: Programming BOID-plan agents: Deliberating about conflicts among defeasible mental attitudes and plans. In: AAMAS 2004. ACM, New York (2004)
Dastani, M., van Riemsdijk, B., Dignum, F., Meyer, J.-J.: A programming language for cognitive agents: Goal directed 3APL. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol. 3067, pp. 111–130. Springer, Heidelberg (2004)
Governatori, G., Rotolo, A.: A Gentzen system for reasoning with contrary-to-duty obligations. In: Jones, A., Horty, J. (eds.) Proc. Δeon 2002, London, May 2002. Imperial College (2002)
Governatori, G., Rotolo, A.: Defeasible logic: Agency, intention and obligation. In: Lomuscio, A., Nute, D. (eds.) Proc. Δeon 2004. Springer, Berlin (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dastani, M., Governatori, G., Rotolo, A., van der Torre, L. (2005). Preferences of Agents in Defeasible Logic. In: Zhang, S., Jarvis, R. (eds) AI 2005: Advances in Artificial Intelligence. AI 2005. Lecture Notes in Computer Science(), vol 3809. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11589990_72
Download citation
DOI: https://doi.org/10.1007/11589990_72
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30462-3
Online ISBN: 978-3-540-31652-7
eBook Packages: Computer ScienceComputer Science (R0)