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

Volume

5

fYear

2010

fDate

26-28 Feb. 2010

Firstpage

514

Lastpage

518

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICCAE.2010.5451264

Filename

5451264