Skip to main content

Preferences of Agents in Defeasible Logic

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3809))

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   189.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Google Scholar 

  2. 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)

    Article  Google Scholar 

  3. Brewka, G., Benferhat, S., Le Berre, D.: Qualitative choice logic. Artificial Intelligence 157, 203–237 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  4. 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)

    Google Scholar 

  5. Dastani, M., de Boer, F., Dignum, F., Meyer, J.-J.: Programming agent deliberation. In: Proc. AAMAS 2003 (2003)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Chapter  Google Scholar 

  8. 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)

    Google Scholar 

  9. Governatori, G., Rotolo, A.: Defeasible logic: Agency, intention and obligation. In: Lomuscio, A., Nute, D. (eds.) Proc. Δeon 2004. Springer, Berlin (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics