First order logic

3 dezembro 2015, 11:00 • Luís Manuel Marques Custódio

Resolution and natural deduction in FOL

Uncertainty

3 dezembro 2015, 09:30 • Luís Manuel Marques Custódio

D-separation

Utility theory

Utility as money

Uncertainty

1 dezembro 2015, 11:00 • Luís Manuel Marques Custódio

Inference in Bayesian Networks

Factors

Factor product and marginalization

Variable elimination

Undirected graphs associated with BN

Heuristics for variable elimination ordering

First Order Logic

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

Converting english sentences to FOL

Uncertainty

26 novembro 2015, 09:30 • Luís Manuel Marques Custódio

Bayesian networks

Factorization of joint probability distribution

Conditional probability distributions (CPD)