Defeasible logic: Agency, intention and obligation

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3065, Issue , 2004, Pages 114-128

  Governatori, Guido ^a   Rotolo, Antonino ^b  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS AGENTS; COGNITIVE SYSTEMS; COMPUTATIONAL METHODS; MODAL ANALYSIS; MULTI AGENT SYSTEMS; PROBLEM SOLVING; COMPUTERS;

BELIEF DESIRE INTENTION (BDI); DEFEASIBLE LOGIC; EPISTEMIC LOGICS; MULTI-MODAL LOGIC;

FORMAL LOGIC; ARTIFICIAL INTELLIGENCE;

DEFEASIBLE LOGIC; MULTI-MODAL LOGIC;

EID: 9444234582     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25927-5_8     Document Type: Conference Paper

References (28)

1. Antoniou, G., D.Billington, G.Governatori, and M.J.Maher.A flexible framework for defeasible logics.In AAAI-2000.AAAI/MIT Press, 2000.
2. Bratman, M., D.Israel, and M.Pollack.Plans and resource-bounded practical reasoning.Computational Intelligence, 4, 1988.
3. Bratman, M.E.Intentions, Plans and Practical Reason.Harvard University Press, 1987.
4. Broersen, J.,M.Dastani, J.Hulstijn, Z.Huang, and L.van der Torre.The BOID architecture.In Agents-01.2001.
5. Broersen, J., M.Dastani, and L.van der Torre.Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires.In ECSQARU 2001, Benferhat, S.And P.Besnard, eds.Springer, 2001.
6. Broersen, J., M.Dastani, and L.van der Torre.BDIOCTL: Obligations and the specification of agent behavior.In IJCAI-03.2003.
7. Carmo, J.And A.J.Jones.Deontic logic and contrary-to-duties.In Handbook of Philosophical Logic (2nd edition), vol.8, Gabbay, D.And F.Guentner, eds.Kluwer, 2000.
8. Dastani, M.And L.van der Torre.A classification of cognitive agents.In Cogsci'02.2002.
9. Elgesem, D.The modal logic of agency.Nordic Journal of Philosophical Logic, 2, 1997.
10. Gelati, J., G.Governatori, A.Rotolo, and G.Sartor.Declarative power, representation, and mandate: A formal analysis.In JURIX02, Bench-Capon, T., A.Deskalopulu, and R.Winkels, eds.IOS Press, 2002.
11. Governatori, G.And V.Padmanabhan.A defeasible logic of policy-based intention.In AI 2003: Advances in Artificial Intelligence, Gedeon, T.D.And L.C.C.Fung, eds., vol.2903 of LNAI.Springer, 2003.
12. Governatori, G.And A.Rotolo.A defeasible logic of institutional agency.In NRAC'03, Brewka, G.And P.Peppas, eds.2003.
13. Halpern, J.Y.And Y.Moses.A guide to completeness and complexity for modal logic of knowledge and belief.Artificial Intelligence, 54, 1992.
14. Hilpinen, R.On action and agency.In Logic, Action and Cognition: Essays in Philosophical Logic, Ejerhed, E.And S.Lindström, eds.Kluwer, 1997.
15. Kraus, S., D.Lehmann, and M.Magidor.Nonmonotonic reasoning, preferential models and cumulative logics.Artificial Intelligence, 44, 1990.
16. Maher, M.Propositional defeasible logic has linear complexity.Theory and Practice of Logic Programming, (6), 2001.
17. Maher,M.J.And G.Governatori.A semantic decomposition of defeasible logic.In AAAI-99.AAAI Press, 1999.
18. Maher, M.J., A.Rock, G.Antoniou, D.Billignton, and T.Miller.Efficient defeasible reasoning systems.International Journal of Artificial Intelligence Tools, (4), 2001.
19. Meyer, J.-J.C.And W.van der Hoek.Epistemic Logic for AI and Computer Science.Cambridge University Press, 1995.
20. Nute, D.Defeasible logic.In Handbook of Logic in Artificial Intelligence and Logic Programming, vol.3.Oxford University Press, 1987.
21. Nute, D.Norms, priorities, and defeasible logic.In Norms, Logics and Information Systems, McNamara, P.And H.Prakken, eds.IOS Press, 1998.
22. Pitt, J.(ed.).Open Agent Societies.Wiley, 2004.
23. Rao, A.And M.Georgeff.Modelling rational agents within a BDI-architecture.In KR'91, Fikes, A.J.And R.E.Sandewall, eds.Morgan Kaufmann, 1991.
24. Rao, A.And M.Georgeff.BDI agents: From theory to practice.In ICMAS'95.1995.
25. Santos, F.And J.Carmo.Indirect action: Influence and responsibility.In Deontic Logic, Agency and Normative Systems, Brown, M.And J.Carmo, eds.Springer, 1996.
26. Sergot, M.And F.Richards.On the representation of action and agency in the theory of normative positions.Fundamenta Informaticae, 48, 2001.
27. Thomason, R.H.Desires and defaults: A framework for planning with inferred goals.In KR2000, Cohn, A.G., F.Giunchiglia, and B.Selman, eds.Morgan Kaufmann, 2000.
28. van der Torre, L.And Y.Tan.The many faces of defeasibility.In Defeasible Deontic Logic, Nute, D., ed.Kluwer, 1997.