Abstract
We provide a formal characterization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new proposal for dealing with “contexts as abstract mathematical entities” is set forth, which is geared toward solving some problems arising in the area of normative system specifications for modeling multi-agent systems. Contexts are interpreted as sets of description logic models for different languages, and a number of operations on contexts are defined. Using this framework, a simple scenario taken from the legal domain is modeled, and a formal account of the so called open-texture of legal terms is provided characterizing the notions of “core” and “penumbra” of the meaning of a concept.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Dignum, F.: Agents, markets, institutions, and protocols. In: Agent Mediated Electronic Commerce, The European AgentLink Perspective, pp. 98–114. Springer, Heidelberg (2001)
Vázquez-Salceda, J., Dignum, F.: Modelling electronic organizations. In: Mařík, V., Müller, J.P., Pěchouček, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol. 2691, pp. 584–593. Springer, Heidelberg (2003)
Dignum, F.: Abstract norms and electronic institutions. In: Proceedings of the International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA 2002), Bologna, pp. 93–104 (2002)
Vázquez-Salceda, J.: The role of Norms and Electronic Institutions in Multi-Agent Systems. Birkhauser Verlag, AG (2004)
Akman, V., Surav, M.: Steps toward formalizing context. AI Magazine 17, 55–72 (1996)
McCarthy, J.: Notes on formalizing contexts. In: Kehler, T., Rosenschein, S. (eds.) Proceedings of the Fifth National Conference on Artificial Intelligence, Los Altos, California, pp. 555–560. Morgan Kaufmann, San Francisco (1986)
Akman, V., Surav, M.: Steps toward formalizing context. AI Magazine 17, 55–72 (1996)
Benerecetti, M., Bouquet, P., Ghidini, C.: Contextual reasoning distilled. Journal of Experimental and Theoretical Artificial Intelligence (JETAI) 12, 279–305 (2000)
Searle, J.: The Construction of Social Reality. Free Press, New York (1995)
Hage, J., Verheij, B.: The law as a dynamic interconnected system of states of affairs. IJHCS: International Journal of Human-Computer Studies 51, 1043–1077 (1999)
Goldman, A.I.: A Theory of Human Action. Princeton University Press, Princeton (1976)
Hart, H.L.A.: The Concept of Law. Clarendon Press, Oxford (1961)
Hart, H.L.A.: Positivism and the separation of law and morality. Harvard Law Review 71, 593–629 (1958)
Prakken, H.: Logical Tools for Modelling Legal Arguments. Kluwer Academic Publishers, Dordrecht (1997)
Royakkers, L., Dignum, F.: Defeasible reasoning with legal rules. In: Nute, D. (ed.) Defeasible Deontic Logic, pp. 263–286. Kluwer, Dordrecht (1997)
Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127, 221–259 (2001)
Parsons, S., Jennings, N.J., Sabater, J., Sierra, C.: Agent specification using multi-context systems. Foundations and Applications of Multi-Agent Systems (2002)
Casali, A., Godo, L., Sierra, C.: Graded bdi models for agent architectures. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 126–143. Springer, Heidelberg (2005)
Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics or: How we can do without modal logics. Artificial Intelligence 65, 29–70 (1994)
Giunchiglia, F.: Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine 16, 345–364 (1993)
Buvač, S.V., Mason, I.A.: Propositional logic of context. In: Proceedings AAAI 1993, pp. 412–419 (1993)
Buvač, S., Buvač, S.V., Mason, I.A.: The semantics of propositional contexts. In: Proceedings of the eight ISMIS. LNCS (LNAI), vol. 869, pp. 468–477 (1994)
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2002)
McCarthy, J.: Generality in artificial intelligence. Communications of the ACM 30, 1030–1035 (1987)
Wygralak, M.: Vaguely Defined Objects. Kluwer Academic Publishers, Dordrecht (1996)
Lin, T.Y., Cercone, N.: Rough Sets and Data Mining. Analysis of Imprecise Data. Kluwer Academic Publishers, Dordrecht (1997)
Varzi, A.: Vague names for sharp objects. In: Obrst, L., Mani, I. (eds.) Proceedings of the Workshop on Semantic Approximation, Granularity, and Vagueness, pp. 73–78. AAAI Press, Menlo Park (2000)
van Fraassen, B.C.: Singular terms, truth-value gaps, and free logic. Journal of Philosophy 63, 481–495 (1966)
Lewis, D.: Many, but almost one. In: Papers in Metaphysics and Epistemology, pp. 164–182. Cambridge University Press, Cambridge (1999)
Fine, K.: Vagueness, truth and logic. Synthese 30, 265–300 (1975)
Jones, A.J.I., Sergot, M.: A formal characterization of institutionalised power. Journal of the IGPL 3, 429–445 (1996)
Grossi, D., Meyer, J.-J.C., Dignum, F.: Modal logic investigations in the semantics of counts-as (submitted)
Grossi, D., Aldewereld, H., Vázquez-Salceda, J., Dignum, F.: Ontological aspects of the implementation of norms in agent-based electronic institutions. To be presented at NorMAS (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grossi, D., Dignum, F., Meyer, JJ.C. (2005). Contextual Taxonomies. In: Leite, J., Torroni, P. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2004. Lecture Notes in Computer Science(), vol 3487. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11533092_3
Download citation
DOI: https://doi.org/10.1007/11533092_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28060-6
Online ISBN: 978-3-540-31857-6
eBook Packages: Computer ScienceComputer Science (R0)