الذكاء الاصطناعي, المنطق, تمثيل المعرفة, علوم الحاسوب

منطق F (F-logic)