文档介绍：DOTTORATO DI RICERCA IN
INGEGNERIA DELL’INFORMAZIONE
XIV CICLO
Sede Amministrativa
Universit`a degli Studi di MODENA e REGGIO EMILIA
TESI PER IL CONSEGUIMENTO DEL TITOLO DI DOTTORE DI RICERCA
Interactive Constraint Satisfaction Problems for Artificial Vision
Relatore: Prof. Cesare Stefanelli
Correlatore: Prof. Paola Mello
CANDIDATO Marco Gavanelli
ACKNOWLEDGMENTS
I would like to thank all those people who made this thesis possible and an enjoyable
experience for me.
In particular, I wish to thank Rita hiara, Evelina Lamma, Paola Mello, Massimo
ardi, and Cesare Stefanelli for the continuous support in all phases of this also
wish to thank Carmen Gervet for valuable suggestions and help during my visit in IC-Parc.
A special thank goes to Michela Milano, who has always encouraged me during my
studies, guiding my work and helping whenever I was in need.
ii
ABSTRACT
Interactive Constraint Satisfaction Problems for Artificial Vision
Marco Gavanelli , .
Universit`a degli Studi di Ferrara
Artificial Vision is an important field of Artificial Intelligence: the human brain is able
to derive various types of information about the outer world from , the
semantic interpretation of objects is a hard task for have been
widely used for visual recognition, because they are able to describe plex models
and situations in a natural way [115, 86]∗.
Constraint Logic Programming [67] is a new paradigm of declarative programming lan-
guages that is able to deal declaratively and efficiently with problems described with con-
straints.
In this thesis, we addressed problems that stem from Artificial Vision with constraints.
We developed a 3D visual search system able to detect an object described with constraints
in an provide constraint models for dealing with the problems in Artificial
generalize the applied techniques to other important fields of Artificial Intel-
ligence, developing new