阿弥陀佛

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

日志

关于我

险峰

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

文章分类

描述逻辑的由来

2011-11-20 22:53:38| 分类： OWL | 标签： |举报 |字号大中小订阅

下载LOFTER 我的照片书 |

Parmenides公元前5世纪，苏格拉底时期的古希腊哲学家。埃利亚学派的唯理论者巴门尼德(Parmenides)指出，直实的世界一定与感觉所展现的一切完全不同，因此，用我们熟悉的事物作类推法推导对世界所作的解释从本质上讲也是虚假的。Parmenides 首先提出了metaphysics意义上的Ontology概念。
命题逻辑由公元前300多年的古希腊哲学家亚里士多德创建。复合命题是在已有命题之上复合而成的新命题。产生复合命题的方法由英国数学家布尔于1847年提出，并在1854年"The Laws of Thought"著作中进行了系统讨论。一阶谓词逻辑由德国数学家Frege ,在1879年提出，是现代逻辑开始的标志。

描述逻辑于1980年正式提出。在之前我们称之为乔姆斯基文法或概念语言。

描述逻辑(Description Logic) 是形式知识表示的家庭汇集。一方面它比命题逻辑有更强的表现能力，同时也比一阶逻辑有更好的决策效率。

描述逻辑是当前语义网发展中本体的理论基础。例如，OWL万维网本体语言就是一种描述逻辑SHIOQ (D)的语法形式。

----------------------------------------------------------------

从公元前5世纪，苏格拉底时期的古希腊哲学家巴门尼德(Parmenides)提出“存在”的本体概念到公元前3世纪古希腊哲学家亚里士多德创建形式逻辑；从英国数学家布1847年创建复合命题和布尔代数，到德国数学家Frege1879年创立现代逻辑基础——一阶谓词逻辑，直至现在以集合论、命题、复合命题、一阶逻辑等为基础的离散数学；不难发现逻辑学才是当今科学世界的源头。

孔子“推十合一而为士”的思想可以考查出一个知识库演绎和归纳问题的能力。与数学分析描述事物是从定义域、值域开始的一样，本体分析是从“单位” （unit）划分的全序集开始的。不同“单位”的命题，属于不同的领域；每一个全序集对应一个知识库，每一知识库通过全序集形成独具特色的形式概念。全序集在气象服务领域随处可见。国家突发事件应对法使用灾害等级{红，橙，黄，蓝，无}表示突发事件等级[]；气象服务中使用满意度{不满、一般、满意、很好}表示用户对服务的感受[]；农业气象中使用{播种，育苗，抽蕙，灌浆，结实，收获}表示作物的不同生育期等等。

评论这张

转发至微博

阅读(1084)| 评论(0)

历史上的今天

this.p={  m:2,
              b:2,
              loftPermalink:'',
              id:'fks_087067080086085070093081094066072084080070083083083071092',
              blogTitle:'描述逻辑的由来',
              blogAbstract:'     Parmenides公元前5世纪，苏格拉底时期的古希腊哲学家。埃利亚学派的唯理论者<b\>巴门尼德</b\>(<b\>Parmenides</b\>)指出，直实的世界一定与感觉所展现的一切完全不同，因此，用我们熟悉的事物作类推法推导对世界所作的解释从本质上讲也是虚假的。Parmenides 首先提出了metaphysics意义上的Ontology概念。<br\>      命题逻辑由公元前300多年的古希腊哲学家亚里士多德创建。复合命题是在已有命题之上复合而成的新命题。产生复合命题的方法由英国数学家布尔于1847年提出，并在1854年\"',
              blogTag:'',
              blogUrl:'blog/static/2157554820111020104136421',
              isPublished:1,
              istop:false,
              type:0,
              modifyTime:1325344628745,
              publishTime:1321800818052,
              permalink:'blog/static/2157554820111020104136421',
              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/2157554820111020104136421">${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 - 订阅此博客

阿弥陀佛

导航

日志

描述逻辑的由来

历史上的今天

最近读者

热度

评论

页脚