GRAPH-BASED KNOWLEDGE REPRESENTATION: COMPUTATIONAL FOUNDATIONS OF CONCEPTUAL GRAPHS

Chein, Michel and Mugnier, Marie-Laure

ISBN 10: 1848002858 / ISBN 13: 9781848002852

Edité par Springer-Verlag London Limited, London, 2009

A propos de cet article

Octavo, viii, xiv, 427 pages. In Very Good condition. Bound in the publisher's purple and green cloth bearing white lettering to the spine. Boards have mild wear including slight scratches/scuffs and minimal edge wear. Text block has extremely light wear to the edges. Slight wear to the gutter at the half title page. Illustrated. First edition, first printing. NOTE: Shelved in Netdesk Column M, ND-M. 1383493. FP New Rockville Stock.

N° de réf. du vendeur 1383493

Détails bibliographiques

• Titre: GRAPH-BASED KNOWLEDGE REPRESENTATION: COMPUTATIONAL FOUNDATIONS OF CONCEPTUAL GRAPHS
• Éditeur: Springer-Verlag London Limited, London
• Date de parution: 2009
• Langue: anglais
• ISBN à 10 chiffres: 1848002858
• ISBN à 13 chiffres: 9781848002852
• Reliure: Hardcover
• Édition: First Edition, First Printing.
• Catalogues du vendeur:
  • Sciences, Math, Medicine, & Natural History

A propos de ce titre

Synopsis

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.