基于流演算的面向Agent语言的设计与原型实现

作     者：韦茂林 

作者单位：江苏大学 

学位级别：硕士

导师姓名：刘一松

授予年度：2009年

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主      题：流演算 行动推理 约束处理规则 Agent JCHR 面向Agent程序设计语言 

摘      要：行动推理是人工智能研究的一个重要领域。由于Agent所处的环境往往是动态的,不完全可知的,为了完成给定的任务,Agent需要对动态变化的环境做出反应,通过规划、自主推理从而寻找出从初始状态到达目标状态的动作序列,最终实现目标。 流演算是行动推理形式化的表示方法,其执行器(FLUX)为认知机器人提供了高层控制。然而,FLUX是以Prolog语言为原型而设计实现的,是以一阶谓词逻辑为理论基础的一种逻辑程序设计语言,对于大部分编程人员来说不易掌握,且与大多数开发平台不兼容,在实际应用上存在一定局限性。 本文的主要工作有: (1)本文采用基于Java的约束处理规则来进行约束推理(JCHR),设计了一种基于Java的面向Agent的程序设计语言JFLUX(Java for the Fluent CalculusExecutor),有效地解决了FLUX的不足。 (2)开发了基于目标驱动的、采用JCHR推理模块、领域模块、控制模块和核心模块使Agent在不完全可知环境中具有自主行动推理能力的JFLUX支撑系统JFLUXSS(JFLUX Support System)。 (3)对办公室场景中路径规划的Agent实例进行了建模和分析,运用JFLUXSS系统并对其进行验证。由实验结果表明Agent能够在不完全可知的环境下,面向目标进行自主行动推理。 本文在行动推理理论框架内,利用Java对Agent具体实现做了一些尝试,为行动推理和主体理论技术的研究和实现打下了一定基础。