崔建英
- 作品数：16 被引量：40H指数：4
- 供职机构：中山大学人文科学学院逻辑与认知研究所更多>>
- 发文基金：国家社会科学基金广东省哲学社会科学规划项目教育部人文社会科学研究基金更多>>
- 相关领域：哲学宗教文化科学经济管理医药卫生更多>>
- 后向归纳法的动态认知刻画
- 2016年
- 后向归纳法BI(Backward Induction)是求解动态博弈的经典算法,其认知机制的探讨多是基于静态的认知模型展开的。这样,为了给BI算法结果中具有反事实性的理性行动提供合理置信的解释,一些非平凡的条件被添加到这类认知模型中,形成多种较为复杂的条件知识(或信念)或层级式(Hierarchical)知识(或信念)系统。我们构建了一类博弈认知模型,基于公开宣告逻辑PAL(Public Announcement Logic),实现博弈认知模型的动态更新,论证了在完美信息动态博弈中,选手间的理性公共知识能够导致BI算法结果,为该算法的认知条件提供了一种新的逻辑刻画。这种刻画没有涉及选手策略等博弈概念,通过利用PAL中模型更新的动态性来描述动态博弈中的BI算法认知条件,不会受到通常BI算法认知刻画理论中所涉及的反事实(无论是主观还是客观)推理的影响,从而有效地避免了复杂的条件信念(或知识)系统或层级式知识(或信念)和信念修正的问题。
- 崔建英
- 基于稿件引文内容分析的同行评审专家遴选方法被引量：11
- 2020年
- 同行评审意见是期刊编辑用稿决策的重要依据,同行评审专家的来源和遴选与评审结果的质量和公平性密切相关。编辑为稿件遴选出评审意愿、专业、能力匹配,且时间充裕的审稿专家是比较费时、费力的。本文基于投稿论文的参考文献和引用的内容、动机及情感分析,提出一种同行评审专家的遴选方法。该方法有助于"小同行"专家的发现,降低不同学术范式导致的同行评议误判率,为编辑的稿件送审工作提供参考。
- 王景周崔建英
- 关键词：情感分析引文评价
- 博弈求解的动态认知分析
- 2009年
- 崔建英唐晓嘉
- 关键词：静态博弈逆向归纳法公共知识逻辑研究选手
- 博弈论中重复可允许算法的认知分析被引量：1
- 2010年
- 博弈论中重复可允许(Iterated Admissibilty)算法对于快速约简博弈模型、寻找合理置信的纳什均衡具有重要意义,但该算法的认知基础存在悖论。本文构建一个完备的博弈认知逻辑系统EL_G,利用该系统语言描述博弈相关概念和性质,使得我们可以基于EL_G逻辑刻画重复可允许算法,从而达到为该算法提供合理的认知基础,解决算法背后的认知悖论的目的。
- 崔建英
- 关键词：公共知识
- 基于时效性的垂直搜索及其应用被引量：1
- 2007年
- 基于时效性信息的特征,构建了一个用来提高专业搜索的“查全、准、新率”的垂直搜索引擎.以航空机票价格为例,分析了时效性信息的获取和过滤技术,并给出了基于时效性垂直搜索引擎的关键程序.
- 吴伟忠崔建英
- 关键词：垂直搜索
- 从实践思维看现代逻辑的发展被引量：6
- 2010年
- 随着计算机科学和人工智能领域研究的不断深入,经典逻辑理论得到了广泛应用和发展,逻辑研究的观念、对象和方法也发生了变革。逻辑的作用不再仅仅局限于有效推理,而是比较全面地研究主体思维活动中存在的程序、模式、方法和准则。本文以实践思维为元思维(逻辑),从方法论的角度分析现代逻辑发展的动因,探讨实践思维在具体学科发展中的重要指导作用。
- 王景周崔建英
- 关键词：实践思维方式逻辑转向动态认知逻辑哲学分析
- 主体认知正则活动的逻辑刻画被引量：1
- 2010年
- 研究了主体对正则复合活动认知的性质。首先,分析了文献中对主体认知活动的逻辑刻画及其存在的问题;然后,提出刻画主体认知复合活动的逻辑系统KRAL,并证明了该系统的可靠性和完全性。
- 王景周崔建英
- 关键词：知识动态认知逻辑
- 基于后悔度剔除算法的博弈逻辑研究及模型检测
- 理性主体认知互动的形式刻画是多主体系统研究的一个重要领域。本报告首先构建了带有后悔度的博弈认知模型，基于该类模型提供或修改了用以刻画博弈主体不同理性的定义;其次，通过公开宣告逻辑和信念更新逻辑证明了：将这些理性作为宣告事...
- 崔建英
- 关键词：动态认知逻辑
- 用Word2007和Windows画图工具解决PDF文件校对问题
- 2012年
- 网络环境下,PDF文件是当前编校过程中文本传递和注释的主要格式。但是,特殊工具软件和软件使用上的一些技术要求,特别是与传统校对符号的区别给编辑和作者带来了不少麻烦。本文介绍仅通过Word2007和Windows系统附件中自带的"画图"工具方便实现PDF文件的远程校对。
- 王景周崔建英
- 关键词：注释PDF画图工具
- 基于后悔度的博弈剔除算法的逻辑认知分析被引量：2
- 2012年
- 博弈分析中存在大量的逻辑问题,通过认知逻辑可以精确表达主体间认知互动中的推理。首先,构建了基于后悔度的博弈认知模型,从选手选择某一策略所导致的后悔度分析主体的理性特征,为多种博弈剔除算法的认知机制提供统一的逻辑刻画。其次,基于后悔度模型,重提主体理性定义,并证明该理性可作为公开宣告的事实,借助公开宣告逻辑,为Halpern等人提出的重复最大最小化后悔度算法提供合理的逻辑认知基础。
- 崔建英
- 关键词：动态认知逻辑
