含有文字序逻辑程序的一种辩论语义

来源 :南京航空航天大学学报 | 被引量 : 0次 | 上传用户：lingdianbingdu

【摘要】

：

有序逻辑程序的语义研究是常识推理的重要研究内容.文中对Dung的辩论框架进行了扩充,针对含有文字序的逻辑程序提出了一种优先辩论框架,加入了对文字之间优先序的处理,进而定

【作者】

：

谢红梅王建东周勇

【机构】

：

南京航空航天大学信息科学与技术学院

【出处】

：

南京航空航天大学学报

【发表日期】

：

2005年1期

【关键词】

：

逻辑程序辩论语义优先序 logic program argumentation semantics prior order

【基金项目】

：

中国科学院资助项目

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

有序逻辑程序的语义研究是常识推理的重要研究内容.文中对Dung的辩论框架进行了扩充,针对含有文字序的逻辑程序提出了一种优先辩论框架,加入了对文字之间优先序的处理,进而定义了相应的优先回答集语义和优先扩充语义.证明了文中的优先回答集是Sakama回答集的特例,而优先扩充语义可以处理没有回答集的优先逻辑程序.

其他文献

论白居易叙事诗的抒情性

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技

期刊

叙事诗抒情性结构语言意境

血清维生素D水平与老年人社区获得性肺炎严重程度的相关性研究

期刊

社区获得性肺炎维生素D危险因素重症肺炎老年人

基于Fluent的金属粉末气体输送喷嘴结构设计及优化

为设计一种适用于小型激光修复设备的金属粉末同轴输送喷嘴,构建了以中心锥形腔体激光通路和环绕腔体均布的四条流体通道组成的喷嘴基本结构。由于输送流体为气固混合物,为保

期刊

同轴送粉喷嘴两相流汇聚性Fluent

全球防治禽流感爆发尚存三大难题

10月17日，来自全球近80个国家的代表与联合国专家齐聚华盛顿，首次以共同应对的姿态商讨预防禽流感在人类中间爆发的大计。

期刊

禽流感病毒三大难题

基于有限元网格变形的飞机外形曲面修改

根据变形后的有限元模型修改原始的飞机外形，从而自动得到变形以后的产品模型。考虑到有限元网格与原始曲面之间的误差及细小特征上的差别，本文采用两种方法来重新生成产品的曲

期刊

飞机外形有限元网格曲面变形aircraft shape finite element meshes surface mapping

数控测井系统四臂井径仪探头的常见故障及解决办法

四臂井径仪是2530 快速测井平台系统中不可缺少的仪器,通过对HH2530数控测井系统中X-Y四臂井径仪探头动力组件的工作原理进行详细分析,并在用调试缸维修探头动力组件过程中,

期刊

井径仪动力组件维修well diameter instrumentPower assemblyMaintenance

不确定性时空查询的一种符号表示法

分析了时态查询、时空查询和不确定性时空查询的各类查询形式及其查询特性．以BNF（Backus-naur form）范式形式给出不确定性时空查询语义的统一符号表示法，井对典型查询进行举例说

期刊

时空数据库查询语言不确定性符号表示法spatiotemporal database query language indeterminateness

悬空侧钻技术在井眼防碰中的应用

井眼防碰是海上丛式井平台钻井一个无法绕过的课题,钻井过程中出现疑似井眼防碰征兆,通常的做法是珠水泥塞回填井眼,重新侧钻新井眼,起钻注水泥塞的过程耗时长,一定程度增加

期刊

悬空侧钻防碰绕障侧钻点井眼碰撞预留井段Suspension SidetrackingAnti collision barrierSidetrackin

含有文字序逻辑程序的一种辩论语义

其他学术论文