Graph-based Knowledge Representation

Computational Foundations of Conceptual Graphs

Inbunden, Engelska, 2008

Av Michel Chein, Marie-Laure Mugnier

2 479 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Häftad

2 479 kr

Skickas inom 10-15 vardagar

The knowledge representation and reasoning formalism presented here is a graph formalism – knowledge is represented by labeled graphs, in the graph theory sense, and r- soning mechanisms are based on graph operations, with graph homomorphism at the core.

Produktinformation

Utgivningsdatum2008-10-21
Mått155 x 235 x 33 mm
Vikt822 g
FormatInbunden
SpråkEngelska
SerieAdvanced Information and Knowledge Processing
Antal sidor428
Upplaga2009
FörlagSpringer London Ltd
ISBN9781848002852

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Diskret matematik inom Naturvetenskap och teknik
Kombinatorik och grafteori inom Naturvetenskap och teknik
Databaser inom Data och it

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.

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)