FLUX: A Logic Programming Method for Reasoning Agents

TL;DR

FLUX is a logic programming framework for reasoning agents that combines constraint handling rules with fluent calculus to enable agents to manage incomplete knowledge and control their behavior efficiently.

Contribution

It introduces a novel method integrating constraint handling rules with fluent calculus for agent reasoning, emphasizing computational efficiency and formal semantics.

Findings

Efficient reasoning in agents with incomplete knowledge

Formal semantics based on fluent calculus

Strong computational performance due to restricted expressiveness

Abstract

FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is a system of Constraint Handling Rules, which enables agents to maintain an internal model of their environment by which they control their own behavior. The general action representation formalism of the fluent calculus provides the formal semantics for the constraint solver. FLUX exhibits excellent computational behavior due to both a carefully restricted expressiveness and the inference paradigm of progression.