(Translated by https://www.hiragana.jp/)
GitHub - martinetoering/KRR-course: Projects on symbolic systems, covering logic and problem solving (June 2020).
Skip to content

Projects on symbolic systems, covering logic and problem solving (June 2020).

Notifications You must be signed in to change notification settings

martinetoering/KRR-course

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

84 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Symbolic Systems 1 (UvA, MSc AI, June 2020)

Contents:

  1. Topics
  2. Examples
  3. Homework assignments

Topics

Here is a short overview of the different topics that we will cover in the course, together with pointers to reading material.

(A) Problem solving & search

Subtopics:

  • Problem solving and search in rational agents
  • Propositional logic and SAT solving
  • Constraint programming
  • Integer linear programming

Reading material:

(B) Non-monotonic reasoning and answer set programming

Subtopics:

  • Non-monotonic reasoning
  • Default logic
  • Answer set programming (ASP)
  • Problem solving using ASP

Reading material:

(C) Automated planning

Subtopics:

  • Classical planning
  • Planning using problem solving (in particular: ASP)
  • Extensions of classical planning

Reading material:

(D) Description logics and OWL

Subtopics:

  • Description logics
  • Web Ontology Language (OWL)
  • Modelling and reasoning with ontologies

Reading material:

References:


Examples

Here are some Python notebooks that illustrate how to use various of the techniques that we cover in the course.


Homework assignments