智能技术知识表征推理与智能搜索解析.pptVIP

人工智能课程改革与建设

第五讲典型人工智能技术

——推理与搜索

TraditionalTechnologyofAI

中南大学刘丽珏;本讲讲课关键点;引言——典型人工智能;5.1自动推理证明;5.1.1机器真的能够自动推理吗？;自动推理示例：5个房间问题;自动推理示例;5.1.2自动推理证明的发展史;自动证明的发展;自动证明的发展;自动证明的发展;自动证明的发展—王浩;自动证明的发展—王浩;自动证明的发展—王浩;自动证明的发展;属于中国的自动证明方法—吴方法;属于中国的自动证明方法—吴方法;怎样实现自动推理证明？;推理示例—马普尔小姐探案;谁是马克谁是约尔？;马普尔小姐的推理过程;推理的普通形式;符号与形式语言;5.1.3谓词逻辑;Terms（项）

一种常量是项

一种变量是项

假如f是一种n元函数符号，t1,t2,...,tn是项，则f(t1,t2,...,tn)也是项

所有项都是由规则(a)(b)(c)产生的

Atoms（原子公式）

假如P是一种n元谓词符号，t1,t2,...,tn是项，则P(t1,t2,...,tn)是一种原子公式，其它任何表示式都不是原子公式;WFF（合适