The knowledge frontier: essays in the representation of knowledge
The knowledge frontier: essays in the representation of knowledge
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
AI Expert
Computer Models of Thought and Language
Computer Models of Thought and Language
Extending software through metaphors and metonymies
Proceedings of the 5th international conference on Intelligent user interfaces
Constructing Libraries of Typical Plans
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Understanding and Simulating Narratives in the Context of Information Systems
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Narratives and Temporal Databases: An Interdisciplinary Perspective
Selected Papers from the Symposium on Conceptual Modeling, Current Issues and Future Directions
Hi-index | 0.00 |
It is argued that a powerful kind of reasoning by analogy is provided by combining unification with most specific generalization. A revised version of an existing algorithm to compute the most specific generalization of terms is presented, which decides correctly whether or not new variables should be introduced in each case. Both unification and most specific generalization are extended to frames. It is indicated, as a research goal, the extension of these processes to more complex forms of knowledge representation, a particularly challenging example being the comparison of the structures of literary narratives.