一、人工智能基本原理逻辑推理1. 形式逻辑是研究人的思维形式及其规律的科学,属于“符号处理”范畴,主要用于形成概念,作出判断,进行推理。 a. 概念:反映事件的特有属性和它的取值。概念用语言来表达。 b. 判断:对概念的肯定或否定。判断本身又存在真假,即判断是对的或者是错的。 c. 推理:从一个或几个判断中推出一个新判断的思维过程。2. 推理的种类: a. 演绎推理:从一般现象到个别(特殊)现象的推理。 i. 假言推理:如果p为真,则q为真,同时p为真,则推出q为真。 ii. 三段论推理:p->q,q->r,则推出p->r。 iii. 假言易位推理(拒取式):p->【阅读全文】