2009.2

Horário das Aulas

- Quartas e Sextas: 10 às 12;
- Sala: D002.

Professores

Monitoria

Ementa Oficial

Ementa Resumida :

  • Busca
  • Agentes Inteligentes
  • Raciocínio e Representação do Conhecimento
  • Aprendizagem de Máquina
  • Tópicos Avançados

Pré-requisitos :

  • Algoritmos e Estruturas de Dados (if672)
  • Lógica para Computação (if673)

Relação Com Perfis :

  • Empreendedorismo (Suporte à Decisão)
  • Gerenciamento de Dados e Informações
  • Entretenimento Digital
  • Mineração na Web
  • Tecnologias de Ensino
  • Negócios On-Line
  • Inteligência Artificial
  • Robótica e Automação Inteligente
  • Interfaces & Mídias
  • Bio-Informática

Avaliação :

  • Agentes, Objetos, Busca, Restrições, Regras e Lógica: 50%, do quais:
    • - Testes e exercícios: 10%
    - Mini-projeto em equipe, sobre representação de conhecimento: 20%
    - Mini-projeto em equipe, implementação de agente: 20%
  • Incerteza, Aprendizagem: 50%, do quais:
    • - Prova qualitativa sem documentos: 45%
    - Exercício no laboratório: 5%

Links :

Programação de Aulas (sujeita a alterações)

Aulas de Fred
Data Assunto Material Prof. Arquivos
05/08
  • Apresentação, Histórico de Inteligência Artificial
 [Bittencourt, 1998] - CAP. 1
AIMA
[Sowa et al, 2002]		 Fred slide
07/08
  • Agentes
AIMA - CAP. 2 Fred slide
12/08
  • Busca Cega
 AIMA - CAP. 3 Fred slide
14/08
  • Busca Heurística, Jogos
AIMA - CAP. 4, 6 Fred Material
19/08
  • Satisfação de Restrições
AIMA - CAP. 5 Fred slide
21/08
  • Representação de Conhecimento e seus aspectos [1]
  • Engenharia de conhecimento em lógica proposicional e de predicados [2]
  • Entrega e discussão dos projetos - 1a. parte [3]
 Fred e Monitores slide [1], slide [2]
26/08
  • Objetos e herança, redes semânticas e Frames
 AIMA - CAP. 10
[Brachman et al, 2004] - CAP. 8 		Fred slide, slide
28/08
  • Representações estruturadas : Lógica de descrições
  • Apresentação do projeto
 [Brachman et al, 2004] - CAP. 9 Fred + André Estevão + Adriano slide, slide (aplicação no ramo de pizzas)
02/09 SWRL (Semantic Web Rule Language)   Fred + Drance slide
04/09
  • Ontologias
 [Sowa et al, 2002] - CAP. 2,3
AIMA - CAP. 10 		Fred slide
09/09
  • Sistemas especialistas
 Turban Fred slide
11/09
  • Aula prática de Regras de produção (JESS + JessTab)
Jess Adriano + André Estevão + Drance (monitor) slide, slide, slide
16/09
  • Lógica de Predicados, DPLL e GSAT (Lógica Proposicional)
  • Entrega da primeira parte do projeto (para os monitores)
   Fred slide
18/09
  • Teorema de Herbrand e Unificação (Lógica de Predicados)
 Fred slide
23/09
  • Aula prática de Prolog
 Jess Drance + André Estevão + Fred slide
25/09
  • Acompanhamento de Projetos (aula)
 Interface de consulta com inferência em Prolog ou Jess Fred e Monitores slide
30/09
  • Implementação de Resolução (Lógica de Predicados)
 Fred slide
02/10
  • Programação em lógica
AIMA - CAP. 8
[Brachman et al, 2004] - CAP. 7		 Fred slide
07/10
  • Acompanhamento de Projetos (aula)
 Interface de consulta com inferência em Prolog ou Jess Fred e Monitores slide
16/10
  • Entrega da Segunda Parte do Projeto
  • A data da entrega é 16 DE OUTUBRO!!!!
  • Toda a equipe deve comparecer sob pena de ficar sem nota!
 enviar para if684cc@gmail.com
