Classes

Inteligência Artificial

Ementa

  • Primeira Parte: Lógica
    • Revisão Lógica Clássica Proposicional e de Primeira Ordem;
    • Método de Resolução e Estratégias de Resolução;
    • Programação em Lógica - PROLOG.
  • Segunda Parte: Busca
    • Buscas Não-informanda e Busca Heurı́stica;
    • Jogos: Algoritmo MinMax e Alfa-Beta;
  • Terceira Parte: Tópicos Avançados
    • Lógica Difusa;
    • Lógicas Epistêmicas Multi-agentes;
    • Problema de Planejamento;
    • Redes Neurais...

Bibliografia

  • Inteligência Artificial, 6ª Edição;
    • George F. Luger, Pearson Ed., 2009.
  • Inteligência Artificial, 2ª Ed.;
    • Stuart Russell e Peter Norvig, Elsevier, 2004.
  • Artificial Intelligence: A New Synthesis;
    • Nilsson, 1998.
  • Prolog programming for artificial intelligence;
    • Ivan Bratko.

Calendário

  • Início das aulas: 01/08/17;
  • Prova 1: 05/10/17;
  • Prova 2: 16/11/17;
  • Prova 3: 23/11/17.

Avaliação

  • Seja \(P\) e \(Q\) as maiores notas entre \(\{P_1, P_2, P_3\}\) e \(MP := \frac{P + Q}{2}\);
  • se \(MP \geq 5\) e \(P\) e \(Q \geq 4\) então aprovado e \(MF := MP\);
  • senão reprovado e \(MF := min(MP, 4.9)\).

Trabalhos e listas valem como bônus.

Trabalhos

Os trabalhos deverão ser entregues e apresentados no dia 26/03/02 de 8:00 às 10:00.

Por favor, mande um e-mail para mario@cos.ufrj.br para marcar um horário.

Notas

Notas da P1, P2 e P3.

Lista de discussão do grupo

Foi criado um grupo no Facebook (IA_DCC_UFRJ). Este grupo será utilizadao para enviar avisos sobre o curso: listas, trabalhos, notas e etc.

Entre aqui

Listas de exercícios

  1. Primeira Lista - Livro do Russel: cap. 3, exercícios 4 e 6; cap. 4, exercícios 1,3 e 6. Da lista do Prof. João Carlos fazer os exercícios 3,4,5, e 6;
  2. Segunda Lista.

Downloads