阿弥陀佛

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

日志

关于我

险峰

一直从事气象预报、服务建模实践应用。注重气象物理场、实况场、地理信息、本体知识库、分布式气象内容管理系统建立。对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 0…1
模糊逻辑	degree of truth	degree of belief 0…2

表示知识库包含句子a，当且仅当KB中所有a为真时，KB为真。

表示通过过程i，a可以从KB中派生出来。

命题逻辑的基本思想：每一命题逻辑是原子局，即每一命题是不可分离的语句。如：“这本书是红色的。”，“正在下雨。”等。

命题逻辑的连接词为：and, or ,not

命题逻辑推理：

表示语句

由一组

所隐含。

命题逻辑语法：

命题解释(interpretation): 原子句中的所有真值(true value)指派（或解释）是命题解释（函数） I ：命题逻辑基础学习 - 险峰 - 阿弥陀佛

函数 I 不能写为 I（a），而是写为：命题逻辑基础学习 - 险峰 - 阿弥陀佛

例如：如果公式

满足解释 I 则可以有如下表达成立：

一个解释 I 是

的模型(model)：命题逻辑基础学习 - 险峰 - 阿弥陀佛

则：

评论这张

转发至微博

阅读(1011)| 评论(0)

历史上的今天

this.p={  m:2,
              b:2,
              loftPermalink:'',
              id:'fks_087067084085084068083087086068072084080070083083083071092',
              blogTitle:'命题逻辑基础学习',
              blogAbstract:'   <P\><A target=\"_blank\" rel=\"nofollow\" href=\"http://www.inf.unibz.it/~franconi/dl/course\" \>DESCRIPTION LOGICS</A\>教学参考</P\>  <P\>1. 命题逻辑基础</P\>  <P\>知识库(KB)是逻辑形式语言语句的集合。即KB={逻辑形式语言语句}。<BR\>用陈述式（declarative）构造智能代理（或其它系统），需要告诉代理必要的基本事实（陈述）。<BR\>然后代理才能根据提问，从KB中的陈述中得到结论，并告诉用户应该如何处理。<BR\>代理可以在知识层浏览知识。<BR\>陈述是信息的逻辑形式表述，具有明确的真伪语义结果。<BR\>逻辑根据其用途和特性具有多种划分。<BR\>如：高阶逻辑（Logics of higher order），<BR\>      </P\>',
              blogTag:'',
              blogUrl:'blog/static/21575548201187114146782',
              isPublished:1,
              istop:false,
              type:0,
              modifyTime:1315393006070,
              publishTime:1315367739376,
              permalink:'blog/static/21575548201187114146782',
              commentCount:0,
              mainCommentCount:0,
              recommendCount:0,
              bsrk:-100,
              publisherId:0,
              recomBlogHome:false,
              currentRecomBlog:false,
              attachmentsFileIds:[],
              vote:{},
              groupInfo:{},
              friendstatus:'none',
              followstatus:'unFollow',
              pubSucc:'',
              visitorProvince:'',
              visitorCity:'',
              visitorNewUser:false,
              postAddInfo:{},
              mset:'000',
              mcon:'',
              srk:-100,
              remindgoodnightblog:false,
              isBlackVisitor:false,
              isShowYodaoAd:false,
              hostIntro:'一直从事气象预报、服务建模实践应用。\n注重气象物理场、实况场、地理信息、本体知识库、分布式气象内容管理系统建立。\n对Barnes客观分析, 小波,计算神经网络、信任传播、贝叶斯推理、专家系统、网络本体语言有一定体会。\n一直使用Java、Delphi、Prolog、SQL编程。',
              hmcon:'1',
              selfRecomBlogCount:'0',
              lofter_single:'<iframe width="140" height="560" style="overflow:hidden;" src="http://www.lofter.com/mailEntry.do?blogad=1&blog" frameBorder="0"></iframe>'
            }

