Detecting Types of Variables for Generalization in Constraint Acquisition

Abstract : During the last decade several constraint acqui- sition systems have been proposed for assisting non-expert users in building constraint programming models. GENACQ is an algorithm based on generalization queries that can be plugged into many constraint acquisition systems. However, generalization queries require the aggregation of variables into types which is not always a simple task for non-expert users. In this paper, we propose a new algorithm that is able to learn types during the constraint acquisition process. The idea is to infer potential types by analyzing the structure of the current constraint network and to use the extracted types to ask generalization queries. Our approach gives good results although no knowledge on the types is provided.
Document type :
Conference papers
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01276187
Contributor : Joël Quinqueton <>
Submitted on : Thursday, October 18, 2018 - 12:35:34 PM
Last modification on : Tuesday, December 18, 2018 - 11:51:17 AM
Long-term archiving on : Saturday, January 19, 2019 - 1:53:38 PM

File

ictai15.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, Christian Bessière, El Houssine Bouyakhf. Detecting Types of Variables for Generalization in Constraint Acquisition. ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2015, Vietri sul Mare, Italy. pp.413-420, ⟨10.1109/ICTAI.2015.69⟩. ⟨lirmm-01276187⟩

Share

Metrics

Record views

136

Files downloads

39