Linguagem church: modelo generativo que pretende unificar as teorias da inteligência artificial

Autores

  • Simone Maria Viana Romano Faculdade de Tecnologia de Praia Grande

Palavras-chave:

Linguagem church, Regra probabilística, Regra de inferência, Modelo probabilístico

Resumo

A inteligência artificial, na atualidade vem sendo pesquisada com base em regras probabilísticas ao invés das regras do pensamento, como era realizada nas décadas de 1950 e 1960. Para criar a modelagem probabilística utilizando as linguagens formais, usam-se as técnicas de inferência que ajudam na modularidade e reutilização. Noah D. Goodman (cientista do Departamento de Ciências Cognitivas e Cerebrais do Instituto de Tecnologia de Massachusetts – MIT) criou uma linguagem de programação probabilística chamada Church que descreve os modelos geradores. A semântica da linguagem Church foi definida nos termos de histórias de avaliação e distribuições condicionais sobre estas histórias. Este artigo tem o objetivo de mostrar as principais características e o funcionamento dessa nova linguagem de programação que promete revolucionar a inteligência artificial através da teoria unificada.

Downloads

Não há dados estatísticos.

Referências

Church, Alonso. Disponível em: <http://www.projects.csail.mit.edu/church/wiki/ Church>. Acesso em: 30/04/ 2010.

Church, Alonso. Disponível em: <http://www.din.uem.br/ia/precursores/calc_lamb.html>. Acesso em: 01/05/ 2010.

Desessards, J. A. Lógica, regras e inferência. Disponível em: ia.ucpel.tche. br/~lpalazzo/Aulas/IWS/m06/IntroLogica.pdf. Acessado em 30/04/ 2010.

Dybvig, R. K. The Scheme Programming Languague. E ed. The Mit Press, 2007.

Emacs GNU. Disponível em: <http://www.gnu.org/software/emacs/>. Acesso em: 03/05/ 2010.

Goodman, D. N.; Masignghka, V. K. Church: a language for generative models, 2008.

Hardeskty, L. Cientista propõe teoria unificada da inteligência artificial. Disponível em: <http://www.censanet.com.br/noticias/ler/id-1027577/Cientista_propoe_teoria_unificada _da_inteligencia_artificial>. Acesso em: 20/04/2010.

Language Scheme. Disponível em: <http://www.scheme.com>. Acesso em: 02/05/2010.

Python Programming Language. Oficial Website. Disponível em: <http://www.python.org>. Acesso em: 03/05/2010.

Russell, S. J. Norvig P. Inteligência Artificial. 2 ed. Rio de Janeiro: Campus, 2004.

The R Project for Statistical Computing. Disponível em: <http://www.r-project.org>/. Acesso em: 03/05/2010.

Van Rijsbergen, C. J. Information Retrieval. 2nd ed. Butterworths, 1979.

Publicado

2011-10-01

Como Citar

ROMANO, S. M. V. Linguagem church: modelo generativo que pretende unificar as teorias da inteligência artificial. Revista Processando o Saber, v. 3, p. 119-127, 1 out. 2011.

Edição

v. 3 (2011): Revista Processando o Saber

Seção

Tecnologia em Análise e Desenvolvimento de Sistemas

Copyright (c) 2011 Revista Processando o Saber

Creative Commons License
Este trabalho está licensiado sob uma licença Creative Commons Attribution 4.0 International License.

Os direitos autorais dos artigos publicados pertencem à Revista Processando o Saber e seguem o padrão Creative Commons (CC BY), que permite o remixe, adaptação e criação de obras derivadas do original, mesmo para fins comerciais. As novas obras devem conter menção ao(s) autor(es) nos créditos.