吴宝祥
- 作品数：5 被引量：8H指数：2
- 供职机构：四川师范大学更多>>
- 发文基金：国家社会科学基金国家自然科学基金更多>>
- 相关领域：哲学宗教更多>>
- 基于keg-BDI主体的决策行为建模（英文）被引量：2
- 2016年
- 文章通过把无穷值的卢卡斯维茨逻辑的真值取值范围从[0,1]扩展到[-1,1],提出了基于卢卡斯维茨逻辑和命题动态逻辑的keg-BDI逻辑(即:知识情感等级BDI逻辑),此逻辑是情感等级BDI逻辑的一种扩展逻辑。keg-BDI逻辑可以对知识状态、心智状态(比如:信念、愿望和意图)和情感状态(比如:害怕、焦虑和自信)这些能够能够影响keg-BDI主体行为决策的因素进行形式化。keg-BDI主体的决策行为是通过添加了具体条件的不同背景的不同测度来决定。文章在给出了keg-BDI模型的语言、语义之后,对此种模型的不同背景之间的相互关系进行了论述,最后对keg-BDI主体的军事决策行为进行了实例分析。本研究的目的在于为分布式人工智能和军事仿真提供形式支持。
- 张晓君吴宝祥
- 关键词：动态逻辑分布式人工智能知识状态情感状态军事仿真
- 亚里士多德的三段论及其扩展
- 数理逻辑出现之前，亚氏三段论历经2000多年都没有什么重大的突破。正文的第一部分用简洁的语言勾画了亚氏三段论的主要内容，包括三段论的内涵、表述、分类，以及不同三段论模式之间的转化关系。随着逻辑与数学思想的联系越来越紧密，...
- 吴宝祥
- 关键词：亚里士多德三段论广义量词语义解释
- 文献传递
- 广义量词的单调性与其他语义性质之间的关系被引量：4
- 2015年
- 广义量词理论是一阶逻辑的扩展理论,它比一阶逻辑更有利于计算机进行知识表示和知识推理。广义量词的语义性质主要包括:同构闭包性、扩展性、驻留性、单调性、对称性。单调性是广义量词最为重要的语义性质。给出6个定理,主要论述广义量词的单调性与其他语义性质之间的关系,比如:具有单调性的广义量词首先得满足驻留性。
- 张晓君吴宝祥
- 关键词：广义量词单调性一阶逻辑
- 关于居间广义量词“few”的广义三段论的有效性被引量：2
- 2016年
- 在自然语言中,存在大量的各种各样的广义量词,其中一种被称为居间量词。利用广义量词理论给出居间量词的语义定义,再利用集合论证明广义三段论的有效性,这一研究方法也适用于研究关于其他广义量词的广义三段论的有效性;为有助于自然语言信息处理,提出并证明了居间广义量词few的12个有效的广义三段论。
- 吴宝祥李晟
- 关键词：广义量词有效性
