FLUX: A Logic Programming Method for Reasoning Agents

Details FLUX: A Logic Programming Method for Reasoning Agents FLUX: A Logic Programming Method for Reasoning Agents

2004-08-19

arxiv.org/abs/cs/0408044v1

Computer Science

Artificial Intelligence

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

FLUX: A Logic Programming Method for Reasoning Agents does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with FLUX: A Logic Programming Method for Reasoning Agents, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and FLUX: A Logic Programming Method for Reasoning Agents will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-83977