以下关于Horn子句的几种形式说法中,错误的是():
A: 全部错误
B: 无头子句用来表示待证目标集合：←b1∧b2∧b3∧…∧bn
C: 无体子句用来表示事实：a1←
D: 规则子句用来表示推理规则：a←b1∧b2∧b3∧…∧bn
A: 全部错误
B: 无头子句用来表示待证目标集合：←b1∧b2∧b3∧…∧bn
C: 无体子句用来表示事实：a1←
D: 规则子句用来表示推理规则：a←b1∧b2∧b3∧…∧bn
举一反三
- 规则子句，用来表示推理规则，如? ←b1∧b2∧b3∧…∧bn|b1∧b2∧b3|a←b1∧b2∧b3∧…∧bn|a1←; ；; a2← ；
- 规则子句，用来表示推理规则，如 A: a1← ； a2←； B: ←b1∧b2∧b3∧…∧bn C: b1∧b2∧b3 D: a←b1∧b2∧b3∧…∧bn
- 以下关于Horn子句的说法不正确的是() A: Horn子句中的无头子句，用来表示事实：a_1←;a_2← B: 可以按照从左到右的顺序以及归结 C: 只包含一个代表结论的正文字 D: Horn子句中的规则子句，用来表示推理规则：a←b_1∩b_2∩b_3∩…∩b_n
- 规则子句，用来表示推理规则，如（）：
- 以下关于Horn子句的几种形式说法中，错误的是()：