{list a as x}
    {if !!x}
    <div class="iblock nbw-fce nbw-f40">
      <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.visitorName}/">
      {if x.visitorName==visitor.userName}
      <img alt="${x.visitorNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.visitorName)}&r=${visitor.imageUpdateTime}"/>
      {else}
      <img alt="${x.visitorNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.visitorName)}"/>
      {/if}
      </a>
      <div class="cwd vname thide">
        {if x.moveFrom=='wap'}
          <a class="noul pnt" target="_blank" href="http://blog.163.com/services/wapblog.html?frompersonalbloghome"><span title="来自网易手机博客" class="iblock wapIcon"> </span></a>
        {elseif x.moveFrom=='iphone'}
          <a class="noul pnt" target="_blank"><span title="来自iPhone客户端" class="iblock iphoneIcon"> </span></a>
        {elseif x.moveFrom=='android'}
          <a class="noul pnt" target="_blank"><span title="来自Android客户端" class="iblock androidIcon"> </span></a>
        {elseif x.moveFrom=='mobile'}
          <a class="noul pnt" target="_blank" href="http://blog.163.com/services/emsblog.html?frompersonalbloghome"><span title="来自网易短信写博" class="iblock wapIcon"> </span></a>
        {/if}
        <a class="fc03 m2a"  target="_blank" hidefocus="true" href="http://blog.163.com/${x.visitorName}/">
          ${fn(x.visitorNickname,8)|escape}
        </a>
      </div>
    </div>
    {/if}
    {/list}

<#--最新日志，群博日志--> <#--推荐日志-->

<p class="fc06">推荐过这篇日志的人：</p>
    <div>
      {list a as x}
      {if !!x}
      <div class="iblock nbw-fce nbw-f40">
        <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.recommenderName}/">
        <img alt="${x.recommenderNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.recommenderName)}"/>
        </a>
        <div class="cwd thide">
          <a class="fc03 m2a" target="_blank" hidefocus="true" href="http://blog.163.com/${x.recommenderName}/">
            ${fn(x.recommenderNickname,6)|escape}
          </a>
        </div>
      </div>
      {/if}
      {/list}
    </div>
    {if !!b&&b.length>0}
    <p  class="fc06">他们还推荐了：</p>
    <ul>
    {list b as y}
      {if !!y}
        <li class="rrb"><span class="iblock">·</span><a class="fc03 m2a" target="_blank" href="http://blog.163.com/${y.recommendBlogPermalink}/?from=blog/static/21575548201187114146782">${y.recommendBlogTitle|escape}</a></li>
      {/if}
    {/list}
    </ul>
    {/if}

<#--引用记录--> <#--博主推荐--> <#--随机阅读--> <#--首页推荐--> <#--历史上的今天--> <#--被推荐日志--> <#--上一篇，下一篇--> <#-- 热度 -->

{list a as x}
    {if !!x}
    <div class="hotItem iblock nbw-fce nbw-f40">
      <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/">
      {if x.publisherUsername==visitor.userName}
      <img alt="${x.publisherNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.publisherUsername)}&r=${visitor.imageUpdateTime}"/>
      {else}
      <img alt="${x.publisherNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.publisherUsername)}"/>
      {/if}
      </a>
      <div class="cwd vname thide">
        <a class="fc03 m2a"  target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/">
          ${fn(x.publisherNickname,8)|escape}
        </a>
      </div>
      <a class="f-myLikeIcons hottype {if x.type==1} js-liketype{elseif x.type==2} js-reblogtype{elseif x.type==3} js-sharetype{else}{/if}" target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/"> </a>
    </div>
    {/if}
    {/list}

<#-- 网易新闻广告 --> <#--右边模块结构--> <#--评论模块结构--> <#--引用模块结构--> <#--博主发起的投票-->

页脚

我的照片书 - 手机博客 - 下载LOFTER APP - 订阅此博客

阿弥陀佛

导航

日志

命题逻辑基础学习

历史上的今天

最近读者

热度

评论

页脚