我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:双彩网 > 语义合一 >

人工智能各种知识点(大杂烩)

归档日期:07-05       文本归类:语义合一      文章编辑:爱尚语录

  :专家系统是一个智能计算机程序系统,其内部含有大量的某个领域专家水平的知识与经验,能够利用人类专家的知识和解决问题的方法来处理该领域问题。也就是说,专家系统是一个具有大量的专门知识与经验的程序系统,它应用人工智能技术和计算机技术,根据某领域一个或多个专家提供的知识和经验,进行推理和判断,模拟人类专家的决策过程,以便解决那些需要人类专家处理的复杂问题,简而言之,专家系统是一种模拟人类专家解决领域问题的计算机程序系统。

  新型专家系统:在专家系统的基础上,新型专家系统不仅采用各种定性模型,而且运用人工智能和计算机技术的一些新思想与新技术,如分布式、协同式和学习机制等。

  专家系统是早期人工智能的一个重要分支,它可以看作是一类具有专门知识和经验的计算机智能程序系统,一般采用人工智能中的知识表示和知识推理技术来模拟通常由领域专家才能解决的复杂问题。 一般来说,专家系统=知识库+推理机,因此专家系统也被称为基于知识的系统。

  人工智能的元年:人工智能再1956年被提出,故认为1956年是人工智能的元年。

  人工智能是是计算机学科中涉及研究设计应用智能机器的一个分支,近期目标为研究用机器来模仿和执行人脑的某些智力行为。

  规则演绎系统根据推理方向可以分为:规则正向演绎系统,规则逆向演绎系统,规则双向演绎系统

  启发式搜素是一种利用利用启发式信息的搜索,估价函数在搜索过程中起的作用是估计节点位于解路径上的希望。

  模糊判决的常用方法:重心法,最大隶属度法,系数加权平均法,隶属度限幅元素平均法

  神经网络适用于自动控制是由于自组织,函数逼迫,学习和适应,大规模并行处理。

  在框架理论中,框架通常由描述事物的各个方面的槽组成,每个槽可以有若干个侧面,每个侧面可以有若干个值。

  正向推理:从一组表示事实的谓词或命题出发,使用一组产生式规则,用以证明该谓词公式或命题是否成立。

  逆向推理:从表示目标的谓词或命题出发,使用一组产生式规则证明事实谓词或命题成立,即首先提出一批假设目标,然后逐一验证这些假设。

  双向推理:双向推理的推理策略是同时从目标向事实推理和从事实向目标推理,并在推理过程中的某个步骤,实现事实与目标的匹配。

  (1) 符号主义(symbolicism),又称为逻辑主义、心理学派或计算机学派,其原理主要为物理符号系统(即符号操作系统)假设和有限合理性原理。

  (2) 连接主义(connectionism),又称为仿生学派或生理学派,其主要原理为神经网络及神经网络间的连接机制与学习算法。

  (3) 行为主义(actionism),又称为进化主义或控制论学派,其原理为控制论及感知-动作型控制系统。

  问题的状态空间时一个表示该问题全部可能状态及其关系的图,它包含三种说明的集合,即所有可能的问题初始状态集合S、操作符集合F以及目标状态集合G。因此,把状态空间记为三元状态(S,F,G),要完成某个问题的状态描述,必须确定三件事:一是该状态描述方式,特别是初始状态描述;二是操作符集合及其对状态描述的作用;三是目标状态描述的特性。

  从目标(要解决的问题)出发逆向推理,建立子问题以及子问题的子问题,直到最后把初始问题规约为一个平凡的本原问题集合。这就是问题规约的实质。它由三个部分组成:一是一个初始问题的描述;二是一套把问题变换为子问题的操作符;三是一套本原问题描述。

  采用谓词合适公式和一阶谓词演算把要解决的问题变为一个有待证明的问题,然后采用消解定理和消解反演来证明一个新语句是从已知的正确语句导出的,从而证明这个新语句也是正确的。谓词逻辑是一种形式语言,能够把数学中的逻辑论证符号化。谓词逻辑法常与其它表示方法混合使用,灵活方便,可以表示比较复杂的问题。

  语义网络是知识的一种结构化图解表示,它由节点和弧线或链线组成。节点用于表示实体、概念和情况等,弧线用于表示节点间的关系。语义网络表示由四个相关部分组成:一是词法部分,决定表示词汇表中允许有哪些符号,它涉及各个节点和弧线;二是结构部分,叙述符号排列的约束条件,指定各弧线连接的节点对;三是过程部分,说明访问过程,这些过程能用来建立和修正描述以及回答相关问题;四是语义部分,确定与描述相关的意义的方法即确定有关节点的排列及其占有物和对应弧线。

  (1)状态空间法需要扩展过多的节点,容易出现“组合爆炸”,因而只适用于比较简单的问题。

  (2)问题规约法比状态空间法更有效地表示问题。状态空间法是问题规约法的特例。

  (3)谓词逻辑是一种形式语言,能够把数学中的逻辑论证符号化。谓词逻辑法常与其他表示方法混合使用,灵活方便,可以表示比较复杂的问题。

  必定可以得到最优解的搜索算法:广度优先搜索,智能程度比较高的算法:启发式搜索

  一阶谓词:仅个体变元被量化的谓词;二阶谓词:经常被认为包含在域的子集上,或在来自这个域到自身的函数上的量化,而不只是在这个域的个别成员之上。

  在删除策略归结的过程中删除以下子句:含有纯文字的子句,含有永真式的子句,子句集被被别的子句类含的子句。

  对于可信度:CF(~A)= -CF(A),两者的并取最大值,两者的交取最小值。

本文链接:http://furymagazine.com/yuyiheyi/141.html