Logical Inference (English) 1.0

INFER(邏輯推理(S)英文)是一種能夠使基於簡單的句子邏輯推理的軟件程序。例如,如果我們輸入“約翰打出了鷓鴣”,程序將打印出“約翰是個獵人”。如果我們輸入“約翰結婚安”,程序將打印出“約翰是安的丈夫”,“安安是約翰的妻子”。僅適用於選擇簡單的句子及其含義等同 限制: ...