存档

Archive by P.Linux

解决了侧边栏下滑的问题,原来是div的问题,把<div></div>标签删掉就没事了。 […]

3月 5th, 2009 | Filed under 程序设计

“机械化证明”,就是用计算机进行判断、推理、证明等活动的集合。做这个课题的关键,就在于如何利用计算机模拟出人脑的推理过程。我采用的思维方式,
即:归纳–>演绎–>推理 的思维过程。所以,整个搜索系统由以下三大部分组成:
1.知识库 :包括当前证明所需的全部公式定理。
2.扩展规则:控制节点扩展的方案。作用于当前一个节点,产生其后继节点。
3.控制策略:控制节点中信息与知识库之间的对比,测试是否已证到需证结论或得出无法证明。
然后建立一个Con函数,用信息的Def值为参数,生成Con地址,填入Con表中,在搜索对比时只要查询Con表的地址,就可以知道是否有相同信息,大大加快搜索效率。(Con函 数,Con表, Con地址,Def值的含义见论文)

1月 11th, 2009 | Filed under 人工智能

我的博客地址是Blog.PengLiXun.COM, 当然,WWW.PengLiXun.COM也是可以访问的! […]

12月 15th, 2008 | Filed under 随笔日记