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

阿弥陀佛

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

 
 
 

日志

 
 
关于我

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

网易考拉推荐

命题逻辑基础学习  

2011-09-07 11:55:39|  分类: OWL |  标签: |举报 |字号 订阅

  下载LOFTER 我的照片书  |

DESCRIPTION LOGICS教学参考

1. 命题逻辑基础

知识库(KB)是逻辑形式语言语句的集合。即KB={逻辑形式语言语句}。
用陈述式(declarative)构造智能代理(或其它系统),需要告诉代理必要的基本事实(陈述)。
然后代理才能根据提问,从KB中的陈述中得到结论,并告诉用户应该如何处理。
代理可以在知识层浏览知识。
陈述是信息的逻辑形式表述,具有明确的真伪语义结果。
逻辑根据其用途和特性具有多种划分。
如:高阶逻辑(Logics of higher order),
       模态逻辑(Modal logics)。又分为:认知(epistemic), 时空(temporal and spatial)...
       描述逻辑(Description logic)
       非单一逻辑(Non-monotonic logic)
       直觉逻辑(Intuitionistic logic)
但都可以归结为标准的命题与谓词逻辑。所有的经典逻辑都是基于概念True。

语言

本体行为

认知行为

命题

实事

true/false/unknow

一阶谓词

实事,对象,关系

true/false/unknow

时态逻辑

实事,对象,关系,时间

true/false/unknow

概率论

事实

degree of belief 01

模糊逻辑

degree of truth

degree of belief 02

 

命题逻辑基础学习 - 险峰 - 阿弥陀佛表示知识库包含句子a,当且仅当KB中所有a为真时,KB为真。
命题逻辑基础学习 - 险峰 - 阿弥陀佛表示通过过程i,a可以从KB中派生出来。
 
 命题逻辑的基本思想:每一命题逻辑是原子局,即每一命题是不可分离的语句。如:“这本书是红色的。”,“正在下雨。”等。
命题逻辑的连接词为:and, or ,not
命题逻辑推理:
命题逻辑基础学习 - 险峰 - 阿弥陀佛表示语句命题逻辑基础学习 - 险峰 - 阿弥陀佛 由一组命题逻辑基础学习 - 险峰 - 阿弥陀佛 所隐含。
命题逻辑语法:
命题逻辑基础学习 - 险峰 - 阿弥陀佛
 
 命题解释(interpretation): 原子句中的所有真值(true value)指派(或解释)是命题解释(函数) I :命题逻辑基础学习 - 险峰 - 阿弥陀佛 
 函数 I 不能写为 I(a),而是写为:命题逻辑基础学习 - 险峰 - 阿弥陀佛 
例如:如果公式命题逻辑基础学习 - 险峰 - 阿弥陀佛满足解释 I 则可以有如下表达成立:
命题逻辑基础学习 - 险峰 - 阿弥陀佛
 
 
命题逻辑基础学习 - 险峰 - 阿弥陀佛
 
 一个解释 I 是命题逻辑基础学习 - 险峰 - 阿弥陀佛的模型(model):命题逻辑基础学习 - 险峰 - 阿弥陀佛 则:
命题逻辑基础学习 - 险峰 - 阿弥陀佛
 
命题逻辑基础学习 - 险峰 - 阿弥陀佛
 
命题逻辑基础学习 - 险峰 - 阿弥陀佛
 
命题逻辑基础学习 - 险峰 - 阿弥陀佛
 
 
命题逻辑基础学习 - 险峰 - 阿弥陀佛
 

 

命题逻辑基础学习 - 险峰 - 阿弥陀佛

 

命题逻辑基础学习 - 险峰 - 阿弥陀佛

 

命题逻辑基础学习 - 险峰 - 阿弥陀佛

 

命题逻辑基础学习 - 险峰 - 阿弥陀佛
  评论这张
 
阅读(756)| 评论(0)
推荐 转载

历史上的今天

在LOFTER的更多文章

评论

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

页脚

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