Logical Inference (English)

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". Works only on selected simple sentences and their equivalents in meaning.
LicenseFree to try
File Size5.2 MB
Operating System Windows 2003 Windows 2000 Windows Vista Windows 98 Windows XP Windows NT Windows Windows 8 Windows 7 Windows Me