|
English Logical Inference
-
Version
1.0
INFER (Logical Inference(s) in English) is a software
program capable of making logical inferences based on
simple sentences. For example if we type in " John
shot a partridge", the program will print out "John is
a hunter". If we type in "John married Ann", the
program will print out "John is husband of Ann", "Ann
is wife of John", etc. Works only on selected simple
sentences and their equivalents in meaning.
|