Advertisement

Specialization: Where do the difficulties occur?

  • M. Chein
  • M. L. Mugnier
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 754)

Abstract

An analytical study of the Sowa's elementary specialization operations is presented in this paper. Each operation is studied independently, then combined with the others. Some complexity results are proven. For instance, the elementary decision problems, related to these operations, are shown to be isomorphic-complete or NP-complete. The main objective of this paper is a better understanding of the reasons of the difficulties occurring in the algorithmic study of these operations.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [CC]
    G. Chaty, M. Chein, Réductions de graphes et systèmes de Church-Rosser. R.A.I.R.O. Oper. Res., vol.15, n∘2, 1981, 109–117.Google Scholar
  2. [C]
    M. Chein, S-graphes(1): Notions de base. Res. Rep. CRIM, 87, oct. 1989.Google Scholar
  3. [CM]
    M. Chein, M.L. Mugnier, Conceptual Graphs: Fundamental Notions. Res. Report LIRMM, n∘91-188, Nov 1991, 35p. (submitted to the R.I.A.).Google Scholar
  4. [E]
    G. Ellis, Compiled Hierarchical Retrieval. 6th Annual Workshop on Conceptual Graphs, 1991, 187–207.Google Scholar
  5. [FLDC]
    J. Fargues, M.C. Landau, A. Dugourd, L. Catach, Conceptual Graphs for Semantic Information Processing. IBM Journal of Res. and Dev., 30, 1, 1986, 70–79.Google Scholar
  6. [GJ]
    Garey, JohnsonGoogle Scholar
  7. [J]
    M.K. Jackman, Inference and the Conceptual Graph Knowledge Representation Language. In S. Moralee, edt, Research and Development in Expert Systems IV, Cambridge University Press, 1988.Google Scholar
  8. [H]
    G. Huet, Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems. Journal of A.C.M., vol. 27, 1980, 797–821.Google Scholar
  9. [MC]
    M.L. Mugnier, M. Chein, Polynomial Algorithms for Projection and Matching Problems. 7th Annual Workshop on Conceptual Graphs, New Mexico University, July 1992.Google Scholar
  10. [S]
    J. Sowa, Conceptual Structures. Information Processing in Mind and Machine. Addison-Wesley, 1984.Google Scholar
  11. [W]
    M. Willems, Generalization of Conceptual Graphs. 6th Annual Workshop on Conceptual Graphs, 1991.Google Scholar

Copyright information

© Springer-Verlag 1993

Authors and Affiliations

  • M. Chein
    • 1
  • M. L. Mugnier
    • 1
  1. 1.LIRMMUniversité Montpellier and CNRSMontpellierFrance

Personalised recommendations