Detecting Types of Variables for Generalization in Constraint Acquisition - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Conference Papers Year : 2016

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.
Fichier principal
Vignette du fichier
ictai15.pdf (473.7 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

lirmm-01276187 , version 1 (18-10-2018)

Identifiers

Cite

Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, Christian Bessiere, 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⟩
128 View
154 Download

Altmetric

Share

More