Reasoning and Unification over Conceptual Graphs
Kluwer Academic/Plenum Publishers (Verlag)
978-0-306-47487-3 (ISBN)
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.- 4. Experiments: Difficult Structures and Unification Failures.- 5. Comparisons to Other Systems.- 6. Summary.- 5 Placing the Unification Model inContext.- 1. 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 Future Work.- 1. Conclusions.- 2. Future Directions.- References.
Erscheint lt. Verlag | 31.1.2003 |
---|---|
Zusatzinfo | X, 151 p. |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik |
ISBN-10 | 0-306-47487-5 / 0306474875 |
ISBN-13 | 978-0-306-47487-3 / 9780306474873 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich