- 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
- Knowledge Representation and Reasoning.
- Conceptual Graphs.
- Basic Conceptual Graphs.
- Definition of Basic Conceptual Graphs (BGs).
- BG Homomorphism.
- Simple Conceptual Graphs.
- Simple Conceptual Graphs (SGs).
- Generalization and Specialization Operations.
- Formal Semantics of SGs.
- Model Semantic.
- Positive, Conjunctive, and Existential Fragment of FOL.
- BG Homomorphism Eqivalent Notions.
- Relational Structures and Databases.
- Basic Algorithms for BG Homomorphism.
- Constraint Processing.
- Label comparisons.
- Tractable Cases.
- Tractability Based on the Multigraph
- acyclicity of the Source BG.
- Other Specialization/generalization Operations.
- Compatible Partitions and Extended Join.
- Nested Conceptual Graphs.
- Nested Graphs (NGs).
- Definition and Logical Semantics of a rule.
- Conceptual Graphs with Negation.
- An Application of Nested Typed Graphs: Semantic Anotation Bases.
- Mathematical Background.
Please Login to submit errata.No errata are currently published