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