Michel Chein, Marie-Laure Mugnier

Graph-based Knowledge Representation (eBook, PDF)

Computational Foundations of Conceptual Graphs

• Format: PDF

Produktbeschreibung

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?''

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer London
• Seitenzahl: 428
• Erscheinungstermin: 20. Oktober 2008
• Englisch
• ISBN-13: 9781848002869
• Artikelnr.: 37341166

Inhaltsangabe

Foundations: Basic and Simple Conceptual Graphs.- Basic Conceptual Graphs.- Simple Conceptual Graphs.- Formal Semantics of SGs.- BG Homomorphism and Equivalent Notions.- Computational Aspects of Basic Conceptual Graphs.- Basic Algorithms for BG Homomorphism.- Tractable Cases.- Other Specialization/Generalization Operations.- Extensions.- Nested Conceptual Graphs.- Rules.- The BG Family: Facts, Rules and Constraints.- Conceptual Graphs with Negation.- An Application of Nested Typed Graphs: Semantic Annotation Bases.

Rezensionen

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)