Sumários

2 Dezembro 2025, 09:00 • Ricardo Teixeira da Costa Pereira

- Explanação do enunciado do projeto

-- Aula de Apoio ao Projeto

25 Novembro 2025, 09: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

18 Novembro 2025, 09:00 • Ricardo Teixeira da Costa Pereira

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

•Negação por Falha

•Closed World Assumption

•Mecanismo Iterativo (Loop)

•Exercícios de Aplicação

11 Novembro 2025, 09:00 • Ricardo Teixeira da Costa Pereira

•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

4 Novembro 2025, 09:00 • Ricardo Teixeira da Costa Pereira

•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 Teórico #1