Bit of Life

Uma página para reunir meus estudos sobre Vida & Inteligência Artificial.
Implementações Quadros Cognitivos Links	Sugestões, reclamações e colaborações E-mail: [email protected] ICQ: 2490863

Atualizações

19/04/2004 - O projeto que resolve o Problema dos Baldes foi atualizado uma última vez: a novidade agora é uma implementação em PROLOG da solução por Caminhamento Heurístico.

11/04/2004 - Uma atualização sem maiores surpresas: novos links, mais um quadro cognitivo (provavelmente o último) e animações ilustrando o funcionamento de um LCS.

13/03/2004 - O projeto que resolve o Problema dos Baldes foi atualizado, com o acréscimo de mais uma solução alternativa, dessa vez usando o algoritmo A*.

07/03/2004 - Um novo quadro cognitivo está no ar. Além disso, as seguintes adições foram feitas à seção de Implementações:

• Uma máquina de inferência escrita em LISP;
• Uma versão Java do BOIDS, simulador de bandos de pássaros. Como esse programa não foi escrito por mim, mas achei interessante colocá-lo aqui, resolvi abrir a seção para contribuições externas.

05/03/2004 - O projeto que resolve o Problema dos Baldes foi atualizado, com o acréscimo de uma solução alternativa, utilizando o algoritmo Branch & Bound.

01/03/2004 - Adicionada uma nova seção: Implementações, uma coletânea dos meus experimentos em Vida & Inteligência Artificial.

13/02/2004 - Atualmente a página está muito "seca", mas eu não me dei muito tempo para criá-la, por isso precisei ser objetivo. Futuramente adicionarei mais coisas, como uma seção de links e documentos que recolhi pela rede.

Implementações

• BOIDS - Implementação em Java, na forma de um applet, do algoritmo BOIDS original -- um dos exemplos mais célebres de comportamento emergente, isto é, de uma ordem geral surgindo da interação entre unidades independentes de qualquer controle central.
• LCS's em Flash - Duas animações que demonstram o funcionamento de um Learning Classifier System (LCS). Embora primitivos, são exemplos úteis para uma compreensão inicial da mecânica dos sistemas classificatórios.
• Máquina de Inferência - Um programa que, alimentado com uma base de conhecimentos formada por uma lista de regras e outra de fatos, aceita uma pergunta (expressa na forma de um fato) e responde "verdadeiro" se conseguir inferi-lo a partir dos seus conhecimentos, ou "falso" em caso contrário. É um exemplo simples de inteligência artificial, mas já conseguiria gerar alguns efeitos impressionantes para um leigo. Implementado em LISP.
• Problema dos Baldes - Quatro programas (três implementados em LISP e um em PROLOG), os quais recebem um estado inicial e final para o infame "problema dos baldes", e retornam uma seqüência de operações que leve de um ao outro. As três formas de solução usadas são Caminhamento Heurístico, Branch & Bound e A*, uma combinação de B&B com Programação Dinâmica: há uma implementação LISP para cada estratégia, e uma implementação PROLOG para o Caminhamento Heurístico. Apesar de serem exemplos bastantes primitivos de inteligência artificial (os algoritmos de busca usados são triviais), eles demonstram a facilidade com que podemos criar a impressão de inteligência -- para um leigo, o fato de o sistema retornar uma lista de operações em linguagem natural certamente causaria impacto.

Quadros Cognitivos

• Primeiro Quadro Cognitivo
• Segundo Quadro Cognitivo
• Terceiro Quadro Cognitivo
• Quarto Quadro Cognitivo

Links

• The Hitch-Hiker's Guide to Evolutionary Computation - Um FAQ bastante completo sobre Computação Evolutiva e seus subcampos, incluindo definições, pesquisas, aplicações e recursos.
• An Introduction to Learning Classifier Systems - Como o nome sugere, este site apresenta os fundamentos dos sistemas classificatórios, de maneira simples e direta. Destaque para as animações em Flash, que ilustram o funcionamento de um LCS (e que também podem ser encontradas neste site).
• The Learning Classifier Systems Web - Outro recurso muito interessante sobre LCS's. Novidades, contatos, bibliografias e um bom número de implementações (algumas delas em Java!) podem ser encontrados aqui.
• Transtopia: Transhumanism Evolved - Um dos melhores recursos para compreender o transhumanismo e suas variantes, em particular o movimento transtópico. Apesar de sua atitude muitas vezes um tanto apocalíptica, os transhumanistas são a vanguarda de um movimento que estuda, de maneira séria e atenta, os profundos impactos que os recentes avanços tecnológicos têm e terão na nossa sociedade, na própria definição de ser humano, e na vida terrestre de uma maneira geral. Não é, portanto, um assunto a ser ignorado.