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.
Price USD 0
License Free to try
File Size 5.2 MB
Version 1.0
Operating System Windows 2003, Windows Vista, Windows 98, Windows Me, Windows, Windows NT, Windows 2000, Windows 8, Windows 7, Windows XP
System Requirements None