Artificial Intelligence (CDS Informatica Applicata)
Topic outline
-
-
Introduction to AI and Course Organization
-
Rational Agents
-
Search: An overview
-
Uninformed search
-
Informed Search
-
Search in Complex Environments
-
Adversarial Search
-
Adversarial search - part II
-
Constraint Satisfaction Problems
-
Introduction to Knowledge Representation and Inference
-
Propositional logic
-
Propositional logic: Inference rules
-
First-Order Logic
-
Using First-Order Logic
-
First-Order Logic: Inference
-
First-Order Logic Inference: The Resolution Rule.
Assignments
-
-
-