تمثيل المعرفة والاستدلال

This course is designed to provide the students with key concepts of knowledge representation and its role in artificial intelligence. Various topics are covered by this course, such as first-order logic, resolution as a method for generating proofs, Description Logics for expressing terminological knowledge and ontologies, and knowledge-based planning.