Advertisement

Basic Conceptual Structures Theory

  • Michel Wermeliager
  • José Gabriel Lopes
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 835)

Abstract

Although the theory of Conceptual Structures is over 10 years old, basic notions (like canonical graphs) are far from settled and are subject to constant extensions and reformulations. However, most of these are done in an informal way, which doesn't help in clarifying the issues involved. It is our hope that this paper will provide a first step towards the complete and rigorous account of Conceptual Structures (CS) Theory, which is needed for ongoing standardization and implementation efforts.

Towards that goal, we present formal definitions of some of the central notions of CS theory (type, referent, concept, relation, conceptual graph, canonical formation rules, canon, and canonical graph) in its simplest form, i.e. no contexts nor coreference links are allowed and referents must be individuals. We thereby introduce higher-order types in order to enable the use of conceptual graphs at the metalevel, the restriction operation of the canonical formation rules is extended to make use of the relation hierarchy, we show the relationship between denotation and conformity relation, and we give a rigorous meaning to the canonical basis, among other things.

Key phrases

formalization of CS theory higher-order concept and relation types type and marker hierarchies metalevel and instance level 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    C. Beierle, U. Hedstück, U. Pletat, P. H. Schmitt, and J. Siekmann. An order-sorted logic for knowledge representation systems. Technical Report 113, IWBS, April 1990.Google Scholar
  2. 2.
    Michel Chein and Marie-Lanre Mugnier. Conceptual graphs: fundamental notions. Révue d'Intelligence Artificielle, 6(4):365–406, 1992.Google Scholar
  3. 3.
    B. A. Davey and H. A. Priestley. Introduction to Order and Lattices. Cambridge University Press, 1990.Google Scholar
  4. 4.
    Gerard Ellis and Robert A. Levinson, editors. Proceedings of the First International Workshop on PEIRCE: A Conceptual Graphs Workbench, Las Cruces, New Mexico, 10 July 1992. Available as University of Queensland Technical Report 241.Google Scholar
  5. 5.
    John W. Esch. Contexts as white box concepts. In Mineau et al. [10], pages 17–29.Google Scholar
  6. 6.
    David A. Gardiner, Bosco S. Tjan, and James R. Slagle. Extending conceptual structures: Representation issues and reasoning operations. In Nagle et al. [12], pages 67–85.Google Scholar
  7. 7.
    Michael R. Genesereth and Richard E. Fikes. Knowledge interchange format version 3.0 reference manual. Technical Report Logic-92-1, Computer Science Department, Stanford University, June 1992. “Living document” of the Interlingua Working Group of the DARPA Knowledge Sharing Effort.Google Scholar
  8. 8.
    Bikash Chandra Ghosh and Vilas Wuwongse. Declarative semantics of conceptual graph semantics. In Robert Levinson and Gerard Ellis, editors, Proceedings of the Second International Workshop on PEIRCE: A Conceptual Graphs Workbench, Quebec, Canada, 7 August 1993. Laval University.Google Scholar
  9. 9.
    Guy W. Mineau, Bernard Moulin, and John F. Sowa, editors. Conceptual Graphs for Knowledge Representation, number 699 in Lecture Notes in Artificial Intelligence, Québec City, Canada, 4–7 August 1993. Springer-Verlag. Proceedings of the First International Conference on Conceptual Structures.Google Scholar
  10. 10.
    Guy W. Mineau, Bernard Moulin, and John F. Sowa, editors. International Conference on Conceptual Structures: Theory and Applications, Québec City, Canada, 4–7 August 1993. Complementary proceedings.Google Scholar
  11. 11.
    M.L. Mugnier and M. Chein. Characterization and algorithmic recognition of canonical conceptual graphs. In Mineau et al[9], pages 294–311.Google Scholar
  12. 12.
    Timothy E. Nagle, Janice A. Nagle, Laurie L. Gerholz, and Peter W. Eklund, editors. Conceptual Structures: Current Research and Practice. Ellis Horwood Series in Workshops. Ellis Horwood, 1992.Google Scholar
  13. 13.
    S. Perez and A. Sarris, editors. Information resource dictionary system conceptual schema. Technical Report X3H4/92-003 and ISO/IEC JTC1/SC21 N7486, American National Standards Institute and International Organisation for Standardization, 1993.Google Scholar
  14. 14.
    Gérard Sabah and Anne Vilnat. Hierarchy of relational types in conceptual graphs to handle natural language parsing. In Mineau et al. [10], pages 198–215.Google Scholar
  15. 15.
    Jan Schmidt and Pavel Kocura. Generalized referents: a neat interface for the scruffy work. In Mineau et al. [10], pages 1–16.Google Scholar
  16. 16.
    John F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. The System Programming Series. Addison-Wesley Publishing Company, 1984.Google Scholar
  17. 17.
    John F. Sowa. Conceptual graph summary. In Nagle et al. [12], pages 3–51.Google Scholar
  18. 18.
    John F. Sowa. Relating diagrams to logic. In Mineau et al. [9], pages 1–35.Google Scholar
  19. 19.
    Bosco S. Tjan, David A. Gardiner, and James R. Slagle. Representing and reasoning with set referents and numerical quantifiers. In Nagle et al. [12], pages 53–66.Google Scholar
  20. 20.
    Michel Wermelinger and Alex Bejan. Conceptual structures for modeling in CIM. In Mineau et al. [9], pages 345–360.Google Scholar
  21. 21.
    Michel Wermelinger and José Gabriel Lopes. An X-Windows toolkit for knowledge acquisition and representation based on conceptual structures. In Heather D. Pfeiffer and Timothy E. Nagle, editors, Conceptual Structures: Theory and Implementation, number 754 in Lecture Notes in Artificial Intelligence, pages 262–271. Springer Verlag, 1993. Proceedings of the Seventh Annual Workshop on Conceptual Graphs, Las Cruces, New Mexico, USA, 8-10 July 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Michel Wermeliager
    • 1
  • José Gabriel Lopes
    • 1
  1. 1.Departamento de InformáticaUniversidade Nova de LisboaMonte da CaparicaPortugal

Personalised recommendations