Sumários

Segundo mini-teste

25 Maio 2026, 14:00 • Ricardo Cristóvão Miranda

  • Segundo mini-teste.
  • Enunciado do segunfdo projeto.

Paneamento

18 Maio 2026, 14:00 • Ricardo Cristóvão Miranda

Planeamento:
  • Introdução
  • Planeamento vs Procura Clássica
  • PDDL — Planning Domain Definition Language
  • Forward Planning
  • Backward Planning (Regression)
  • Heurísticas para Planeamento
  • Planning Graphs
  • Mutex Relations
  • Propriedades do Planning Graph
  • Algoritmo Graphplan

CSP - Constraint Satisfation Problems

11 Maio 2026, 14:00 • Ricardo Cristóvão Miranda

CSP - Constraint Satisfation Problems:
  • Introdução
  • Definição Formal
  • Grafo de Restrições
  • Backtracking Simples
  • Heurística MRV — Minimum Remaining Values
  • Heurística de Degree
  • Heurística LCV — Least-Constraining Value
  • Forward Checking
  • Algoritmo AC-3
  • Níveis de Consistência

Procura Adversarial

4 Maio 2026, 14:00 • Ricardo Cristóvão Miranda

  • Procura Adversarial
  • Minimax
  • Poda Alpha-Beta

Algoritmos genéticos

27 Abril 2026, 14:00 • Ricardo Cristóvão Miranda

Algoritmos genéticos:

  • Schema theorem
  • Restrições em problemas reais
  • Penalty Function
  • Repair Operator
  • Decoder
  • Alocação de recursos - comparação com Simplex
    • Multilpos objetivos
    • Restrições não-lineares
    • Restrições exóticas