MAC0425/MAC5739 - Inteligência Artificial
Weekly outline
-
Semana da Pátria (semana de break)
-
Introdução à Lógica Proposicional, CNF, resolução e satisfatibilidade (Marcelo Finger).
-
Introdução à Lógica de Predicados de Primeira ordem (LPO) (Flávio Correa).
-
CNF, resolução e unificação em LPO. Princípios de programação lógica e Prolog (Flávio Correa).
-
Representação de conhecimento. Uso de Lógica de Primeira Ordem para descrever de circuito elétrico (Renata Wassermann).
BDDs (Binary Decision Diagrams) (Silvio do Lago Pereira). -
-
Assignment
-
-
-
Assignment
-
-
-
File
-
-
-
Assignment
-
-
Workshop: seminários dos alunos da pós-graduação. Presença obrigatória de todos.
-
Assignment