变换是形如 {1/x1,2/x2,⋯ ,n/xn}的有限集合。其中，1,2,⋯ ,n是项； x1,x2,⋯,xn是可相同的变元。（）
以下哪几项是产生式推理中的规则库要求？
A. 完整性
B. 一致性
C. 准确性
D. 可组织性
以下哪几项是前束范式？
A. (∀x)(∀y)(P(x)∧(∃z)Q(y,z)∨R(x,z))
B. (∀z)(∀x)(∃y)(P(x)∧Q(y,z)∨R(x,z))
C. (∀x)(∀y)(P(x)∧Q(y,z)∨(∃z)R(x,z))
D. (∃x)(∃y)(∀z)(P(x)∧Q(y,z)∨R(x,z))
微信支付 
支付宝支付