Skip to main content
Springer Nature Link
Log in

Symmetry and the Computation of Conceptual Structures

  • Conference paper
Conceptual Structures: Logical, Linguistic, and Computational Issues (ICCS 2000)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1867))

Included in the following conference series:

Abstract

The discovery and exploitation of symmetry plays a major role in sciences such as crystallography, quantum theory, condensed-matter physics, thermodynamics, chemistry, biology and others. It then should not be surprising then, since Conceptual Structures are proposed as a universal knowledge representation scheme, that symmetry should play a role in their interpretation and their application. In this tutorial style paper, we illustrate the role of symmetry in Conceptual Structures and how algorithms may be constructed that exploit this symmetry in order to achieve computational efficiency.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Baader, F., Hollunder, B., Nebel, B., Profitlich, H.-J., Franconi, E.: An empirical analysis of optimization techniques for terminological representation systems. In: Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (October 1992)

    Google Scholar 

  2. Ellis, G., Levinson, R.A., Robinson, P.: Managing complexob jects in PEIRCE. Special Issue on Object-Oriented Approaches in Artificial Intelligence and Human-Computer Interaction (IJMMS) 41, 109–148 (1994)

    Google Scholar 

  3. Esch, J., Levinson, R.A.: Propogating truth and detecting contradictions in conceptual graphs databases. In: Eklund, P., Ellis, G., Mann, G. (eds.) Conceptual Structures: Knowledge Representation as Interlingua, vol. 1527, pp. 229–247. Springer, Heidelberg (1997)

    Google Scholar 

  4. Fuchs, G., Levinson, R.A.: The cg mars lander. In: Lukose, D., Delegach, H.S., Keeler, M., Searle, L., Sowa, J. (eds.) Conceptual Structures: Fulfilling Peirce’s Dream, vol. 1527, pp. 611–616 (1997)

    Google Scholar 

  5. Hughey, R., Levinson, R., Roberts, J.D.: Issues in parallel hardware for graph retrieval. In: Proceedings of the 1st International Conference on Conceptual Structures, pp. 62–71 (1993)

    Google Scholar 

  6. Levinson, R.: A self-organizing retrieval system for graphs. In: AAAI 1984, pp. 203–206. Morgan Kaufman, San Francisco (1984)

    Google Scholar 

  7. Levinson, R.: Pattern associativity and the retrieval of semantic networks. Computers and Mathematics with Applications 23(6-9), 573–600 (1992); Part 2 of Special Issue on Semantic Networks in Artificial Intelligence, Fritz Lehmann, editor. Also reprinted on pages 573–600 of the book, Semantic Networks in Artificial Intelligence, Fritz Lehmann, editor, Pergammon Press (1992)

    Google Scholar 

  8. Levinson, R., Ellis, G.: Multilevel hierarchical retrieval. Knowledge-Based Systems 5, 233–244 (1992); Special Issue on Conceptual Graphs

    Google Scholar 

  9. Levinson, R.A.: Uds: A universal data structure. In: Proc. 2nd International Conference on Conceptual Structures, College Park, Maryland USA, pp. 230–250 (1991)

    Google Scholar 

  10. Noy, N., Musen, M.: An algorithm for merging and aligning ontologies. In: Proceedings of Workshop on Ontology Management, Orlando, Florida, vol. 1527, pp. 611–616. AAAI Press, Menlo Park (1999)

    Google Scholar 

  11. Roberts, D.: The existential graphs. In: Semantic Networks in Artificial Intelligence, pp. 639–664. Roberts, Englewood (1992)

    Google Scholar 

  12. Robinson, J.: A machine oriented logic based on the resolution pronciple. Journal of the ACM, 23–41 (1995)

    Google Scholar 

  13. Schmolze, J.B., Lipkis, T.A.: Classification in the KL-ONE knowledge representation system. In: IJCAI 1983, pp. 330–332 (1983)

    Google Scholar 

  14. Sowa, J.F.: Conceptual Structures. Addison-Wesley, Reading (1983)

    Google Scholar 

  15. Vitanyi, P., Li, M.: An Introduction to Kolmogorov Complexity and its Applications. Springer, Heidelberg (1993)

    MATH  Google Scholar 

  16. Wolff, J.: Towards a Theory of Cognition and Computing. Ellis Horwood, Chichester (1991)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of California, Santa Cruz, CA, 95064, USA

    Robert Levinson

Authors
  1. Robert Levinson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Algebra, University of Technology, Dresden, Germany

    Bernhard Ganter

  2. Département d’informatique et de génie logiciel, Université Laval, Pavillon Adrien-Pouliot, 1065, av. de la Médecine, G1V 0A6, Quebec City, Québec, Canada

    Guy W. Mineau

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Levinson, R. (2000). Symmetry and the Computation of Conceptual Structures. In: Ganter, B., Mineau, G.W. (eds) Conceptual Structures: Logical, Linguistic, and Computational Issues. ICCS 2000. Lecture Notes in Computer Science(), vol 1867. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722280_34

Download citation

  • DOI: https://doi.org/10.1007/10722280_34

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67859-5

  • Online ISBN: 978-3-540-44663-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics