|Wednesday||8:30 AM - 10:30 AM||lesson||Lecture Hall G|
|Thursday||10:30 AM - 12:30 PM||lesson||Lecture Hall G|
The class presents the main techniques for problem solving, based on the central paradigm of symbolic representation. The objective is to provide the students with the ability to design, apply and evaluate algorithms for difficult problems, meaning that their mechanical solution captures aspects of artificial intelligence or computational rationality.
Problem solving as search in a state space; un-informed search
procedures; heuristic search procedures; adversarial search.
Constraint problem solving. Knowledge representation: propositional logic
and first-order logic; normal forms; equality. Theorem proving: satisfiability (SAT),
resolution, rewriting. Intelligent agents: planning, multi-agent systems, coordination.
Probabilistic reasoning, decision theory.
Strada le Grazie 15
VAT number 01541040232
Italian Fiscal Code 93009870234
© 2019 | Verona University | Credits