**تمثيل المعرفة** والمحاكمة (KR², KR&R) هو مجال الذكاء الاصطناعي (AI) المخصص لتمثيل المعلومات عن العالم في شكل يمكن لنظام الحاسوب استخدامه لحل المهام المعقدة مثل تشخيص حالة طبية أو إجراء حوار بلغة طبيعية. يتضمن تمثيل المعرفة استنتاجات من علم النفس حول كيفية تمثيل الإنسان للمعرفة وكيفية حله للمشاكل، لتصميم شكليات تجعل تصميم الأنظمة المعقدة وبناءها أكثر سهولة. يتضمن تمثيل المعرفة والمحاكمة أيضًا استنتاجات من المنطق لأتمتة أنواع مختلفة من المحاكمة، مثل تطبيق القواعد أو علاقات المجموعات والمجموعات الجزئية.

تشمل أمثلة شكليات تمثيل نماذج المعرفة الشبكات الدلالية، وبنية النظم، والإطارات، والقواعد والأنطولوجيات. وتتضمن الأمثلة على محركات المحاكمة الآلية محركات الاستدلال وإثبات النظريات والمصنفات.

نبذة تاريخية
------------

ركزت أول أعمال تمثيل المعرفة بالحاسوب على برامج حل المسائل العامة مثل برنامج حل المسائل العام (GPS) الذي طوره ألن نيويل وهيربرت أ. سيمون في عام 1959. تضمنت هذه الأنظمة هيكل بيانات للتخطيط والتحليل. يبدأ النظام بهدف. ثم يحلل هذا الهدف إلى أهداف فرعية، ويحددها لوضع استراتيجيات يمكن أن تحقق كل هدف فرعي.

طُورت أيضًا خوارزميات البحث العام في هذه الأيام الأولى للذكاء الاصطناعي، مثل خوارزمية البحث بأولوية الأفضل (\*A). ولكن، كانت تعريفات المسائل غير المتبلورة للأنظمة، مثل برنامج حل المسائل العام، تعني أنها تعمل في مجالات الألعاب المحدودة للغاية فقط (مثل «عالم الكتل»). لمعالجة المسائل غير المتعلقة بالألعاب، أدرك باحثو الذكاء الاصطناعي مثل إد فيغنبوم وفريدريك هايز روث أنه من الضروري تركيز الأنظمة على المسائل الأكثر تقييدًا. 

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

أعطتنا النظم الخبيرة مصطلحات ما تزال تستخدم حتى يومنا، إذ قُسّمت نظم الذكاء الاصطناعي إلى قاعدة معرفة تتضمن حقائق عن العالم، وقواعد ومحرك استدلال يطبق القواعد على قاعدة المعرفة للإجابة على الأسئلة وحل المسائل. كانت قاعدة المعرفة عادةً في هذه النظم المبكرة هيكلًا منفصلًا نوعًا ما، وخاصةً تأكيدات قيم المتغيرات التي تستخدمها القواعد.

بالإضافة إلى النظم الخبيرة، طور باحثون آخرون مفهوم اللغات المستندة إلى الإطار في منتصف ثمانينيات القرن العشرين. يشبه الإطار الصنف الكائن: وهو وصف مجرّد لفئة تصف الأشياء في العالم، والمسائل، والحلول المحتملة. استُخدمت الإطارات في الأصل على نظم موجهة نحو التفاعل البشري، مثل فهم اللغات الطبيعية والأوضاع الاجتماعية التي تؤدي فيها التوقعات الافتراضية المختلفة، مثل طلب الطعام في مطعم، إلى تضييق مساحة البحث والسماح للنظام باختيار الاستجابات المناسبة للحالات الديناميكية.

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