Aulas de Teresa
Data Assunto Material Prof. Arquivos
09/10
  • Árvore de Decisão
 [Mitchell, 1997] Teresa slide
14/10
  • Redes Neurais 1
 [Mitchel, 1989] - CAP. 6
AIMA - CAP. 14		 Teresa slide
21/10
  • Redes Neurais 2
 [Ludermir et al] - CAP. 4
[Mitchel, 1989]		 Teresa slide
23/10
  • Redes Neurais 3
 [Ludermir et al] - CAP. 4
[Mitchel, 1989]		 Teresa slide
28/10
  • Redes Neurais (aula prática no laboratório)
  • Aula MATLAB
 Teresa e Monitores slide, Material dos monitores
30/10
  • Algoritmos Genéticos
 [Golbert, 1989] Teresa slide
04/11
  • Lógica Nebulosa 1
 [Ross, 1995]
[Kosko, 1992]		 Teresa slide
06/11
  • Entrega do exercício de MATLAB
  • ENTREGAR RELATÓRIO IMPRESSO DE REDES NEURAIS PARA O MONITOR RESPONSÁVEL
 Teresa
11/11
  • Lógica Nebulosa 2
 [Ross, 1995]
[Kosko, 1992]		 Teresa slide
13/11
  • Revisão
 Teresa slide
20/11
  • Primeiro exercício escolar
 Teresa
27/11
  • Exame Final
 Teresa

Bibliografia

Livro Base
Título Autor Abreviação
Artificial Intelligence: A Modern Approach (2nd Edition), Stuart J. Russell, Peter Norvig, Prentice-Hall, 2002 Stuart J. Russell, Peter Norvig AIMA
Artificial Intelligence - A New Synthesis, Nils J. Nilsson, Morgan Kauffman Publishers, 1998. Nils J. Nilsson, Morgan Kauffman [Nilson & Kauffman 1998]
Raciocínio

Principal:

Knowledge Representation and Reasoning, Ronald Brachman, Hector Levesque, Morgan Kaufmann, 2004.

Ronald Brachman, Hector Levesque, Morgan Kaufmann [Brachman et al, 2004]
Knowledge representation and reasoning - Logical, Philosofical and Computational Foundations, John Sowa, Brooks Cole & Co, 2002. John Sowa, Brooks Cole & Co [Sowa et al, 2002]
Logical Foundations of Artificial Intelligence, Michael R. Genesereth, Nils J. Nilsson, Morgan Kaufmann Publishers, 1987. Ronald Brachman, Hector Levesque, Morgan Kaufmann [Brachman et al, 1987]
Inteligência Artificial: Ferramentas e Teorias, Guilherme Bittencourt, Editora da UFSC, 1998. Guilherme Bittencourt [Bittencourt, 1998]
Logic, Programming and Prolog (2ed), Ulf Nilsson and Jan Maluszynski, Previously published by John Wiley & Sons Ltd. Ulf Nilsson and Jan Maluszynski [Nilsson & Maluszynski]
A Machine-Oriented Logic Based on the Resolution Principle, Julia Robinson, Journal of the ACM (JACM), Volume 12, Issue 1, 1965. J. Robinson [Robinson, 1965]
Aprendizado
Machine Learning, Tom Mitchell, McGraw-Hill, 1997. Tom Mitchell [Mitchell, 1997]
Redes Artificiais: Teoria e Aplicações, Braga, A., Carvalho,A. e Ludermir, T. LTC editora Braga, A., Carvalho,A. e Ludermir, T. [Ludermir et al]
Fuzzy Logic with Engineering Applications, Timothy J. Ross, McGraw-Hill, 1995. Timothy J. Ross [Ross, 1995]
Neural Networks and Fuzzy Systems, Bart Kosko, 1992. Bart Kosko [Kosko, 1992]
Sistemas Inteligentes, Organizadores Carlos O. Galvão e Mêuser J. S. Valença, 1999. Carlos O. Galvão e Mêuser J. S. Valença [Galvão et al, 1999]
Genetic Algorithms in Search, Optimization, and Machine Learning. David E. Goldberg, Addison-Wesley, 1989 David E. Goldberg [Golbert 1989]


FarCry - Mollio