Classificatory aspects of counts-as: An analysis in modal logic

Journal of Logic and Computation

Volumn 16, Issue 5, 2006, Pages 613-643

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

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Constitutive rules; Contextual classification; Counts as; Modal logic

Indexed keywords

CLASSIFICATION (OF INFORMATION); COMPUTATIONAL METHODS; COMPUTER AIDED ANALYSIS; INFORMATION ANALYSIS; SYNTACTICS;

CONSTITUTIVE RULES; CONTEXTUAL CLASSIFICATION; COUNTS AS; MODAL LOGIC;

FORMAL LOGIC;

EID: 33750734664     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exl027     Document Type: Conference Paper

References (48)

1. Proceedings of The 1st International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2002), July 15 19, Bologna, Italy. ACM, New York, NY, USA, 2002.
2. Proceedings of The 2nd International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2003), July 14-18, Melbourne, Victoria, Australia. ACM, New York, NY, USA, 2003.
3. Proceedings of The 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), August 19-23, New York, NY, USA. IEEE Computer Society, New York, NY, USA, 2004.
4. Proceedings of The 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, Utrecht, The Netherlands. ACM, New York, NY, USA, 2005.
5. C. E. Alchourrón and E. Bulygin. Normative Systems. Springer Verlag, Berlin, Germany, 1971.
6. K. Atkinson and T. Bench-Capon. Levels of reasoning with legal cases. In Proceedings of the ICAIL 2005 Workshop on Argumentation in AI and Law, IAAIL Workshop Series P. E. Dunne and T. Bench-Capon, eds, pp. 1-11, June, Bologna, Italy. Wolf Legal Publishers, The Netherlands, 2005.
7. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi and P. F. Patel-Schneider. The Description Logic Handbook. Cambridge University Press, Cambridge, 2002.
8. P. Blackburn, M. de Rijke and Y. Venema. Modal Logic. Cambridge University Press, Cambridge, 2001.
9. G. Boella and L. van der Torre. Attributing mental attitudes to normative systems. In AAMAS '03: Proceedings of the 2nd international joint conference on Autonomous agents and multiagent systems, pp. 942 943, ACM Press, New York, NY, USA, 2003.
10. G. Boella and L. van der Torre. Regulative and constitutive norms in normative multiagent systems. In Proceedings of KR2004, D. Dubois, C. A. Christopher, A. Welty and M. Williams, eds, pp. 255-266, Whistler, Canada, 2004.
11. G. Boella and L. van der Torre. Constitutive norms in the design of normative multiagent systems. In CLIMA VI, LNAI 3900, F. Toni and P. Torroni, eds, pp. 303-319, London, UK. Springer Verlag, Berlin, Germany, 2005.
12. O. Boissier, V. Dignum, E. Matson and J. Sichman, eds. Proceedings of the Workshop on From Organizations to Organization Oriented Programming (OOOP 05), Utrecht, The Netherlands, July 2005.
13. E. Bulygin. On norms of competence. Law and Philosophy 11, pp. 201-216, 1992.
14. S. Buvač", S. V. Buvač and I. A. Mason. The semantics of prepositional contexts Proceedings of the 8th ISMIS. LNAI-869, pp. 468-477, 1994.
15. S.V. Buvač and I. A. Mason. Propositional logic of context. Proceedings AAAI'93, pp. 412-419, AAAI Press, Menlo Park, CA, USA, 1993.
16. D. M. Gabbay, A. Kurucz, F. Wolter and M. Zakharyaschev. Many-dimensional modal logics. Theory and applications. Elsevier, North-Holland, 2003.
17. J. Gelati, A. Rotolo, G. Sartor and G. Governatori. Normative autonomy and normative co-ordination: Declarative power, representation, and mandate. Artif. Intell. Law, 12(1-2), 53-81, 2004.
18. A. I. Goldman. A Theory of Human Action. Princeton University Press, Princeton, NJ, USA, 1976.
19. 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), pp. 131-147, 2002.
20. D. Grossi, H. Aldewereld, J. Vázquez-Salceda and F. Dignum. Ontological aspects of the implementation of norms in agent-based electronic institutions. Computational & Mathematical Organization Theory (CMOT), 12(2/3), 2006.
21. D. Grossi, F. Dignum and J.-J. Ch. Meyer. Context in categorization. In Proceedings of CRR'05, Workshop on Context Representation and Reasoning, Volume 136 of CEUR Workshp Proceedings, L. Serafini and P. Bouquet, eds, Paris, June 2005.
22. D. Grossi, F. Dignum and J-J. Ch. Meyer. Contextual taxonomies. In Post-proceedings of CLIMA V, 5th International Workshop on Computational Logic in Multi-Agent Systems, LNAI 3487, J. Leite and P. Toroni, eds, pp. 33-51, Lisbon, Portugal. Springer Verlag, Berlin, Germany, 2005.
23. D. Grossi, F. Dignum and J-J. Ch. Meyer. Contextual terminologies. In Post-proceedings of CLIMA VI, 6th International Workshop on Computational Logic in Multi-Agent Systems, LNAI 3900, F. Toni and P. Toroni, eds, pp. 284-302, London, UK. Springer Verlag, Berlin, Germany, 2006.
24. D. Grossi, J-J. Ch. Meyer and F. Dignum. Modal logic investigations in the semantics of counts-as. In Proceedings of the. Tenth International Conference on Artificial Intelligence and Law (ICAIL'05), pp. 1-9, June, Bologna, Italy. ACM, New York, NY, USA, 2005.
25. D. Grossi, J-J. Ch. Meyer and F. Dignum. Counts-as: Classification or constitution? an answer using modal logic. In Proceedings of DEON 2006, LNAT 4048 L. Goble and J-J. Ch. Meyer, eds, pp. 115-130, Utrecht, The Netherlands, 2006.
26. 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.
27. H. L. A. Hart. Positivism and the separation of law and morality. Harvard Law Review, 71, 593-629, 1958.
28. H. L. A. Hart. The Concept of Law. Clarendon Press, Oxford, 1961.
29. A. J. I. Jones and M. Sergot. Deontic logic in the representation of law: towards a methodology. Artificial Intelligence and Law 1, 1992.
30. A. J. I. Jones and M. Sergot. A formal characterization of institutionalised power. Journal of the IGPL, 3, 427-443, 1996.
31. S. Kraus, D. J. Lehmann and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44(1-2), 167-207, 1990.
32. L. Lindahl. Deduction and justification in the law. The role of legal terms and concepts. Ratio Juris, 17(2), 182-202, 2004.
33. G. Lindemann, S. Ossowski, J. Padget and J. Vázquez-Salceda, eds. Proceedings of the Workshop on Agents, Norms and Institutions for Regulated Multi Agent Systems (ANIREM 05). Utrecht, The Netherlands, July 2005.
34. A. Lomuscio and M. Sergot. Deontic intepreted systems. Studia Logica, 75(1), 63-92, 2003.
35. D. Makinson. Bridges from Classical to Nonmonotonic Logic, Volume 5 of Texts in Computing. King's College Publications, London, UK, 2005.
36. D. Makinson and L. van der Torre. Input-output logics. Journal of Philosophical Logic, 29(4), 383-408, 2000.
37. J.-J. Ch. Meyer and W. vander Hoek. Epistemic Logic for AI and Computer Science, Volume 41 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 1995.
38. J.-J. Ch. Meyer and R. J. Wieringa, eds. Deontic Logic in Computer Science. Normative System Specification. Proceedings of the 1st International Workshop on Deontic Logic in Computer Science (DEO N'91), December 11-13, 1991 Amsterdam, The Netherlands. John Wiley & Sons, New York, 1993.
39. P. P. Nayak. Representing multiple theories. In Proceedings of the 12th National Conference on Artificial Intelligence, Volume 2. pp. 1.154-1160, Seattle, WA, USA. AAAI Press, Menlo Park, CA, USA, 1994.
40. A. Peczenik. On Law and Reason. Kluwer, Dordrecht, 1989.
41. H. Prakken and G. Vreeswijk. Logics for defeasible argumentation. Handbook of Philosophical Logic, vol. IV, pp. 218-319, Kluwer, Dordrecht, The Netherlands, 2002.
42. J. Rawls. Two concepts of rules. The Philosophical Review 64(1), pp. 3-32, 1955.
43. J. Searle. Speech Acts. An Essay in the Philosophy of Language. Cambridge University Press, Cambridge, 1969.
44. J. Searle. The Construction of Social Reality, Free Press, 1995.
45. R. Stalnaker. On the representation of context. In Journal of Logic, Language, and Information, Volume 7, pp. 3-19, Kluwer, Dordrecht, 1998.
46. A. Tarski. The establishment of scientific semantics, In Logic, Semantics, Metamathematics. pp. 401-408, Hackett, Indianapolis, 1983.
47. G. H. Von Wright. In Norm and Action. A Logical Inquiry. Routledge, London, 1963.
48. G. H. Von Wright. Deontic logic. Mind 60, pp. 1-15, 1951.