您好、欢迎来到现金彩票网!
当前位置:刘伯温四肖中特料 > 推理子句 >

章绪论答集计算的方法代表系统是 。该方法的核心思想是 首先完成

发布时间:2019-07-10 03:13 来源:未知 编辑:admin

  章绪论答集计算的方法代表系统是 。该方法的核心思想是 首先完成填充程序的 完备并将结果转化为子句集 随后利用满足性求解器完成回答集的产生与检测。只要能够确保可满足性求解器的可靠性和完备性 该方法就是可靠和完各的。经过数十年的发展 回答集框架 】己经成功应用于大型推理系统的建立 如数据整合、产品配型

  章绪论答集计算的方法代表系统是 。该方法的核心思想是 首先完成填充程序的 完备并将结果转化为子句集 随后利用满足性求解器完成回答集的产生与检测。只要能够确保可满足性求解器的可靠性和完备性 该方法就是可靠和完各的。经过数十年的发展 回答集框架 】己经成功应用于大型推理系统的建立 如数据整合、产品配型 服务以及关于行为的推理等许多方面‘‘。电子商务是信息时代企业和顾客商务活动的基本模式 在这种模式下企业 组织 的概念、运作过程、管理的内容以及管理的方法都在发生巨大的变革【 。电子商务是基于信息和互联网络的商务模式 它对信息、信息处理及信息系统的依赖是传统商务模式从来不曾有过的。随着社会的进步和信息技术的飞速发展 电子商务已经完全融入了我们经济生活的各个方面。并且中国网民的人数也在爆炸式的增长 电子商务带来的经济增长和效益已不可小觑 成为了我国国民经济的一个新的增长点。在自由的市场经济中 很多企业为了保持和提高自身的市场竞争力 已经开始做企业自己的电子商务系统了。但是 与美国等西方国家相比 与我国现有的计算机技术相比 我国的电子商务的发展却不尽如人意。无论是现在的电子商务市场规模 还是电子商务中买卖体系等都还有待提高 远我国蓬勃发展的国民经济 电子商务还有巨大的市场潜力。电子商务网站上拥有海量的产品信息 商家为了把自己的商品更好地推销给消费者 为了消费者能更好地获得产品信息 他们会根据商务网站上搜集到的信息来推荐自己的商品。产品推荐的常用一些依据如 所有用户对某一商品网页的访问次数 所有用户在某一商品网页上的停留时间 产品买卖的成交量 商家自己希望推荐的商品等。由于商务站点大都是基于上述的产品推荐方法 随着 站点的快速增长 信息呈指数级增长 用户对信息的有用性要求更高 而此时的产品推荐方法就暴露出了它的弱点。它已经不能很好的满足个人的需要。互联网技术的迅速发展使得大量的信息同时呈现在我们面前 百度 谷歌等搜索工具的搜索流程是用户输入一个关键字 这些搜索工具会呈现一个通过它们自己的规则整理后的一些结果。这些结果只是针对搜索者输入的关键字 搜索引擎不能根据用户的兴趣爱好提供相应的服务。由于搜索引擎提供的信息是海量的 这反而使用户的效率降低了。怎样解决这个问题 目前有人提出了个性化搜索这个概念 之后又有人提出了个性化推荐 它们被认为是解决信息超载这个问题的有效方法。推荐问题从根本上说是代替用户评估它从未看过的产品 这些产品包括书、电影、 、网页、甚至可以是饭店、音乐、绘画等等。北京工业大学工学硕士学位论文而具备独特的、个性化服务的网站将对客户产生浓厚的吸引力 从而有效地增加企业站点的访问率。个性化推荐技术是个性化服务技术研究的关键要素之一 它根据用户的兴趣 爱好 向用户推荐似她是否有兴趣浏览的内容或产品信息 并提示用户浏览或购买。如使用明确的个人资料记录 获取用户信息的个性化推荐方法等。这些方法要求访问者注册个人信息 或填写问卷 所以相应的存在诸多隐患。并且这些方法也可能降低用户的使用体验 填写用户个人资料会减少热情的用户访问该网站并且也不能保证用户在填写个人信息的时候提供的都是真实可信的信息。就算这些信息的可信度高 但是随着时间的改变 用户的兴趣和需求也在动态的变化。为了避免上述问题 本文结合己存在的推荐系统 利用用户的自己动态建立的知识集合及用户的动态需求集合来计算用户当前的兴趣和目的 来提供动态的、有效的、实时的个性化产品推荐服务。本文关注逻辑程序 特别是回答集程序在电子商务中产品个性化推荐领域的应用研究。 研究现状 理论研究现状回答集程序设计的理论研究方面主要包括回答集程序的语法研究和偏好研究。为了有效地表示生活场景中的知识 回答集程序的表达能力必须加强。相应的回答集逻辑程序的语法表现形式就复杂多样了 例如可以表达约剌 】、概率【 、模糊叫等概念。例如 等提出的析取逻辑程序、 以产品配置为基础提出的加权约束逻辑程序 王洁等提出了概率逻辑程序 以及模糊逻辑程序、有序的逻辑程序、具有优先关系的逻辑程序等。 应用研究现状由于 具有很多优点 所以 回答集逻辑程序已经成功的应用于很多领域 诊断、信息集成、约束满足、推理的行动包括规划 、路由和调度、安全分析、计算机辅助核查、医疗保健、生物医学和生物学、语义网、知识管理、文本挖掘和分类、问题解答等。 等人针对产品配置提出了一种配置规则语言该语言很好的解决了产品配置中最普遍的知识形式—选择 一起对进行扩展 针对更多的实际问题 提出了更具实用价值的加权约束逻辑程序 并在 年基于产品配置问题的本体论定义给出了产品配置问题的加权约束逻辑程序表示方法。这种知识表示方法使配置的表示具有紧凑、简 章绪论单和积木式的特点知识库维护方便 推理能力强等特点。 等人初步把回答集程序引入到语义网中并把描述逻辑和回答集程序相结合 提出了描述逻辑程序 以提高语义网本体的推理能力 等人也对回答集程序在语义网本体中的相关应用做了深入的研究并把本体和回答集程序相结合 提出了新的语义网本体和规则的结合语言 等学者提出基于检测大型生物网络中的不一致性 又提出基于的大型生物网络的修正和预测 在不一致情况下 。随着 理论的不断发展 及其应用的不断扩展 要想将 应用达到工业规模 仍然需要很大的努力。下一代的回答集求解系统必须对实际问题的需求提供更好的支持。 个性化推荐研究现状个性化推荐系统通过建立用户与信息产品之间的二元关系 利用已有的选择过程或相似性关系挖掘每个用户潜在感兴趣的对象 进而进行个性化推荐。高效的推荐系统可以挖掘用户潜在的消费倾向 为众多的用户提供个性化服务。一个完整的推荐系统由收集用户信息的行为记录模块 分析用户喜好的模型分析模块 推荐算法模块 个部分组成 其中推荐算法模块是核心的部分。对于任意目标用户 假设 选择过所有的产品 每种产品都具有向 推荐其他产品的能力 把所有 没有选择过的产品按照他喜欢的程度进行排序 把排名靠前的推荐给 。在同样的用户喜好程度下 推荐冷门的产品要比推荐热门的产品意义更大。在同样精确度下 推荐的产品数量越少越好。如今 由于推荐技术的不断发展 它已经成功的应用在一些电子商务中 如淘宝 当当网 亚马逊等 和一些社交网络站点 人人 豆瓣等 并且取得了很大的成功。上述网站的成功 充分说明了在 环境下 面对海量的数据 像推荐系统这样的更加智能的用户兴趣爱好 需求挖掘机制 能使生活变得更加方便。 队解决知识库更新问题但它不能描述和处理具有偏好的知识更新问题。在本文中 以动态逻辑程序为基础 首先把有序析取 入动态逻辑程序规则的头部 扩展成扩展的动态逻辑程序。然后把显示的用户模型用扩展的动态逻辑程序表示并加入到己存的推荐系统中 以提高推荐质量 达到个性化推荐的目的。在这个显示的用户模型中 用户可以提出自己的需求 偏好等 并且扩展的动态逻辑程序有很好的性质 既其最优回答集正好对应个性化推荐的结果。北京工业大学工学硕士学位论文 研究内容为了进一步增强知识描述和推理的能力 本课题旨在提出一种新的扩展的动态逻辑程序语言。新的逻辑程序是将一般动态逻辑程序规则的头部扩展为有序析取的形式 使其更加适用于多项可选知识的表示。并以此为基础展开一系列的研究工作 、提出一种新的扩展的动态逻辑程序语言。将一般动态逻辑程序规则的头部扩展为有序析取的形式 使其更适用于具有优先关系的多选项知识的表示 同时 对动态逻辑程序稳定模型语义进行扩展 讨论新程序的稳定模型语义。 、提出把扩展的动态逻辑程序应用于现有的推荐系统中 从用户需求的角度实现产品信息的个性化推荐 并举例说明新逻辑程序在产品个性化推荐问题中的具体应用。 、研究客户需求不合理情况下 个性化系统推荐无解的问题 寻求一种高效的方法 为客户提供最近似客户需求的解。在实际问题中 由于客户提供的信息可能自相矛盾 其提出的需求往往带有一定的不合理性 或者不确定性。这种情况下 求解系统将给出无有效推荐解的结论。本文提出一种加权定量的计算方法 为客户的每个需求进行加权处理 以求得满足最大客户需求度的合理推荐解 作为对客户的反馈和建议。 本文的组织结构本文整体结构安排如下 绪论。介绍产品推荐问题和逻辑程序的背景及发展过程详细阐述本课题的来源及研究意义 并介绍主要研究内容。第 相关理论与关键技术综述。介绍逻辑程序的历史及其演变过程介绍逻辑程序的各种不同形式 并详细介绍了回答集逻辑程序的语法及其语义。第 扩展的动态逻辑程序及在产品信息个性化推荐中的应用。简要介绍动态逻辑程序在此基础上提出扩展的动态逻辑程序 详细阐述其语法和语义。扩展的动态逻辑程序在产品个性化推荐中的应用。简要介绍推荐系统 在此基础上 把扩展的动态逻辑程序作为现有推荐系统的一个补充 加强推荐系统的推荐效果 达到个性化推荐的目的。第 针对需求不合理系统无解的情况 通过对用户的需求模型进行加权处理 在系统无法给出信息个性化推荐解的情况下 计算出满足用户最大需求的推荐解。它是用户相对满意的一个解 然后用一个实例展示了这种方法的特点。第 章绪论结论 对全文工作进行总结 并对本文工作中存在的一些不足提出了改进思路及对今后工作的展望。北京工业大学工学硕士学位论文 章相关理论与关键技术第章相关理论与关键技术 基础逻辑程序 创建的基础是逻辑学理论 它是一种逻辑编程语言 它的创建最初是由于自然语言研究领域的需要 不过现在已广泛应用于人工智能的研究中 如专家系统 智能知识库等。近年 己成为最具影响力的人工智能语言之一。 是一种以一阶谓词为基础的逻辑程序语言 其设计思想为 算法 逻辑 控制 其中 用户只需要编写程序的逻辑部分 而系统中的解释程序则实旋控制部分。 程序没有特定的运行顺序 运行顺序由电脑决定的 而不是写程序的人。它是非过程性的描述型的语言 首先 用特定的方法描述一个问题 然后由电脑自动找到问题的答案。举个极端的例子 只需要把某个数学题目告诉它 它就会自动的找到答案 而不像使用其他的语言一样 必须人工的编制出某种算法。常规的语言 是非过程性的。语法很简洁 它是一阶谓词逻辑的 子句集。 中由以下三种类型的子句组成 无条件子句 事实 或条件子句规则 目标子句。这种简单的程序称之为基础逻辑程序。一个 子句具有双重语义 说明性语义和过程性语义。 的说明性语义基于一阶谓词逻辑的模型论 过程性语义基于一阶谓词逻辑的证明论。 回答集程序设计逻辑程序 具有丰富的表达能力 已经成为知识表示和推理的重要工具 在人工智能、程序验证、关系数据库系统以及非单调推理等方面都有广泛应用。在非单调的逻辑程序中 回答集语义在逻辑程序语言中占有重要地位。回答集程序设计 】产生于 世纪 年代 它以逻辑程序和非单调程序为基础 经过多年的发展 已经成为一种说明性问题解决范例。回答集程序设计是一种程序设计的框架 人们用逻辑程序模块化的描述一个特定问题 程序的回答集对应实际问题的解决方案。这种特定的程序方式 非常适用于对涉及常识推理的问题进行建模 并自动求解 己经成功的应用于诸多领北京工业大学工学硕士学位论文域 诊断、信息集成、约束满足、推理的行动包括规划 、路由和调度、安全分析、产品配置、计算机辅助核查、医疗保健、生物医学和生物学、语义网、知识管理、文本挖掘和分类、问题解答等。 等人建立的增长型模型建立方法 主要关注于现实的演变过程 针对演变过程的每一步进行描述。回答集程序设计完全不同于传统的过程程序 程序员通过形式语言描述问题 并使用推理机制发现闯题的解 这种程序方式已经成功的应用于设计常识推理等各类问题建模等领域。回答集编程是语法上类似传统逻辑编程而语义上密切于非单调逻辑的一种声明式编程。在传统逻辑编程和回答集编程之间的主要区别是如何表示否定为失败。在传统逻辑编程中 否定为失败指示推导失败 在回答集编程中 它指示一个文字的一致性。 扩展的回答集程序的语法随着对回答集逻辑程序研究的深入 其语法形式也越来越多样和复杂。先后出现了可以表示概率鲫 约束 模糊【 有序 具有优先关系 等的逻辑程序。下面我们介绍一般的扩展的回答集程序的语法。扩展的回答集程序由规则的集合构成 每个规则由一个头部和一个体部构成 如下 只是原子。缺省非原子鼠表示不了解原子丑。的情况 即没有证据证明其为真 也没有证据确定其为假。规则是一个有序对 其中是一个文字 而历咖是一个规则元素的有限集合。头部为 的规则表示女厶七一三 当以上规则中的厶中不含的文字时 构成一般的逻辑程序 当上 中含有 文字时 此时的逻辑程序称为扩展的逻辑程序 。原子都不是一阶的 而是命题 这是与传统逻辑程序最大的不同 并且具有两种形式的否定 经典否定 符号为 否定为失败 符号为 。文字有两种形式 即原子和 使用经典菲否定 否定的原子。如下例 七一 我们来观察第一个规则 如果 章枢关理论与关键技术真。稳定模型语义最初的 被定义为谓词演算的 子句集。后来 吸收了一些非经典的、非单调的特征 使其与非单调逻辑越来越近。经典的逻辑程序 研究的是确定的逻辑程序 。其中每一个么和 都是原子。 年提出了逻辑程序的稳定模型语义在基础逻辑程序基础上引入了能够表达非单调推理 即失败非 称为一般逻辑程序 为一个一般逻辑程序它是如下形式 的规则集 。如果不含有失败非 的最小模型 即是 的唯一的一个稳定模型。我们可以把这个定义扩展到还有缺省非的情况中去 只需要做如下两点操作 假定任意一些基原子的集合 程序 根据原子集合 做如下操作后得到的程序程序记 删除所在的规则 删除经过第一步处理后剩下规则中出现的 原子。显而易见 中不再含有礼 根据之前的定义可以很明显的知道 具有唯一的最小的 模型 若这个模型与之前假定的任意原子集合 一致 则称原子集 为程序 的稳定模型。程序的任意一个稳定模型都是其最小 模型。若逻辑程序存在稳定模型 并且只有一个稳定模型 则这个唯一的稳定模型决定此逻辑程序的稳定模型语义。例 一般逻辑程序尸如下 首先 基例化程序 将包含变量的规则用其基例代替 程序 经过基例化操作以后变为一个基程序 如下 北京工业大学工学硕士学位论文 上述程序的基原子的集合为然后 上述部删除操作 我们得到只 模型为。明显的 它与 不一致因此 不是逻辑程序 的稳定模型。同理 我们令足 得到 最小 模型为 。因为与是一致 所以 是逻辑程序 的稳定模型。然后依次对 种组合检查可知 有唯一的稳定模型 。程序的任意一个稳定集都是它的最小 模型 所以稳定集又被称为稳定模型。如果逻辑程序有且仅有一个稳定模型 则该逻辑程序的稳定模型决定了它的稳定模型语义。如果不存在稳定模型或者有多个稳定模型的程序 则逻辑程序没有稳定模型语义。稳定模型语义定义了什么时候一个原子集是给定程序的稳定模型。根据以上定义及实例 易知稳定模型具有如下属性 关于头部原子 在逻辑程序 的稳定模型中的原子 一定在逻辑程序 经过处理后的规则集 的某条规则的头部。关于最小性 逻辑程序 的所有模型中 其稳定模型在与稳定模型相关的的其它模型集合相比 是最小的。关于反链性 通过观察最小性属性 不难知道逻辑程序 如果存在两个或多个稳定模型 那么这些稳定模型间不存在真子集的关系。也就是说 逻辑程序的任意稳定模型集合是一个反链。关于 一完全 求解一个不含变量的逻辑程序的稳定模型的复杂度问题是 完全问题。 回答集语义传统的逻辑程序是用来表示和推理知识的重要工具。但是传统的逻辑程序与经典逻辑相比 它存在一个致命的弱点 即不能直接处理不完整的信息。经典理

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

http://mojdzwonek.com/tuiliziju/338.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有