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

Springer Science and Business Media LLC - Tập 17 Số 1 - Trang 36-69 - 2008
Guido Governatori1, Antonino Rotolo2
1School of ITEE, The University of Queensland, Brisbane, Australia
2CIRSFID-Law Faculty, University of Bologna, Bologna, Italy

Tóm tắt

Từ khóa


Tài liệu tham khảo

Adams F. (1986). Intention and intentional action: The simple view. Mind and Language 1: 281–301

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.

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

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.

Billington D. (1993). Defeasible logic is stable. Journal of Logic and Computation 3(4): 379–400

Bratman M.E., Israel D.J. and Pollack M.E. (1988). Plans and resource-bounded practical reasoning. Computational Intelligence 4: 349–355

Bratman M.E. (1987). Intentions, plans and practical reason. Harvard University Press, Cambridge, MA

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

Cohen P. and Levesque H. (1990). Intention is choice with commitment. Artificial Intelligence 42: 213–261

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.

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.

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

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.

Garey, M., & Johnson, D. (1979). Computers and intractability: A guide to the theory of NP-completeness. W. H. Freeman and Company.

Girle R. (2000). Modal logic and philosophy. Acumen, Teddington

Governatori, G., & and Padmanabhan, V. (2003). A defeasible logic of policy-based intention. In Proceedings of AI 2003. Springer Verlag.

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.

Governatori, G., & Rotolo, A. (2008). A computational framework for institutional agency. Artificial Intelligence and Law. (Forthcoming).

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.

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

Knobe J. (2003). Intentional action and side effects in ordinary language. Analysis 63: 190–193

Kraus S., Lehmann D. and Magidor M. (1990). Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44: 167–207

Maher M.J. (2001). Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming 1(6): 691–711

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

McCann H. (1986). Rationality and the range of intention. Midwest Studies in Philosophy 10: 191–211

Mele A. and Sverdlik S. (1996). Intention, intentional action and moral responsibility. Philosophical Studies 82: 265–287

Nute, D. (1987). Defeasible reasoning. In Proceedings of 20th Hawaii International Conference on System Science (pp. 470–477). IEEE press.

Nute, D. (1994). Defeasible logic. In Handbook of logic in artificial intelligence and logic programming (Vol. 3, pp. 353–395). Oxford University Press.

Nute D. (Ed.) (1997). Defeasible deontic logic. Kluwer, Dordrecht

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

Pitt J. (Ed.) (2005). Open agent societies. Wiley, Chichester

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.

Sartor G. (2005). Legal reasoning: A cognitive approach to the law. Springer, Dordrecht

Searle J. (Ed.) (1983). Intentionality. Cambridge University Press, Cambridge

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

von Wright G.H. (1963). Norm and action. Routledge, London