基于流演算和FLUX的办公室机器人控制

摘要

流演算是在经典情景演算的基础上发展起来的一种动作形式化描述理论,为人工智能领域的动作推理提供了强大的表示工具,在此基础上发展起来的逻辑程序设计语言FLUX,利用约束逻辑程序设计方法,具体地实现了动作推理.主要介绍流演算以及FLUX的基本知识,在此基础上对办公室机器人控制的实例进行了研究,并且利用FLUX语言实现了该实例,实验结果表明,流演算及其实现语言可以用来对机器人进行有效控制,具有良好的计算性能.