الذكاء الاصطناعي, برمجة منطقية, دلالات البرمجة, علم الحاسوبالدلالات المؤسسة جيدًا (Well-Founded Semantics)