BIO logical agents: Norms, beliefs, intentions in defeasible logic

Autonomous Agents and Multi-Agent Systems

Volumn 17, Issue 1, 2008, Pages 36-69

  Governatori, Guido ^a   Rotolo, Antonino ^b  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Agent types; Computational complexity; Defeasible logic; Intention and obligation; Social agents

Indexed keywords

COMPUTATIONAL COMPLEXITY; PHILOSOPHICAL ASPECTS;

COMPLEX COMPUTATION; DEFEASIBLE LOGIC; INTENTION AND OBLIGATION; INTENTIONALITY; LOGICAL AGENTS; SOCIAL AGENTS;

COMPUTER CIRCUITS;

EID: 44649134632     PISSN: 13872532     EISSN: 15737454     Source Type: Journal    
DOI: 10.1007/s10458-008-9030-4     Document Type: Article

References (36)

1. Adams F. (1986). Intention and intentional action: The simple view. Mind and Language 1: 281-301
2. Antoniou, G., Billington, D., Governatori, G., & Maher, M. J. (2000). A flexible framework for defeasible logics. In Proceedings of American National Conference on Artificial Intelligence (AAAI-2000) (pp. 401-405). Menlo Park, CA: AAAI/MIT Press.
3. Antoniou G., Billington D., Governatori G. and Maher M.J. (2001). Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2): 255-287
4. Bassiliades, N., Antoniou, G., & Vlahavas, I. (2004). DR-DEVICE: A defeasible logic system for the Semantic Web. In H. J. Ohlbach & S. Schaffert (Eds.), 2nd Workshop on Principles and Practice of Semantic Web Reasoning, number 3208 in LNCS (pp. 134-148). Springer.
5. Billington D. (1993). Defeasible logic is stable. Journal of Logic and Computation 3(4): 379-400
6. Bratman M.E., Israel D.J. and Pollack M.E. (1988). Plans and resource-bounded practical reasoning. Computational Intelligence 4: 349-355
7. Bratman M.E. (1987). Intentions, plans and practical reason. Harvard University Press, Cambridge, MA
8. Broersen J., Dastani M., Hulstijn J. and van der Torre L. (2002). Goal generation in the BOID architecture. Cognitive Science Quarterly 2(3-4): 428-447
9. Cohen P. and Levesque H. (1990). Intention is choice with commitment. Artificial Intelligence 42: 213-261
10. Dastani, M., Governatori, G., Rotolo, A., & van der Torre, L. (2005). Preferences of agents in defeasible logic. In S. Zhang & R. Jarvis (Eds.), Proceedings Australian AI05, volume 3809 of LNAI (pp. 695-704). Springer.
11. Dastani, M., Governatori, G., Rotolo, A., & van der Torre, L. (2005). Programming cognitive agents in defeasible logic. In G. Sutcliffe & A. Voronkov (Eds.), Proceedings LPAR 2005, volume 3835 of LNAI (pp. 621-636). Springer.
12. Dignum F. (1999). Autonomous agents with norms. Artificial Intelligence and Law 7(1): 69-79
13. Dignum, F., Morley, D., Sonenberg, L., & Cavedon, L. (2000). Towards socially sophisticated BDI agents. In Proceedings of ICMAS 4th International Conference on Multi-Agent Systems (pp. 111-118). Boston: IEEE Computer Society.
14. Garey, M., & Johnson, D. (1979). Computers and intractability: A guide to the theory of NP-completeness. W. H. Freeman and Company.
15. Girle R. (2000). Modal logic and philosophy. Acumen, Teddington
16. Governatori, G., & and Padmanabhan, V. (2003). A defeasible logic of policy-based intention. In Proceedings of AI 2003. Springer Verlag.
17. Governatori, G., & Rotolo, A. (2004). Defeasible logic: Agency, intention and obligation. In A. Lomuscio & D. Nute (Eds.), Deontic logic in computer science, number 3065 in LNAI (pp. 114-128). Berlin: Springer-Verlag.
18. Governatori, G., & Rotolo, A. (2008). A computational framework for institutional agency. Artificial Intelligence and Law. (Forthcoming).
19. Governatori, G., Rotolo, A., & Padmanabhan, V. (2006). The cost of social agents. In 5th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS06) (pp. 513-520). New York: ACM.
20. Kagal L. and Finin T. (2007). Modeling conversation policies using permissions and obligations. Journal of Autonomous Agents and Multi-Agent Systems 14(2): 187-206
21. Knobe J. (2003). Intentional action and side effects in ordinary language. Analysis 63: 190-193
22. Kraus S., Lehmann D. and Magidor M. (1990). Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44: 167-207
23. Maher M.J. (2001). Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming 1(6): 691-711
24. Maher M.J., Rock A., Antoniou G., Billignton D. and Miller T. (2001). Efficient defeasible reasoning systems. International Journal of Artificial Intelligence Tools 10(4): 483-501
25. McCann H. (1986). Rationality and the range of intention. Midwest Studies in Philosophy 10: 191-211
26. Mele A. and Sverdlik S. (1996). Intention, intentional action and moral responsibility. Philosophical Studies 82: 265-287
27. Nute, D. (1987). Defeasible reasoning. In Proceedings of 20th Hawaii International Conference on System Science (pp. 470-477). IEEE press.
28. Nute, D. (1994). Defeasible logic. In Handbook of logic in artificial intelligence and logic programming (Vol. 3, pp. 353-395). Oxford University Press.
29. Nute D. (Ed.) (1997). Defeasible deontic logic. Kluwer, Dordrecht
30. Nute D. (1998). Norms, priorities and defeasible logic. In: McNamara, P. and Prakken, H. (eds) Norms, ogics and information system, pp 201-218. IOS Press, Amsterdam
31. Pitt J. (Ed.) (2005). Open agent societies. Wiley, Chichester
32. Rao, A. S., & Georgeff, M. P. (1991). Modelling rational agents within a BDI-architecture. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91) (pp. 473-484). Morgan Kaufmann.
33. Sartor G. (2005). Legal reasoning: A cognitive approach to the law. Springer, Dordrecht
34. Searle J. (Ed.) (1983). Intentionality. Cambridge University Press, Cambridge
35. Thomason R.H. (2000). Desires and defaults: A framework for planning with inferred goals. In: Cohn, A.G., Giunchiglia, F. and Selman, B. (eds) KR2000, pp. Morgan Kaufmann, San Francisco
36. von Wright G.H. (1963). Norm and action. Routledge, London