Intégration des problèmes de satisfaction de contraintes distribués et sécurisés dans les systèmes d'aide à la décision à base de connaissances

Abstract : A wide range of practical problems requires diversity of data representation and to develop models in which different data can be represented. In this thesis, we focus on the hybridization of two models: Expert System (ES) and Constraint Satisfaction Problem (CSP).The aim of our work is to propose a secure distributed system that allows integrating constraints in an inference engine.To reach this goal, on one hand we developed a communication tool that facilitates collaboration between ES and CSP. On the other hand, we designed an algorithm that allows communication between multiple entities in a distributed environment. Finally, one of our goals, not the least, is to protect private data of each entity. The thesis is composed of three main axes.The first priority is to develop a method of communication between the two models. First, we describe an automatic transformation procedure of the rule based expert system into the new dynamic CSP model called DDCSP (Dynamic Domain CSP) that we have designed. This procedure will automatically transform and inject the result of one of the two models as input to the other one. This process plays an essential role for collaboration based on the exchange of information.Our second axe proposes an algorithm based on the concept of cooperation and parallelism which provides a resolution distributed among several entities. Our approach is to build a ring of autonomous agents, each responsible for some of the variables and constraints of the problem. Each of these agents will initiate a process that explores a different branch of the search tree. Heuristics are proposed to ensure a diversification of exploration, in other words to prevent overlapping of the explored branches.Finally, we present a technique for securing this distributed algorithm based on a judicious use of the properties of asymmetric encryption to protect the confidentiality of instantiations. To perform an experimental validation of our work, an implementation in the programming languages C/C++ or Java is described in each of these three axes.
Document type :
Theses
Complete list of metadatas

Cited literature [166 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01752684
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 1:54:22 PM
Last modification on : Tuesday, April 10, 2018 - 1:27:01 AM

File

Saad.Belaid.SMZ1012.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01752684, version 1

Collections

Citation

Belaïd Saad. Intégration des problèmes de satisfaction de contraintes distribués et sécurisés dans les systèmes d'aide à la décision à base de connaissances. Autre [cs.OH]. Université Paul Verlaine - Metz, 2010. Français. ⟨NNT : 2010METZ012S⟩. ⟨tel-01752684⟩

Share

Metrics

Record views

36

Files downloads

100