Intelligenza Artificiale

1
Intelligenza Artificiale

• Stefania Costantini
• Dip. Di Informatica, Univ. degli Studi di LAquila

2
About me

• Web page http//costantini.di.univaq.it
• Email stefcost_at_di.univaq.it
• Room 1019 Coppito I
• You are welcome
• Friday 1000 1130

3
About this course

• Building intelligent agents
• Formalisms
• Languages
• Implementations
• Knowledge Representation
• Strategies for searching and planning

4
About this course

• Based on logic, and logic programming
• Course Structure
• Lectures
• Lab activities and assignments
• Solving exercises on paper
• Implementing programs
• Experimenting with robots

5
Textbook

• D. Poole, A. Mackworth and R. Goebel
  Computational Intelligence, a logical approach,
  Oxford Univ. Press
• Web site of the book
• http// www.cs.ubc.ca/spider/poole/ci.html
• Online slides and exercises for the book
• Additional material online slides

6
Syllabus

• A simple formalism for Knowledge Representation
  and Reasoning Datalog
• Datalog and negation Answer Set Programming
• Adding more features Prolog
• Searching (why and how)?
• Knowledge representation and engineering
• Actions and planning (basic)
• Planning in agents Answer Set Programming