كان التكامل بين الأطر والقواعد والبرمجة كائنية التوجه مدفوعًا إلى حد كبير بمشاريع تجارية مثل بيئة هندسة المعرفة وسيمبوليكس المنبثقة عن مشاريع بحثية مختلفة. وفي نفس الوقت الذي حدث فيه ذلك، كان هناك نوع آخر من البحوث أقل تركيزًا تجاريًا ومدفوعة بالمنطق الرياضي وإثبات النظرية الآلي. كانت لغة كيه إل-ون التي ظهرت في منتصف الثمانينيات، إحدى أكثر اللغات تأثيرًا في هذا البحث. كانت كيه إل-ون لغة إطار لها دلالات شديدة الدقة، وتعاريف رسمية لمفاهيم مثل علاقة Is-A. وكان لدى لغة كيه إل-ون واللغات التي تأثرت بها مثل لووم محرك محاكاة آلي استند إلى المنطق الرسمي لا إلى قواعد THEN-IF. يسمى هذا المحاكي المصنف. يمكن للمصنف تحليل مجموعة من التصاريح والاستدلال على تأكيدات جديدة، مثل، إعادة تعريف صنف ليكون صنفًا فرعيًا أو صنفًا فائقًا من صنف آخر لم يُحدد بشكل رسمي. وبهذه الطريقة كان بإمكان المصنف العمل كمحرك استدلال، واستنتاج حقائق جديدة من قاعدة معرفة موجودة. يمكن للمصنف أيضًاً توفير تحقيق من الاتساق في قاعدة المعرفة (الذي يشار إليه أيضًا في لغة كيه إل-ون باسم أنطولوجيا).

من مجالات بحوث تمثيل المعرفة الأخرى مسألةُ التفكير المنطقي السليم. كانت أحد الاستنتاجات الأولى المستخلصة من محاولة صنع برمجيات يمكنها العمل مع اللغة الطبيعية البشرية أن البشر يعتمدون بانتظام على قاعدة معرفية مستفيضة عن العالم الحقيقي نعتبرها من المسلمات ببساطة، ولكنها ليست واضحة على الإطلاق بالنسبة للوكيل الاصطناعي. مثل المبادئ الأساسية لفيزياء المنطق السليم والسببية والنوايا وغيرها. ومن الأمثلة على ذلك مسألة الإطار، التي تقول إنه في المنطق المدفوع بالحدث، يجب أن تكون هناك بديهيات تنص على أن الأشياء تحافظ على موقعها من لحظة إلى أخرى ما لم تُحرَّك بواسطة قوة خارجية. ولصنع وكيل للذكاء الاصطناعي حقيقي يمكنه التحدث مع البشر باستخدام اللغة الطبيعية ومعالجة البيانات والأسئلة الأساسية حول العالم، يجب تمثيل هذا النوع من المعرفة. كان مشروع سايك لدوغ لينات أحد أكثر البرامج طموحًا لمعالجة هذه المسألة. أنشأ مشروع سايك لغة الإطار الخاصة به وكان لديه أعداد كبيرة من المحللين الذين يوثقون مجالات مختلفة من المنطق السليم في هذه اللغة. تضمنت المعرفة المسجلة في سايك نماذج المنطق السليم للوقت، والسببية، والفيزياء، والنوايا، وغيرها الكثير.

تُعد فرضية تمثيل المعرفة -التي صاغها برايان سي سميث في عام 1985 لأول مرة- نقطة البداية لتمثيل المعرفة:

> ستتألف أي عملية ذكية مجسدة ميكانيكيًا من مكونات هيكلية أ) نأخذها بشكل طبيعي كمراقبين خارجيين لتمثيل حساب افتراضي للمعرفة التي تظهرها العملية الكلية، وب) تلعب دورًا رسميًا ولكن سببيًا وأساسيًا في توليد السلوك الذي يظهر هذه المعرفة، بغض النظر عن الإسناد الدلالي الخارجي.
> 
>

مراجع
-----

1. ↑  Roger Schank؛ Robert Abelson (1977). *Scripts, Plans, Goals, and Understanding: An Inquiry Into Human Knowledge Structures*. Lawrence Erlbaum Associates, Inc. `{{استشهاد بكتاب}}`: تحقق من التاريخ في: `|سنة=` لا يطابق `|تاريخ=` (مساعدة)
2. ↑  Hayes-Roth، Frederick؛ Donald Waterman؛ Douglas Lenat (1983). *Building Expert Systems*. Addison-Wesley. ISBN:978-0-201-10686-2. مؤرشف من الأصل في 2020-04-30.
3. ↑  Mettrey، William (1987). "An Assessment of Tools for Building Large Knowledge-Based Systems". *AI Magazine*. ج. 8 ع. 4. مؤرشف من الأصل في 2013-11-10. اطلع عليه بتاريخ 2013-12-24.
4. ↑  Brachman، Ron (1978). "A Structural Paradigm for Representing Knowledge" (PDF). *Bolt, Beranek, and Neumann Technical Report* ع. 3605. مؤرشف من الأصل (PDF) في 2020-04-30.
5. ↑  MacGregor، Robert (يونيو 1991). "Using a description classifier to enhance knowledge representation". *IEEE Expert*. ج. 6 ع. 3: 41–46. DOI:10.1109/64.87683.
6. ↑  Lenat، Doug؛ R. V. Guha (يناير 1990). *Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project*. Addison-Wesley. ISBN:978-0201517521.
7. ↑  Smith، Brian C. (1985). "Prologue to Reflections and Semantics in a Procedural Language". في Ronald Brachman and Hector J. Levesque (المحرر). *Readings in Knowledge Representation*. Morgan Kaufmann. ص. 31–40. ISBN:978-0-934613-01-9.

