Sumários
Inferência em lógica de primeira ordem
22 Outubro 2021, 09:30 • Luís Miguel Parreira e Correia
Encadeamento adiante
Encadeamento retrógrado
Procura adversarial
20 Outubro 2021, 11:30 • Graça Gaspar
Exercicíos de procura adversarial: jogos com informação completa.
Procura Adversarial
18 Outubro 2021, 11:30 • Paulo Jorge Cunha Vaz Dias Urbano
Aula em Lab.
Formulação do Jogo do Galo.
Procura adversarial em Python.
O algoritmo minimax e variante alfabeta.
O algoritmo alfabeta com profundidade limitada.
Funções de avaliação estática
Jogos entre vários tipos de jogadores
Lógica de 1ª ordem
18 Outubro 2021, 09:30 • Luís Miguel Parreira e Correia
Lógica de 1ª ordem
Inferência: substituição, unificação
O contexto de Engenharia do Conhecimento