في حقل الذكاء الصنعي، تعد هندسة المعرفة المرحلة الأهم من دورة حياة تطوير نظم قواعد المعرفة
عموماً و النظم الخبيرة خصوصاً . و قد سيطر المنطق الصوري بشكل عام و قاعدة الاسـتدلال الأولـى
(مودس بوننس) بشكل خاص، على الأدوات المستخدمة لبناء هذه المعرفة ،
مما أدى إلى تشكل فجوة
بين مجالي المعرفة و المعلومات التي تعتمد في بنائها على نظرية المجموعات بشكل عام و علـى الجبـر
العلاقاتي بشكل خاص . وسعياً في توفير أحد جسور استبدال المنطق بنظرية المجموعات فـي تمثيـل
المعرفة و معالجتها، فقد قمنا في هذا البحث بتأسيس نموذج لتمثيل المعرفة مبني علـى أسـس نظريـة
المجموعات (العادية و الترجيحية). و استفدنا من هذا البناء في تأسيس نموذج للاستدلال مبني على جبـر
المجموعات، يقوم عبر المرور بسلسلة من المراحل و باستخدام مجموعة من العمليات الجبرية، بالتوصـل
إلى حل للمسألة المدروسة بشكل مشابه لأسلوب الإنسان في التعامل معها، متوخين سرعة الأداء و دقـة
النتائج بالقدر الذي يسمح به نوع المسائل الذي تتصدى له هذه النظم.