Universidade Nova de Lisboa

Universidade Nova de Lisboa

Faculdade de Ciências e Tecnologia

Knowledge Representation and Reasoning

Code

3336

Academic unit

Faculdade de Ciências e Tecnologia

Department

Departamento de Informática

Credits

6.0

Teacher in charge

João Alexandre Carvalho Pinheiro Leite, José Júlio Alves Alferes

Weekly hours

4

Total hours

56

Teaching language

Português

Objectives

Knowledge:

  • Main logic-based formalisms for common-sense knowledge representation and reasoning
  • General formalisms for representing and reasoning with Ontologies
  • Languages for representing and reasoning about actions
  • Languages for representing arguments and dialectical reasoning

Know-how:

  • Develop simple meta-interpreters for semantics of non-monotonic logic programming in Prolog
  • Choose and employ adequate knowledge representation formalisms to represent knowledge in practical applicaiton areas.
  • Use ASP Solvers, XSB Prolog and DL Reasoners.

Soft-Skills:

  • Apply formal theoretical knowledge in practical applications
  • Become aware of design trade-offs

Subject matter

  1. Introduction to Knowledge Representation and Reasoning
  2. Introduction to Non-monotonic Logics
    1. Closed World Assumption
    2. Circunscription
    3. Default Logic
    4. Autoepistemic Logic
  3. Non-monotonic Logic Programming
    1. Negation as Failure
    2. Stable-Models Semantics/Answer-Set Programming
    3. Well-founded Semantics
    4. Paraconsistent Semantics
  4. Description Logics
    1. The Description Logic ALC
    2. Families of Description Logics
    3. Reasoning with Description Logics
  5. Reasoning about Actions
    1. Situation Calculus
    2. Action Languages
  6. Theory of Argumentation
    1. Abstract Argumentation
    2. Structured Argumentation

Bibliography

  • Knowledge Representation and Reasoning by Ronald Brachman  &  Hector Levesque, Morgan Kaufmann 2004.
  • Handbook of Knowledge Representation edited by Frank van Harmelen, Vladimir Lifschitz and Bruce Porter, Elsevier 2007.
  • Nonmonotonic Reasoning. Grigoris Antoniou. MIT Press, 1996.
  • Knowledge Representation, Reasoning and Declarative Problem Solving. Chitta Baral. Cambridge University Press, 2003
  • The Description Logic Handbook: Theory, Implementation, and Applications. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider. Cambridge University Press, 2003

Evaluation method

The evaluation includes:

  • 2 individual theoretical tests (or one exam) 
  • 2 practical project, developed in groups of 2 students

Each component is evaluated in a 0-20 point scale.

Each component contributes with 25% to the final grade.

To obtain approval it is necessary to obtain, cumulativelly:

  • a final grade equal or superior to 10 points
  • an average grade of the 2 individual theoretical tests equal or superior to 10 points

Courses