郝一江

作品数：18被引量：50H指数：4
导出分析报告
供职机构：中国社会科学院哲学研究所更多>>
发文主题：三段论结构主义AGENT广义量词自然语言更多>>
发文领域：哲学宗教自动化与计算机技术经济管理理学更多>>
发文期刊：《数学教育学报》《四川师范大学学报（社会科学版）》《哲学动态》《湖南科技大学学报（社会科学版）》更多>>
所获基金：国家社会科学基金北京市哲学社会科学“十一五”规划项目中国博士后科学基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
意图与Agent承诺
《贵州工程应用技术学院学报》2024年第4期52-58,共7页张静怡 郝一江 
国家社科基金后期项目“面向人工智能的信念-愿望-意图逻辑的哲学基础及其前沿问题研究”,项目编号:22FZXB092。
理性的Agent对自己行为的控制依赖于自己的意图。意图具有两面性,它与意图行动和协调规划相联系。意图具有复杂的功能作用和相关规范特征,它们构成了意图的承诺特征。承诺有两个维度:意志的维度和以推理为中心的维度。承诺的意志维度的...
关键词：意图 承诺 动机潜力 规范 AGENT 
信念-愿望-意图逻辑的哲学基础被引量：1
《湖南科技大学学报（社会科学版）》2024年第1期33-40,共8页郝一江 
国家社会科学基金后期资助项目(22FZXB092);中国社会科学院哲学研究所创新工程项目(2024ZXSCX06)。
从常识性心理学、心灵哲学和行为哲学的视角,系统探讨意图、信念、愿望、规划与Agent实践推理的关系,可得到如下主要观点:(1)意图既是潜在的行为影响者,又是行为控制者,它为进一步的实践推理和规划提供了重要的输入。(2)意图涉及承诺;...
关键词：信念 愿望 意图 规划 Agent实践推理 
从结构主义的视角看EAE-2三段论与其余23个有效三段论之间的化归
《贵州工程应用技术学院学报》2023年第1期66-71,共6页许静 郝一江 
国家社科基金重大招标项目“形式语议学的汉语研究与形式理论创新,”项目编号:22&2D295。
借助亚氏量词三种否定量词的定义、量词no和some的对称性、命题逻辑的推理规则,仅以EAE-2直言三段论为基础公理,就可以推演出其余23个有效的直言三段论,从而为直言三段论逻辑建立起极简的形式化公理系统。这一创新性研究表明:形式化的...
关键词：直言三段论 化归 结构主义 量词 
基于偏好排斥等级BDI主体的决策行为研究被引量：3
《重庆理工大学学报（社会科学）》2022年第9期46-54,共9页郝一江 陈亚楠 
国家社会科学基金重大项目“面向自然语言理解的逻辑构建和符号接地问题的哲学、心理学研究”(18ZDA032);安徽省高校科研重点项目“人工智能视域下的信念愿望意图逻辑及(多)Agent行为表征研究”(SK2021A0023)。
使用偏好算子对命题动态逻辑进行扩展,可以对Agent的决策行为进行符号形式演绎,利用扩展的无穷值ukasiewicz逻辑可以对Agent的决策行为进行数值计算,因此在克里普克语义学、命题动态逻辑和扩展的无穷值ukasiewicz逻辑基础上,建立的偏好...
关键词：偏好排斥等级BDI主体 决策行为 心智状态 
Agent信念修正推理机制
《重庆理工大学学报（社会科学）》2022年第6期53-62,共10页林颖 郝一江 
安徽省高校科研重点项目“人工智能视域下的信念—愿望—意图逻辑及(多)Agent行为表征研究”(SK2021A002)。
执行能行行动可以得到Agent所意图的事件状态。通过定义信念扩展、信念收缩和信念修正这三种常见的信念更新模型,可以形式化地表征:执行这些行动所导致的事件状态、决定主体“是否有机会执行这些行动的”条件,以及主体为了完成这些行动...
关键词：信念扩展 信念收缩 信念修正 行动 
动态逻辑的双重性:程序化与结构化被引量：2
《贵州工程应用技术学院学报》2022年第2期58-62,共5页郝一江 
国家社科基金后期项目“人工智能视域下的一阶动态逻辑与Agent行为推理及其哲学反思”,项目编号:20FZXB037。
随着计算机科学和信息科学的发展,形式化的现代逻辑逐渐与数学融为一体,难分彼此。动态逻辑不但像现代逻辑的其他分支一样,实现了符号化、公理化和形式化,而且还具有程序化特征和结构化特征。动态逻辑是程序化的多模态逻辑,具有明显的...
关键词：动态逻辑 数学 程序 结构 
包含特称量词some的广义三段论推理
《重庆理工大学学报（社会科学）》2020年第5期10-16,共7页郝一江 王超男 
国家社会科学基金后期资助项目“面向人工智能的命题动态逻辑及其扩展研究”(19FZXB102)。
广义三段论推理在自然语言信息处理和知识推理中占据着重要的地位。利用广义量词理论、集合论和模糊逻辑的相关知识,证明了18个包含特称量词some的广义三段论的有效性,并在此基础上讨论包含特称量词的语篇推理。这一方法为研究包括亚氏...
关键词：亚氏量词 广义三段论 有效性 语篇推理 
逻辑教育与我国创新人才培养的问题及对策研究被引量：1
《贵州工程应用技术学院学报》2018年第5期48-52,共5页郝一江 刘佶鹏 
国家社科基金项目"面向中文信息处理的汉语语篇的逻辑语义及其推理模式研究";项目编号:16BZX081
逻辑教育可以锻造国民的理性精神、科学精神、创新精神和民主法治精神,有利于我国科技发展以及和谐理性社会的形成。但是,我国逻辑教育远远没有得到应有的重视。因此,我们应该对教育的培养目标和高考进行调整和重新定位,把逻辑教育渗透...
关键词：逻辑教育 逻辑思维 创新人才 
结构主义视域下的现代逻辑学被引量：4
《四川师范大学学报（社会科学版）》2018年第3期78-83,共6页郝一江 陶侃 
国家社会科学基金项目"面向中文信息处理的汉语语篇的逻辑语义及其推理模式研究"(16BZX081)
20世纪以来,结构主义在数学哲学中占据着主导地位,作为与数学密不可分的现代逻辑学也具有结构主义特征。这种特征表现为:重要的是考察所研究对象的结构以及结构之间的关系,而不必考虑所研究对象本身的内在品质。现代逻辑学的总体特征就...
关键词：结构主义 现代逻辑学 结构 关系 
自然语言语篇推理的形式化探究被引量：9
《湖南科技大学学报（社会科学版）》2016年第1期33-37,共5页郝一江 
国家社会科学基金项目(15XYY012)
不论是对自然语言信息处理,还是对计算机科学中的知识表示和知识推理而言,自然语篇推理既是不可回避的研究重点,也是研究的难点。在利用广义量词理论对语篇推理进行形式化的基础上,既可以对基于传统三段论的语篇推理的有效性加以判定,...
关键词：广义量词 语篇推理 传统三段论 广义三段论 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部