Programming Cognitive 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 3835)


Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences and actions, together with inference procedures. We discuss patterns of agent types in this setting. Finally, we illustrate the language by an example of an agent reasoning about web-services.


Credit Card Goal Condition Cognitive Agent Agent Type Strict Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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. AAAI/MIT Press (2000)Google Scholar
  2. 2.
    Bassiliades, N., Antoniou, G., Vlahavas, I.: DR-DEVICE: A defeasible logic system for the Semantic Web. In: Ohlbach, H.J., Schaffert, S. (eds.) PPSWR 2004. LNCS, vol. 3208, pp. 134–148. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  3. 3.
    Bratman, M., Israel, D., Pollack, M.: Plans and resource-bounded practical reasoning. Computational Intelligence (1988)Google Scholar
  4. 4.
    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. (1997)Google Scholar
  5. 5.
    Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. In: Cog. Sc. Quart. (2002)Google Scholar
  6. 6.
    Dastani, M., de Boer, F., Dignum, F., Meyer, J.-J.: Programming agent deliberation. In: Proc. AAMAS 2003 (2003)Google Scholar
  7. 7.
    Dastani, M., Governatori, G., Rotolo, A., van der Torre, L.: Preferences of agents in defeasible logic. In: Zhang, S., Jarvis, R.A. (eds.) AI 2005. LNCS (LNAI), vol. 3809, pp. 695–704. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  8. 8.
    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
  9. 9.
    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
  10. 10.
    Governatori, G.: Representing business contracts in RuleML. Int. J. Coop. Inf. Syst. (2005)Google Scholar
  11. 11.
    Governatori, G., Rotolo, A.: A Gentzen system for reasoning with contrary-to-duty obligations. In: Proc. Δeon 2002. Imperial College, London (2002)Google Scholar
  12. 12.
    Governatori, G., Rotolo, A.: Defeasible logic: Agency, intention and obligation. In: Proc. Δeon 2004. Springer, Heidelberg (2004)Google Scholar
  13. 13.
    Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence (1990)Google Scholar
  14. 14.
    Maher, M.J., Rock, A., Antoniou, G., Billignton, D., Miller, T.: Efficient defeasible reasoning systems. Int. J. Art. Int. Tools (2001)Google Scholar
  15. 15.
    Pitt, J. (ed.): Open Agent Societies. Wiley, Chichester (2004)Google Scholar
  16. 16.
    Rao, A., Georgeff, M.: Modelling rational agents within a BDI-architecture. In: KR 1991. Morgan Kaufmann, San Francisco (1991)Google Scholar
  17. 17.
    Singh, M.P.: A social semantics for agent communication languages. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol. 1916. Springer, Heidelberg (2000)CrossRefGoogle 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 University 
  2. 2.School of ITEEUniversity of Queensland 
  3. 3.CIRSFIDUniversity of Bologna 
  4. 4.CWI, Amsterdam, and Delft University of Technology 

Personalised recommendations