以下关于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
A
举一反三
- 规则子句,用来表示推理规则,如? ←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子句的几种形式说法中,错误的是():
内容
- 0
在Excel2010中,某区域由A1,A2,A3,B1,B2,B3六个单元格组成,下列不能表示该区域的是( )。 A: A1:B3 B: A1:B1,A2:B2 C: B2:A1,B3:A3 D: A3:B2
- 1
在EXCEL中A1,A2,A3,B1,B2,B3下列不能表示该区域的是_(A)A1:B(B)A3:B1(C)B3:A1(D)A1:B1
- 2
用来对查询结果进行排序的子句是() A: WHERE子句 B: ORDER BY 子句 C: LIMIT子句 D: GROUP BY 子句
- 3
区域由A1,A2,A3,B1,B2,B3六个单元格组成。下列能表示该区域的是______。 A: B3:A1 B: A3:B1 C: A1:B3 D: A1:B1
- 4
在Excel2003中,单元格区域A2:C2,B1:B3表示的单元格是() A: A2、B1、B2、B3、C2 B: C2 C: A2、B1、B3、C2 D: B2