الاستدلال, الذكاء الاصطناعي, تمثيل المعرفة, شبكات دلالية, علوم الحاسوبSNePS: نظام تمثيل المعرفة والاستدلال والتصرف