Ateneo - UPO

Knowledge representation and reasoning in logic and logic programming.

Constraint logic programming; Answer Set Programming. Declarative problem solving using logic programming and ASP tools.
Description logics, temporal logics.

S. Russell, P. Norvig. Artificial Intelligence: A Modern Approach (3rd edition), Prentice-Hall 2010. P. Hitzler, M. Krötzsch, S. Rudolph, Foundations of Semantic Web, CRC Press, 2010. K. Marriott, P. Stuckey, Programming with Constraints: an Introduction, MIT Press, 1998. M. Gebser, R. Kaminski, B. Kaufmann, and T. Schaub, Answer Set Solving in Practice, Morgan and Claypool, 2012.

Knowledge and comprehension: the semantics of different formalisms of representation of declarative knowledge based on logic, the foundations of methods for the automatic reasoning concerning such knowledge, expressiveness and computational limitations of them.
Capability to apply knowledge and comprehension: ability to apply the formalisms and methods shown to real-world problems, in order to solve problems using declarative methods and to reuse knowledge to solve different problems relating to the same domain.
Judgement autonomy: judging the appropriateness of the different formalisms and methods to real-world problems
Communication skills: ability to explain, both at a technical and non-technical level, the solutions proposed for problems assigned during the course
Learning skills: exercise the ability to study independently by reading in-depth documentation on the topics of the course.

Mathematical logic.

Lectures and practical activity in lab.
Lectures describe the different formalism and discuss their power as well as their limitations.
Practical activity allows students to get to know software tools for the different formalisms.

Evaluation of the solutions for practical exercises. Oral or written examination. The exam involves several questions on different subjects within the course contents; the questions are suited to verifying the achievement of the learning outcomes. The evaluation takes into account the answers to individual questions.

Knowledge representation and automated reasoning in logic. Resolution. Logic programming.
Constraint logic programming; Answer Set Programming. Declarative problem solving using logic programming and ASP.
Description logics, temporal logics.

Achievement, measured by grade, of the training objectives. Particularly:
Knowledge: knowledge related to the formalisms of representation of declarative knowledge based on logic, and to the methods of automatic reasoning on such knowledge
Competence and ability: ability to judge the adequacy of the different formalisms and of the methods to real-world problems, to implement their application, discussing the proposed solution both on a technical and non-technical level.