注册 登录  
 加关注
   显示下一条  |  关闭
温馨提示!由于新浪微博认证机制调整,您的新浪微博帐号绑定已过期,请重新绑定!立即重新绑定新浪微博》  |  关闭

阿弥陀佛

街树飘影未见尘 潭月潜水了无声 般若观照心空静...

 
 
 

日志

 
 
关于我

一直从事气象预报、服务建模实践应用。 注重气象物理场、实况场、地理信息、本体知识库、分布式气象内容管理系统建立。 对Barnes客观分析, 小波,计算神经网络、信任传播、贝叶斯推理、专家系统、网络本体语言有一定体会。 一直使用Java、Delphi、Prolog、SQL编程。

网易考拉推荐

命题逻辑推理--Deduction in Propositional Logic  

2011-09-07 23:20:17|  分类: OWL |  标签: |举报 |字号 订阅

  下载LOFTER 我的照片书  |
一次决策过程就是得出问题的是与否答案。
命题逻辑推理--Deduction in Propositional Logic - 险峰 - 阿弥陀佛
 过程 i 能从语句组KB中获得语句 a,则决策过程是健全的。
可靠性: 无论何时过程 i 都能从语句组KB中获得语句 a,则KB蕴含a()。

语句 a能通过过程 i 从语句组KB中派生得出,则决策过程是完备的。
完备性: 无论何时语句组KB中蕴含语句a(),则过程 i证明语句a 能从语句组KB中派生得出(
命题逻辑推理--Deduction in Propositional Logic - 险峰 - 阿弥陀佛

可靠而不完备算法的存在非常普遍。健全而不完备导致算法复杂;通常发生于程序员无能力实现可靠而完备的算法;
不完备的推理将导致客观世界的失真。
在命题推理中,可靠而完备推理过程非常重要。
真值表提供了一个用于测试可靠和完备决策程序命题逻辑可满足性,有效性和蕴涵性。

场面(Tableaux)是一个用于计算可满足性有效性,命题逻辑蕴涵决策过程
  它是一个可靠算法
  是一个完整的算法
  它是一个终端算法


命题逻辑推理--Deduction in Propositional Logic - 险峰 - 阿弥陀佛
 
  评论这张
 
阅读(774)| 评论(0)
推荐 转载

历史上的今天

在LOFTER的更多文章

评论

<#--最新日志,群博日志--> <#--推荐日志--> <#--引用记录--> <#--博主推荐--> <#--随机阅读--> <#--首页推荐--> <#--历史上的今天--> <#--被推荐日志--> <#--上一篇,下一篇--> <#-- 热度 --> <#-- 网易新闻广告 --> <#--右边模块结构--> <#--评论模块结构--> <#--引用模块结构--> <#--博主发起的投票-->
 
 
 
 
 
 
 
 
 
 
 
 
 
 

页脚

网易公司版权所有 ©1997-2017