期刊
THEORY AND PRACTICE OF LOGIC PROGRAMMING
卷 5, 期 -, 页码 533-565出版社
CAMBRIDGE UNIV PRESS
DOI: 10.1017/S1471068405002358
关键词
agents; cognitive robotics; artificial intelligence
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据