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 -
Published on: 06 October 2023
Last update on: 06 October 2023
Page views: 1206