Logic, Reasoning and Knowledge Representation
The Herbrand Award is a prize given by CADE Inc. to honour persons or groups for important contributions to the field of automated deduction. The prize is $1000.
The CADE ATP System Competition (CASC) is a yearly competition of fully automated theorem provers for classical first order logic associated with the CADE and IJCAR conferences. The competition was part of the Alan Turing Centenary Conference in 2012, with total prizes of 9000 GBP given by Google.
The SUMO prize is an annual prize for the best open source ontology extension of the Suggested Upper Merged Ontology (SUMO), a formal theory of terms and logical definitions describing the world. The prize is $3000.
The Hutter Prize for Lossless Compression of Human Knowledge is a cash prize which rewards compression improvements on a specific 100 MB English text file. The prize awards 500 euros for each one percent improvement. The organizers believe that text compression and AI are equivalent problems.
The Cyc TPTP Challenge is a competition to develop reasoning methods for the Cyc comprehensive ontology and database of everyday common sense knowledge. The prize is 100 euros for "each winner of two related challenges".
The Eternity II challenge was a constraint satisfaction problem very similar to the Tetravex game. The objective is to lay 256 tiles on a 16x16 grid while satisfying a number of constraints. The problem is known to be NP-complete. The prize was US$ 2,000,000. The competition ended in December 2010.
Read more about this topic: Competitions And Prizes In Artificial Intelligence
Famous quotes containing the words reasoning and/or knowledge:
“The information links are like nerves that pervade and help to animate the human organism. The sensors and monitors are analogous to the human senses that put us in touch with the world. Data bases correspond to memory; the information processors perform the function of human reasoning and comprehension. Once the postmodern infrastructure is reasonably integrated, it will greatly exceed human intelligence in reach, acuity, capacity, and precision.”
—Albert Borgman, U.S. educator, author. Crossing the Postmodern Divide, ch. 4, University of Chicago Press (1992)
“At no time in history ... have the people who are not fit for society had such a glorious opportunity to pretend that society is not fit for them. Knowledge of the slums is at present a passport to society—so much the parlor philanthropists have achieved—and all they have to do is to prove that they know their subject. It is an odd qualification to have pitched on; but gentlemen and ladies are always credulous, especially if you tell them that they are not doing their duty.”
—Katharine Fullerton Gerould (1879–1944)