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

作品数：7被引量：5H指数：1
导出分析报告
相关作者：郭佳宏高东平黎永锦陈招万更多>>
相关机构：北京师范大学中山大学北京理工大学更多>>
相关期刊：《计算机工程与设计》《学术研究》《逻辑学研究》《哲学动态》更多>>
相关主题：信念修正稳定集自认逻辑多值逻辑更多>>
相关领域：哲学宗教理学文化科学政治法律更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于序演算的推理系统OCRS及其判定算法
《计算机工程与设计》2009年第4期944-947,951,共5页高东平 郭佳宏 黎永锦 
国家自然科学基金项目(70873134;10871213);教育部哲学社会科学研究重大课题攻关基金项目(04JZD006);教育部人文社会科学研究青年基金项目(07JC720401)
序演算可以保留很多语言学的信息,可以更自然的刻画日常交流中的推理,因此序演算成为很多自然逻辑推理系统的核心方法。在Zamansky等学者工作的基础上,以序演算为核心,结合Lambek演算,增加了性质类序关系,考虑了模糊量词的语义特征,构...
关键词：序演算 对应定理 自然逻辑 判定算法 Lambek演算 
基于概念空间理论的概念进化被引量：2
《学术研究》2009年第2期49-53,共5页郭佳宏 
教育部人文社会科学研究基金青年项目"基于自然语言的信念修正和知识更新逻辑研究"(07JC720401)的阶段性成果
由于世界和信息的动态性,主体认知形成的概念及分类处于不断变化之中,这就需要某种合适的方式来描述变化过程。本文首先借鉴概念空间模型,说明和概括由此引出的概念动力学,并作简单评价;然后结合上述方法,提出一种从较小的已知到部分无...
关键词：概念空间 分类 概念扩张 概念进化 
自省主体对Moore-型信息的处理与融合被引量：1
《北京师范大学学报（社会科学版）》2008年第5期84-89,共6页郭佳宏 
教育部人文社会科学研究青年项目"基于自然语言的信念修正和知识更新逻辑研究"(07JC720401)
主体的信念状态随着世界的改变和新信息的输入等因素在不断地演化,对于信念状态变化规律的描述和形式刻画在一定程度上可以帮助我们模拟人类等具有的高级智能,从而为计算机人工智能这样的学科提供理论基础,对哲学、逻辑学等本身的发展...
关键词：信念修正 自省主体 Moore--型信息 不成功修正 弱成功 
稳定集与自认知逻辑评述
《哲学动态》2008年第9期101-104,共4页郭佳宏 
教育部人文社科研究基金青年项目"基于自然语言的信念修正和知识更新逻辑研究"(07JC720401)的资助
关键词：自省能力 辑评 自认 稳定 超越自我 生存斗争 信念 
模糊集框架下的基数模糊量词研究
《中山大学学报（自然科学版）》2008年第3期23-25,36,共4页高东平 郭佳宏 黎永锦 
教育部人文社会科学研究青年基金资助项目(07JC720401)
基数模糊量词在日常的交流和推理中有着广泛的应用。将基数模糊量词的语义分析扩展到模糊集,在模糊集的框架下给出了基数模糊量词语义的形式刻画,并证明了其相应的性质。
关键词：模糊量词 基数模糊量词 模糊集 
研究主体信念修正的不同路径被引量：1
《暨南学报（哲学社会科学版）》2008年第3期148-149,151-152,共4页郭佳宏 
教育部人文社会科学青年基金项目<基于自然语言的信念修正和知识更新逻辑研究>(批准号:07JC720401)
刻画主体知识(信念)推理的认知(信念)逻辑,一直是学者们研究的热点问题之一。而知识(信念)本身并非一成不变,作为人们信息交流中的重要内容,对它们变化规律的研究,不但可以促进原来的认知(信念)逻辑的发展,更重要的是可以为进一步研究...
关键词：信念修正 动态信念逻辑 自认知逻辑 稳定集 
多值逻辑与语义赋值博弈被引量：1
《逻辑学研究》2008年第1期62-74,共13页陈招万 郭佳宏 
教育部人文社科基金青年项目(项目批号07JC720401);广东省哲学社会科学项目(项目批准号07C07);北京师范大学青年教师社科研究基金项目
文章在扩展博弈上,给出了多值逻辑的语义赋值博弈的一般框架,避免了博弈者在多值逻辑的语义博弈中声明无穷对象的问题;然后通过Eloise赢的策略定义博弈的语义概念——赋值,证明了多值逻辑的博弈语义与Tarski语义是等价的;最后,根据语义...
关键词：多值逻辑 扩展博弈 语义赋值博弈 博弈语义 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部