Sumários

19 Maio 2026, 14:00 • Ricardo Teixeira da Costa Pereira

Apresentação do Projeto

Apoio ao desenvolvimento do Projeto

12 Maio 2026, 14:00 • Ricardo Teixeira da Costa Pereira

• Lógica Difusa

• Introdução

• Grau de Pertença

• Funções de Pertença

• Arquitetura da Lógica Difusa

• Exercícios de Aplicação

Realização do Mini-teste Teórico #2

5 Maio 2026, 14:00 • António Raimundo

- Programação em Lógica – Parte 2

--- Negação por Falha

--- Closed World Assumption

--- Mecanismo Iterativo (Loop)

- Exercícios de Aplicação

- Realização do Mini-teste #2

28 Abril 2026, 14:00 • António Raimundo

- Programação em Lógica – Parte 1

- Factos

--- Regras

--- Perguntas

--- Cláusulas de Horn

- Representação de Conhecimento em Prolog

- Fluxo Sequencial

- Exercícios de Aplicação

21 Abril 2026, 14:00 • António Raimundo

- Sintaxe da Lógica de Predicados

- Revisão de conteúdos da aula passada

- Operadores e Quantificadores

--- Universais

--- Existenciais

- Semântica na Lógica de Predicados

- Leis de Morgan e Negações

- Formalização na Lógica de Predicados

- Exercícios de aplicação

- Realização do Mini-teste #1