KNOWLEDGE REPRESENTATION USING DESCRIPTION LOGICS FORMALISM : KNOWLEDGE INTEGRATION AND REASONING PERFORMING
| dc.contributor.author | Yasser Yahiaoui | |
| dc.contributor.author | Encadreur: LEHIRECHE Ahmed | |
| dc.date.accessioned | 2026-06-17T10:15:24Z | |
| dc.date.available | 2026-06-17T10:15:24Z | |
| dc.date.issued | 2016-11-24 | |
| dc.description | Doctorat en sciences | |
| dc.description.abstract | الملخص(بالعربية) المفهوم الأكثر تداولا في ميدان الذكاء الاصطناعي هو تمثيل المعارف. وهو يستهدف إيجاد ترميز واضح يضم كل الجوانب المتعلقة بالمعاني للمعرفة. بالإضافة إلى التمكين من استعمال التمثيلات من اجل إنتاج سلوك ذكي مثل التفكير لكن احد الشروط التي يجب أخذها في الحسبان هو قابلية استعمال التمثيل، و التي لأجلها يجب الاعتناء بتعريف البنى المستعملة حتي تسهيل معاملتها من طرف خوارزميات التفكير مما يؤدي الى تسهيل تثبيتها من خلال هذه العمل نقترح مقاربة جديدة مبنية على أساس المنطق الوصفي من أجل الهدف المنشود وهو تسهيل و إنشاء التطبيقات المعتمدة على أنظمة المنطق الوصفي. هذه المقاربة تمكننا من تخفيظ مستوى التعقيد الخاص بخوارزميات التفكير عن طريق البنى الشعاعية لتعريف المفاهيم و التي تشكل اعتمادا على هرمية الاحتواء. هذه الفكرة تؤدي الى التأسيس إلى طريقة حديثة سميناها SHAM. Résumé (Français et/ou Anglais) : The most familiar concept in Artificial intelligence is the knowledge representation. It aims to find explicit symbolization covering all semantic aspects of knowledge, and to make possible the use of this representation to produce an intelligent behavior like reasoning. A big consideration is giving to an important constraint, which is the usability of the representation; it’s why the structures used must be well defined to facilitate manipulation by reasoning algorithms which leads to facilitate their implementation. In this thesis we propose a new approach based on the description logics formalism for the goal of simplification of description logics system implementation. This approach can reduce the complexity of reasoning Algorithm bythe vectorisation of concept definition based on the subsumption hierarchy. This idea yields to create the so-called method SHAMS. | |
| dc.identifier.uri | https://dspace.univ-sba.dz/handle/123456789/2548 | |
| dc.title | KNOWLEDGE REPRESENTATION USING DESCRIPTION LOGICS FORMALISM : KNOWLEDGE INTEGRATION AND REASONING PERFORMING | |
| dc.type | Thesis |
