Skip to main content
SpringerLink
Log in

Graph-based Knowledge Representation

Computational Foundations of Conceptual Graphs

  • Book
  • © 2009

Overview

Authors:
  1. Michel Chein

    1. Laboratory of Informatics, Robotics, and Micro-electronics (LIRMM), France

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Marie-Laure Mugnier

    1. Laboratory of Informatics, Robotics, and Micro-electronics (LIRMM), France

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • The 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
  • In its provision of strong theoretical bases the book links up fundamental problems in conceptual graphhs with important problems in computer science, and contains algorithms for reasoning
  • Includes supplementary material: sn.pub/extras

Part of the book series: Advanced Information and Knowledge Processing (AI&KP)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 149.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 199.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 199.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 chapters)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Foundations: Basic and Simple Conceptual Graphs

    1. Introduction

      Pages 1-17

    2. Basic Conceptual Graphs

      Pages 21-57

    3. Simple Conceptual Graphs

      Pages 59-81

    4. Formal Semantics of SGs

      Pages 83-104

    5. BG Homomorphism and Equivalent Notions

      Pages 105-132

  3. Computational Aspects of Basic Conceptual Graphs

    1. Basic Algorithms for BG Homomorphism

      Pages 135-170

    2. Tractable Cases

      Pages 171-205

    3. Other Specialization/Generalization Operations

      Pages 207-243

  5. Back Matter

    Pages 393-427
    Download chapter PDF
Back to top

Keywords

About this book

This book provides a de?nition and study of a knowledge representation and r- soning formalism stemming from conceptual graphs, while focusing on the com- tational properties of this formalism. Knowledge can be symbolically represented in many ways. 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. This formalism can thus be considered as related to semantic networks. Since their conception, semantic networks have faded out several times, but have always returned to the limelight. They faded mainly due to a lack of formal semantics and the limited reasoning tools proposed. They have, however, always rebounded - cause labeled graphs, schemas and drawings provide an intuitive and easily und- standable support to represent knowledge. This formalism has the visual qualities of any graphic model, and it is logically founded. This is a key feature because logics has been the foundation for knowledge representation and reasoning for millennia. The authors also focus substantially on computational facets of the presented formalism as they are interested in knowledge representation and reasoning formalisms upon which knowledge-based systems can be built to solve real problems. Since object structures are graphs, naturally graph homomorphism is the key underlying notion and, from a computational viewpoint, this moors calculus to combinatorics and to computer science domains in which the algorithmicqualitiesofgraphshavelongbeenstudied,asindatabasesandconstraint networks.

Reviews

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)

Authors and Affiliations

  • Laboratory of Informatics, Robotics, and Micro-electronics (LIRMM), France

    Michel Chein, Marie-Laure Mugnier

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation