Controlling Semi-automatic Systems with FLUX

The programming of agents that are capable of reasoning about their actions is a major application of logic programming in Artificial Intelligence. FLUX is a recent, constraint logic programming-based method for designing reasoning agents that can sense, act, and plan under incomplete information [3]. An agent program in this language consists of a background theory, which endows the agent with the necessary knowledge of its actions, along with a high-level acting and planning strategy. The reasoning facilities are provided by a constraint solver, which is formally based on the action theory of the fluent calculus and its solution to the frame problem under incomplete states.