Matemático Automatizado - Automated Mathematician

O Automated Mathematician (AM) é um dos primeiros sistemas de descoberta de sucesso . Foi criado por Douglas Lenat em Lisp e, em 1977, levou Lenat a receber o Prêmio IJCAI de Computadores e Pensamento .

AM trabalhou gerando e modificando programas Lisp curtos que foram então interpretados como definindo vários conceitos matemáticos; por exemplo, um programa que testou a igualdade entre o comprimento de duas listas foi considerado para representar o conceito de igualdade numérica, enquanto um programa que produziu uma lista cujo comprimento era o produto dos comprimentos de duas outras listas foi interpretado como representando o conceito de multiplicação. O sistema tinha heurísticas elaboradas para escolher quais programas estender e modificar, com base nas experiências de matemáticos trabalhando na resolução de problemas matemáticos.

Controvérsia

Lenat afirmou que o sistema era composto por centenas de estruturas de dados chamadas "conceitos", juntamente com centenas de "regras heurísticas" e um fluxo simples de controle: "AM seleciona repetidamente a tarefa principal da agenda e tenta executá-la. é toda a estrutura de controle! " No entanto, as regras heurísticas nem sempre foram representadas como estruturas de dados separadas; alguns tiveram que ser interligados com a lógica de fluxo de controle. Algumas regras tinham pré-condições que dependiam da história ou, de outra forma, não podiam ser representadas na estrutura das regras explícitas.

Além disso, as versões publicadas das regras muitas vezes envolvem termos vagos que não são definidos posteriormente, como "Se duas expressões são estruturalmente semelhantes, ..." (Regra 218) ou "... substitua o valor obtido por outro ( muito semelhante) valor ... "(Regra 129).

Outra fonte de informação é o usuário, via Regra 2: "Se o usuário recentemente se referiu a X, aumente a prioridade de quaisquer tarefas que envolvam X." Assim, parece bem possível que muito do trabalho de descoberta real esteja enterrado em procedimentos inexplicáveis.

Lenat afirmou que o sistema havia redescoberto a conjectura de Goldbach e o teorema fundamental da aritmética . Críticos posteriores acusaram Lenat de interpretar exageradamente a produção de AM. Em seu artigo Por que AM e Eurisko parecem funcionar , Lenat admitiu que qualquer sistema que gerasse programas Lisp curtos o suficiente geraria alguns que poderiam ser interpretados por um observador externo como representando conceitos matemáticos igualmente sofisticados. No entanto, ele argumentou que essa propriedade era em si interessante - e que uma direção promissora para pesquisas futuras seria procurar outras linguagens nas quais strings aleatórias curtas provavelmente seriam úteis.

Sucessor

Essa intuição foi a base do sucessor do AM, Eurisko , que tentou generalizar a busca de conceitos matemáticos para a busca de heurísticas úteis .

Veja também

Referências

links externos