扩展的动态逻辑程序及其在产品个性化推荐中的应用

动态逻辑程序能很好的处理知识库更新问题,但它不能描述和处理具有偏好的知识更新问题.因此,本文在动态逻辑程序的基础上,提出了一种新的扩展的动态逻辑程序,它通过对规则头部使用有序析取的方法使其能够描述和处理具有偏好的知识更新问题,进一步增强了知识的表达和推理能力,并且定义了其最优回答集语义.同时将这种新的扩展的动态逻辑程序应用于产品推荐系统中,使用户获得的推荐信息具有个性化特点,达到个性化推荐的目的.最后以一个产品个性化推荐实例讨论扩展的动态逻辑程序在产品个性化推荐中的应用.

逻辑程序的事实维护

事实是逻辑程序的重要组成部分,事实维护影响着整个逻辑程序的一致性和完整性,并能够促进和完善规则维护。论文在分析了人工进行维护操作的弊端后,对事实维护中可能出现的情况进行分类分析,提出了事实维护系统的框架,重点描述了预警检测子系统所扮演的核心作用。

一种基于逻辑程序的重复协商框架

本文从基于信念修改的角度提出了两个AGENT之间的一个重复协商框架。在这个框架中,一个逻辑程序被当作一个协商的AGENT,每一个AGENT(逻辑程序)选择自己的一个回答作为自己最初的协商需求。两个A- GENT之间的协商过程就是两个逻辑程序之间相互更新的过程,这个过程是通过协商的每一方接受对方的部分(或全部)需求和放弃自己部分协商需求来实现的。本文设计了协商双方必须遵守的一些协商规则,根据这些规则对这个协商框架进行了形式化描述,并给出了协商的终止条件。