信念修正

摘要： 从人工智能的视角看,知识体系修正具体表现为信念修正。信念修正理论的发展史就是一部与人工智能分支融合共同进步和发展的历史。信念修正理论可以为人工智能提供思想方法,同时人工智能方法也能为信念修正提供动力支持。这种跨域研究对人工智能和信念修正理论研究来说是相得益彰的。人工智能不断试错的方法是推动信念修正理论发展的“推进器”。人工智能方法在一定程度上是“实效主义”的。它没有预设固定的理论模式,只要能解决问题,无论何种方法、路线都可以尝试,这种不断“试错”的动态可修正方法促进了信念修正理论的发展,使该理论不断突破局限,为解决科学和哲学问题开辟了新的思路。

摘要： 本例为一年级女孩有"只争第一"的入学焦虑,由此导致生理性腹痛,在有针对性的情境性心理干预中,最终得以治愈。治愈的关键是巧用心理学知识,让孩子和家长逐步扔掉"只争第一"的不合理信念,学会用正确的信念平和心态、调节情绪,获得身心的和谐健康发展。

摘要： 执行能行行动可以得到Agent所意图的事件状态。通过定义信念扩展、信念收缩和信念修正这三种常见的信念更新模型,可以形式化地表征:执行这些行动所导致的事件状态、决定主体“是否有机会执行这些行动的”条件,以及主体为了完成这些行动所应具备的能力。使用选择函数可定义信念收缩行动模型。信念修正可被定义为信念收缩行动和信念扩展行动的序列组合行动。根据主体的知识和信念可以定义主体采取信念更新行动的能力。

摘要： 资本市场中,信息不对称问题不仅归因于信息提供方对信息的策略性披露,还归因于信息接收方对信息解读能力的不足.本文采用心理学理论和实验研究方法,立足信息供给—需求双方,综合分析会计信息呈现方式、披露顺序及专业能力对非专业投资者信念修正的影响.研究发现,会计信息呈现方式、披露顺序和专业能力间两两组合会影响非专业投资者信念修正.进一步分析表明,相比于好消息,坏消息对非专业投资者信念修正的影响更大;消息性质的转变具有"凸显效应",而专业能力和信息呈现方式会对"凸显效应"予以缓解.研究结果为会计信息披露形式对非专业投资者信念修正的影响提供了新证据,丰富了信念修正理论,拓展了"凸显效应"的相关研究.

摘要： AGM理论认为,不一致是地狱。当有新信息输入信念时,我们应该禁止扩张到不一致,而用替代的方式修正信念。艾萨克·莱维驳斥了这一观点,提出了区分审议扩张和常规扩张的扩张方式。然后,以信息价值和避免错误为标准,借用效用函数对扩张进行评估。最终得出审议扩张到不一致是不合法的扩张,但是常规扩张到不一致有时是合法的结论,同时驳斥了替代在AGM理论中是信念合法改变的基本类型。但是,莱维的信念修正理论存在着许多不足和缺陷,有待我们进一步讨论。

摘要： 本文提出一种左与树(LAT)的结构,能有效地表示信念间的逻辑关系,并在算法复杂度上优于链表结构,从而能有效地节省信念修正时间.本文首先简单回顾链表结构的方法,然后介绍LAT结构及其算法,最后比较两种方法并给出相应的结论.

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

摘要： 国内外学界对风险的研究除了从社会学、经济学、政治学、文化学等视角研究之外,从逻辑学特别是现代归纳逻辑视角对风险进行研究,这可以弥补目前对技术风险研究的不足,同时也可以体现现代归纳逻辑和认知逻辑的实践层面的价值.运用现代归纳逻辑中贝叶斯主义的主观概率和客观概率来分析技术风险中的概率,风险由于不确定性造成的,而归纳逻辑就是针对不确定性推理进行研究的学科,通过现代归纳逻辑中的主观贝叶斯主义的观点,特别是德费尼蒂的意见收敛定理以及吉登斯的主体交互概率等相关理论分析如何通过公众知识状态的改变或信念的修正避免风险认知偏差以及风险的社会扩大.风险涉及到风险评估和风险决策的相关内容,归纳逻辑基于不确定性的推理内容可以为风险决策奠定良好基础.

