摘要
在人工智能领域,行为是指智能主体通过感知信息控制执行过程的算法。智能主体典型的行为模型就是BDI(信念、愿望和意图)逻辑框架。BDI主体结构在一些最为重要的多主体系统中得到了广泛应用。动态认知行动逻辑也可以对智能主体的行为进行表征。将BDI逻辑与动态认知行动逻辑融合起来,发展出能够更为有效地对主体不确定性行为进行表示和推理的逻辑是完全可能的。这些研究有助于智能主体不确定性行为的表示和推理,并为分布式人工智能提供形式支持。
Actions are algorithms that agents control executive procedures by perceptive information.The BDI（Belief-Desire-Intention） logical framework is a typical behavioral model of agents.BDI agent architecture has been applied in several of the most significant multi-agent systems developed up to now.Dynamic epistemic action logic can also characterize agents’ behavior.It is entirely possible to develop a more effective logic to represent and reason agents’ uncertain behavior by blending BDI logic and dynamic epistemic action logic.These studies make contributions to representing and reasoning agents’ uncertain behavior,and to providing formal supports for distributed artificial intelligence.
出处
《重庆理工大学学报（社会科学）》
CAS
2013年第1期13-19,共7页
Journal of Chongqing University of Technology（Social Science）
基金
国家自然科学基金项目"针对涉身行为的自我意识机器人构建方法及其实现"(61273338/F030603)
博士后科学基金"基于认知行动逻辑的自动推理系统及其在人工智能中的应用"(2012M510167)
关键词
行为
智能主体
行动逻辑
BDI逻辑
动态认知行动逻辑
action
agent
action logics
BDI（Belief-Desire-Intention） logic
dynamic epistemic action logic
