Knowledge Representation

Lecture 1
Stefan Schlobach
Erman Acar
Frank van Harmelen
 Who am I?
• Stefan Schlobach
• Studied CS at MPI Saarbrücken and Paris (Orsay)
• PhD in AI from King’s College London

• Associate Prof at VU
• Knowledge representation, Semantic Web,
Knowledge Graphs, Formal Systems
WELCOME !!!
 How things should be…

August, 24. 2020 Bachelor Artificial Intelligence 4

 … and how things are

August, 24. 2020 Bachelor Artificial Intelligence 5

 The model today….
• Part of the Lecture is “live”
• Part of the Lecture is pre-recorded
• Communication
– You type questions and comments in Q&A
– I try to answer them
• in the Q&A
• Live between the Recordings or even interrupt
This is new to all of us. Let us try to make the best
out of this situation. We will constantly have to
reassess our teaching models. Please help!
August, 24. 2020 Bachelor Artificial Intelligence 6
 Practicalities
• Please ask your questions
– Please use the Q&A function
– Chat function for general announcements/links
• Meeting is recorded
• Automatically muted and without Video.

August, 24. 2020 Bachelor Artificial Intelligence 7

 What we do today
• Course practicalities
• What is artificial intelligence ?
• The relation between knowledge and learning
& why both are needed for AI
• Logic for representing knowledge
• Logic for reasoning with knowledge
 Course Practicalities
• 6 weeks @ 2 lectures / week
• 4 topics from KR:
– Satisfiability solvers
– Description logics
– Graphical probabilistic models
• Practical work:
– Week 1: no extra work
– Week 2-mid 4 :
• build a SAT solver,
• design an experiment,
• run the experiment,
• report on it (in 2 1/2 weeks!)
– Week 4 (end): peer review SAT reports
– Week 5-mid 7: ontology project
– Week 7 (end): peer review SAT reports
– Week 8: prepare for exam
 Course Practicalities
• Two projects:
1. Write a SAT-solver: code + experiment + report
2. Explanation common features using DL
reasoning
• Work in groups of 3
• Judged by peer-reviewing + meta-review
• There will be Q&A’s after lectures
• Support sessions for research groups
• Final score =
25% SAT solver; 25% ontology; 50% exam
 Building Groups (in times of Corona)
• Collaborate in groups of 3 students
– Challenges
• Larger group, more difficult to manage.
• Not all of you work on all skill-sets.
– Opportunities:
• (closer) contact with more people
• Get in contact with new people
• Collaborate in 2 different teams for 2 projects
• Collaborate in randomly distributed groups
Course Practicalities
Knowledge Representation 1a

What is KR and KR vs AI (26 minutes)

Knowledge Representation 1b

What’s a Logic (12 Minutes)

Knowledge Representation 1c

Propositional Logics 1 (29 Minutes)

Knowledge Representation 1d

Propositional Logics 2 (7 Minutes)