摘要： 动态认知逻辑是现代逻辑学研究的热门领域,研究者们已经把一个人的独立思考看成是一个多主体的信息交换过程,通过信息的动态交换,改变了多主体各自的认知状态.本文以桂枝汤及其类方为研究内容,使用动态认知逻辑的方法,分析当医生接受到一个信息后其信念的变化过程.通过这样的研究,可以明确医生的"观其脉证、知犯何逆、随证治之"的过程是一个动态过程,医生的信念在这样的变化过程中出现了什么样的变化,以期为研究仲景辨证论治思路提供手段.

摘要： 本文根据知识本身的可信度,对假说中的知识进行分层,并结合典型的修正方法和非修正方法各自的特点,提出了自顶向下的定量处理方法,该方法计算时相对直观;同时与AGM理论进行比较,证明了其满足AGM理论,表明该方法是一种性质良好的信念修正方法.

摘要： 讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;讨论了由所有极小不协调的子集来实现信念修正的方法,介绍了我们开发的信念修正的原型系统.最后和相关工作进行了比较.

摘要： 讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;讨论了由所有极小不协调的子集来实现信念修正的方法,介绍了我们开发的信念修正的原型系统.最后和相关工作进行了比较.

摘要： 对于软件系统的需求工程，需求演化至关重要。目前，对此问题已有不少基于逻辑的解决方法。但我们认为，它们并没有提供足够丰富的元逻辑，来全面地刻画这个问题的各个方面。本文基于开放逻辑和Brewka缺省理论，提出了Z规约演化的一种可操作的方法，使之能刻画该问题的各个方面。并通过一个案例研究，证明其有效性。

摘要： 对于软件系统的需求工程，需求演化至关重要。目前，对此问题已有不少基于逻辑的解决方法。但我们认为，它们并没有提供足够丰富的元逻辑，来全面地刻画这个问题的各个方面。本文基于开放逻辑和Brewka缺省理论，提出了Z规约演化的一种可操作的方法，使之能刻画该问题的各个方面。并通过一个案例研究，证明其有效性。

摘要： 对于软件系统的需求工程，需求演化至关重要。目前，对此问题已有不少基于逻辑的解决方法。但我们认为，它们并没有提供足够丰富的元逻辑，来全面地刻画这个问题的各个方面。本文基于开放逻辑和Brewka缺省理论，提出了Z规约演化的一种可操作的方法，使之能刻画该问题的各个方面。并通过一个案例研究，证明其有效性。

摘要： 本发明目的在于提供一种冲裁机平衡修正膜，对于分出了冲裁压力弱处和冲裁压力强处的冲裁机，对安装冲裁模的前阶段的整体压力平衡进行修正。在冲裁机平衡修正模具20的基板21上配置有多个冲裁刀；上述冲裁刀由平行配置的带状的第1刀25、和在与这些第1刀25之间横切的方向按给定间隔配置的第2刀26构成；上述冲裁刀25、26的突出高度齐平；具有通过上述冲裁刀25、26的刀尖进入有可剥离膜积层的积层膜10内至中途而于用作冲裁机平衡修正膜的上述积层膜10的深度方向形成切豁的结构。

摘要： 本发明公开了一种易贴合纸面的修正头及具有该修正头的修正带，该修正头包括支撑部，支撑部包括出带端，支撑部设有弹性部，支撑部可在弹性部位置弯曲使出带端发生偏转。本发明的支撑部上设置了弹性部，使用过程中，向支撑部施加向下的压力，可以使支撑部在弹性部位置发生弯曲，使得位于支撑部前端的出带端能够发生偏转，且出带端与纸面相抵时，出带端的底面能完全与纸面贴合，滑出的涂层平整、光洁。

摘要： 本发明涉及PCB介电常数领域，具体涉及一种修正PCB介电常数模型的建立方法和修正方法及修正系统。所述建立方法包括步骤：通过阻抗测试获取PCB样品的介电常数测试结果；获取对应PCB样品阻抗线的实际参数，并根据实际参数获取介电常数反推结果；根据多个PCB样品的介电常数测试结果和介电常数反推结果的修正关系，建立修正PCB介电常数的修正模型。发明的有益效果在于，与现有技术相比，本发明建立修正模型，并将后续需要获取修正后介电常数的PCB的相关参数数据，输入至修正模型中，直接快捷方便获取所述PCB的已修正后的介电常数；同时，提供修正的准确性。

