有缺指派下的信念修正逻辑

来源 :软件学报 | 被引量 : 0次 | 上传用户：lailinyang

【摘要】

：

经典的AGM信念修正理论和以D—P假设为代表的迭代信念修正理论都是以完全指派为可能世界而进行的理论研究．把这些研究推广到有缺指派的领域中与完全指派为每个原子命题符号都

【作者】

：

肖文洁朱朝晖

【机构】

：

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

【出处】

：

软件学报

【发表日期】

：

2010年1期

【关键词】

：

有缺指派信念修正表示定理 incomplete valuation belief revision representation theorem

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

经典的AGM信念修正理论和以D—P假设为代表的迭代信念修正理论都是以完全指派为可能世界而进行的理论研究．把这些研究推广到有缺指派的领域中与完全指派为每个原子命题符号都指派真假值不同，有缺指派是一个三值指派，它可以为每个原子命题符号指派真、假和不确定三值之一．以有缺指派为可能世界，对D-P系统进行了推广，证明了相应的表示定理．

其他文献

一种服务Agent的可信性评估方法

提出了一个基于服务Agent的计算框架,并从社交认知的角度建立了一个服务Agent的信任本体,支持服务Agent对信任信息进行推理.根据该信任本体,提出一系列基于信任推理的计算规

期刊

面向服务计算服务AGENT信任本体社交认知方法service-oriented computing service agent trust onto

绿色水稻栽培技术

结合笔者多年的经验,就绿色水稻栽培技术进行了探讨。

期刊

绿色水稻栽培技术管理

椭圆曲线密码中一种多标量乘算法

标量乘和多标量乘是实现椭圆曲线密码体制的核心运算,其运算速度从整体上决定了椭圆曲线密码体制的实现效率.提出了一种多标量乘算法,该算法的基本思想是,将标量用带符号的整

期刊

点乘多标量乘阶乘展开式T-形多标量乘固定基窗口算法point multiplication multi-scalar multiplication

一种动态角色模型及其实现机制

很多角色模型的设计和使用存在着一些限制，例如：角色对象的创建及其与源对象的绑定需要通过编码显式完成；角色对象与源对象之间的单向链接使得消息不能在它们之间互相转发等．这些

期刊

角色动态角色模型代理前置对象对象代理模型role dynamic role model delegation prepositve object

浅谈新型材料对桥梁发展的影响

基于现代桥梁的发展，新型材料的产生，必然有新型材料桥梁的诞生。新型材料桥梁将更满足社会未来的发展要求，大跨、轻质、美观、污染小.

期刊

桥梁新型材料混凝土纤维

以病人为中心以质量为核心创建高水平特色医院——广东省佛山市顺德区伦教医院简介

伦教医院于1958年建院，在20世纪80年代第一次扩建，占地8586m^2，建筑面积7715m^2，随着人民生活水平和对健康要求的提高，原有的医疗环境已不能满足人民群众的要求，镇政府适时作出决定

期刊

医院简介以质量为核心生活水病人为中心特色医院顺德区佛山市广东省

135例老年冠心病患者的护理体会

随机选取我院自2003-2006年收住的老年冠心病患者135例,其中男87例，女48例。经系统治疗及护理后，效果显著。

期刊

老年人冠心病护理

用于自动证据分析的层次化入侵场景重构方法

为了能够自动分析入侵证据，提出了一种层次化入侵场景重构方法．其原理是：首先，基于报警关联技术重构出入侵者的抽象攻击步骤及步骤间关系；然后，基于攻击特征和依赖追踪技术重构出各

期刊

入侵取证证据分析场景重构依赖追踪报警关联intrusion forensic evidence analysis scenario reconst

开放性电工电子实验室建立的初步研究

建立开放式实验室是改革传统的验证性实验教学的有效途径,其目的在于让学生在掌握有关知识和技能的同时,获得较高的创新意识和创新能力。本文将重点介绍开放性实验室—电工电

期刊

开放式实验室电工电子实验室建立

非手术方法治疗椎动脉型颈椎病的体会

椎动脉型颈椎病是颈椎病中一种常见类型，以头晕、头痛、视物模糊或突然摔倒、心悸、恶心、甚至呕吐、颈部功能活动受限、酸痛沉胀及颈部活动时症状加重等为特点。我们采用综合

期刊

椎动脉型颈椎病理疗颈椎牵引非手术综合治疗

有缺指派下的信念修正逻辑

与本文相关的学术论文