一个目标后承形式系统

摘要：

建立目标后承的形式化推理系统是智能主体规划研究中的一个重要课题.现有理论对目标的形式刻画还不够完善,尤其缺少目标推导的恰当模型.本文在分析目标推导合理性原则的基础上,构造一个新的目标后承形式理论,研究它的有关性质,并与同类工作进行比较.

关键词： 智能主体 BDI理论 目标后承 形式化 副作用问题 形式系统构建

作者: 高志全 周熠 陈小平

作者单位: 中国科学技术大学计算机系(安徽合肥)

会议类型: 国内会议

会议名称: 2003中国计算机大会

会议地点: 北京

会议语种:中文

页码: 113-118

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