摘要： 验证信息生成装置从验证装置分别取得与该验证装置中发生的误检测有关的错误日志。而且，验证信息生成装置在根据取得的错误日志判定为在规定数量以上的验证装置中发生了相同的错误的情况下，进行以下的处理。验证信息生成装置从取得的错误日志中提取相同的错误的错误日志，对提取出的错误日志进行分析，由此生成表示作为误检测的原因的验证信息的修正内容的候选的误检测知识信息。验证信息生成装置根据误检测知识信息输出表示验证信息的修正内容的候选的信息。验证信息生成装置根据从上述的表示验证信息的修正内容的候选的信息中选择出的信息对该验证信息进行修正。

摘要： 提供一种数据修正装置、数据修正方法、数据修正程序以及车辆。对被划分为区域而保存的地图数据所包含的表示区划线的位置的数据进行修正的数据修正装置具备：数据取得部(411)，其取得包含对第1区域中的第1区划线的位置进行表示的点序列数据和对与第1区域相邻的第2区域中的与第1区划线对应的第2区划线的位置进行表示的点序列数据的地图数据；位置修正部(412)，其在由第1区划线和第2区划线的边界侧的端部的点数据表示的位置彼此偏离时，对点数据进行修正以使得由点序列数据表示的第1区划线和第2区划线在边界处平滑地相连；以及位置数据输出部(413)，其输出包含修正后的表示边界附近的位置的点数据的表示区划线的位置的点序列数据。

摘要： 本发明公开了一种带芯易复位的修正头及具有该修正头的修正带，该修正头包括支撑部及位于支撑部左右两侧的防脱部，两防脱部与支撑部连接构成至少一个置带槽，支撑部包括出带端，支撑部设有镂空结构，出带端左右两侧端均设有曲面结构，两曲面结构分别与两防脱部一一对应连接，且两防脱部与两曲面结构的连接处均为圆滑过渡。本发明具有结构简单、使用方便、流畅的特点，解决传统修正头出现偏带、卡带的问题，能够在使用不规范时，及时观察到并进行矫正，将带芯复位。

摘要： 本实用新型公开了一种带芯易复位的修正头及具有该修正头的修正带，该修正头包括支撑部及位于支撑部左右两侧的防脱部，两防脱部与支撑部连接构成至少一个置带槽，支撑部包括出带端，支撑部设有镂空结构，出带端左右两侧端均设有曲面结构，两曲面结构分别与两防脱部一一对应连接，且两防脱部与两曲面结构的连接处均为圆滑过渡。本实用新型具有结构简单、使用方便、流畅的特点，解决传统修正头出现偏带、卡带的问题，能够在使用不规范时，及时观察到并进行矫正，将带芯复位。

摘要： 本实用新型公开了一种易切断涂层的修正头及具有该修正头的修正带，该修正头包括出带端，出带端设有一用于割断涂层的刃部，出带端包括位于刃部上方的第一刃面，第一刃面为曲面。本实用新型在出带端设置了用以割断涂层的刃部，刃部尖锐，与带芯的接触面积小，易于割断涂层且割断后的涂层边缘整齐。

摘要： 本发明涉及一种基于动态博弈论与云服务分类的用户信念修正方法，包括以下步骤：（1）分别建立云服务提供商与可信用户、云服务提供商与不可信用户的支付矩阵，基于此建立云服务提供商与可信用户、云服务提供商与不可信用户的不完全信息动态博弈模型；（2）将云服务分为敏感服务和非敏感服务，分别进行信念修正，以监测用户行为；（3）结合用户的历史行为序列计算用户的当前信念值，以给出不同的反应策略。该方法有利于使云服务在连续性和安全性两方面取得平衡。

摘要： 本发明涉及一种基于动态博弈论与云服务分类的用户信念修正方法，包括以下步骤：（1）分别建立云服务提供商与可信用户、云服务提供商与不可信用户的支付矩阵，基于此建立云服务提供商与可信用户、云服务提供商与不可信用户的不完全信息动态博弈模型；（2）将云服务分为敏感服务和非敏感服务，分别进行信念修正，以监测用户行为；（3）结合用户的历史行为序列计算用户的当前信念值，以给出不同的反应策略。该方法有利于使云服务在连续性和安全性两方面取得平衡。