基于李磊老师的讲课和ppt
1,产生式表示法:形如 p->q 或if p then q 的语句
产生式与逻辑蕴含的区别:简言之,就是产生式更加松散开放,逻辑蕴涵严格确定
产生式与条件语句的区别:前项可以不是布尔类型,根据冲突消解策略判断语句进行与否(这里不太明白什么意思)
2,语义网络表示法:一个对象与另一个对象具有某种关系(实例,分类,成员,聚类,属性,拥有,时间,位置,相似,推论。。。),可以用语义网络表示法表示,多个对象相互联系,构成一个关系网,有点类似数据库中的E-R模型
语义网络的推理是通过网络图中的箭头依次由根向叶(或反向)查找对象,若找到则为真,否则为假,或者通过依次找子节点得到对象的属性
3,框架表示法 :有点类似面向对象编程里面的类,框架表示法拥有框架实例,正如类拥有它的对象,框架可以继承,类也可以,框架网络是把框架表示法和语义网络表示法进行啦结合,类比面向对象编程中类与类间的关系
在框架表示法中,问题的求解是通过对框架的继承,匹配和填槽来实现的
相比较产生式和框架表示法,产生式适合简单问题,构建知识库也比较简单,框架表示法比较适合困难问题,但是知识库构建困难。但是通过对面向对象的学习可知,框架表示法可以更生动的描述现实中的情景