الذكاء الإصطناعي و منطق تمثيل المعرفة : منطق المكونات المادية المتعدد

Abstract AR

أدى تباطؤ عجلة تطور أبحاث الذكاء الاصطناعي من ناحية نوعية و انحصارها على المستوى الأفقي أو الكمي إلى إعادة البحث في جدوى الأدوات التقليدية للذكاء الاصطناعي conventional AI tools و التي من ضمنها أيضا الأدوات و الأساليب التطويرية evolutionary tools and techniques و إمكانياتها في تمثيل المعرفة الإنسانية و من ثم تحقيق أهداف الذكاء الاصطناعي، إذ يظهر ذلك التباطؤ من خلال التوّسع المستمر لفروع الذكاء الاصطناعي دون نتائج ملموسة إلا في تطبيقات المجالات الأخرى كالطب، و الهندسة، و الدفاع، و ذلك نتيجة لاصطدام المجالات الرئيسية كالرؤية و التعلم مثلا بعقبات تطبيقية و نظرية يضطر الباحثون معها إلى استحداث فروع تخصصية جديدة، بالإضافة إلى عدم تحقيق أيا من الأهداف الأساسية للذكاء الاصطناعي حتى الآن، كذلك دعوة العديد من العلماء و المراكز البحثية المختصة ؛ نتيجة لذلك ؛ إلى إعادة صياغة أهداف الذكاء الاصطناعي (Intelligence Laboratory, Rethinking Artificial Intelligence Document, 1997MIT Artificial) و يشكل المناطق إحدى الجوانب الأساسية لأدوات الذكاء الاصطناعي، إذ يعد المنطق ثنائي القيمة two-valued logic الركيزة الأساسية لتمثيل المعرفة في الذكاء الاصطناعي بصفة خاصة و تطبيقات علوم الحاسوب بصفة عامة أما محاولة إيجاد منطق متعدد لتمثيل المعرفة في الذكاء المعرفة في أبحاث الذكاء الاصطناعي فقد ظهرت من خلال نظرية المجموعات الغائمة و المنطق الغائم fuzzy set theory and logic في سبعينات القرن الماضي و لكنها و إن حققت إضافات نوعية ملموسة إلا أن ترجمتها في هيكل أدوات تمثيل المعرفة اقتصر فقط على مستوى المكونات البرامجية software level و قد عمدنا من خلال هذا البحث إلى طرح إمكانية تطبيق منطق القيم المتعددة على مستوى المكونات المادية hardware و ذلك باستخدام أبسط أنواع المنطق المتعدد متمثلاً في المنطق الثلاثي three-valued logic و ذلك بعد التعرض للمفهوم النظري و التطبيقي للمنطق الغائم و أنه لما كانت الصياغة النظرية سابقة لأي تطبيق فقد تعرضنا للإشكاليات النظرية و التطبيقية و امتدادات تلك الإشكاليات التي تواجه نظرية المنطق المتعدد نفسها من ناحية نظرية و ليس فقط إمكانية تطبيقها، و ذلك لأن الترجمة النظرية لأي منطق متعدد يجب أن يمر بمراحل تطويرية عدة تشمل الطرح و النقد ثم إعادة الطرح ضمن سلسلة متكررة و حتى الوصول إلى شكل مقبول تطبيقيا يمكن معه وضع النظرية قيد التطبيق.