Planning

2 dezembro 2019, 08:00 • Rodrigo Ventura

Exercises on classical planning: situation calculus, PDDL, and planning graph.

Planning

28 novembro 2019, 11:00 • Rodrigo Ventura

Exercises on classical planning: situation calculus, PDDL, and planning graph.

Uncertainty

28 novembro 2019, 09:30 • Luís Manuel Marques Custódio

Bayesian networks

Factorization of joint probability distribution

Conditional probability distributions (CPD)

Inference in Bayesian Networks

Uncertainty

26 novembro 2019, 11:00 • Luís Manuel Marques Custódio

Uncertainty

• Degree of belief on truth of propositions

Probability theory 

• Conditional probability
• Bayes rule
• Joint distribution, normalization and marginalization

Concepts from Graph Theory

First order logic

25 novembro 2019, 08:00 • Rodrigo Ventura

Exercises on first order logic: natural deduction, resolution and unification.