Skip to content

rdehaan/KRR-course-2020

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

Contents:

  1. Schedule
  2. Topics
  3. Examples
  4. Homework assignments
  5. Exercise questions
  6. Templates

Schedule

We will use the following schedule for the course. See Canvas for more details on the individual activities. We might add additional online (question answering) sessions to the schedule if necessary.

Note: this is a tentative schedule, and might still change.

Week 1:

  • Tuesday June 2: Pre-recorded lectures about problem solving & search available on Canvas
  • Wednesday June 3, 14:00–15:00: Online question answering session
  • Thursday June 4, 19:00: Pass/fail quiz on reading material about problem solving & search due
  • Friday June 5: Pre-recorded lectures about non-monotonic reasoning and answer set programming available on Canvas

Week 2:

  • Monday June 8, 11:00–12:00: Online question answering session
  • Tuesday June 9, 19:00: Pass/fail quiz on reading material about non-monotonic reasoning and answer set programming due
  • Wednesday June 10, 19:00: Homework assignment 1 due
  • Thursday June 11: Pre-recorded lectures about automated planning available on Canvas
  • Friday June 12, 11:00–12:00: Online question answering session

Week 3:

  • Monday June 15, 19:00: Pass/fail quiz on reading material about automated planning due
  • Tuesday June 16, 19:00: Homework assignment 2 due
  • Wednesday June 17: Pre-recorded lectures about description logics and OWL available on Canvas
  • Thursday June 18, 11:00–12:00: Online question answering session

Week 4:

  • Monday June 22, 19:00: Homework assignment 3 due
  • Monday June 22, 19:00: Pass/fail quiz on reading material about description logics and OWL due
  • Tuesday June 23, 11:00–12:00: Online question answering session
  • Wednesday June 24, 19:00: Homework assignment 4 due
  • Thursday June 25, 11:00–12:00: Online question answering session
  • Friday June 26, 9:00–11:00: Final (online) exam

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


Exercise questions


Templates

Here is a LaTeX template that works nicely for submitting your homework solutions (for the non-programming assignments).

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published