Preferences of Agents in Defeasible Logic

  • Mehdi Dastani
  • Guido Governatori
  • Antonino Rotolo
  • Leendert van der Torre
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3809)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 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)CrossRefGoogle Scholar
  3. 3.
    Brewka, G., Benferhat, S., Le Berre, D.: Qualitative choice logic. Artificial Intelligence 157, 203–237 (2004)zbMATHCrossRefMathSciNetGoogle Scholar
  4. 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. 5.
    Dastani, M., de Boer, F., Dignum, F., Meyer, J.-J.: Programming agent deliberation. In: Proc. AAMAS 2003 (2003)Google Scholar
  6. 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. 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)CrossRefGoogle Scholar
  8. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Mehdi Dastani
    • 1
  • Guido Governatori
    • 2
  • Antonino Rotolo
    • 3
  • Leendert van der Torre
    • 4
  1. 1.Intelligent Systems GroupUtrecht UniversityUtrechtThe Netherlands
  2. 2.School of ITEEThe University of QueenslandBrisbaneAustralia
  3. 3.CIRSFIDUniversity of BolognaBolognaItaly
  4. 4.CWI, Amsterdam, and Delft University of TechnologyAmsterdamThe Netherlands

Personalised recommendations