Graph-based Knowledge Representation
Computational Foundations of Conceptual Graphs
(Sprache: Englisch)
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.
Jetzt vorbestellen
versandkostenfrei
Buch (Gebunden)
Fr. 212.50
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Graph-based Knowledge Representation “
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.
Klappentext zu „Graph-based Knowledge Representation “
This book studies a graph-based knowledge representation and reasoning formalism stemming from conceptual graphs, with a substantial focus on the computational properties. Knowledge can be symbolically represented in many ways, and the authors have chosen labeled graphs for their modeling and computational qualities. Key features of the formalism presented can be summarized as follows: ¿ all kinds of knowledge (ontology, facts, rules, constraints) are labeled graphs, which provide an intuitive and easily understandable means to represent knowledge, ¿ reasoning mechanisms are based on graph-theoretic operations and this allows, in particular, for linking the basic problem to other fundamental problems in computer science (e.g. constraint networks, conjunctive queries in databases), ¿ it is logically founded, i.e. it has a logical semantics and the graph inference mechanisms are sound and complete, ¿ there are efficient reasoning algorithms, thus knowledge-based systems can be built to solve real problems. In a nutshell, the authors have attempted to answer, the following question: ``how far is it possible to go in knowledge representation and reasoning by representing knowledge with graphs and reasoning with graph operations?''
Inhaltsverzeichnis zu „Graph-based Knowledge Representation “
Introduction (Knowledge Representation and Reasoning, Conceptual Graphs, A Graph-Based Approach to KR).-Basic Conceptual Graphs (Homomorphism, Subsumption Preorder, Irredundant BGs, Generalization and Specialization Operations, Normal BGs, Computational Complexity of Basic Problems).-Simple Conceptual Graphs (Generalization and Specialization Operations, Standard and Normal SGs, Coref-Homomorphism, Antinormal Form).- Formal Semantics of SGs (Model and FOL semantics, Soundness and Completeness of (coref) Homomorphism, Positive Conjunctive and Existential Fragment of FOL, Description Logics and Conceptual Graphs).- BG Homomorphism and Equivalent Notions (Conceptual Hypergraphs, Graphs, Relational Structures, Conjunctive Queries, Constraint Satisfaction Problem).- Basic Algorithms for BG Homomorphism (Backtrack Algorithms, Constraint Processing, Label Comparison).- Tractable Cases (Tractability Based on the Multigraph-Acyclicity of the Source BG, Tractability Based on the Hypergraph-Acyclicity of the Source BG, the Existential Conjunctive Guarded Fragment, Generalizations of Graph-Acyclicity and Hypergraph-Acyclicity).- Other Specialization/Generalization Operations (The Least Generalization and Greatest Specialization of two BGs, Maximal Join, Compatible Partitions and Extended Join, Type Expansion and Contraction).- Nested Conceptual Graphs (Nested Graphs, Logical Semantics, Soundness and Completeness).- Rules (Graph rules, Logical Semantics, Forward Chaining, Backward Chaining, Soundness and Completeness, Computational Complexity).- The BG Family (Deduction problems with Facts, Rules and Constraints, Computational Complexity).- Conceptual Graphs with Negation (Full Conceptual Graphs, Logical Semantics, Calculus, Atomic Negation, Coreference and Difference, Computational Complexity).- An Application of Nested Typed Graphs: Semantic Anotation Bases.- Mathematical Background.- References.- Index
Bibliographische Angaben
- Autoren: Michel Chein , Marie-Laure Mugnier
- 2008, XIV, 428 Seiten, Masse: 16,7 x 24 cm, Gebunden, Englisch
- Verlag: Springer, Berlin
- ISBN-10: 1848002858
- ISBN-13: 9781848002852
- Erscheinungsdatum: 21.10.2008
Sprache:
Englisch
Rezension zu „Graph-based Knowledge Representation “
From the reviews: "This well-written book is a wonderful text for researchers working on theoretical artificial intelligence (AI). Fundamentally, AI represents knowledge with mathematical objects and then designs computational rules to manipulate these objects. ... In summary, this is a theoretical book for a graph-based approach to knowledge representation. ... A number of detailed algorithms presented in the book may serve as good references for designing a variety of AI systems, such as database mining and logic reasoning." (Hsun-Hsien Chang, ACM Computing Reviews, April, 2009)
Pressezitat
From the reviews: "This well-written book is a wonderful text for researchers working on theoretical artificial intelligence (AI). Fundamentally, AI represents knowledge with mathematical objects and then designs computational rules to manipulate these objects. ... In summary, this is a theoretical book for a graph-based approach to knowledge representation. ... A number of detailed algorithms presented in the book may serve as good references for designing a variety of AI systems, such as database mining and logic reasoning." (Hsun-Hsien Chang, ACM Computing Reviews, April, 2009)
Kommentar zu "Graph-based Knowledge Representation"
0 Gebrauchte Artikel zu „Graph-based Knowledge Representation“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Graph-based Knowledge Representation".
Kommentar verfassen