ملخص: Le travail présenté dans ce document est une contribution à la parallélisation d'un programme logique avec contraintes (CLP) visant l'accélération de la résolution par un traitement simultané sur différentes unités de traitement.. L'idée de la CLP est de combiner la simplicité et la déclarativité de la programmation logique à la puissance et l'efficacité des systémes de résolution de contraintes. La CLP permet donc d'utiliser des domaines de calculs particuliers, tels les contraites arithmétiques rationnelles, réelles ou même complexes, les formules booléennes, les domaines finis... etc. Nous présentons ainsi un état de l'art approfondies et sur cette base nous avons opté en premier lieu pour les domaines finis qui sont trés utiles dans de nombreues applications industrielles. Ces domaines utilisent comme méthode de résolution : les techniques de consistance dont sont basés les algorithmes d'Arc consistance. Les versions AC-1, AC-2, AC-3, AC-4, AC-6 et AC-7 on été présentées, étudiées et comparées pour définir l'algorithmz lz plus optimal.

Alger:
لغة: فرنسية
الوصف المادي: 99 p. ill. ;30 cm.
الشهادة: Magister
مؤسسة مناقشة الرسالة: Alger, Université des Sciences et de la Technologies Houari Boumediene. Faculté d'Electronique et d'Informatique
تخصص: Intelligence Artificielle
الفهرس العشري 621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع الإعلام الآلي

الكلمات الدالة:
Programmation logique
domaines finis

ملاحظة: Bibliogr.pp.92-99