Hostname: page-component-cd9895bd7-8ctnn Total loading time: 0 Render date: 2024-12-24T16:56:22.991Z Has data issue: false hasContentIssue false
  • English
  • Français

FLUX: A logic programming method for reasoning agents

Published online by Cambridge University Press:  01 July 2005

MICHAEL THIELSCHER
MICHAEL THIELSCHER
Affiliation:
Dresden University of Technology, 01062 Dresden, Germany (e-mail: [email protected])
Get access Rights & Permissions [Opens in a new window]

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.

Keywords

agentscognitive roboticsartificial intelligence
Type
Regular Papers
Information
Theory and Practice of Logic Programming , Volume 5 , Issue 4-5 , July 2005 , pp. 533 - 565
Copyright
© 2005 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)