Skip to main content
SpringerLink
Log in
Book cover

International Conference on Conceptual Structures

ICCS 1993: Conceptual Graphs for Knowledge Representation pp 411–429Cite as

Modal logics for conceptual graphs

  • Conference paper
  • First Online:

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

Abstract

In this paper we define four systems of modal propositional logic that can be used for Conceptual Graphs. These ‘extensions’ of Conceptual Graphs are based on ideas of C.S. Peirce, who also developed a modal variant of his Existential Graphs. We use his ideas to define a modal context, and extend and modify the logical inference rules of Conceptual Graphs. We then prove that these extensions yield four logical systems, which are (logically) equivalent to the minimal modal logic K, the modal logic T, the modal logic S4, and the modal logic S5, respectively.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.F.A.K. van Benthem, H.P. van Ditmarsch, J. Ketting, and W.P.M. Meyer-Viol. Logica voor Informatici. Addison-Wesley, Amsterdam, 1991.

    Google Scholar 

  2. H. van den Berg. Knowledge Graphs and Logic. PhD thesis, University of Twente, Enschede. In preparation.

    Google Scholar 

  3. H. van den Berg. First-order logic in knowledge graphs. In Proceedings of the First International Conference on Mathematical Linguistics, March 30–31, Tarragona, Spain, 1993.

    Google Scholar 

  4. R. Feys. Modal Logics, volume IV of Collection de Logique Mathématique, Série B. E. Nauwelaerts/Gauthier-Villars, Louvain/Paris, 1965. Edited by J. Dopp.

    Google Scholar 

  5. A. Galton. Logic for Information Technology. John Wiley & Sons, Chichester, 1990.

    Google Scholar 

  6. J.Y. Halpern and Y. Moses. A guide to the modal logics of knowledge and belief: Preliminary draft. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence (ucAI85), pages 480–490, Los Angeles, California, 1985.

    Google Scholar 

  7. W. van der Hoek. Modalities for Reasoning about Knowledge and Quantities. PhD thesis, Free University, Amsterdam, 1992.

    Google Scholar 

  8. P. James. Knowledge graphs. In R.P. van de Riet and R.A. Meersman, editors, Linguistic Instruments in Knowledge Engineering, pages 97–117. North-Holland, Amsterdam, 1992.

    Google Scholar 

  9. A.J. Kok. User Modeling for Data Retrieval Applications. PhD thesis, UniversitÄt van Amsterdam, 1990.

    Google Scholar 

  10. F. Lehmann, editor. Semantic Networks in Artificial Intelligence. Pergamon Press, Oxford, 1992.

    Google Scholar 

  11. J.-J.Ch. Meyer. Modal logics for knowledge representation. In R.P. van de Riet and R.A. Meersman, editors, Linguistic Instruments in Knowledge Engineering, pages 251–275. North-Holland, Amsterdam, 1992.

    Google Scholar 

  12. R. Parikh. Modal logic. In S.C. Shapiro, editor, Encyclopedia of Artificial Intelligence, pages 617–619. John Wiley & Sons, 1987.

    Google Scholar 

  13. D.D. Roberts. The Existential Graphs of Charles S. Peirce. Mouton, The Hague, 1973.

    Google Scholar 

  14. D.D. Roberts. The existential graphs. In F. Lehmann, editor, Semantic Networks in Artificial Intelligence, pages 639–663. Pergamon Press, Oxford, 1992.

    Google Scholar 

  15. J.F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading, 1984.

    Google Scholar 

  16. J.F. Sowa, editor. Principles of Semantic Networks: Explorations in the Representation of Knowledge. Morgan Kaufmann Publishers, Inc., California, 1991.

    Google Scholar 

  17. J.F. Sowa. Towards the expressive power of natural language. In J.F. Sowa, editor, Principles of Semantic Networks: Explorations in the Representation of Knowledge, pages 157–189. Morgan Kaufmann Publishers, Inc., California, 1991.

    Google Scholar 

  18. J.F. Sowa. Conceptual graphs as a universal knowledge representation. In F. Lehmann, editor, Semantic Networks in Artificial Intelligence, pages 75–93. Pergamon Press, Oxford, 1992.

    Google Scholar 

  19. E.G.C. Thijsse. Partial Logic and Knowledge Representation. PhD thesis, Katholieke Universiteit Brabant, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Applied Mathematics, University of Twente, P.O. Box 217, 7500, AE Enschede, The Netherlands

    Harmen van den Berg

Authors
  1. Harmen van den Berg
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Guy W. Mineau Bernard Moulin John F. Sowa

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van den Berg, H. (1993). Modal logics for conceptual graphs. In: Mineau, G.W., Moulin, B., Sowa, J.F. (eds) Conceptual Graphs for Knowledge Representation. ICCS 1993. Lecture Notes in Computer Science, vol 699. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56979-0_23

Download citation

  • DOI: https://doi.org/10.1007/3-540-56979-0_23

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56979-4

  • Online ISBN: 978-3-540-47848-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation