智能技术第三章知识推理与演绎探析.pptx

主讲：夏幼明《人工智能》示范课程第1页

2①规章演绎系统②谓词演绎的归结方法③归结反对搜寻方略④Hone子句的归结“学问演绎”核心内容第2页

3规章演绎系统在基于规章系统中，每个if可能与某断言(assertion)集中的一种或多个断言匹配；then局部用于要求放入工作内存的新断言。这种系统叫做基于规章的演绎系统(rulebaseddeductionsystem)。在这种系统中，通常称规章的if局部为前项(antecedent)，称规章的then局部为后项(consequent)。第3页

4规章演绎系统基于规章的求解系统由if-then形式的规章建立的。例如：i