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

Office robot controlling based on fluent calculus and FLUX

作　　者：吴伟华[1] 刘一松[1] 

机构地区：[1]江苏大学计算机科学与通信工程学院,江苏镇江212013

出　　处：《计算机工程与设计》2008年第11期2871-2874,共4页Computer Engineering and Design

基　　金：江苏省高校自然科学研究计划基金项目(03kjd520175)。

摘　　要：流演算是在经典情景演算的基础上发展起来的一种动作形式化描述理论,为人工智能领域的动作推理提供了强大的表示工具,在此基础上发展起来的逻辑程序设计语言FLUX,利用约束逻辑程序设计方法,具体地实现了动作推理。主要介绍流演算以及FLUX的基本知识,在此基础上对办公室机器人控制的实例进行了研究,并且利用FLUX语言实现了该实例,实验结果表明,流演算及其实现语言可以用来对机器人进行有效控制,具有良好的计算性能。Fluent calculus is a representation theory for action reasoning and changes of agent, and it provides expressive representing abilities. Based on Fluent calculus, developed a programming language--FLUX, and it realizes the Fluent calculus in practice. Fluent calculus and FLUX are introduced. Using the above foundation knowledge, the office robot controlling is described and the code in FLUX is given. Experiment prove that： as a new action reasoning formalization, fluent calculus and FLUX can effectly controll robot and has excellent computational behavior.

关 键 词：流演算 动作推理 智能体 机器人控制 流演算执行器 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]