Learning objectives
<p>Provide an introduction to modern Artificial Intelligence with a particular regard for the issues related to the various forms of logic reasoning.</p>
Prerequisites
- - -
Course unit content
<p><strong>Artificial intelligence and agents </strong><br />
Chapters 1 and 2 of the textbook. An introduction to Artificial Intelligence and to the rational agent metaphor. </p>
<p><strong>Problem solving via search <br />
</strong>Chapters 3 and 4 of the textbook. Problem solving via search in the state space. Breadth and depth search. Informed search: the A* algorithm. Local search: genetic and evolutionary algorithms. <br />
</p>
<p><strong>Games and adversarial problems </strong><br />
Chapter 5 of the textbook. Games via search in the state space: the minimax algorithm and alpha-beta pruning. </p>
<p><strong>Constraint satisfaction problems <br />
</strong>Chapter 6 of the textbook. Constraint satisfaction problems (CSPs). CSP solving via backtracking. Types of consistency and arc-consistency. Forward checking and algorithms for local consistency maintenance. </p>
<p><strong>Logic-based agents <br />
</strong>Chapters 7, 8 and 9 of the textbook. Propositional logic: clauses and resolution. First order logic and basics of resolution and logic programming. </p>
<p><strong>Planning <br />
</strong>Chapter 11 of the textbook. General characteristics of a planning system. The blocks world. STRIPS. Real-world planning: conditional planning and execution control. </p>
<p><strong>Structured knowledge representation <br />
</strong>Description logics and structured inheritance networks. Ontologies and their applications to the Semantic Web. </p>
<p><strong>Learning <br />
</strong>Chapter 18 of the textbook. Inductive learning: decision trees. Reinforcement learning. </p>
<p><strong>Neural networks <br />
</strong>Perceptrons and feed-forward networks. Reinforcement learning and the back propagation algorithm </p>
<p><strong>Multi-agent systems <br />
</strong>Cooperative and competitive agents and multi-agent systems. Communication between agents and communicative acts. FIPA and the BDI model (brief introduction to modal logics) <br />
</p>
Full programme
- - -
Bibliography
<p>Stuart Russell e Peter Norvig. Intelligenza artificiale: un approccio moderno. UTET Libreria, 1998.</p>
<p>Material available at http://www.ce.unipr.it/people/bergenti/teaching <br />
</p>
Teaching methods
- - -
Assessment methods and criteria
- - -
Other information
- - -
