الأنظمة الخبيرة, المنطق الحاسوبي, تمثيل المعرفة, ذكاء اصطناعي, علوم الحاسوبإعادة التشييء (Reification)