Abstract
By making use of modal logic techniques, the paper disentangles two semantically different readings of statements of the type X counts as Y in context C (the classificatory and the constitutive readings) showing that, in fact, ‘counts-as is said in many ways’.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Boella, G., van der Torre, L.: Attributing mental attitudes to normative systems. In: Proceedings of AAMAS 2003, pp. 942–943. ACM Press, New York (2003)
Bulygin, E.: On norms of competence. Law and Philosophy 11, 201–216 (1992)
Buvač, S., Buvač, S.V., Mason, I.A.: The semantics of propositional contexts. In: Raś, Z.W., Zemankova, M. (eds.) ISMIS 1994. LNCS, vol. 869, pp. 468–477. Springer, Heidelberg (1994)
Buvač, S.V., Mason, I.A.: Propositional logic of context. In: Proceedings AAAI 1993, pp. 412–419 (1993)
Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-dimensional modal logics. Theory and applications. Elsevier, Amsterdam (2003)
Gelati, J., Rotolo, A., Sartor, G., Governatori, G.: Normative autonomy and normative co-ordination: Declarative power, representation, and mandate. Artificial Intelligence and Law 12(1-2), 53–81 (2004)
Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127(2), 221–259 (2001)
Grossi, D., Aldewereld, H., Vázquez-Salceda, J., Dignum, F.: Ontological aspects of the implementation of norms in agent-based electronic institutions. In: Proceedings of NorMAS 2005, Hatfield, England, April 2005, AISB, pp. 104–116 (2005)
Grossi, D., Dignum, F., Meyer, J.-J.C.: Contextual taxonomies. In: Leite, J.A., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 33–51. Springer, Heidelberg (2005)
Grossi, D., Dignum, F., Meyer, J.-J.C.: Contextual terminologies. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 284–302. Springer, Heidelberg (2006)
Grossi, D., Meyer, J.-J.C., Dignum, F.: Modal logic investigations in the semantics of counts-as. In: Proceedings of the Tenth International Conference on Artificial Intelligence and Law (ICAIL 2005), pp. 1–9. ACM Press, New York (2005)
Grossi, D., Meyer, J.-J.C., Dignum, F.: Classificatory aspects of counts-as: An analysis in modal logic (under submission, 2006)
Jones, A.J.I., Sergot, M.: Deontic logic in the representation of law: towards a methodology. Artificial Intelligence and Law 1 (1992)
Jones, A.J.I., Sergot, M.: A formal characterization of institutionalised power. Journal of the IGPL 3, 427–443 (1996)
Levesque, H.J.: All i know: A study in autoepistemic logic. Artificial Intelligence (42), 263–309 (1990)
Makinson, D.: On a fundamental problem of deontic logic. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science, pp. 29–53. IOS Press, Amsterdam (1999)
Meyer, J.-J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge Tracts in Theoretical Computer Science, vol. 41. Cambridge University Press, Cambridge (1995)
Peczenik, A.: On Law and Reason. Kluwer, Dordrecht (1989)
Searle, J.: Speech Acts. Cambridge University Press, Cambridge (1986)
Searle, J.: The Construction of Social Reality. Free Press (1995)
Smith, B.: Fiat objects. Topoi 2(20), 131–148 (2001)
Stalnaker, R.: On the representation of context. Journal of Logic, Language, and Information 7, 3–19 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grossi, D., Meyer, JJ.C., Dignum, F. (2006). Counts-as: Classification or Constitution? An Answer Using Modal Logic. In: Goble, L., Meyer, JJ.C. (eds) Deontic Logic and Artificial Normative Systems. DEON 2006. Lecture Notes in Computer Science(), vol 4048. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11786849_11
Download citation
DOI: https://doi.org/10.1007/11786849_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35842-8
Online ISBN: 978-3-540-35843-5
eBook Packages: Computer ScienceComputer Science (R0)