AuthorsM. B. Belaid, N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker
TitleGEQCA: Generic Qualitative Constraint Acquisition
AfilliationSoftware Engineering
Project(s) Testing of Learning Robots (T-LARGO) , Testing of Learning Robots (T-Largo), Department of Validation Intelligence for Autonomous Software Systems, AutoCSP: Self-Supervised Neuro-Symbolic Solvers for Constraint Satisfaction
StatusPublished
Publication TypeProceedings, refereed
Year of Publication2022
Conference NameProceedings of the AAAI Conference on Artificial Intelligence
Volume36
Number of Volumes4
Pagination3690-3697
Date Published06/2022
PublisherAAAI
Abstract

Many planning, scheduling or multi-dimensional packing problems involve the design of subtle logical combinations of temporal or spatial constraints. On the one hand, the pre- cise modelling of these constraints, which are formulated in various relation algebras, entails a number of possible logical combinations and requires expertise in constraint-based mod- elling. On the other hand, active constraint acquisition (CA) has been used successfully to support non-experienced users in learning conjunctive constraint networks through the gen- eration of a sequence of queries. In this paper, we propose GEQCA, which stands for Generic Qualitative Constraint Acquisition, an active CA method that learns qualitative con- straints via the concept of qualitative queries. GEQCA com- bines qualitative queries with time-bounded path consistency (PC) and background knowledge propagation to acquire the qualitative constraints of any scheduling or packing prob- lem. We prove soundness, completeness and termination of GEQCA by exploiting the jointly exhaustive and pairwise disjoint property of qualitative calculus and we give an ex- perimental evaluation that shows (i) the efficiency of our ap- proach in learning temporal constraints and, (ii) the use of GEQCA on real scheduling instances.

URLhttps://ojs.aaai.org/index.php/AAAI/article/view/20282
DOI10.1609/aaai.v36i4.20282
Citation Key28050

Contact person