| dbo:abstract
|
- The Automated Mathematician (AM) is one of the earliest successful discovery systems. It was created by Douglas Lenat in Lisp, and in 1977 led to Lenat being awarded the IJCAI Computers and Thought Award. AM worked by generating and modifying short Lisp programs which were then interpreted as defining various mathematical concepts; for example, a program that tested equality between the length of two lists was considered to represent the concept of numerical equality, while a program that produced a list whose length was the product of the lengths of two other lists was interpreted as representing the concept of multiplication. The system had elaborate heuristics for choosing which programs to extend and modify, based on the experiences of working mathematicians in solving mathematical problems. (en)
- Il Matematico Automatico (in inglese Automated Mathematician, abbreviato in AM) è stato uno dei primi , ovvero intelligenze artificiali per la scoperta di concetti e leggi scientifiche, ad avere successo. Fu creato da Douglas Lenat tramite linguaggio di programmazione Lisp, e nel 1977 valse a Lenat il conferimento dell'. Il Matematico Automatico funzionava tramite la generazione e la modifica di piccoli programmi in Lisp che erano poi interpretati come definizione di svariati concetti matematici; per esempio, un programma che testava l'uguaglianza tra le lunghezze di due liste era considerato rappresentare il concetto di uguaglianza numerica, mentre un programma che produceva una lista la cui lunghezza era il prodotto delle lunghezze di due altre liste era interpretato come rappresentazione del concetto di moltiplicazione. Il sistema possedeva euristiche elaborate per scegliere quali programmi estendere e modificare, basate sull'esperienza dei matematici al lavoro nella risoluzione di problemi. (it)
- AM, foi um programa de computador experimental feito por em Lisp para descobrir novos fatos no domínio da matemática.O programa trabalhava com pequenos programas em Lisp que eram combinados entre si para gerarem conjecturas que seriam testadas posteriormente por heuristicas. Esses pequenos programas representavam conhecimentos formais sobre o campo da matemática. Ganhou grande notoriedade ao conseguir descobrir a Conjectura de Goldbach e a fatorização de um inteiro em número primos. O sucesso de AM foi atribuído ao forte conjunto de heuristicas que classificavam as conjecturas geradas em porções de interesses relevantes. Devido ao sucesso de AM mais tarde tentou aplicar o mesmo princípio em outros campos como fez com mas não conseguiu o mesmo êxito. (pt)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5696 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- AM, foi um programa de computador experimental feito por em Lisp para descobrir novos fatos no domínio da matemática.O programa trabalhava com pequenos programas em Lisp que eram combinados entre si para gerarem conjecturas que seriam testadas posteriormente por heuristicas. Esses pequenos programas representavam conhecimentos formais sobre o campo da matemática. Ganhou grande notoriedade ao conseguir descobrir a Conjectura de Goldbach e a fatorização de um inteiro em número primos. O sucesso de AM foi atribuído ao forte conjunto de heuristicas que classificavam as conjecturas geradas em porções de interesses relevantes. Devido ao sucesso de AM mais tarde tentou aplicar o mesmo princípio em outros campos como fez com mas não conseguiu o mesmo êxito. (pt)
- The Automated Mathematician (AM) is one of the earliest successful discovery systems. It was created by Douglas Lenat in Lisp, and in 1977 led to Lenat being awarded the IJCAI Computers and Thought Award. (en)
- Il Matematico Automatico (in inglese Automated Mathematician, abbreviato in AM) è stato uno dei primi , ovvero intelligenze artificiali per la scoperta di concetti e leggi scientifiche, ad avere successo. Fu creato da Douglas Lenat tramite linguaggio di programmazione Lisp, e nel 1977 valse a Lenat il conferimento dell'. (it)
|
| rdfs:label
|
- Automated Mathematician (en)
- Matematico Automatico (it)
- Matemático Automático (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:knownFor
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
