Linguagem Church: Modelo Generativo que pretende unificar as Teorias da Inteligência Artificial
Revista Processando o Saber
Endereço:
Praça 19 de janeiro, 144
Praia Grande / SP
11700-100
Site: http://www.fatecpg.edu.br/revista/
Telefone: (13) 3591-1303
ISSN: 2179-5150
Editor Chefe: Fábio Pessôa de Sá
Início Publicação: 31/08/2003
Periodicidade: Anual
Área de Estudo: Multidisciplinar
Linguagem Church: Modelo Generativo que pretende unificar as Teorias da Inteligência Artificial
Ano: 2011 | Volume: 3 | Número: 1
Autores: Simone Maria Viana Romano
Autor Correspondente: Simone Maria Viana Romano | [email protected]
Autor Correspondente: Simone Maria Viana Romano | [email protected]
Palavras-chave: LINGUAGEM CHURCH, REGRA PROBABILÃSTICA, REGRA DE INFERÊNCIA, MODELO PROBABILÃSTICO
Resumos Cadastrados
Resumo Português:
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.