Sumários
Representação de conhecimento em Prolog
12 Outubro 2021, 14:30 • Rita Sousa
Apresentação inicial da linguagem Prolog
Exemplos de representação
Interpretadores Prolog
Exemplos de sistemas
Paradigma da Programação em Lógica
11 Outubro 2021, 16:00 • Rita Sousa
Representação de conhecimento usando programação em lógica.
Prática 4 - Raciocínio em lógica de predicados de primeira ordem
8 Outubro 2021, 13:00 • Rita Sousa
Exercícios sobre raciocínio em lógica de predicados de primeira ordem. Ver enunciado no e-learning.
Prática 4 - Raciocínio em lógica de predicados de primeira ordem
8 Outubro 2021, 13:00 • Rita Sousa
Exercícios sobre raciocínio em lógica de predicados de primeira ordem. Ver enunciado no e-learning.
Raciocínio em lógica de predicados de primeira ordem - 2ª parte
8 Outubro 2021, 09:30 • Rita Sousa
Inferência ( dedução ): Regras de inferência ( cálculo de predicados ), derivações ; Exemplos .