Title :
Handling negative disjunction constraints (or_not_holds) in FLUX
Author :
Liu, Yisong ; Yin, Zhihua ; Zhu, Huijuan ; Wang, Lili
Author_Institution :
Sch. of Comput. Sci. & Commun. Eng., Jiangsu Univ., Zhenjiang, China
Abstract :
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.
Keywords :
constraint handling; formal languages; inference mechanisms; logic programming languages; FLUX; Fluent Calculus; constraint handling rules; constraint logic programming language; negative disjunction constraint handling; sensor information; Artificial intelligence; Calculus; Computer science; Constraint theory; Electronic mail; Intelligent robots; Intelligent sensors; Logic programming; Robot sensing systems; Sensor phenomena and characterization; FLUX; artificial intelligence; constraint solving; fluent calculus; reasoning about action;
Conference_Titel :
Computer and Automation Engineering (ICCAE), 2010 The 2nd International Conference on
Conference_Location :
Singapore
Print_ISBN :
978-1-4244-5585-0
Electronic_ISBN :
978-1-4244-5586-7
DOI :
10.1109/ICCAE.2010.5451264
