Facultatea de Automatica si Calculatoare

University “Politehnica” of Bucharest

Department of Computer Science

 

Knowledge Representation and Reasoning

Fall 2009

 

 

Course information                                                                                                  

 

 

 

Course description

 

 

 

 

 

Syllabus

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Course grades
   Mid-term exam               20%
   Final exam                     30%

   Projects                         30%
   Laboratory                     20%

   Requirements

      - Min 7 lab attendances, min 50% of term activity (mid-term ex, projects, lab)

      - Reading materials. You are expected to do the readings before the class.

 

Books

S. Russell, P. Norvig. Artificial Intelligence: A Modern Approach, Prentice Hall, 2002, http://aima.cs.berkeley.edu/


D. Poole, A. Mackworth, R. Goebel. Computational Intelligence – a Logical Approach. Oxford University Press, 1998.

http://www.cs.ubc.ca/~poole/ci.html

 

R. Brachman, H. Levesque. Knowledge Representation and Reasoning. The Morgan Kaufmann Series in Artificial Intelligence, 2004

 

 

KRR projects

 

See here description and deadlines

 

AI-MAS recommended links

 

See here relevant KRR resources

 

Academic Honesty Policy

It will be considered an honor code violation to give or use someone else's code or written answers, either for the assignments or exam tests.

If such a case occurs, we will take action accordingly.

Professor: Adina Magda Florea
Teaching assistant: Andrei Horia Mogos


Class: Tuesday, 16-18, Room EC101

Office hours: Tuesday 18-19, Thursday 16-17, Room EF201

A course in

UPB Master of Science Programme in Artificial Intelligence

2009-2011

This course teaches you models and advanced techniques of knowledge representation and reasoning in AI systems, including models for knowledge representation for the Semantic Web. The course focuses on modern methods and technologies, which allow building „intelligent” programs by representing relevant knowledge of the problem domain and taking optimal decisions towards successful resolution of these problems. Existing representational frameworks developed within AI, their key concepts and inference methods, and relevant applications are presented, to form a coherent picture of what KR is.

Topic

Readings

1. General knowledge representation issues

                                                      (Slides)

Logic and Artificial Intelligence at SEP

2. Logical agents – Logical knowledge representation and reasoning

 

         First order predicate logic revisited, ATP (Slides, basic)

AIMA Chapter 7

         Nonmonotonic logics and reasoning (Slides, basic)

Non-monotonic Logic at SEP, Nonmonotonic Reasoning, Nonmonotonic Reasoning With WebBased Social Networks

         Modal logic, logics of knowledge and belief (Slides1 Slides2)

Modal logic on Wikipedia, Possible Worlds, Belief, and Modal Logic: a Tutorial

         Semantic networks and description logics, reasoning services (Slides)

An Introduction to Description Logics

         Knowledge representation for the Semantic Web (Slides)

Description Logics as Ontology Languages for the Semantic Web

                 Midterm exam (written examination) – 1h

 

3. Rule based agents

 

         Rete: Efficient unification (Slides)

The RETE algorithm

         The Soar model, universal subgoaling and chunking (Slides-1, Slides-2)

A Gentle Introduction to Soar, an Architecture for Human Cognition

         Modern rule based systems

Jess,  Writing Rules for the Semantic Web Using SWRL and Jess

 

 

5. Intelligence without representation vs. Strong AI (Slides)

Class debate

               Final exam (oral examination)