Advertisement

Contextual Taxonomies

  • Davide Grossi
  • Frank Dignum
  • John-Jules Ch. Meyer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3487)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Dignum, F.: Agents, markets, institutions, and protocols. In: Agent Mediated Electronic Commerce, The European AgentLink Perspective, pp. 98–114. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Vázquez-Salceda, J.: The role of Norms and Electronic Institutions in Multi-Agent Systems. Birkhauser Verlag, AG (2004)zbMATHGoogle Scholar
  5. 5.
    Akman, V., Surav, M.: Steps toward formalizing context. AI Magazine 17, 55–72 (1996)CrossRefGoogle Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Akman, V., Surav, M.: Steps toward formalizing context. AI Magazine 17, 55–72 (1996)Google Scholar
  8. 8.
    Benerecetti, M., Bouquet, P., Ghidini, C.: Contextual reasoning distilled. Journal of Experimental and Theoretical Artificial Intelligence (JETAI) 12, 279–305 (2000)zbMATHCrossRefGoogle Scholar
  9. 9.
    Searle, J.: The Construction of Social Reality. Free Press, New York (1995)Google Scholar
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    Goldman, A.I.: A Theory of Human Action. Princeton University Press, Princeton (1976)Google Scholar
  12. 12.
    Hart, H.L.A.: The Concept of Law. Clarendon Press, Oxford (1961)Google Scholar
  13. 13.
    Hart, H.L.A.: Positivism and the separation of law and morality. Harvard Law Review 71, 593–629 (1958)CrossRefGoogle Scholar
  14. 14.
    Prakken, H.: Logical Tools for Modelling Legal Arguments. Kluwer Academic Publishers, Dordrecht (1997)Google Scholar
  15. 15.
    Royakkers, L., Dignum, F.: Defeasible reasoning with legal rules. In: Nute, D. (ed.) Defeasible Deontic Logic, pp. 263–286. Kluwer, Dordrecht (1997)Google Scholar
  16. 16.
    Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127, 221–259 (2001)zbMATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    Parsons, S., Jennings, N.J., Sabater, J., Sierra, C.: Agent specification using multi-context systems. Foundations and Applications of Multi-Agent Systems (2002)Google Scholar
  18. 18.
    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)CrossRefGoogle Scholar
  19. 19.
    Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics or: How we can do without modal logics. Artificial Intelligence 65, 29–70 (1994)zbMATHCrossRefMathSciNetGoogle Scholar
  20. 20.
    Giunchiglia, F.: Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine 16, 345–364 (1993)Google Scholar
  21. 21.
    Buvač, S.V., Mason, I.A.: Propositional logic of context. In: Proceedings AAAI 1993, pp. 412–419 (1993)Google Scholar
  22. 22.
    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)Google Scholar
  23. 23.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2002)Google Scholar
  24. 24.
    McCarthy, J.: Generality in artificial intelligence. Communications of the ACM 30, 1030–1035 (1987)zbMATHCrossRefMathSciNetGoogle Scholar
  25. 25.
    Wygralak, M.: Vaguely Defined Objects. Kluwer Academic Publishers, Dordrecht (1996)zbMATHGoogle Scholar
  26. 26.
    Lin, T.Y., Cercone, N.: Rough Sets and Data Mining. Analysis of Imprecise Data. Kluwer Academic Publishers, Dordrecht (1997)zbMATHGoogle Scholar
  27. 27.
    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)Google Scholar
  28. 28.
    van Fraassen, B.C.: Singular terms, truth-value gaps, and free logic. Journal of Philosophy 63, 481–495 (1966)CrossRefGoogle Scholar
  29. 29.
    Lewis, D.: Many, but almost one. In: Papers in Metaphysics and Epistemology, pp. 164–182. Cambridge University Press, Cambridge (1999)CrossRefGoogle Scholar
  30. 30.
    Fine, K.: Vagueness, truth and logic. Synthese 30, 265–300 (1975)zbMATHCrossRefGoogle Scholar
  31. 31.
    Jones, A.J.I., Sergot, M.: A formal characterization of institutionalised power. Journal of the IGPL 3, 429–445 (1996)Google Scholar
  32. 32.
    Grossi, D., Meyer, J.-J.C., Dignum, F.: Modal logic investigations in the semantics of counts-as (submitted)Google Scholar
  33. 33.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Davide Grossi
    • 1
  • Frank Dignum
    • 1
  • John-Jules Ch. Meyer
    • 1
  1. 1.Utrecht UniversityThe Netherlands

Personalised recommendations