Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

20

CORR
2004
Springer

favoriteEmaildiscussreport

111views Education» more CORR 2004»

FLUX: A Logic Programming Method for Reasoning Agents

13 years 6 months ago

FLUX: A Logic Programming Method for Reasoning Agents

Download www.fluxagent.org

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.

Michael Thielscher

Real-time Traffic

Action Representation Formalism | Constraint Handling Rules | CORR 2004 | Education | FLUX |

claim paper

Related Content

» MultiAgent FLUX for the Gold Mining Domain System Description

» The Concurrent Continuous FLUX

» Using Methods of Declarative Logic Programming for Intelligent Information Agents

» Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning

» Reasoning about strategies of multiagent programs

» Inductive Negotiation in Answer Set Programming

» Knowledge of Other Agents and Communicative Actions in the Fluent Calculus

» Reasoning about agent execution strategies

» Representing Beliefs in the Fluent Calculus

Post Info
More Details (n/a)

Added	17 Dec 2010
Updated	17 Dec 2010
Type	Journal
Year	2004
Where	CORR
Authors	Michael Thielscher

Comments (0)