Knowledge Representation and Reasoning (CS 504)

2022 Fall
Faculty of Engineering and Natural Sciences
Computer Sci.& Eng.(CS)
3
10.00
Esra Erdem esraerdem@sabanciuniv.edu,
Click here to view.
English
Doctoral, Master
--
Formal lecture,Interactive lecture
Interactive,Project based learning,Guided discovery
Click here to view.

CONTENT

Mathematical foundations of various knowledge representation and reasoning formalisms (e.g., classical logic,answer set programming, action languages, situation calculus, description logic, constraint programming), and their applications to computer science and other sciences (e.g., commonsense knowledge representation, belief/theory revision/update, Semantic Web, graph theory, planning, diagnosis, VLSI design, historical linguistics, computational biology, biomedical informatics).

OBJECTIVE

To prepare students to do research in logic-based artificial intelligence,
and to solve computational problems declaratively.

LEARNING OUTCOME

To have an elementary but mathematically solid understanding of some knowledge representation formalisms, and to solve computational problems declaratively using relevant automated reasoners.

ASSESSMENT METHODS and CRITERIA

  Percentage (%)
Exam 30
Individual Project 40
Presentation 15
Homework 15