Understanding Natural Language
Understanding Natural Language
Generating Semantic Descriptions From Drawings of Scenes With Shadows
Generating Semantic Descriptions From Drawings of Scenes With Shadows
Qualitative and Quantitative Knowledge in Classical Mechanics
Qualitative and Quantitative Knowledge in Classical Mechanics
Computer Understanding of Physics Problems Stated in Natural Language.(Dissertation), also Technical Report NL-30
Solving symbolic equations with PRESS
Journal of Symbolic Computation
Minimally Invasive Tutoring of Complex Physics Problem Solving
ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems
Automatic Diagram Drawing Based on Natural Language Text Understanding
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Using natural language to represent knowledge in an intelligent tutoring system
Proceedings of the fifth international conference on Knowledge capture
Analogical model formulation for transfer learning in AP Physics
Artificial Intelligence
Developing an intelligent tutoring system using natural language for knowledge representation
ITS'10 Proceedings of the 10th international conference on Intelligent Tutoring Systems - Volume Part II
| Hi-index | 0.00 |
In this paper we shall describe a program (MECHO), written in Prolog[14], which solves a wide range of mechanics problems from statements in both predicate calculus and English. Mecho uses the technique of meta-level inference to control search in natural language understanding, common sense inference, model formation and algebraic manipulation. We argue that this is a powerful technique for controlling search while retaining the modularity of declarative knowledge representations.