Help


[permalink] [id link]
+
Page "Automated Mathematician" ¶ 2
from Wikipedia
Edit
Promote Demote Fragment Fix

Some Related Sentences

Lenat and claimed
Lenat claimed that the system had rediscovered both Goldbach's conjecture and the Unique Prime Factorization Theorem.

Lenat and system
In his paper Why AM and Eurisko appear to work, Lenat conceded that any system that generated enough short Lisp programs would generate ones that could be interpreted by an external observer as representing equally sophisticated mathematical concepts.

Lenat and was
Lenat was one of the original Fellows of the AAAI.
It was created by Doug Lenat in Lisp, and in 1977 led to Lenat being awarded the IJCAI Computers and Thought Award.
Lenat was frustrated by Automated Mathematician's constraint to a single domain and so developed Eurisko ; his frustration with the effort of encoding domain knowledge for Eurisko led to Lenat's subsequent ( and,, continuing ) development of Cyc.

Lenat and ,"
" For the first five years, nothing good came out of it ," Lenat said.

Lenat and with
Besides Danny Hillis, other noted people who worked for or with the company included Greg Papadopoulos, David Waltz, Guy L Steele, Jr., Karl Sims, Brewster Kahle, Bradley Kuszmaul, Charles E. Leiserson, Marvin Minsky, Carl Feynman, Cliff Lasser, Marvin Denicoff, Alex Vasilevksy, Doug Lenat, Stephen Wolfram, Alan Edelman, Eric Lander, Richard Feynman, Richard Fishman, Mirza Mehdi, Alan Harshman, Richard Jordan, Alan Mercer, James Bailey, Tsutomu Shimomura and Jack Schwartz.
Douglas B. Lenat ( born in 1950 ) is the CEO of Cycorp, Inc. of Austin, Texas, and has been a prominent researcher in artificial intelligence, especially machine learning ( with his AM and Eurisko programs ), knowledge representation, blackboard systems, and " ontological engineering " ( with his Cyc program at MCC and at Cycorp ).
Lenat envisions ultimately coupling the Cyc knowledgebase with the Eurisko discovery engine.

Lenat and heuristic
The most famous case involved Douglas Lenat applying his Eurisko heuristic learning program to the scenario in the Classic Traveller adventure Trillion Credit Squadron ( TCS ), which contained rules for resolving very large space battles statistically.
* Lenat, D. B., ( 1976 ), AM: An artificial intelligence approach to discovery in mathematics as heuristic search, Ph. D. Thesis, AIM-286, STAN-CS-76-570, and Heuristic Programming Project Report HPP-76-8, Stanford University, AI Lab., Stanford, CA.

Lenat and rules
Lenat and Eurisko gained notoriety by submitting the winning fleet ( a large number of stationary, highly weaponed, defenseless ships ) to the United States Traveller TCS national championship in 1981, forcing extensive changes to the game's rules.

Lenat and AM
Later critics accused Lenat of over-interpreting the output of AM.

Lenat and from
GDW threatened to cancel the tournament if Lenat entered a fleet again, so Lenat retired from competition, and GDW gave him the title " Grand Admiral " as consolation.
Tournament officials announced that if Eurisko won another championship the competition would be abolished ; Lenat retired Eurisko from the game.

Lenat and .
At the University of Pennsylvania, Lenat received his Bachelor's degree in Mathematics and Physics, and his Master's degree in Applied Mathematics in 1972.
In 1976 Lenat started teaching at Carnegie Mellon and commenced his work on Eurisko, but returned to Stanford in a teaching role in 1978.
, Lenat continues his work on Cyc at Cycorp.
* Davis, Randall, and Douglas B. Lenat.
* Hayes-Roth, Frederick, D. A. Waterman, and Douglas B. Lenat.
* Douglas Lenat bio page at Cyc. com

