一种广义信念修正的计算方法

AGM理论中新知识为单个语句 ,而实际上新知识通常是以多语句甚至无穷语句的形式出现 广义信念修正从理论上扩充了AGM系统 ,但在具体实现上还缺乏有效的算法 通过构造优序划分的方法解决信念间的关系问题 ,采用新知识的信度与冲突知识相关的方法解决新知识的信度问题 给出了一种基于链表的计算方法 。

多Agent信念修正研究综述

首先介绍经典信念修正理论,特别是AGM框架,以及信念修正的主要研究方法.在此基础上重点介绍了多Agent信念修正的主要研究内容和方法,目前国际的进展及仍然存在的问题.最后提出了我们的解决方法和研究思路.

供应链中序贯信念修正的Bayes博弈模型

提出了使用序贯信念修正方法来削弱供应链中的信息不对称现象。假设零售商拥有关于市场需求的私有信息,供应商只能粗略了解零售商的最优决策方式,然后使用可观察结果的多阶段Bayes博弈模型来描述供应链的运作过程,在各阶段之间根据Bayes法则修正供应商的信念。分析表明序贯信息修正方法能够使供应商的信息依概率收敛到零售商的私有信息,信息不对称博弈也将依概率收敛到信息对称博弈,并且收敛结果与初始信念无关。数值模拟实验进一步验证了序贯信念修正方法的有效性。

基于主Agent信念修正的推测计算及其资源协商

基于假设推理(abduction-based)的推测计算(speculative computation)是在资源信息不能及时到达时,利用缺省假设进行计算的过程.在计算过程中,如果应答和信念不一致,则主Agent将修正它的信念.为了实现目标,在有限时间内使推测计算的结果更精确,主Agent要通过协商获得尽可能多的实际信息,协商是降低决策风险的主要途径.在介绍假设推理和推测计算的基本原理的基础上,提出了基于时间约束的推测计算扩展框架、基于时间约束的进一步协商框架和基于信念修正的协商算法,并将进一步协商框架和协商算法嵌入到推测计算的过程中,在协商过程中赋予主Agent更强的信念修正能力.最后,在货物运输领域的实验中,证实了基于信念修正的推测计算的有效性.

隐喻的逻辑与信念修正——一种更适合中医研究的逻辑方法

辨证论治是中医诊疗疾病的精髓,"观其脉证、知犯何逆、随证治之"是辨证论治的具体过程。本文通过使用逻辑学的方法对辨证论治的过程进行研究与分析,指出中医诊治疾病的过程是一个信念修正的过程,中医理论体系的根源是隐喻的,隐喻认知的逻辑和信念修正是一种适合中医理论体系研究的逻辑方法。

信念修正的各种方法之比较

自从1956年提出了“人工智能”以来,人们已在这一领域做了大量的工作,很多专家系统已经非常成功地得到了应用。当前哲学和人工智能领域的热点之一就是信念修正(belief revision),下面我们用文中的例子来说明信念修正的意义。

一种基于可信度的迭代信念修正方法

信念修正主要解决在接收到新信息时,如何对原有知识库进行操作的问题.经典的迭代信念修正主要关注信念修正的一致性,并未考虑多agent系统中信息具有不可靠性,以及信念修正过程对修正结果的影响.基于可信度的迭代信念修正方法,通过证据理论以及信度函数方法估计信息的可信度,并由此确定最优的最大协调子集作为信念修正的结果.基于可信度的迭代信念修正算子具有历史依赖性,即修正结果不仅与当前的信念集和接收到的新信息有关,也与信念集中曾经接收到的信息相关.

多Agent信念修正框架BeReFrame

多Agent信念修正需要考虑多Agent系统的类型对信念修正的影响。在此提出了一个多Agent系统信念修正框架——BeReFrame。在BeReFrame中,Agent能够根据博弈论选择最优的修正策略去实现不同类型的多Agent系统中的信念修正目标。

信念修正与开放逻辑之间的关系

基于全序划分结构给出了信念修正理论中的信念修正操作、信念基修正操作及开放逻辑中的重构操作的统一定义，分析了三者之间的内在联系及本质差别，证明了在原知识库为逻辑封闭语句集且忽视操作结果的逻辑封闭性的情形下，３种运算的操作结果一致。

基于命题模型集的信念修正描述

基于命题理论的信念修正是知识工程领域研究的重要内容,AGM公设是目前普遍认可的最为基本与直观的信念修正形式系统的假设.分析了命题运算的基本性质以及相关模型基本特点,以基于有穷命题变元的命题逻辑的模型集合为论域,定义了一种模型选择算子,并证明了由该算子导出的基于知识基的信念修正算子满足AGM公设.

