Skip to main content
SpringerLink
Log in

Rule-Based Agents, Compliance, and Intention Reconsideration in Defeasible Logic

  • Conference paper
Book cover Rule-Based Reasoning, Programming, and Applications (RuleML 2011)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6826))

Abstract

This paper shows how belief revision techniques can be used in Defeasible Logic to change rule-based theories characterizing the deliberation process of cognitive agents. We discuss intention reconsideration as a strategy to make agents compliant with the norms regulating their behavior.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alberti, M., Gavanelli, M., Lamma, E., Chesani, F., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence 20(2-4), 133–157 (2006)

    Article  MATH  Google Scholar 

  2. Billington, D., Antoniou, G., Governatori, G., Maher, M.J.: Revising nonmonotonic theories: The case of defeasible logic. In: Burgard, W., Christaller, T., Cremers, A.B. (eds.) KI 1999. LNCS (LNAI), vol. 1701, pp. 101–112. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  3. Boella, G., Broersen, J., van der Torre, L.: Reasoning about constitutive norms, counts-as conditionals, institutions, deadlines and violations. In: Bui, T.D., Ho, T.V., Ha, Q.T. (eds.) PRIMA 2008. LNCS (LNAI), vol. 5357, pp. 86–97. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  4. Boella, G., van der Torre, L.: Fulfilling or violating obligations in multiagent systems. In: Proc. IAT 2004 (2004)

    Google Scholar 

  5. Bou, E., López-Sánchez, M., Rodríguez-Aguilar, J.A.: Adaptation of autonomic electronic institutions through norms and institutional agents. In: O’Hare, G.M.P., Ricci, A., O’Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol. 4457, pp. 300–319. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  6. Bratman, M.E.: Intentions, Plans and Practical Reason. Harvard University Press, Cambridge (1987)

    Google Scholar 

  7. Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. Cognitive Science Quarterly 2(3-4), 428–447 (2002)

    Google Scholar 

  8. Cawsey, A., Galliers, J., Logan, B., Reece, S., Sparck Jones, K.: Revising beliefs and intentions: A unified framework for agent interaction. In: Proc. 9th Biennial Conference of the Society for the Study of Artificial Intelligence and Simulation of Behaviour. IOS Press, Amsterdam (1993)

    Google Scholar 

  9. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42(1), 213–261 (1990)

    Article  MATH  MathSciNet  Google Scholar 

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

    Chapter  Google Scholar 

  11. Dastani, M., Governatori, G., Rotolo, A., van der Torre, L.: Preferences of agents in defeasible logic. In: Zhang, S., Jarvis, R. (eds.) AI 2005. LNCS (LNAI), vol. 3809, pp. 695–704. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  12. Dignum, F.: Autonomous agents with norms. Artificial Intelligence and Law 7(1), 69–79 (1999)

    Article  Google Scholar 

  13. Dignum, F., Morley, D., Sonenberg, L., Cavedon, L.: Towards socially sophisticated BDI agents. In: ICMAS 2000, pp. 111–118 (2000)

    Google Scholar 

  14. Esteva, M., Rosell, B., Rodríguez-Aguilar, J.A., Arcos, J.L.: Ameli: An agent-based middleware for electronic institutions. In: Proc. AAMAS 2004. ACM, New York (2004)

    Google Scholar 

  15. Flores, R.A., Chaib-draa, B.: Modelling flexible social commitments and their enforcement. In: Gleizes, M.-P., Omicini, A., Zambonelli, F. (eds.) ESAW 2004. LNCS (LNAI), vol. 3451, pp. 139–151. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  16. Gaertner, D., Garcia-Camino, A., Noriega, P., Rodriguez-Aguilar, J.-A., Vasconcelos, W.: Distributed norm management in regulated multiagent systems. In: Proc. AAMAS 2007. ACM, New York (2007)

    Google Scholar 

  17. Garca-Camino, A., Rodrguez-Aguilar, J., Sierra, C., Vasconcelos, W.: Constraint rule-based programming of norms for electronic institutions. Autonomous Agents and Multi-Agent Systems 18, 186–217 (2009), doi:10.1007/s10458-008-9059-4

    Article  Google Scholar 

  18. Governatori, G., Maher, M.J., Billington, D., Antoniou, G.: Argumentation semantics for defeasible logics. Journal of Logic and Computation 14, 675–702 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  19. Governatori, G., Olivieri, F., Scannapieco, S., Cristani, M.: Superiority based revision of defeasible theories. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 104–118. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  20. Governatori, G., Rotolo, A.: Bio logical agents: Norms, beliefs, intentions in defeasible logic. Autonomous Agents and Multi-Agent Systems 17(1), 36–69 (2008)

    Article  Google Scholar 

  21. Governatori, G., Rotolo, A.: How do agents comply with norm? In: Web Intelligence/IAT Workshops, pp. 488–491 (2009)

    Google Scholar 

  22. Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: Proc. ICAIL 2005, pp. 25–34. ACM, New York (2005)

    Google Scholar 

  23. Governatori, G., Padmanabhan, V., Rotolo, A., Sattar, A.: A defeasible logic for modelling policy-based intentions and motivational attitudes. Logic Journal of the IGPL 17(3), 227–265 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  24. Governatori, G., Rotolo, A.: A computational framework for institutional agency. Artif. Intell. Law 16(1), 25–52 (2008)

    Article  Google Scholar 

  25. Governatori, G., Rotolo, A.: A conceptually rich model of business process compliance. In: APCCM, pp. 3–12 (2010)

    Google Scholar 

  26. Grossi, D., Aldewereld, H., Dignum, F.: Ubi lex, ibi poena: Designing norm enforcement in e-institutions. In: Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol. 4386, pp. 101–114. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  27. Fred Hübner, J., Boissier, O., Bordini, R.H.: From organisation specification to normative programming in multi-agent organisations. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS, vol. 6245, pp. 117–134. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  28. Jones, A.J.I., Sergot, M.: On the characterization of law and computer systems: the normative systems perspective, pp. 275–307. John Wiley and Sons Ltd., Chichester (1993)

    Google Scholar 

  29. López y López, F., Luck, M., d’Inverno, M.: Constraining autonomy through norms. In: Proc. AAMAS 2002. ACM, New York (2002)

    Google Scholar 

  30. Lorini, E.: Variations on intentional themes: From the generation of an intention to the execution of an intentional action. PhD thesis, University of Siena (2007)

    Google Scholar 

  31. Lorini, E., Herzig, A.: A logic of intention and attempt. Synthese 163(1), 45–77 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  32. Meyer, J.-J.C., van der Hoek, W., van Linder, B.: A logical approach to the dynamics of commitments. Artif. Intell. 113, 1–40 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  33. Rao, A.S., Georgeff, M.P.: Modelling rational agents within a BDI-architecture. In: Proc. KR 1991. Morgan Kaufmann, San Francisco (1991)

    Google Scholar 

  34. Rotolo, A.: Norm compliance of rule-based cognitive agents. In: Proc. IJCAI 2011. AAAI Press, Menlo Park (2011)

    Google Scholar 

  35. Shoham, Y.: Agent-oriented programming. Artif. Intell. 60, 51–92 (1993)

    Article  MathSciNet  Google Scholar 

  36. Singh, M.P.: On the commitments and precommitments of limited agents. In: Proc. IJCAI 1991 Workshop on Theoretical and Practical Design of Rational Agents (1991)

    Google Scholar 

  37. Singh, M.P., Asher, N.M.: A logic of intentions and beliefs. Journal of Philosophical Logic

    Google Scholar 

  38. Tinnemeier, N., Dastani, M., Meyer, J.-J.: Roles and norms for programming agent organizations. In: Proc. AAMAS 2009, pp. 121–128. IFAAMS, Richland (2009)

    Google Scholar 

  39. van der Hoek, W., Jamroga, W., Wooldridge, M.: Intention is choice with commitment. Artificial Intelligence 42(1), 213–261 (1990)

    MathSciNet  Google Scholar 

  40. van der Torre, L., Boella, G., Verhagen, H. (eds.) Normative Multi-agent Systems, Special Issue of JAAMAS, vol. 17(1) (2008)

    Google Scholar 

  41. Wooldridge, M.: Reasoning about rational agents. MIT Press, Cambridge (2000)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CIRSFID, University of Bologna, Italy

    Antonino Rotolo

Authors
  1. Antonino Rotolo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Informatics, Aristotle University of Thessaloniki, 54124, Thessaloniki, Greece

    Nick Bassiliades

  2. Queensland Research Laboratory, NICTA, PO Box 6020, 4067, St. Lucia, QLD, Australia

    Guido Governatori

  3. Computer Science Department, Corporate Semantic Web, Freie Universität Berlin, Königin-Luise-Str. 24/26, 14495, Berlin, Germany

    Adrian Paschke

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rotolo, A. (2011). Rule-Based Agents, Compliance, and Intention Reconsideration in Defeasible Logic. In: Bassiliades, N., Governatori, G., Paschke, A. (eds) Rule-Based Reasoning, Programming, and Applications. RuleML 2011. Lecture Notes in Computer Science, vol 6826. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22546-8_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-22546-8_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-22545-1

  • Online ISBN: 978-3-642-22546-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation