Contextual Agent Deliberation in Defeasible Logic

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


This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rules are rules that have as a consequent rules for motivational components, such as obligations, intentions and desires. In other words, they include nested rules. Second, we introduce explicit preferences among rules. They deal with complex structures where nested rules can be involved.


Agent Theory Cognitive Agent Proof Procedure Consequent Rule Defeasible Logic 
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., Mahe, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2), 255–287 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding Defeasible Logic in Logic Programming. Theory and Practice of Logic Programming 6(6), 703–735 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    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
  4. 4.
    Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artif. Intell. 42(2-3), 213–261 (1990)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Dastani, M., Governatori, G., Rotolo, A., van der Torre, L.: Programming cognitive agents in defeasible logic. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol. 3835, pp. 621–636. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  6. 6.
    Governatori, G., Padmanabhan, V., Rotolo, A.: Rule-based agents in temporalised defeasible logic. In: Yang, Q., Webb, G. (eds.) PRICAI 2006. LNCS (LNAI), vol. 4099, pp. 31–40. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Governatori, G., Rotolo, A.: Defeasible logic: Agency, intention and obligation. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS, vol. 3065, pp. 114–128. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  8. 8.
    Governatori, G., Rotolo, A.: Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic 4, 193–215 (2006)MathSciNetzbMATHGoogle Scholar
  9. 9.
    Governatori, G., Rotolo, A., Padmanabhan, V.: The cost of social agents. In: Proc. AAMAS 2006, pp. 513–520 (2006)Google Scholar
  10. 10.
    Rao, A.S., Georgeff, M.P.: Decision procedures for bdi logics. J. Log. Comput. 8(3), 293–342 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Song, I., Governatori, G.: Nested rules in defeasible logic. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 204–208. Springer, Heidelberg (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Mehdi Dastani
    • 1
  • Guido Governatori
    • 2
  • Antonino Rotolo
    • 3
  • Insu Song
    • 2
  • Leendert van der Torre
    • 4
  1. 1.Department of Information and Computing SciencesUniversity of UtrechtNetherlands
  2. 2.School of Information Technology and Electrical EngineeringThe University of QueenslandAustralia
  3. 3.CIRSFIDUniversity of BolognaItaly
  4. 4.Computer Science and CommunicationUniversité du LuxembourgLuxembourg

Personalised recommendations