“观其脉证,知犯何逆,随证治之”进程中的信念修正

以桂枝汤及其类方为研究内容,使用动态认知逻辑的方法,分析当医生接受到一个信息后其信念变化过程的逻辑规律。结果表明,"观其脉证,知犯何逆,随证治之"的辨证论治过程是一个动态认知过程,信息更新对医生信念变化的作用至关重要,而信念变化直接影响辨证论治的结果。

认知治疗的哲学基础研究--信念修正的可行性分析

对抑郁症的认知治疗模式的考察可以表明认知治疗的核心环节在于认知重塑,而认知重塑的基础在于改变信念。通过将信念结构划分为表层信念、中间信念和核心信念,再结合AGM模型的信念修正方式与原则,可得认知治疗中信念改变的可能路径,即从表层信念向核心信念的修正方式。这种方式对信念修正的AGM模型中与心理治疗原则不相契合的部分进行了扬弃,以保证认知治疗在治疗实践中的效用。

信念修正的完全和可操作的方法

给出了命题逻辑上信念修正的两种可操作的完全方法.首先对R-演算的规则进行了修改,使得对任何一个极大协调的子集都通过这组规则得到.然后,给出了求得所有的极小不协调子集的一组规则.最后,给出一个过程,该过程能求得所有的极大协调子集.因为这两种方法都能求得所有的极大协调子集,所以把它们称为完全的.

智能体行动推理中的信念修正

信念修正中的加强修正算法在保留低秩协调信念时存在不足,流演算由于其表示公式的局限,无法较好地与信念修正结合来进行行动推理。针对以上不足,提出了依赖信念修正算法和Strategy-Axiom-Reasoning(SAR)模型。该算法满足Ind假设并且较好地保留了条件信念和低秩非矛盾信念,SAR模型继承并改进了流演算的公理系统,用公式集表示信念集,较好地实现了与信念修正的结合。最后将依赖信念修正算法运用到SAR模型中,用实验证明了其可行性。

信念修正的AGM理论

信念修正问题是一个富有活力的,正在发展的研究主题。这个主题包括了一大批背景不同、形态各异的理论。阿尔罗若(C.E.Alchourron)、加德福斯(P.Gardenfors)和梅金森(D.Markinson)共同建立的信念修正理论(简称AGM理论)是其中形成比较早的、影响最大的理论。本文说明信念修正的基本概念,并且对AGM理论进行述评。

逻辑心理主义：一种信念修正的视角

以穆勒为代表的逻辑心理主义与以弗雷格为代表的反心理主义之间的争论由来已久。逻辑心理主义认为,逻辑是心理学的一部分或是其分支,具有描述性;反心理主义则认为,应当把心理的东西从逻辑中剔除,逻辑只是规范性的。信念修正理论虽具有规范性特质,但是当信念状态层级从低层级走向高层级时,其规范性解释力度则会降低,这表明信念状态的改变会受到经验描述的影响,信念修正理论研究有从规范性走向描述性的层级区分。信念修正理论一定程度上能为弱逻辑心理主义在逻辑中的合法性提供支持,并将心理主义与反心理主义聚焦在人即主体上。

中医诊疗过程的逻辑——一个信念修正理论的阐释

从分析中医诊疗过程的特点入手,运用信念修正理论来阐释这一过程中的逻辑规律。主张要更好地理解中医理论的发展,需要重视具体的中医诊疗实践,特别是中医学家的信念及其动态改变所起的作用及其规律的研究。

研究主体信念修正的不同路径

刻画主体知识(信念)推理的认知(信念)逻辑,一直是学者们研究的热点问题之一。而知识(信念)本身并非一成不变,作为人们信息交流中的重要内容,对它们变化规律的研究,不但可以促进原来的认知(信念)逻辑的发展,更重要的是可以为进一步研究一般的主体信息变化逻辑提供扎实的基础和切入点。信念修正理论则是刻画信念(知识)变化的有力的逻辑工具之一。

信念修正的实现方法

本文对信念修正的典型方法,如基于语法结构的方法,基于模型测试方法,修正理论,修正理论基础,重复方法等用我们的算法来实现,并且完成了其相关工作。

信念修正模型的哲学基础

AGM和TMS是两个重要的信念修正模型,在人工智能、认知科学中有重要影响。AGM和TMS面临的困难源于其哲学基础融贯论和基础论。信念修正模型的发展反映了融贯论和基础论在认知动态论问题上的妥协。