Modal logic investigations in the semantics of counts-as

Proceedings of the International Conference on Artificial Intelligence and Law

Volumn , Issue , 2005, Pages 1-9

  Grossi, Davide ^a   Meyer, John Jules Ch ^a   Dignum, Frank ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Constitutive rules; Counts as; Modal logic

Indexed keywords

COUNTS-AS; MODAL LOGIC; NORMATIVE SYSTEM;

ARTIFICIAL INTELLIGENCE; PHILOSOPHICAL ASPECTS;

SEMANTICS;

EID: 77950456461     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1165485.1165487     Document Type: Conference Paper

References (41)

1. C. E. Alchourrón and E. Bulygin. Normative Systems. Springer Verlag, Wien, 1986.
2. A. Anderson. The formal analysis of normative concepts. American Sociological Review, 22:9-17, 1957.
3. A. Anderson. A reduction of deontic logic to alethic modal logic. Mind, 22:100-103, 1958.
4. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider. The Description Logic Handbook. Cambridge University Press, Cambridge, 2002.
5. M. Benerecetti, P. Bouquet, and C. Ghidini. Contextual reasoning distilled. Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 12(3):279-305, 2000.
6. P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, Cambridge, 2001.
7. G. Boella and L. Van der Torre. Regulative and constitutive norms in normative multiagent systems. In Proceedings of KR2004, Whistler, Canada, pages 255-266, 2004.
8. E. Bulygin. On norms of competence. Law and Philosophy 11, pages 201-216, 1992.
9. S. Buvač, S. V. Buvač, and I. A. Mason. The semantics of propositional contexts. Proceedings of the eight ISMIS. LNAI-869, pages 468-477, 1994.
10. S. V. Buvač and I. A. Mason. Propositional logic of context. Proceedings AAAI'93, pages 412-419, 1993.
11. B. F. Chellas. Modal Logic. An Introduction. Cambridge University Press, Cambridge, 1980.
12. P. d'Altan, J.-J. C. Meyer, and R. Wieringa. An integrated framework for ought-to-be and ought-to-do constraints. In Y. H. Tan, editor, Working Papers of the Workshop om Deontic and Non-Monotonic Logics, pages 14-45, Rotterdam, 1993.
13. R. Fagin, J. Halpern, and M. Vardi. Belief, awareness and limited reasoning. Artificial Intelligence, 34:39-76, 1988.
14. D. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-dimensional modal logics. Theory and applications. Elsevier, 2003.
15. A. I. Goldman. A Theory of Human Action. Princeton University Press, Princeton, 1976.
16. G. Governatori, J. Gelati, A. Rotolo, and G. Sartor. Actions, institutions, powers. preliminary notes. In International Workshop on Regulated Agent-Based Social Systems: Theories and Applications(RASTA'02), pages 131-147, 2002.
17. D. Grossi, H. Aldewereld, J. Vázquez-Salceda, and F. Dignum. Ontological aspects of the implementation of norms in agent-based electronic institutions. Presented at NorMAS, 2005.
18. D. Grossi and F. Dignum. From abstract to concrete norms in agent institutions. Proceedings of FAABS III Workshop, LNAI 3228, Washington, April 2004.
19. D. Grossi, F. Dignum, and J.-J. C. Meyer. Contextual taxonomies. In J. Leite and P. Toroni, editors, Proceedings of CLIMA V Workshop, Lisbon, September, pages 2-17, 2004.
20. J. Hage and B. Verheij. The law as a dynamic interconnected system of states of affairs. IJHCS: International Journal of Human-Computer Studies, 51:1043-1077, 1999.
21. H. L. A. Hart. Positivism and the separation of law and morality. Harvard Law Review, 71:593-629, 1958.
22. H. L. A. Hart. The Concept of Law. Clarendon Press, Oxford, 1961.
23. J. Hintikka. Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca, 1962.
24. A. J. I. Jones and M. Sergot. Deontic logic in the representation of law: towards a methodology. Artificial Intelligence and Law 1, 1992.
25. A. J. I. Jones and M. Sergot. On the characterization of law and computer systems. Deontic Logic in Computer Science, pages 275-307, 1993.
26. A. J. I. Jones and M. Sergot. A formal characterization of institutionalised power. Journal of the IGPL, 3:429-445, 1996.
27. J. Krabbendam and J.-J. C. Meyer. Contextual deontic logics. In P. McNamara and H. Prakken, editors, Norms, Logics and Information Systems, pages 347-362, Amsterdam, 2003. IOS Press.
28. A. Lomuscio and D. Nute, editors. Proceedings of DEON'04, 2004.
29. A. Lomuscio and M. Sergot. Investigations in grounded semantics for multi-agent systems specification via deontic logic. Technical report, Imperial College, 2000.
30. A. Lomuscio and M. Sergot. Deontic intepreted systems. Studia Logica 75, pages 63-92, 2003.
31. J. Meyer and W. van der Hoek. Epistemic Logic for AI and Computer Science, volume 41 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1995.
32. P. Nayak. Representing multiple theories. In Proceedings of the 12th National Conference on Artificial Intelligence, Volume 2. Seattle, WA, USA, pages 1154-1160. AAAI Press, 1994.
33. A. Peczenik. On Law and Reason. Kluwer, Dordrecht, 1989.
34. H. Prakken and G. Vreeswijk. Logics for defeasible argumentation. Handbook of Philosophical Logic vol. IV, pages 218-319, 2002.
35. F. Raimondi and L. Lomuscio. Automatic verification of deontic properties of multi-agent systems. In A. Lomuscio and D. Nute, editors, Proceedings of DEON'04, pages 228-242, 2004.
36. A. Ross. Directives and Norms. Routledge & Kegan Paul, London, 1968.
37. D. W. P. Ruiter. A basic classification of legal institutions. Ratio Juris, 10:357-371, 1997.
38. J. Searle. Speech Acts. Cambridge University Press, Cambridge, 1986.
39. J. Searle. The Construction of Social Reality. Free Press, 1995.
40. R. Stalnaker. On the representation of context. In Journal of Logic, Language, and Information 7, pages 3-19. Kluwer, 1993.
41. G. H. Von Wright. Norm and Action. A Logical Inquiry. Routledge, London, 1963.