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.
Was this page useful?
0% of 0 users found this useful
Please tell us why(you can select multiple options)
