Informações

Homepage do Professor 

Curriculo...

Publicações

Áreas de Pesquisa

Projetos de Pesquisa

Eventos

Ensino de Graduação

Ensino de Pós Graduação

Informações para Candidatos à Orientação

Minhas mulheres...

Fotografias de Florianópolis Antiga

Você lê?

Programação Funcional - Fontes Bibliográficas e Links

Fontes de LISP para Exemplos do Livro "Inteligência Artificial" de Elaine Rich, 2ª ed.

Espelho do site de Maria Gini - Universidade de Minnesota
Versões de 1993


Obs.: Este livro já foi editado no Brasil. Encontra-se esgotado. Procure em um sebo.



Métodos de Busca e Otimização Redes Neurais - Backpropagation, Hopfield e dados e exemplos Jogos
  • Jogo da Velha - tictactoe.lisp
  • 8 Damas - n-puzzle.lisp
  • Procedimento MiniMax - Function MINIMAX performs minimax search from a given position (pos),  to a given search ply (depth), for a given player (player).  It returns a list of board positions representing what it sees as the best moves for both players.  The first element of the list is the value of the board position after the proposed move - minimax.lisp
  • Template to create new games - generic-game.lisp e generic-domain.lisp
Lógica
  • Resolução de proposições - resolve.lisp
  • Algoritmo de Unificação (Prolog ?) - Function UNIFY returns a set of substitutions that make its two input terms identical.  Terms are represented as lists.  For example, the term f(x,g(a)) is represented as (f x (g a)) - term-unify.lisp
Representação do Conhecimento
  • Version space learning with the candidate elimination algorithm. Concepts are represented as lists of attribute-value pairs - vs.lisp
 

Última atualização 8/05/2006