وصلات خارجية
------------

* ما هو تمثيل المعرفة؟ لراندال ديفيز وأخرين
* مقدمة في تمثيل المعرفة لبيجمان ماكفي

|  |  |
| --- | --- |
| مشاريع شقيقة | في كومنز صور وملفات عن: تمثيل المعرفة |



| * ع
* ن
* ت
المعرفة المحوسبة |
| --- |
| مواضيع ومفاهيم | 
* أبجدية الفكر الإنساني
* ضبط استنادي
* استدلال آلي
* Commonsense knowledge
* تفكير بديهي
* الحاسوبية
* نظام شكلي
* Inference engine
* قاعدة معرفة
* نظم قواعد المعرفة
* هندسة المعرفة
* استخراج المعرفة
* تمثيل المعرفة
* استرجاع المعرفة
* تصنيف المكتبات
* برمجة منطقية
* أنطولوجية (علم المعلومات)
* قاعدة المعرفة الشخصية
* إجابة الأسئلة
* Semantic reasoner

 |
| مقترحات وتطبيقات | 
* علم الزائرجة
* رامون لول (1300)
* An Essay towards a Real Character, and a Philosophical Language (1688)
* أداة الاستدلال المنطقي لحساب التفاضل والتكامل و characteristica universalis (1700)
* تصنيف ديوي العشري (1876)
* Begriffsschrift (1879)
* Mundaneum (1910)
* مذهب الذرية المنطقية (1918)
* Tractatus Logico-Philosophicus (1921)
* برنامج هيلبرت (عقد 1920)
* مبرهنات عدم الاكتمال لغودل (1931)
* دماغ العالم (1938)
* ميمكس (1945)
* General Problem Solver (1959)
* برولوغ (1972)
* Cyc (1984)
* ويب دلالي (2001)
* إيفي (2007)
* ولفرام ألفا (2009)
* واتسون (حاسوب) (2011)
* سيري (2011)
* مخطط المعرفة (2012)
* ويكي بيانات (2012)
* كورتانا (2014)
* فيف (2016)

 |
| في الخيال | 
* المحرك ( رحلات غوليفر ، 1726)
* Joe ("A Logic Named Joe"، 1946)
* أمين المكتبة ( Snow Crash ، 1992)
* Dr. Know ( أي آي : الذكاء الاصطناعي (فيلم) ، 2001)
* منزل الماء ( The Baroque Cycle , 2003)

 |

|  |  |
| --- | --- |
| ضبط استنادي: وطنية عدلها في ويكي بيانات | 
* المكتبة الوطنية الفرنسية (BnF)
* الملف الاستنادي المتكامِل (GND)
* المكتبة القومية الإسرائيلية (J9U)
* مكتبة الكونغرس (LCNAF)

 |

| * ع
* ن
* ت
علم الحاسوب |
| --- |
| يعتمد هذا القالب على تصنيف أنظمة الحوسبة  الذي أنجزته جمعية آلات الحوسبة في عام 2012 |
| العتاد | 
* اللوحات المطبوعة
* المُلحقات
* الدارات المُتكاملة
* التكامل بالغ مقاس الاتساع
* نظام على رقاقة
* الحوسبة الخضراء
* أتمتة التصميم الإلكتروني
* تسريع العتاد

 |
| بنية الأنظمة | 
* المعماريَّة
* الأنظمة المُضمَّنة
* الحوسبة في الزمن الحقيقي
* الاعتمادية

 |
