张晓君
- 作品数：46 被引量：76H指数：7
- 供职机构：四川师范大学更多>>
- 发文基金：国家社会科学基金教育部人文社会科学研究基金国家自然科学基金更多>>
- 相关领域：哲学宗教自动化与计算机技术经济管理语言文字更多>>
- 基于知识情感等级BDI主体的决策行为模型研究被引量：3
- 2014年
- 为了将知识、信念、愿望和意图以及害怕、焦虑和自信对决策行为的影响的强烈程度进行形式化,把无穷值的卢卡斯维茨逻辑的真值取值范围从[0,1]扩展到[-1,1]。知识情感等级BDI主体的决策行为通过添加了具体条件的不同背景的不同测度来决定;知识情感等级BDI主体模型清晰地表示了主体的知识状态、心智状态和情感状态的不确定性;此模型可以轻易地向其他类型的主体进行推广。在给出了知识情感等级BDI模型的语言、语义以及此模型的不同背景之间的相互关系之后,对知识情感等级BDI主体的军事决策行为进行了实例分析。此研究旨在为分布式人工智能和军事仿真提供形式支持。
- 张晓君林颖周昌乐
- 关键词：知识状态心智状态情感状态
- 广义量词理论:自然语言推理的简便工具被引量：1
- 2015年
- 广义量词理论的基础是集合论。该理论注重广义量词的语义性质和推理特征的研究,比一阶逻辑具有更为强大的表达力。利用广义量词理论既能证明亚里士多德三段论的有效性,也能证明广义三段论的有效性,还能证明广义三段论的不同推理模式之间有可化归关系。由于广义量词普遍存在于自然语言中,广义量词理论的成果将有利于计算机科学中的知识表示和知识推理。
- 黄朝阳张晓君
- 关键词：广义量词
- 指代消解的主要方法及其机制被引量：4
- 2012年
- 指代消解是人工智能研究领域的重点和难点内容之一,因而产生了各种各样的指代消解的方法。从逻辑学的角度介绍了十四种指代消解的方法,通过研究和对比发现,指代消解的机制包括:中介机制、动态约束机制、加标机制、复合机制、范畴机制。围绕这五种机制重点研究话语表现理论、动态谓词逻辑、动态蒙太格语法、增量动态逻辑、范畴类型逻辑。
- 张晓君
- 智能主体的等级BDI(信念、愿望和意图)模型
- 近年来，影响最为广泛的主体技术就是BDI(信念、愿望和意图)模型。笔者把无穷值的？ukasiewicz逻辑和命题动态逻辑进行融合后对等级BDI主体模型进行形式化。为了通过概率、必然性和可能性对不确定性行为进行表示和推理，...
- 张晓君周昌乐
- 文献传递
- 基于广义量词理论的亚氏三段论被引量：11
- 2012年
- 揭示了如何从广义量词理论的角度来理解三段论推理。有效的亚氏三段论可以通过作为广义量词特例的亚氏量词的语义定义加以证明。从亚氏量词的语义性质,比如单调性、对称性可以说明亚氏三段论的有效性。亚氏三段论的可化归性反映了亚氏量词与其三种否定量词的语义性质(比如单调性)之间的可转换性。
- 张晓君黄朝阳
- 关键词：广义量词单调性对称性
- 广义量词的单调性与其三种否定量词的单调性之间的关系被引量：5
- 2012年
- 单调性是广义量词最为重要的语义性质。〈1〉类型和〈1,1〉类型广义量词的单调性与其三种否定量词(即外否定量词、内否定量词和对偶否定量词)的单调性之间具有可转换关系。文章中总结的3个单调性关系定理详细地描述了这种转换关系,并用数字三角形对这些关系加以了详细直观的说明。由于〈1〉类型和〈1,1〉类型的广义量词在自然语言中普遍存在,所以,此研究对广义量词理论的发展具有一定的理论价值,对自然语言的计算机信息处理也具有一定的实践指导意义。
- 张晓君黄朝阳
- 关键词：广义量词单调性
- 传统三段论的形式化和公理化研究被引量：6
- 2016年
- 利用广义量词理论对四个亚里斯多德量词的真值定义,可以对传统三段论进行形式化。在AAA-1和EAE-1这两个公理的基础上,利用四个亚里斯多德量词的单调性之间的可转换关系,可以对传统三段论进行公理化。这些创新性成果,对于自然语言信息处理以及计算机科学中的知识表示和知识推理,都有着重要的理论意义和实践价值。
- 张晓君李晟
- 关键词：形式化公理化
- 周礼全先生的学术思想及其贡献——纪念周先生90周年诞辰
- 2012年
- 主要论述了周礼全先生的学术思想和贡献。周先生在哲学研究领域做出了重要的贡献,并大力宣传哲学家的使命;周先生大力传播现代逻辑,提倡现代逻辑应该理论联系实际;周先生具有学术创新精神,是中国自然语言逻辑的开拓者和传播者;周先生对中国逻辑史的研究和发展做出了重要贡献;周先生客观公正,提倡学术民主,敢于坚持真理,倡导学术批评。周先生最重要的成果就是由他亲自执笔、主编,于1994年出版的《逻辑——正确思维和成功交际的理论》,这部力作无论在国内还是国际上都具有开创性意义,提出了一个包括意义、语境、隐涵和预设等为主体骨干的语言逻辑体系,描述了一种成功交际的理论和一个语言交际图式。
- 张晓君张璐
- 关键词：学术思想科学方法论逻辑学
- 论广义量词的对称性及相关性质
- 2011年
- 首先介绍相关的概念;其次,笔者证明了类型为〈1,1〉的广义量词的对称性与单调性的关系定理;然后,笔者给出了该类量词的余对称性、余相交性和余驻留性的定义;接着,笔者提出并证明了关于这三个性质的四个定理;最后,证明了余对称性与单调性的关系定理。
- 张晓君
- 关键词：单调性
- 动态逻辑:关于程序的模态逻辑被引量：6
- 2009年
- 郝一江张晓君
- 关键词：动态逻辑模态逻辑逻辑性质数学工具语义分析自然语言
