2005
DOI: 10.1017/s1471068405002358
|View full text |Cite
|
Sign up to set email alerts
|

FLUX: A logic programming method for reasoning agents

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… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
72
0
2

Year Published

2005
2005
2016
2016

Publication Types

Select...
6
2
1

Relationship

1
8

Authors

Journals

citations
Cited by 104 publications
(74 citation statements)
references
References 22 publications
0
72
0
2
Order By: Relevance
“…FLUX 50) is a constraint logic programming language for the design of intelligent agents that reason about their actions using the fluent calculus, in which states are represented as lists. Although it is claimed that updates are performed destructively, the list representation of states requires the explicit use of recursion both to query whether a fluent is a member of a state, and to delete the fluent if it is terminated by an action.…”
Section: Event E: Conditions C  Goals G and Actions Amentioning
confidence: 99%
“…FLUX 50) is a constraint logic programming language for the design of intelligent agents that reason about their actions using the fluent calculus, in which states are represented as lists. Although it is claimed that updates are performed destructively, the list representation of states requires the explicit use of recursion both to query whether a fluent is a member of a state, and to delete the fluent if it is terminated by an action.…”
Section: Event E: Conditions C  Goals G and Actions Amentioning
confidence: 99%
“…With FLUX (Thielscher 2002a;Thielscher 2002b;Thielscher 2005), which stands for FLUent eXecutor, Thielscher introduces a kind of run-time system for the fluent calculus. Constrained logic programs encode agents' tasks based on the so-called FLUX kernel which implements the state update axioms.…”
Section: Fluent Calculusmentioning
confidence: 99%
“…The states reachable with the program form the state space of the option. Note that we use the term state here and use it similar as is done in related action formalisms like FLUX (Thielscher 2005) (cf. also Chapter 2.1.5, page 18).…”
Section: Generating a Dt Plan Librarymentioning
confidence: 99%
“…[12] describes how event calculus [13,14] can be used to provide high-level control for a Khepera robot. The agent programming language FLUX [15], based on the fluent calculus [16], has also been used to control the execution of some robots. 3 For instance, [17] presents how FLUX can be used for monitoring the execution of a plan, on a Pioneer 2 mobile robot.…”
Section: Introductionmentioning
confidence: 99%