Under Consideration for Publication in Theory and Practice of Logic Programming Flux: a Logic Programming Method for Reasoning Agents

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.

[1]  Michael Thielscher.  Programming of Reasoning and Planning Agents with FLUX , 2002, KR 2002.

[2]  Hector J. Levesque,et al.  Knowledge, action, and the frame problem , 2003, Artif. Intell..

[3]  Robert C. Moore,et al.  Formal Theories of the Commonsense World , 1985 .

[4]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[5]  Michael Thielscher,et al.  Intelligent Execution Monitoring in Dynamic Environments , 2003, Fundam. Informaticae.

[6]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[7]  Michael Thielscher,et al.  Addressing the Qualification Problem in FLUX , 2001, KI/ÖGAI.

[8]  Pascal Van Hentenryck.  Constraint satisfaction in logic programming , 1989, Logic programming.

[9]  Thom W. Frühwirth,et al.  Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..

[10]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[11]  Michael Thielscher,et al.  Representing the Knowledge of a Robot , 2000, KR.

[12]  Daniel Marcu,et al.  A Logical Approach to High-Level Robot Programming A Progress Report* , 1994 .

[13]  John G. Gibbons.  Knowledge in Action , 2001 .

[14]  Andrew B. Baker,et al.  A Simple Solution to the Yale Shooting Problem , 1989, KR.

[15]  Michael Thielscher,et al.  The Qualification Problem: A solution to the problem of anomalous models , 2001, Artif. Intell..

[16]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[17]  Jan Jaspars,et al.  Logic in action , 1991 .

[18]  Mark Witkowski,et al.  High-Level Robot Control through Logic , 2000, ATAL.

[19]  Murray Shanahan.  Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .

[20]  Ray Reiter,et al.  On knowledge-based programming with sensing in the situation calculus , 2001, ACM Trans. Comput. Log..

[21]  Michael Thielscher,et al.  From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem , 1999, Artif. Intell..

[22]  Fangzhen Lin,et al.  How to Progress a Database , 1997, Artif. Intell..

[23]  John McCarthy,et al.  Epistemological Problems of Artificial Intelligence , 1987, IJCAI.

[24]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..