Graph-based knowledge representation: computational foundations of conceptual graphs

This book addresses the question of how far it is possible to go in knowledgerepresentation 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 poolingthe 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 thematerial presented can be used in artificial intelligence courses at graduatelevel upwards. First book to provide a comprehensive overview on the computational facets of conceptual graphs Intuitively introduces the main notions of graph theory from a knowledge representation viewpoint, and give precise definitions of these notions together with complete proofs of the theorems INDICE: Introduction.- Knowledge Representation and Reasoning.- ConceptualGraphs.- 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.- Graphs.- 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.- B-specializations.- Nested Conceptual Graphs.- NestedGraphs (NGs).- Rules.- Definition and Logical Semantics of a rule.- Conceptual Graphs with Negation.- An Application of Nested Typed Graphs: Semantic Anotation Bases.- Mathematical Background.

• ISBN: 978-1-84800-285-2
• Editorial: Springer
• Encuadernacion: Cartoné
• Páginas: 445
• Fecha Publicación: 01/10/2008
• Nº Volúmenes: 1
• Idioma: Inglés