×

**Uh-oh, it looks like your Internet Explorer is out of date.**

For a better shopping experience, please upgrade now.

## Paperback(Softcover reprint of the original 1st ed. 2003)

^{$}165.00

Choose Expedited Shipping at checkout for delivery by Friday, May 21

165.0
In Stock

## Overview

**Reasoning and Unification over Conceptual Graphs**is an exploration of automated reasoning and resolution in the expanding field of Conceptual Structures. Designed not only for computing scientists researching Conceptual Graphs, but also for anyone interested in exploring the design of knowledge bases, the book explores what are proving to be the fundamental methods for representing semantic relations in knowledge bases. While it provides the first comprehensive treatment of Conceptual Graph unification and reasoning, the book also addresses fundamental issues of graph matching, automated reasoning, knowledge bases, constraints, ontology and design. With a large number of examples, illustrations, and both formal and informal definitions and discussions, this book is excellent as a tutorial for the reader new to Conceptual Graphs, or as a reference book for a senior researcher in Artificial Intelligence, Knowledge Representation or Automated Reasoning.

## Product Details

ISBN-13: | 9781461349174 |
---|---|

Publisher: | Springer US |

Publication date: | 09/17/2012 |

Edition description: | Softcover reprint of the original 1st ed. 2003 |

Pages: | 151 |

Product dimensions: | 6.10(w) x 9.25(h) x 0.01(d) |

## Table of Contents

1: Conceptual Structures. 1. Introduction. 2. Overview. 3. Conceptual Graphs: What they Are and How they Work. 4. Previous Work in Constraints and Unification over Conceptual Graphs. 5. Summary. 2: Unification, Knowledge Structures and Constraints. 1. Introduction. 2. Unification. 3. Feature Structures. 4. Logic Programming, Constraint Logic Programming, and Constraint Satisfaction Problems. 5. Unification and Constraints. 6. Knowledge Structures, Partialness and Unification. 7. Summary. 3: An Algorithm for the Unification of Conceptual Graphs with Constraints. 1. Introduction. 2. Interval Constraints. 3.Projection and Constraints Using Intervals. 4. Unification over Constraints. 5. Unification Algorithm. 6. Summary. 4: Results, Demonstrations and Comparisons. 1. Introduction. 2. Design. 3.Experiments: Simple Structures. 5. Comparisons to Other Systems. 6. Summary. 5: Placing the Unification Model in Context. I. Introduction. 2. A Framework of Unification Methods. 3. A Toolbox for Knowledge Conjunction on Conceptual Graphs. 4. Extending the Model. 5. Summary. 6: Conclusions and Further Work. 1. Conclusions. 2. Future Directions.## Customer Reviews

Related Searches

Explore More Items

In the past ten years or so, biological magnetic resonance (NMR and ESR) has fully ...

The first and foremost concrete fact which every one will affirm to belong to his ...

Just over 20 years ago the publication of two books indicated the reemergence of Darwinian ...

As of today, Evolutionary Computing and Fuzzy Set Computing are two mature, wen -developed, and ...