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

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

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

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

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

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