![](https://img-blog.csdnimg.cn/20201014180756926.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
人工智能
百里蛋蛋
希望在这里大家可以一起交流学习,共同提高自己的技术水平,早日实现自己的梦想!
展开
-
冲突消解策略
1.按规则的针对性排序3个已知事实r1用了其中三个,产生一个结果r2用了其中两个,产生一个结果我们选择r1,因为它用了最全的条件2.按照新鲜性比较后生成的比先生成的具有更大的新鲜性事实组A和事实组B都是取自知识集ks的结论二者中哪一个更新鲜,便取哪一个,比较的方法:新鲜轮流比较,新鲜胜出最多的最新鲜之间的比较最不新鲜比较 ...原创 2018-09-25 22:55:54 · 6978 阅读 · 0 评论 -
简单正向推理python实现
import re import operatordef searSepc(str): word = u'then' a = [m.start() for m in re.finditer(word, str)] return a[0]def match(fact): for line in open("knowledge.txt"): ...原创 2018-09-25 22:58:42 · 2494 阅读 · 0 评论 -
消去蕴含逻辑词
强迫症,一直不明白为什么p->Q,为什么可以用¬p∪Q替换,后来终于弄明白了。首先不能从逻辑上认识,比如p推导出Q,应该从p和Q的真假取值上分析上入手。之前也是我一直没有彻底理解这个问题的关键。然后介绍数字电路的思想,从逻辑上认识之后,不管用什么方式,只要能全面的表达出来这种逻辑,不管你内部的电路是怎么实现的。 而p->Q,有个特征其实p→q⇔¬p∨q→是蕴含...原创 2018-10-10 16:59:22 · 3500 阅读 · 0 评论 -
为什么叫析取?为什么叫合取?
从外部角度理解,从这个判断条件中析取,分析开了取,只要有其中一个满足了,就算成立了。同样合取,从外部角度,两个条件合着取,两个必须同时成立实现划分子句集中比较关键的三步:去掉连接词 去掉非符号 化为skolem标准型,(介绍:以∩为小团体的连接符号,小团体内只能用∪) 其中小团体中只能是并连接,形成的子句集是为了归结准备...原创 2018-10-10 18:24:53 · 18131 阅读 · 2 评论 -
实现化为子句集的三个重要步骤
去掉否定符号思路:判断是四个模型中哪一种?然后以小团体为单位,进行变形 化为skolem标准型思路:找括号,然后找出连接括号的符号如果符号是析取,就析取算到括号里面。形成一个新的谓词公式然后再次判断一遍小团体之间的连接符号有没有析取符号,,,,一直循环,直到找不到析取符号为止 ...原创 2018-10-10 18:36:43 · 6639 阅读 · 0 评论 -
BP神经网络(一)
BP神经网络是利用影响力计算来调节权值的,就是那些东西影响了我,这个影响力就是我们以前所说的-偏导数。所以要合理正确的改变权值,我们必须知道有哪几种力量在影响着权值,或者哪几种力量被权值影响。在知道了那几个被我们影响的东西误差情况后,我们才能按照它合理的调整自己,这就是BP神经网络权值调整的总思想了。我不想说复杂,所以就用简单图说明:前面三层是神经网络,我用虚线加了一层,为的是...原创 2018-11-26 17:47:37 · 249 阅读 · 0 评论