摘要
流演算是在经典情景演算的基础上发展起来的一种动作形式化描述理论,为人工智能领域的动作推理提供了强大的表示工具,在此基础上发展起来的逻辑程序设计语言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.
出处
《计算机工程与设计》
CSCD
北大核心
2008年第11期2871-2874,共4页
Computer Engineering and Design
基金
江苏省高校自然科学研究计划基金项目(03kjd520175)。
