谷飙
- 作品数：20 被引量：18H指数：2
- 供职机构：西南财经大学人文学院更多>>
- 发文基金：国家社会科学基金教育部人文社会科学重点研究基地度重大研究项目教育部人文社会科学研究重大课题攻关项目更多>>
- 相关领域：哲学宗教自动化与计算机技术理学语言文字更多>>
- 正规认知逻辑系统
- 2001年
- 通过引入认知模型框架 ,定义普遍有效的认知公式和极小正规认知逻辑系统 。
- 谷飙
- 关键词：正规性
- 博弈论机制设计的方法论意义被引量：1
- 2012年
- 博弈论机制设计提供了策略性互动环境中实现特定目标的社会制度安排的一系列方法,它着眼于如何在信息不完全、理性有限性、决策分散化条件下制定一套博弈规则来达到制度目标。在机制设计目标函数给定时,机制相关信息成本、激励实现信息成本构成了机制有效运行的主要参数。博弈论机制设计为应对社会冲突、构建与和谐社会相适应的公共信息机制提供了重要启示。
- 谷飙
- 关键词：社会技术和谐社会
- “知道者悖论”的博弈论分析
- 道者悖论”既涉及认知推理，也涉及主体间的策略性互动。传统的分析侧重于认知概念和认知推理的形式特征，忽视了认知、理性和行动三者之间的关联。本文以“突击考试”为例，指出这个悖论是合理行动问题，其中的推理是策略性推理，通过分析...
- 任晓明谷飙
- 关键词：知道者悖论博弈论
- 博弈论的逻辑和认知基础被引量：5
- 2007年
- 当代博弈论研究的重要课题是其逻辑和认知基础问题。知识模型的提出,澄清了博弈均衡与认知条件的关系。关于共同知识、共同信念的分析开拓了博弈论分析视野,推进了对冲突和合作的科学理解。从博弈均衡分析到认知逻辑分析、交互主体认识论的发展,表明博弈论的逻辑、认知以及哲学基础的深化,预示它正在成为社会科学的统一分析框架。
- 任晓明谷飙
- 关键词：博弈论知识模型认识论
- 包含巴肯公式的认知谓词逻辑系统
- 1999年
- 文中将认知逻辑的分析方法由命题推广至谓词、函数、个体变元和常元,构造了一个包含巴肯公式的认知谓词逻辑系统.
- 谷飙
- 关键词：可靠性人工智能谓词
- 人机交互中的认知计算
- 计算是对时空感知、识别、对比、排序、计数、推理、预测、决策、游戏等认知行为的计算特征的概括.认知计算能力是人的理智能力和模拟人的思维的人工智能的能力,体现为在现实世界或本体化的虚拟世界中运用常识、信息进行语境推理,涉及人...
- 谷飙
- 关键词：人机交互信息处理
- 亚里士多德实践性推理的现代阐释被引量：1
- 2014年
- 按照罗斯等人的观点,亚里士多德在分析实践智慧的形式时运用了"实践三段论"。为了把握实践行动中的逻各斯,亚里士多德提出目标和手段相宜性的"搜索"算法,在现代逻辑中可以用问题求解程序实现。以BDI模型为代表的智能体行动逻辑分析继承了亚氏关于欲望、理性和行动间关系的思想,是亚氏实践性推理的一种现代阐释。但BDI对信念、目标、意图的形式化中存在副作用和冗余等问题,其根源在于对意向性行动的理解不够全面。无论是人类还是人工智能体的行动,情境性、交互性和整体性是其推理的主要特征。
- 谷飙
- 关键词：亚里士多德BDI模型
- 发挥德育在素质教育中的核心作用——社科系“两课”教学改革的实践与思考
- 2000年
- 文中论述了德育在素质教育中的核心作用 ,提出了“两课”改革的方法和手段 ,并对“两课”
- 谷飙张晶王永宏
- 关键词：素质教育德育课程设置
- 归纳悖论与“证实”“证伪”之争被引量：2
- 2001年
- 文章在科学哲学中证实主义和证伪主义之争的背景下分析了归纳方法和三个著名悖论 ,提出三个悖论与证实主义同证伪主义之争的原因 ,在于演绎和归纳的矛盾。认为消解悖论解决论争的唯一途径 ,是建立归纳和演绎的一致性。
- 谷飙
- 关键词：证伪主义逻辑
- 博弈论视野中的语用悖论
- 任晓明谷飙
