Course Description
provide students with techniques how knowledge about the world can be represented in a computer system and what kinds of reasoning can be done with that knowledge. Challenges of KR and reasoning are representation of commonsense knowledge, the ability of a knowledge-based system to tradeoff computational complexity for accuracy of its inferences, and its ability to represent and manipulate uncertain knowledge and information. The course will cover first-order logics, their object-oriented extensions (frames), temporal logic and reasoning, inheritance relations, probabilistic models for reasoning and decision making, as well as new topics related to Semantic web and knowledge-based ontologies
Course ID: ARTI 454
| Credit hours | Theory | Practical | Laboratory | Lecture | Studio | Contact hours | Pre-requisite | 3 | 3 | 3 | - |
|---|
