基于行动逻辑的智能主体行为表征研究

摘要：

在人工智能领域,行为是指智能主体通过感知信息控制执行过程的算法.智能主体典型的行为模型就是BDI(信念、愿望和意图)逻辑框架.BDI主体结构在一些最为重要的多主体系统中得到了广泛应用.动态认知行动逻辑也可以对智能主体的行为进行表征.将BDI逻辑与动态认知行动逻辑融合起来,发展出能够更为有效地对主体不确定性行为进行表示和推理的逻辑是完全可能的.这些研究有助于智能主体不确定性行为的表示和推理,并为分布式人工智能提供形式支持.

关键词：行为、智能主体、行动逻辑、BDI逻辑、动态认知行动逻辑

所属期刊栏目：27

分类号：B81(逻辑学(论理学))

资助基金：国家自然科学基金项目"针对涉身行为的自我意识机器人构建方法及其实现"61273338/F030603;博士后科学基金"基于认知行动逻辑的自动推理系统及其在人工智能中的应用"2012M510167

在线出版日期：2013-07-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：13-19