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.
