Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
introduction
Course homepage:
– http://iridia.ulb.ac.be/~tlenaert/teach/ai1.html
Mailing list:
– 02452-valvas@elvas.vub.ac.be
Textbook:
– S. Russell and P. Norvig Artificial QuickTime™ and a
AI 1
17-10-2019 Pag.2
Objective
AI 1
17-10-2019 Pag.3
Exams
Written Exam(50%)
– Theoretical questions
– Understanding and insight
– Small practical tasks
– E.g. logic inference
3 Assignments (50%)
– Coding projects in Lisp
– Using AIMA code
– Search, Logic and Planning
– http://www.whereyoucanfindthem.be/
AI 1
17-10-2019 Pag.4
Course overview
• What is AI.
• Intelligent agents.
• Problem solving.
• Knowledge and reasoning.
• Planning.
• Uncertain knowledge and reasoning.
• Learning.
• Communicating, perceiving and acting.
AI 1
17-10-2019 Pag.5
Outline
• What is AI
• A brief history
• The State of the art (see book)
• A short intro to Lisp
• And its relation to Scheme
AI 1
17-10-2019 Pag.6
What is Artificial Intelligence
AI 1
17-10-2019 Pag.7
What is Artificial Intelligence
AI 1
17-10-2019 Pag.8
Systems that act like humans
AI 1
17-10-2019 Pag.9
Systems that act like humans
Andrew Hodges.
Alan Turing, the enigma
Available at amazon.co.uk
QuickTime™ and a
QuickTime™ and a TIFF (Uncompressed) decompressor
TIFF (Uncompressed) decompressor are needed to see this picture.
are needed to see this picture.
AI 1
17-10-2019 Pag.10
Systems that think like humans
AI 1
17-10-2019 Pag.11
Systems that think like humans
• Some references;
• Daniel C. Dennet.
Consciousness explained. QuickTime™ and a
• M. Posner (edt.)
TIFF (Uncompressed) decompressor
are needed to see this picture.
Foundations of cognitive
science
QuickTime™ and a
TIFF (Uncompressed) decompressor
are needed to see this picture.
AI 1
17-10-2019 Pag.12
Systems that think rationally
AI 1
17-10-2019 Pag.13
Systems that think rationally
• A reference;
• Ivan Bratko, Prolog
programming for
artificial intelligence. QuickTime™ and a
TIFF (Uncompressed) decompressor
are needed to see this picture.
AI 1
17-10-2019 Pag.14
Systems that act rationally
AI 1
17-10-2019 Pag.15
Systems that act rationally
• Some
references;
• Michael Wooldridge.
Reasoning about QuickTime™ and a
TIFF (Uncompressed) decompressor
AI 1
17-10-2019 Pag.16
Rational agents
f : P* A
• For any given class of environments and task we seek the
agent (or class of agents) with the best performance.
• Problem: computational limitations make perfect rationality
unachievable.
AI 1
17-10-2019 Pag.17
Foundations of AI
AI 1
17-10-2019 Pag.18
A brief history
AI 1
17-10-2019 Pag.19
A brief history (2)
AI 1
17-10-2019 Pag.20
A brief history (3)
AI 1
17-10-2019 Pag.21
A brief history (4)
AI 1
17-10-2019 Pag.22
A brief history (5)
AI 1
17-10-2019 Pag.23
A brief history (6)
One course on AI
provides a limited view
on a vast research area
Provides background
information on the
current perspective in
AI: embodied cognitive
science.
AI 1
17-10-2019 Pag.25
Lisp vs. scheme
AI 1
17-10-2019 Pag.26
Lisp vs Scheme
AI 1
17-10-2019 Pag.27
Lisp vs Scheme
AI 1
17-10-2019 Pag.28
Lisp vs Scheme
AI 1
17-10-2019 Pag.29
Lisp vs Scheme
AI 1
17-10-2019 Pag.30
Lisp vs Scheme
AI 1
17-10-2019 Pag.31
Lisp vs Scheme
AI 1
17-10-2019 Pag.32
Lisp vs Scheme
Or some mixture.
((lambda (a &optional (b 3) &rest x &key c (d a))
(list a b c d x)) 1) => (1 3 nil 1 ())
((lambda (a &optional (b 3) &rest x &key c (d a))
(list a b c d x)) 1 2) => (1 2 nil 1 ())
((lambda (a &optional (b 3) &rest x &key c (d a))
(list a b c d x)) :c 7) => (:c 7 nil :c ())
AI 1
17-10-2019 Pag.33
Lisp vs Scheme
AI 1
17-10-2019 Pag.34
Lisp vs Scheme
http://iridia.ulb.ac.be/~tlenaert/prog/Lisp/cltl/cltl2.html
AI 1
17-10-2019 Pag.35
Other courses at the VUB
AI 1
17-10-2019 Pag.36
Some references
AI 1
17-10-2019 Pag.37