الرمزيةإنها مدرسة فكرية في مجال الذكاء الاصطناعي تؤمن إيمانا راسخا بالمنطق الرياضي.

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

من إنجازاتها البارزة برامج الاستدلال التي وضعها منظرو المنطق في LT، الذين أثبتوا 38 نظرية رياضية، مُظهرين إمكانية استخدام الحواسيب لدراسة التفكير البشري ومحاكاة أنشطة الذكاء البشري. وكان هؤلاء الرمزيون أول من استخدم مصطلح "الذكاء الاصطناعي" عام 1956.

وفي وقت لاحق، تم تطوير الخوارزميات الاستدلالية -> أنظمة الخبراء -> نظرية وتكنولوجيا هندسة المعرفة، وحققت تقدما كبيرا في ثمانينيات القرن العشرين.

لقد كانت الرمزية منذ فترة طويلة قوة مهيمنة وقدمت مساهمات مهمة في تطوير الذكاء الاصطناعي، وخاصة التطوير الناجح وتطبيق أنظمة الخبراء، والتي لها أهمية خاصة لتطبيق الذكاء الاصطناعي في الهندسة وتحقيق العلاقة بين النظرية والتطبيق.

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