Uh-oh, it looks like your Internet Explorer is out of date.
For a better shopping experience, please upgrade now.
Written for computing scientists researching conceptual graphs and for anyone interested in the design of knowledge bases, this book explores automated reasoning and resolution in conceptual structures and describes methods for representing semantic relationships in knowledge bases. It addresses fundamentals issues of graph matching, automated reasoning, knowledge bases, constraints, ontology, and design. Corbett is a senior academic in the School of Computer and Information science at the University of South Australia. Annotation ©2003 Book News, Inc., Portland, OR
|Edition description:||Softcover reprint of the original 1st ed. 2003|
|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.