آلة المعرفة (لغة برمجة)

آلة المعرفة  واختصارًا: KM، هي لغة معتمدة-الإطار تستخدم لأعمال تمثيل المعرفة. لديها دلالات منطق رتبة-أولى، وَتتضمّن آليَّة للتفكّر، متضمّنةً الاختيار وفق الوصف وَالتوحيد وَالتصنيف وَالتفكّر بالأفعال(الأعمال). أصلها هي لغة ثيو وَلغة تمثيل المعرفة وَطُبِّقَت في لغة ليسب.

روابط خارجيّة 
 KM: The Knowledge Machine. 
 An Ontology editor for the KM language: KMgen.

تمثيل المعرفة
لغات برمجة تعريفية