Enunciados

Resoluções

Enunciados

Resoluções

Prática 1 (laboratório)  – Utilização da implementação do algoritmo A* (astarps, A‑Star Problem Solver)  

Resolução da Prática 1

(Laboratório)

Prática 6 (laboratório) – Sistemas de Regras de Produção

Ficheiro de base para resolver os exercícios (production_system_resources)

Resolução da Prática 6 (Laboratório)

Prática 2 – Exercícios de Papel e Lápis sobre Algoritmos de Procura)

Resolução da Prática 2

Prática 7 (laboratório) – Sistemas de Regras de Produção

Ficheiro base da máquina robot

Resolução da Prática 7 (Laboratório)

Prática 3 – Representação e racicocínio em lógica de predicados de primeira ordem

Resolução da Prática 3

Prática 8 (laboratório) – Prolog declarativo (I)

Resolução da Prática 8 (Laboratório)

Prática 4 (laboratório) – Programação em lógica. Familiarização com os interpretadores

Resolução da Prática 4 (Laboratório)

Prática 9 (laboratório) – Prolog declarativo (II)

Resolução da Prática 9 (Laboratório)

Prática 5 (laboratório) – Programação em lógica – Conhecimento Declarativo

Candidatos para tarefas (original)

Herança

Resolução da Prática 5 (Laboratório)

Prática 10 (laboratório) – Mecanismos de controlo do Prolog

Resolução da Prática 10 (Laboratório)

Prática 11 (laboratório) – Prolog declarativo e procedimental

Resolução da Prática 11 (Laboratório)