Sumários
T_21
2 Dezembro 2022, 09:30 • Mário Jorge Edmundo
satisfazibilidade e consequência lógica, satisfazibilidade e verdade lógica; substituições, unificador e unificador mais geral, algoritmo da unificação, exemplos; forma normal clausal, algoritmo da resolução para a satisfazibilidade, exemplo.
TP14_19
30 Novembro 2022, 09:30 • Mário Jorge Edmundo
Resolução dos exercícios 152 (1, 2, 3, 8) e 156.
T_20
29 Novembro 2022, 10:30 • Mário Jorge Edmundo
tt-satisfazibilidade e tt-consequencia; tt-satisfazibilidade e tautologia; literais, cláusulas; fórmulas de Horn, algoritmo da satisfação de Horn, exemplo, prolog; algoritmo da resolução para a tt-satisfazibilidade; exemplos.