Logika predikat digunakan untuk merepresentasikan masalah yang tidak dapat dilakukan dengan logika preposisi. Istilah utama logika predikat meliputi implikasi, not, and, or, universal, dan eksistensial. Representasi pengetahuan lainnya seperti jaringan semantik, frame, dan script juga dibahas.