1.1、确定性规则知识的产生式表示
或者:P ---->Q
1.2、不确定性规则知识的产生式表示
或者:P---->Q
例如:
IF 发烧 THEN 感冒 (0.6)
2.1、规则库:用于描述相应领域内的知识的产生式集合。(是专业的知识)
例如:
2.2、综合数据库(也称为事实库,上下文,黑板等)
一个用于存放 问题求解过程中各种当前已知信息 的数据结构。
例如;
2.3、控制系统(推理机构)
由一组程序组成,负责整个产生式系统的运行,实现对问题的求解。
例如:
设已知初始事实存放在综合数据库中:该动物身上有:暗斑点,长脖子,长腿,奶,蹄。
2.4、总结
![[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Gc2vnRdq-1668230999034)(D:\Photo\typora-user-images\image-20221031093959198.png)]](https://1000bd.com/contentImg/2024/04/24/66403bbb06ece288.png)
4.1、框架表示法:一种结构化的知识表示方法。
4.2、框架:一种描述所论对象属性的数据结构。
4.2.1、一个框架由若干个槽组成。
4.2.2、一个槽用于描述所论对象某一方面的属性
![[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-bi9hkkRh-1668230999035)(D:\Photo\typora-user-images\image-20221031101438527.png)]](https://1000bd.com/contentImg/2024/04/24/4c21a2ae972b8e67.png)
4.3、事例框架:把具体的信息填入槽或者侧面后,就得到了相应框架的事例框架。
实现事例时 注意点:
框架名:<教师> ========> 框架名 :<教师-i> i=1,2,3,…
不能写 <具体人的名字>
正确写法 框架名:<教师-1>
4.4、框架具有继承性。
4.5、框架表示法的特点
1.1、推理:已知事实+专业知识 ----->结论
2.1、按照推理的逻辑基础分类(第一种分类)
2.1.1、 演绎推理 (deductive)
一般---->个别
2.1.2、 归纳推理 (inductive)
个别-----> 一般
2.1.3、 默认推理
知识不完全的情况下,假设某些条件成立。
2.2、按照推理时所用知识和证据的不确定性分类(第二种分类)
2.2.1、确定性推理:所用的知识和证据都是确定的。
2.2.1、不确定性推理:所用的知识和证据都是不确定的。
2.3、按照所推出的结论是否单调增加分类(第三种分类)
2.3.1、单调推理
随着推理向前推进及新知识的加入,推出的结论越来越接近最终目标。
2.3.2、非单调推理
由于新知识的加入,不仅没有加强已推出的结论,反而要否定它,使推理退回到前面的某一步,重新开始。
2.4、按照推理过程中是否使用启发式知识分类(第四种分类)
按照顺序依次推理。
特点:
比较简单,但是效率比较低。做了很多无用功。
以某个假设目标作为出发点,寻找支持该假设的证据。若找不到支持的证据,说明假设错误。
特点:
目的性比较强。
从前推和从后推,交互着推。
从一组已知为真的事实出发,运用经典逻辑中的推理规则推出结论的过程。
1、推理规则
![[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-BKn4one2-1668230999035)(D:\Photo\typora-user-images\image-20221102105431060.png)]](https://1000bd.com/contentImg/2024/04/24/7bc40f39ac7b8e60.png)
解题步骤:与图论学的一样,需要写明(i)和如何退出来的。
例如:
(1) P->Q P规则
(2) P P规则
(3) Q (1) (2)
1、反证法:
![[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-S58e0QVA-1668230999035)(D:\Photo\typora-user-images\image-20221102112347548.png)]](https://1000bd.com/contentImg/2024/04/24/38d381e4f06a1820.png)
参考文献
校内老师授课