BIO logical agents: Norms, beliefs, intentions in defeasible logic
Tóm tắt
Từ khóa
Tài liệu tham khảo
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.
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., 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
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
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