Handling negative disjunction constraints (or_not_holds) in FLUX

摘要

FLUX is a constraint logic programming language based on Fluent Calculus, using which agents can reason logically from their actions and sensor information in incomplete states. The incomplete state is encoded by the constraints in Constraint Handling Rules (CHRs). However, the existing constrains in FLUX are not complete to cover all Fluent Calculus state formulas, which to some extent restricts the range of applications of FLUX. We address this problem by adding negative disjunction constraints into FLUX, which enhances the ability of FLUX to express incomplete states, and the correctness is proved using the semantics of the Fluent Calculus.