Baseball: an automatic question answerer
Computers & thought
Inferential memory as the basis of machines which understand natural language
Computers & thought
A deductive question-answerer for natural language inference
Communications of the ACM
Transition network grammars for natural language analysis
Communications of the ACM
The teachable language comprehender: a simulation program and theory of language
Communications of the ACM
An English-like language for qualitative scientific knowledge
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
A logic for case structure systems is presented which allows variations in the order and number of terms in atomic formulas. This logic is used to describe and characterize four existing case systems. A computer program which allows flexible case structures is then described. Applications of the program to medical record analysis and disease modeling are used to illustrate important concepts about case systems. Several open problems are also discussed.