公共文化服务平台

共 7 条记录，以下是 1-7

全选清除导出

排序方式：

自省主体对Moore-型信息的处理与融合被引量：1: 2008年; 主体的信念状态随着世界的改变和新信息的输入等因素在不断地演化,对于信念状态变化规律的描述和形式刻画在一定程度上可以帮助我们模拟人类等具有的高级智能,从而为计算机人工智能这样的学科提供理论基础,对哲学、逻辑学等本身的发展也有一定的理论意义。这里我们考察具有足够推理能力的完全自省主体在信念修正过程中对Moore-型信息的处理规律,即把相应主体信念状态的Moore-型断定作为新信息输入,用来修正原来的信念状态。经典的AGM理论可以较好地刻画不含模态算子的客观信息的修正。然而,如果把主体信念状态中的信息和用来修正的新信息的形式扩大到模态的情况,"成功"和"一致性"公设不可能同时成立。为此,我们首先讨论自省主体i在自己的信念状态和客观事实的信念的不同组合情况下,对涉及自身信念状态的Moore-型信息A∧┐BiA的修正可能与结果。然后选出其中有意义的过程,定义和说明一种弱化的"成功"版本——"不成功修正";并且在继承经典AGM某些公设的基础上,给出上述修正过程的局部描述。此外,我们还将结合动态信念逻辑等工具,试图给出上述修正过程的逻辑表达。; 郭佳宏; 关键词：信念修正

基于概念空间理论的概念进化被引量：2: 2009年; 由于世界和信息的动态性,主体认知形成的概念及分类处于不断变化之中,这就需要某种合适的方式来描述变化过程。本文首先借鉴概念空间模型,说明和概括由此引出的概念动力学,并作简单评价;然后结合上述方法,提出一种从较小的已知到部分无知再到较大的已知的概念进化模型。; 郭佳宏

模糊集框架下的基数模糊量词研究: 2008年; 基数模糊量词在日常的交流和推理中有着广泛的应用。将基数模糊量词的语义分析扩展到模糊集,在模糊集的框架下给出了基数模糊量词语义的形式刻画,并证明了其相应的性质。; 高东平郭佳宏黎永锦; 关键词：模糊集

基于序演算的推理系统OCRS及其判定算法: 2009年; 序演算可以保留很多语言学的信息,可以更自然的刻画日常交流中的推理,因此序演算成为很多自然逻辑推理系统的核心方法。在Zamansky等学者工作的基础上,以序演算为核心,结合Lambek演算,增加了性质类序关系,考虑了模糊量词的语义特征,构造了基于序演算的自然逻辑推理系统OCRS。该系统所描述的推理范围较之以前的自然逻辑系统进一步扩大。另外,也给出了OCRS系统中序演算的判定算法,证明了其判定算法的对应定理。; 高东平郭佳宏黎永锦

多值逻辑与语义赋值博弈被引量：1: 2008年; 文章在扩展博弈上,给出了多值逻辑的语义赋值博弈的一般框架,避免了博弈者在多值逻辑的语义博弈中声明无穷对象的问题;然后通过Eloise赢的策略定义博弈的语义概念——赋值,证明了多值逻辑的博弈语义与Tarski语义是等价的;最后,根据语义赋值博弈框架对经典逻辑进行了博弈化。; 陈招万郭佳宏; 关键词：多值逻辑

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

全选清除导出

共1页<1>

教育部人文社会科学研究基金(07JC720401)