从知识表示的角度看DRT与一阶谓词逻辑

来源 :南京社会科学 | 被引量 : 0次 | 上传用户:gym510
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
DRT是一种自然语言逻辑理论,同时也是一种知识表示方法。作为知识表示方法,DRT不仅能够刻画一阶谓词逻辑所能够刻画的自然语句,还能够刻画一阶谓词逻辑所不能处理的很多语言现象。这说明。DRT较之一阶谓词逻辑而言有更强的刻画效力。
其他文献
胚胎干细胞和成年干细胞经培养能产生更多干细胞也可定向分化成神经细胞、血细胞、肝细胞等特定类型的细胞.其中具有潜能的细胞可用来研究治疗帕金森病、糖尿病和脊髓损伤等
优雅舒适的照明能够为生活和工作环境带来美的享受.这款灯是世界上第一款热气球造型的磁悬浮灯.能够在空气中浮动高达20mm.篮子上装有暖光灯,可以用拨动开关轻松打开和关闭.
无过错责任是以补偿受害人为目的的一种特殊的责任形式。本文通过揭示药品在不良反应损害补偿方面的困境,从而进一步强调我国药品不良反应损害补偿责任采用无过错责任的必要
<正>腹腔镜胃袖状切除术(laparoscopic sleeve gastrectomy,LSG)系相对较新的减重手术方式。因其操作相对简单、治疗肥胖合并疾病及减重效果明显,逐步得以广泛接受。目前美国
文章简要介绍了飞秒激光发展过程及其特点,讨论了利用飞秒激光的超快速时间和超高峰值的特性烧蚀加工烟火药剂Mg/阳FE的可行性与安全性。建立了飞秒激光与Mg/阳FE作用过程中的传
目的:探讨从肝论治失眠症的有效性。方法:收集整理295例失眠症的临床资料,总结分析其临床疗效。结果:治疗2周144例,显效13例,有效105例,无效26例,总有效率81.94%;治疗4周86例
<正>长期以来,靖难之役一直是学界关注的热点,然而过往研究大多集中于对靖难之役的宏观叙事与细节考订,对靖难之役发生之后,明代朝野上下在文献残缺的基础上进行的建文史重构
随着经济的全球化发展,计算机网络的普及,推动了电子商务的迅速发展。电子商务支付市场的这种信用缺失催生了这种基于信用中介模式下的第三方支付产业的发展。本文通过对第三
电子支援侦察(ESM)是用于实现预警机无源定位的主要传感器资源之一,在预警机参与的典型反舰作战任务中,为了实现打击链的快速闭环,要求ESM对敌舰船定位时间越短越好。然而,影
黄韧带的退行性改变是腰椎椎管狭窄症的主要病理改变之一。作者报告了对腰椎椎管狭窄症患者黄韧带的组织学观察结果,发现弹力纤维明显减少和胶原纤维的增生是黄韧带退行性变的