用谓词演算公式表示下列英文句子(多用而不是省用不同谓词
用谓词演算公式表示下列英文句子(多用而不是省用不同谓词和项。例如不要用单一的谓词字母来表示每个句子。)A computer system is intelligent if it can perform a task which, ifperformed by a human, requires intelligence.
答案
先定义基本的谓词 INTLT(x) means x is intelligent PERFORM(x,y) means x can perform y REQUIRE(x) means x requires intelligence CMP(x) means x is a computer system HMN(x) means x is a human 上面的句子可以表达为 (任意 x){ (存在 t) (存在 y) [ HMN(y) 合取 PERFORM(y,t) 合取 REQUIRE(t)合取 CMP(x) 合取 PERFORM(x,t) ]→ INTLT(x) }