一种用于构造DAI系统模型的扩展时态信念逻辑

摘要：

该文在分析ＭＩＣＨＡＥＬ ＷＯＯＬＤＲＩＤＧＥ用于多智能体系统的形式方法的基础上，指出了其缺点和不足给出了一个扩展时态信念逻辑，使它的模型能更真实地反映客观世界，使其适用面更宽、更广。

关键词： DAI 时态信念逻辑 多智能体 分布式人工智能 人工智能

作者: 邓宏钟 殷建平 谭跃进

作者单位: 科技大学系统工程与数学系(长沙)

会议类型: 国内会议

会议名称: 1999年中国智能自动化学术会议

会议地点: 重庆

会议语种:中文

页码: 646～651

在线出版日期: 1999-09-01（万方平台首次上网日期，不代表论文的发表时间）