 [课堂练习] |
|
3、
|
关于正确性维持系统(TMS)，下列哪些说法是正确的，哪些说法是不正确的:(此题为多选题） |
|
|
A | 在TMS中，每一命题或规则均称为节点，且对任一节点在任一时刻均为下列两种状态之一： IN状态，OUT状态 |
|
|
B | 正确性维持系统(TMS)是非单调推理理论成功应用的一个实例，它完全解决了人工智能中有关常识性推理的问题。 |
|
|
C | 正确性维持系统(TMS)是最早提出的解决信念修正问题的程序系统，其作用是协助其它推理程序维持系统的正确性，所以要生成新的推理。 |
|
|
D | 正一旦发现命题间存在不相容的情况，TMS就调用自己的推理机制进行面向从属关系的回溯，找出不相容的根源并对之修正。 |
| (本题您已经做了，答案为A,D，在此仅供复习用,不能再计分!) |