人工智能——谓词表示法

2-7用 谓词演算公式表示下列英文句子(多用而不是省用不同谓词和项。例如不要用单一的谓词字母来表示每个句子。)

　　A computer system is intelligent if it can perform a task which, if performed by a human, requires intelligence.

解： C(x): x is A computer system.

　　 H(x): x is a human.

 　　A(x): x is intelligent.

　　 R(x): x requires intelligence.

　　 P(x,y): x can perform y

 

　　(∀x)(∃y)(∃z)((H(x))∧P(y,z)∧C(x)∧R(x)∧P(x,z)->A(x))