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