Advertisement

Conceptual graphs and formal concept analysis

  • Rudolf Wille
Formal Concept Analysis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1257)

Abstract

It is shown how Conceptual Graphs and Formal Concept Analysis may be combined to obtain a formalization of Elementary Logic which is useful for knowledge representation and processing. For this, a translation of conceptual graphs to formal contexts and concept lattices is described through an example. Using a suitable mathematization of conceptual graphs, basics of a unified mathematical theory for Elementary Logic are proposed.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Ap76]
    K.-O. Apel: Das Apriori der Kommunikationsgemeinschaft und die Grundlagen der Ethik. In: Transformation der Philosophie. Band 2: Das Apriori der Kommunikationsgemeinschaft. Suhrkamp Taschenbuch Wissenschaft 165, Frankfurt 1976.Google Scholar
  2. [Br76]
    W. Brugger (Hrsg.): Philosophisches Wörterbuch. Herder, Freiburg 1976.Google Scholar
  3. [CM92]
    M. Chein, M.-L. Mugnier: Conceptual Graphs: fundamental notions. Revue d'Intelligence Artificielle 6 (1992), 365–406.Google Scholar
  4. [CM95]
    M. Chein, M.-L. Mugnier: Représenter des connaissances et raisonner avec des graphes. R.R.LIRMM 003-95. Université Montpellier 1995.Google Scholar
  5. [GW96]
    B. Ganter, R. Wille: Formale Begriffsanalyse: Mathematische Grundlagen. Springer, Berlin-Heidelberg 1996.Google Scholar
  6. [Gr18]
    K. J. Grau: Grundriß der Logik. Teubner, Leipzig und Berlin 1918.Google Scholar
  7. [Ha81]
    J. Habermas: Theorie kommunikativen Handelns. Band 1. Suhrkamp, Frankfurt 1981.Google Scholar
  8. [Ka88]
    I. Kant: Logic. Dover, New York 1988.Google Scholar
  9. [LW95]
    F. Lehmann, R. Wille: A triadic approach to formal concept analysis. In: G. Ellis, R. Levinson, W. Rich, J. F. Sowa (eds.): Conceptual Structures: Applications, Implementations and Theory. Springer, Berlin-Heidelberg-New York 1995, 32–43.Google Scholar
  10. [Ne90]
    B. Nebel: Reasoning and revision in hybrid representation systems. Springer, Berlin-Heidelberg-New York 1990.Google Scholar
  11. [Pe83]
    Ch. S. Peirce: Phänomen und Logik der Zeichen. Suhrkamp Taschenbuch Wissenschaft 425, Frankfurt 1983.Google Scholar
  12. [Pr96]
    S. Prediger: Symbolische Datenanalyse und ihre begriffsanalytische Einordnung. Staatsexamensarbeit. FB Mathematik, TH Darmstadt 1996.Google Scholar
  13. [Sm89]
    The Smithonian Guide to Historic America. Stewart, Tabori & Chang Inc., New York 1989.Google Scholar
  14. [So84]
    J. F. Sowa: Conceptual structures: information processing in mind and machine. Adison-Wesley, Reading 1984.Google Scholar
  15. [So92]
    J. F. Sowa: Conceptual Graphs summary. In: T. E. Nagle, J. A. Nagle, L. L. Gerholz, P. W. Eklund (eds.): Conceptual Structures: Current Research and Practice. Ellis Horwood, 1992, 3–51.Google Scholar
  16. [So95]
    J. F. Sowa: Syntax, semantics, and pragmatics of contexts. In: G. Ellis, R. Levinson, W. Rich, J. F. Sowa (eds.): Conceptual Structures: Applications, Implementations and Theory. Springer, Berlin-Heidelberg-New York 1995, 1–15.Google Scholar
  17. [So97]
    J. F. Sowa: Knowledge representation: logical, philosophical, and computational foundations. PWS Publishing Co., Boston (to appear)Google Scholar
  18. [Wi82]
    R. Wille: Restructuring lattice theory: an approach based on hierarchies of concepts. In: I. Rival (ed.): Ordered Sets. Reidel, Dordrecht-Boston 1982, 445–470.Google Scholar
  19. [Wi92]
    R. Wille: Concept lattices and conceptual knowledge systems. Computers & Mathematics with Applications. 23 (1992), 493–515.Google Scholar
  20. [Wi95]
    R. Wille: Begriffsdenken: Von der griechischen Philosophie bis zur Künstlichen Intelligenz heute. Diltheykastanie, Ludwig-Georgs-Gymnasium Darmstadt 1995, 77–109.Google Scholar
  21. [Wi96a]
    R. Wille: Restructuring mathematical logic: an approach based on Peirce's pragmatism. In: A. Ursini, P. Agliano (eds.): Logic and Algebra. Marcel Dekker, New York 1996, 267–281.Google Scholar
  22. [Wi96b]
    R. Wille: Conceptual structures of multicontexts. In: P. W. Eklund, G. Ellis, G. Mann (eds.): Conceptual Structures: Knowledge Representation as Interlingua. Springer, Berlin-Heidelberg-New York 1996, 23–39.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Rudolf Wille
    • 1
  1. 1.Technische Hochschule DarmstadtFachbereich MathematikDarmstadt

Personalised recommendations