claimed and system
Patterson claimed to have screened the film for unnamed technicians " in the special effects department at Universal Studios in Hollywood ... Their conclusion was: ' We could try ( faking it ), but we would have to create a completely new system of artificial muscles and find an actor who could be trained to walk like that.
Nevertheless, in 1977 Bliss claimed that this agreement was violated so that he was deprived of effective control of his symbol system.
" In 1982 BJU's then-president Bob Jones III, during interviews in which he defended the school's tax-exempt status, cited nine passages from the Bible-drawn both from the Old and New Testaments-which he claimed demonstrated that God intended races to be segregated: " The Bible clearly teaches, starting in the 10th chapter of Genesis and going all the way through, that God has put differences among people on the earth to keep the earth divided ", he said, adding that inter-racial marriage was " playing into the hands of the antichrist and the one-world system.
The Tang land policy – the " Equal-field system "claimed all lands as imperially owned, and were granted evenly to people according to the size of the households.
The Catholic Church has what is claimed to be the oldest continuously functioning internal legal system in Western Europe, much later than Roman law but predating evolution of modern European civil law traditions.
Ryzhkov, in retrospect, claimed that the Soviet system had " created, nursed and formed " Gorbachev, but that " long ago Gorbachev had internally rebelled against the native System.
Chesterton, the Christian apologist, claimed: ".. the medieval system began to be broken to pieces intellectually, long before it showed the slightest hint of falling to pieces morally.
The DSM's focus on superficial symptoms is claimed to be largely a result of necessity ( assuming such a manual is nevertheless produced ), since there is no agreement on a more explanatory classification system.
Given the limited budget for schools, it is claimed that a voucher system would weaken public schools while at the same time not necessarily providing enough money for people to attend private schools.
For instance, in the 55 Cancri system the first planet – 55 Cancri b – was discovered in 1996 ; two additional farther planets were simultaneously discovered in 2002 with the nearest to the star being named 55 Cancri c and the other 55 Cancri d ; a fourth planet was claimed ( its existence was later disputed ) in 2004 and named 55 Cancri e despite lying closer to the star than 55 Cancri b ; and the most recently discovered planet, in 2007, was named 55 Cancri f despite lying between 55 Cancri c and 55 Cancri d. As of April 2012 the highest letter in use is " j ", for the unconfirmed planet HD 10180 j ( HD 10180 h is the confirmed planet with the highest letter ).
" Mussolini claimed that Italian Fascism's economic system of corporatism could be identified as state capitalism which he claimed was state socialism " turned on its head ", which in either case involved " the bureaucratisation of the economic activities of the nation.
He learned Russian and Greek, employing a system that he used his entire life to learn languages — Schliemann claimed that it took him six weeks to learn a language and wrote his diary in the language of whatever country he happened to be in.
In 2004, Italian professor Bruno Fabbiani claimed that examination of the 42-line Bible revealed an overlapping of letters, suggesting that Gutenberg did not in fact use movable type ( individual cast characters ) but rather used whole plates made from a system somewhat like a modern typewriter, whereby the letters were stamped successively into the plate and then printed.
Sartre's emphasis on the humanist values in the early works of Marx led to a dispute with a leading leftist intellectual in France in the 1960s, Louis Althusser, who claimed that the ideas of the young Marx were decisively superseded by the " scientific " system of the later Marx.
Into the 19th century, a system prevailed of dividing the land into prazos ( large agricultural estates ) which the natives cultivated for the benefit of the European leaseholders, who were also tax-collector for each district and claimed the tax either in labour or produce, a system that kept the sharecropping farmers in a state of serfdom.
Max Weber claimed the change that developed modern society and nations is the result of the rise of a charismatic leader to power in a society who creates a new tradition or a rational-legal system that establishes the supreme authority of the state.
It was also claimed that this system was more consistent with the Melanesian style of government, however this was quickly undermined by opposition to the 1970 constitution and the committee system by elected members of the council.
It is often claimed that Linear Elamite is a syllabic writing system derived from Proto-Elamite, although this cannot be proven.
Initially it was claimed by David Cameron that Adams had accepted the title but Downing Street has since apologised for this and Adams has publicly rejected the title stating, " I have had no truck whatsoever with these antiquated and quite bizarre aspects of the British parliamentary system ".
Powell claimed the Lords derived their authority not from a strict hereditary system but from its prescriptive nature: " It has long been so, and it works ".
The next year, twenty-fifth anniversary of Powell's " Rivers of Blood " speech, Powell wrote an article for The Times, in which he claimed the concentration of immigrant communities in inner cities would lead to " communalism ", which would have grave effects on the electoral system: " communalism and democracy, as the experience of India demonstrates, are incompatible ".
In the United States, Choudhury has claimed and been aggressive in enforcing broad copyrights in most aspects of the practice, teaching, and business of the system.

1.027 seconds.