定性偏好的逻辑表示和推理

来源 :北京邮电大学 | 被引量 : 0次 | 上传用户:zhangjie333666
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
偏好是一种常见的认知现象,现在,偏好研究作为一个多学科交叉研究领域,为经济学家、计算机科学家、运筹学家、数学家、逻辑学家、哲学家等研究人员所关注。近几年来,偏好成为人工智能研究中一个新的研究领域,借助于上述传统学科中偏好研究的成果,人工智能研究人员通常把偏好看作是 agent具有的一种内部状态或者常识,以期采用偏好解释agent的智能行为,实现快速有效的偏好处理,并取得初步成果。逻辑方法以其直观、自然、强大的表示能力倍受关注,构造简洁的、表达和推理能力强、计算复杂度低的偏好逻辑系统成为包括哲学家和人工智能专家在内的研究人员的目标之一。 偏好产生的根源和偏好表现形式多种多样,相应地,人工智能偏好研究中,产生了多种偏好表示方法和偏好推理机制。随着研究的深入和应用的推广,提出了新的需求:现有偏好处理研究,往往只针对特定偏好类型在特定条件下的处理,而在构造公理化系统和实际应用中,常常多种类型偏好共存,能够描述多种偏好类型的简洁表示和推理方法成为偏好研究的重要问题。此外,在智能决策过程中,常常由于决策目标的改变,外界环境改变和偏好集成等原因造成偏好变化,由此衍生了许多诸多如偏好结构的改变、偏好变化轨迹描述、偏好修正等问题。本文针对多类型偏好共存情况下的表示,推理和修正问题,主要工作有: 1. 在总结了当前偏好逻辑研究的基础上,提出超偏好关系的概念,并基于超偏好关系提出四种偏好类型的划分。进而通过引入四个新逻辑联结词,在命题逻辑基础上构造了能够表示并推理多种偏好关系的逻辑系统MKPL逻辑,并提出一种推理过程,将MKPL逻辑可满足性检测归结为命题逻辑模型检测过程: 2. 将删逻辑语言MKPL<,P>与常见偏好逻辑语言比较,提出重写定理,证明MKPL<,P>较强的表达能力: 3. 在MKPL逻辑基础上,提出基于最细致/粗糙描述原则的非单调推理方法,以及能够表示CP约束的偏好语言MKPL-CP和非单调推理方法; 4. 提出有限逻辑链(或有限W-链)表示偏好,一方面提出基于有限链修正的四种类型偏好的偏好修正方法,另一方面,解决了单链前序偏好修正中的重用问题。
其他文献
在竞争环境激烈的今天,越来越多的中型和小型企业认识到客户管理在企业竞争中的重要性。但对于大多数中小企业来说,建立专门客户管理系统需要专门硬件和专业的技术人员,这增加了
随着数字化技术和Internet的飞速发展,数字多媒体信息的传播变得越来越方便,但也带来了版权保护的危机。数字水印作为数字媒体版权保护的一种有效手段,得到了广泛关注,并已经
随着信息技术逐步应用于各行各业,面向领域的软件生产逐渐成为研究和开发重点。零码软件生产平台(SoftproLine)即是针对特定应用领域而开发的柔性软件产品开发平台,其主要应用
Web服务是实现Internet环境中跨平台、跨语言和松散耦合的分布式计算技术,也是面向服务架构中的关键技术之一。Web服务给许多企业带来了商机和快速发展的机会。但是Web服务的
随着云计算和移动互联网等概念越来越深入到普通人的生活当中,大数据也随着变得越来越深入人心。在当今竞争激烈的商业战场上,谁能掌握破解大数据的钥匙,谁就能在商业领域占得先
近年来,随着GPS和其他移动定位设备及服务的广泛使用,使得收集到的轨迹数据也日益增多。一方面,轨迹数据中含有大量有价值的信息,通过挖掘和分析这些时空轨迹可以帮助支持多
本文的研究内容集中在OLAP的两个核心问题上:(1)如何建立一个完善的多维数据模型(MDDM),以满足现实应用对数据表示和操作的需求;(2)如何实现OLAP系统,使得对于数据仓库的多维分析
随着我国法治社会的逐步发展,社会主义法制体系的进一步完善,各级政府新出台了大量的法律法规。与此同时,旧的政策仍在沿用,新旧政策的同时使用使得政策之间的碎片化日益严重,一旦政策碎片化趋势发展到“去中心化”的程度,将会导致整个政策体系的崩塌。如何发现政策体系中的政策要点及脆性点,避免政策脆性是目前政策研究领域中迫切需要解决的问题。本文在总结了国内外政策研究和复杂系统脆性研究的基础之上,首次提出了从政策
异构多核处理器系统将不止一种类型的内核集成在一起,可以同时发挥不同类型核心的长处,加快程序的执行速度并降低系统功耗。为提高异构CMP任务调度执行效率,充分发挥异构CMP
近年来,随着计算机网络的普及和网络用户的急剧增加,网络拥塞控制机制的研究变得越来越重要。TCP/IP是一项从实践中诞生的,并在实践中不断得到发展和完善的网络技术,也是目前