以下关于Horn子句的几种形式说法中 错误的是
已帮助 人
以下关于Horn子句的几种形式说法中,错误的是
A.规则子句用来表示推理规则:←b1∧b2∧b3∧…∧bn
B.无头子句用来表示待证目标集合: ←b1∧b2∧b3∧…∧bn
C.无体子句用来表示事实:a1←
D.以上全部错误

回答
共1条回复-
A
