Design And Prototype Implementation Of A Agent-oriented Language Based On Fluent Calculus

Reasoning about action of intelligent agent is surely one of the most exciting and challenging areas in Artificial Intelligence.Intelligent agents are embedded in a dynamic and incomplete environment,and this requires the agents have higher cognitive capabilities such as reasoning about action,devising a plan,and drawing logical conclusions from sensor information acquired,to find a plan from the initial state to the final state.Fluent Calculus as a new method of formalism and its executor(FLUX) provides the high-level control for cognitive robots.However,FLUX is designed and implemented using Prolog as its prototype which is a logical programming designing languages using first-order logic as its theory foundation.It has some shortages such as difficult for most programmers to grasp,not compatible with the most developing platforms and some limitations in practical applications.The major achievements in this paper are listed here:(1) A programming language JFLUX(Java for the Fluent Calculus Executor) based on Java is designed by using JCHR as the reasoning method,which solves the shortages of FLUX effectively.(2) A prototype support system JFLUXSS(JFLUX Support System) of JFLUX is provided,designed and implemented,using the based on goal-driving module, reasoning module of JCHR,domain module,control module and central module to realize autonomic reasoning about action of agent in incomplete environment.(3) The office environment case for single agent path planning is formalized, modeled and analyzed,then it is verified using the system JFLUXSS.Through the results,it can be concluded agent can reason about action automatically and goal-oriented in dynamic and incomplete environment.This paper does some tries in using Java to implement agent in the theoretic framework of reasoning about action,and it lays some foundation for the research and realization of reasoning about action technology.