国家自然科学基金(61273338F030603)
- 作品数：4 被引量：15H指数：3
- 相关作者：张晓君周昌乐林颖郝一江更多>>
- 相关机构：厦门大学四川师范大学宁德师范学院更多>>
- 发文基金：国家自然科学基金教育部人文社会科学研究基金中国博士后科学基金更多>>
- 相关领域：自动化与计算机技术哲学宗教更多>>
- 基于知识情感等级BDI主体的决策行为模型研究被引量：3
- 2014年
- 为了将知识、信念、愿望和意图以及害怕、焦虑和自信对决策行为的影响的强烈程度进行形式化,把无穷值的卢卡斯维茨逻辑的真值取值范围从[0,1]扩展到[-1,1]。知识情感等级BDI主体的决策行为通过添加了具体条件的不同背景的不同测度来决定;知识情感等级BDI主体模型清晰地表示了主体的知识状态、心智状态和情感状态的不确定性;此模型可以轻易地向其他类型的主体进行推广。在给出了知识情感等级BDI模型的语言、语义以及此模型的不同背景之间的相互关系之后,对知识情感等级BDI主体的军事决策行为进行了实例分析。此研究旨在为分布式人工智能和军事仿真提供形式支持。
- 张晓君林颖周昌乐
- 关键词：知识状态心智状态情感状态
- 智能主体的等级BDI(信念、愿望和意图)模型被引量：3
- 2016年
- BDI(信念、愿望和意图)模型是影响最为广泛的主体技术之一。在把无穷值的ukasiewicz逻辑和命题动态逻辑进行融合后对等级BDI主体模型进行形式化的基础上,提出了GBDI_(PDL+LL)逻辑。为了通过概率、必然性和可能性对不确定性行为进行表示和推理,把相应的公理添加到■ukasiewicz逻辑中。文中的GBDI_(PDL+LL)主体模型使用多背景系统,清晰地表示了信念、愿望和意图的不确定性。GBDI_(PDL+LL)主体行为则通过添加具体条件的每种背景的不同测度来决定。对信念、愿望和意图的模型进行了公理化,并说明了它们对主体行为的影响,该模型可以很轻易地向包括其他心理状态的主体进行推广。在给出了GBDI_(PDL+LL)模型语言、语义和GBDI_(PDL+LL)逻辑的公理和演绎规则后,证明了此逻辑系统的完全性和可靠性。之后,在对复合行动进行形式刻画的基础上,描述了GBDI_(PDL+LL)模型的不同背景之间的关系。文章立足于不确定性的表示和推理,志在为分布式人工智能提供形式支持。
- 张晓君林颖周昌乐
- 基于行动逻辑的智能主体行为表征研究被引量：8
- 2013年
- 在人工智能领域,行为是指智能主体通过感知信息控制执行过程的算法。智能主体典型的行为模型就是BDI(信念、愿望和意图)逻辑框架。BDI主体结构在一些最为重要的多主体系统中得到了广泛应用。动态认知行动逻辑也可以对智能主体的行为进行表征。将BDI逻辑与动态认知行动逻辑融合起来,发展出能够更为有效地对主体不确定性行为进行表示和推理的逻辑是完全可能的。这些研究有助于智能主体不确定性行为的表示和推理,并为分布式人工智能提供形式支持。
- 张晓君郝一江
- 关键词：智能主体行动逻辑
- 情感等级BDI主体模型研究被引量：3
- 2013年
- 信念、愿望和意图(BDI)模型是近年来影响最为深远的主体技术之一.文中把命题动态逻辑和无穷值的ukasiewicz逻辑进行融合后对情感等级BDI主体模型进行了形式化.为通过信念度、愿望度、意图度、害怕度、焦虑度和自信度对不确定性行为进行表示和推理,把相应的公理添加到ukasiewicz逻辑中.文中的情感等级BDI主体模型的行为是通过添加具体条件的每种背景的不同测度来决定,清晰地表示主体的心理状态和情感状态的不确定性.文中对情感等级BDI模型进行公理化,并说明它们对主体行为的影响.此模型可较轻易地向包括其它心理状态和情感状态的主体进行推广.文中在给出情感等级BDI模型的语言、语义及公理和演绎规则后,证明此逻辑系统的可靠性和完全性.随后给出情感等级BDI主体模型的不同背景之间的相互关系,并对该主体的买房行动进行实例分析.本研究立足于不确定性的表示和推理,旨在为分布式人工智能提供形式支持.
- 张晓君周昌乐
- 关键词：情感状态
