Apress

Graph-based Knowledge Representation

Computational Foundations of Conceptual Graphs

By Michel Chein , Marie-Laure Mugnier

Graph-based Knowledge Representation Cover Image

In addressing the question of how far it is possible to go in knowledge representation and reasoning through graphs, the authors cover basic conceptual graphs, computational aspects, and kernel extensions. The basic mathematical notions are summarized.

Full Description

  • ISBN13: 978-1-8480-0285-2
  • 444 Pages
  • User Level: Science
  • Publication Date: October 20, 2008
  • Available eBook Formats: PDF
  • eBook Price: $129.00
Buy eBook Buy Print Book Add to Wishlist
Full Description
This book addresses the question of how far it is possible to go in knowledge representation and reasoning by representing knowledge with graphs (in the graph theory sense) and reasoning with graph operations. The authors have carefully structured the book with the first part covering basic conceptual graphs, the second developing the computational aspects, and the final section pooling the kernel extensions. An appendix summarizes the basic mathematical notions. This is the first book to provide a comprehensive view on the computational facets of conceptual graphs. The mathematical prerequisites are minimal and the material presented can be used in artificial intelligence courses at graduate level upwards.
Table of Contents

Table of Contents

  1. Introduction.
  2. Knowledge Representation and Reasoning.
  3. Conceptual Graphs.
  4. Basic Conceptual Graphs.
  5. Definition of Basic Conceptual Graphs (BGs).
  6. BG Homomorphism.
  7. Simple Conceptual Graphs.
  8. Simple Conceptual Graphs (SGs).
  9. Generalization and Specialization Operations.
  10. Formal Semantics of SGs.
  11. Model Semantic.
  12. Positive, Conjunctive, and Existential Fragment of FOL.
  13. BG Homomorphism Eqivalent Notions.
  14. Graphs.
  15. Relational Structures and Databases.
  16. Basic Algorithms for BG Homomorphism.
  17. Constraint Processing.
  18. Label comparisons.
  19. Tractable Cases.
  20. Tractability Based on the Multigraph
  21. acyclicity of the Source BG.
  22. Other Specialization/generalization Operations.
  23. Compatible Partitions and Extended Join.
  24. B
  25. specializations.
  26. Nested Conceptual Graphs.
  27. Nested Graphs (NGs).
  28. Rules.
  29. Definition and Logical Semantics of a rule.
  30. Conceptual Graphs with Negation.
  31. An Application of Nested Typed Graphs: Semantic Anotation Bases.
  32. Mathematical Background.
Errata

If you think that you've found an error in this book, please let us know about it. You will find any confirmed erratum below, so you can check if your concern has already been addressed.

* Required Fields

No errata are currently published