| الشبكات | 
* المعماريَّة
* البروتوكولات
* العتاد
* الجدولة
* الأداء
* الخدمات

 |
| بنية البرمجيات | 
* المُفسِّرات
* برمجيات وسيطة
* آلة افتراضية
* أنظمة التشغيل
* جودة البرمجيات

 |
| نظرية لغات البرمجة وأدواتها | 
* الأنماط
* اللغات
	+ البرمجة
	+ النمذجة
	+ مخصصة النطاق
* المُصرِّفات
* أُطُر العمل
	+ بيئة التطوير المتكاملة
* المكتبات
* المُستودعات

 |
| تطوير البرمجيات | 
* المتغيرات
* عملية التطوير
* تحليل المتطلبات
* التصميم
* البناء
* النشر
* الصيانة
* فريق البرمجة
* البرمجيات حُرَّة المصدر

 |
| نظرية الحوسبة | 
* نموذج حوسبة
* لغة شكلية
* نظريات
	+ التشغيل الذاتي
	+ الحاسوبيَّة
	+ التعقيد الحسابي
* المنطق
* علم الدلالة الشكلي

 |
| الخوارزميات | 
* التحليل
* الكفاءة
* خوارزمية عشوائية
* هندسة مُحوسبة

 |
| رياضيات الحوسبة | 
* رياضيات مُتقطِّعة
* الاحتمالات
* الإحصاء
* برمجية رياضية
* نظرية المعلومات
* التحليل
	+ الرياضي
	+ العددي
* علم الحاسوب النظري

 |
| نظم المعلومات | 
* أنواع
	+ التخزين
		- قواعد البيانات
		- الوسائط المتعددة
	+ اقتصادية
	+ اجتماعية
	+ جغرافية
	+ دعم القرارات
	+ التحكُّم في العمليات
* تنقيب في البيانات
* مكتبة رقمية
* منصة حوسبة
* التسويق الرقمي
* شبكة عالمية المجال
* استرجاع المعلومات

 |
| الأمن | 
* أنواع
	+ العتاد
	+ الشبكات
	+ المعلومات
	+ التطبيقات
	+ الخدمات
* علم التعمية
* طريقة شكلية
* أنظمة كشف التسلسل

 |
| التفاعل الإنساني الحاسويبي | 
* حوسبة
	+ اجتماعية
	+ سائدة
* تصميم التفاعل
* تمثيل مرئي
* إمكانية الوصول

 |
| تزامن | 
* أنواع
	+ مُتزامِنة
	+ مُتوازيَّة
	+ مُوزَّعة
* تشعب مُتعدِّد
* مُعالَجة مُتعدِّدة

 |
| الذكاء الاصطناعي | 
* معالجة اللغة الطبيعية
* تمثيل المعرفة
* رؤية حاسوبية
* التخطيط الآلي والجدولة
* الاستمثال
* نظرية التَّحكُّم
* الفلسفة
* ذكاء اصطناعي مُوزَّع

 |
| تعلم الآلة | 
* أنواع التَّعلُّم
	+ مُراقَب
	+ غير مُراقَب
	+ مَدعُوم
	+ مُتعدِّد المهام
* التصديق المُتقاطِع

 |
| رسوميَّات | 
* التحريك
* الاستخلاص
* صور
	+ التَّلاعُب
	+ الضَّغط
* وحدة معالجة الرسوميَّات
* وُقُع
	+ افتراضي
	+ مُعزَّز
	+ مُختلَط
* نمذجة المُجسَّمات

 |
| الحوسبة التطبيقيَّة | 
* اختصاصات محوسبة
	+ رياضيات
	+ كيمياء
	+ فيزياء
	+ علم الأحياء
	+ هندسة
	+ العلوم الاجتماعية
* معلوماتية صحية
* التجارة الرقميَّة
* الفن الرقمي
* النشر الرقمي
* حرب رقمية عبر الشبكة
* التصويت الإلكتروني
* ألعاب الفيديو
* مُعالِجات النصوص
* بحوث العمليات
* تقنيات التعليم

 |
| 
* **تصنيف**
* **مُختصَر موجز**
* **مشروع**
* **كُومُنز**

 |

* أيقونة بوابةبوابة اللغة
* أيقونة بوابةبوابة علم الحاسوب