Histórico, Conceitos Básicos, Abordagem de Agentes, Métodos de Busca, Representação de Conhecimento, Lógica, Prova Automática de Teoremas, Sistemas Especialistas.

Capacitar os alunos à criação de modelos para a inteligência e à construção de modelos computacionais baseados nestes modelos. Utilizando os principais paradigmas Simbólicos da Inteligência Artificial.

.:: Introdução, Histórico, Teoria de Problemas, Modelagem por Agentes
.:: Métodos de Busca e Representação de Conhecimento
.:: Prova Automática de Teoremas
.:: Representação e Tratamento de Incertezas
.:: Sistemas Especialistas

.:: J.M. Barreto. Inteligência Artificial, uma abordagem híbrida
.:: Russell and Norvig. Inteligência Artificial. Editora Campus. 2004.
.:: G. F. Luger. Inteligência Artificial - Estruturas e Estratégias para a Solução de Problemas Complexos. 4a. Ed. Bookman. 2004.
.:: G. Bittencourt. Inteligência Artificial, ferramentas e teorias
.:: R.A. Rabuske. Inteligência Artificial

A avaliação será realizada através de prova, trabalhos e seminários. A prova terá peso 6 e os trabalhos e seminários peso 4.

Nota final = [P1x0,6 + [(T1+T2+...+Tn+Semin.)/n]x0,4

NOTAS: Veja aqui os conceitos

.:: 1o. Trabalho Prático: Como parte do processo de avaliação, cada grupo (de no máximo 3 alunos) deve desenvolver o trabalho abaixo:
- SUDOKU (Implementação de Métodos de Busca)
      
.:: DESAFIO: Veja aqui a implementação do Desafio (SOKOBAN)

.:: 2o. Trabalho Prático: Como parte do processo de avaliação, cada grupo deve desenvolver o trabalho abaixo:
- Sistema especialista simples para sugerir o melhor vinho para acompanhar uma refeição. As informações da base de conhecimentos deste sistema podem ser obtidas aqui!
- Pegue aqui um executável para utilizar como referência e validar seus resultados.

.:: 3o. Trabalho Prático: Ainda em elaboração....

.:: Temas para os Seminários: Como parte do processo de avaliação, cada grupo (de no máximo 3 alunos) deve desenvolver um dos temas sugeridos:

.:: Transparências Novas (folhetos 6pp)
.:: Transparências Novas (slides 1pp)

.:: Lista de Perguntas
.:: Lista de Métodos de Busca
.:: Exercícios de Lógica 1
.:: Exercícios de Lógica 2

.:: Logical Vs. Analogical Or Symbolic Vs. Connectionist or Neat Vs. Scruffy - Marvin Minsky

.:: From Socrates to Expert Systems:  The Limits and Dangers of Calculative Rationality. Hubert L. Dreyfus & Stuart E. Dreyfus

LISTA DE PERGUNTAS

.:: Will Robots Inherit the Earth? Marvin L. Minsky (Scientific American, Oct, 1994 with some minor revisions)

.:: Some Philosophical Problems from the Standpoint of Artificial Intelligence. John McCarthy & Patrick J. Hayes, 1969

.:: Alienable Rights. Marvin L. Minsky (Discover Magazine, Jul 1993)

LISTA DE PERGUNTAS

.:: The Chinese Room Argument. John Searle, 1980

.:: Textos sobre Representação de Conhecimento, Redes Semânticas, Frames e Sistemas de Produção. (Conforme página mantida pelo Prof. Raul Wazlawick)

.:: Texto sobre métodos dedutivos

.:: Livro/Manual de PROLOG [1] ; [2]

Associações
.:: AAAI - American Association for AI
.:: APPIA - Associação Portuguesa para IA
.:: IEEE
.:: SIGART

Grupos de Pesquisa
.:: L3C - Laboratório de Conexionismo e Ciências Cognitivas, INE - UFSC
.:: GIA/UFRGS - Grupo de interesse em IA da UFRGS
.:: LIAMF/IME/USP - LIAMF Laboratório de Lógica, Inteligência Artificial e Métodos Formais
.:: Grupo de Inteligência Artificial (GIA) - Departamento de Automação e Sistemas, UFSC
.:: AI Applications Institute
.:: Austrian AI
.:: Edinburgh
.:: Georgia Tech
.:: MIT
.:: Michigan
.:: Microsoft DTG
.:: Stanford

Revistas e Jornais
.:: AI Magazine
.:: AI Review
.:: ETAI Journal
.:: PC AI
.:: Machine Learning

Livros, Autores e Bibliografias
.:: Artificial Intelligence: A Modern Approach (AIMA)
.:: Inteligência Artificial – Ferramentas e Teorias
.:: Comparação de Livros-texto em IA

Outras Referências
.:: AI Patents
.:: What is AI
.:: AI FAQ