Design and implementation of reasoning about action of intelligent agent model based on fluent calculus
Zhu Mang · 2009
Concurrent constraint programming(CCP) has become more and more important in the field of artificial intelligence(AI).As the new generation of CCP, constraint handling rules(CHRs) have recently been drawn considerable attention.The JFLUX interpreter using Java language and the target-driven intelligent agent model having autonomous behaviors ability are introduced, and they are achieved by combining the advantage of the JCHR reasoning model and fluent calculus, based on the research on the theory of CHRs and fluent calculus and its implementation language flux.In addition, the intelligent agent can reason about action automatically using the limited information acquired from sensor in an incomplete, dynamic environment for any given goal.Finally, action planning system for the intelligent agent of office scenario is achieved.