Hostname: page-component-745bb68f8f-b6zl4 Total loading time: 0 Render date: 2025-02-11T13:18:38.834Z 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: mit@inf.tu-dresden.de)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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