Formalized Common Knowledge
|
Formalized Common Knowledge |
 |
||||||
Cyc ATP Challenges at CASC-22!Cycorp is pleased to announce the Cyc ATP Challenges at CASC-22! BackgroundThe Cyc knowledge base comprises hundreds of thousands of concepts, interrelated through millions of formal assertions representing a broad scope of common-sense knowledge. As such, Cyc provides a foundation for semantically-aware solutions in a wide range of domains. OpenCyc is an open source ontology, derived from the full Cyc knowledge base, that contains virtually all of the Cyc concepts but only a subset of the assertions about each concept. Since CASC-J4, the CASC competition includes problems derived from OpenCyc knowledge base content and answerable queries over that content relying on inference chains of interest to the domain of common-sense reasoning. A detailed description of the problem set can be found here under the section "The Scaling Challenge Problem Set". The problems relevant to the Cyc ATP Challenges constitute the CYC category under the LTB division of the competition. PrizesA cash prize of 100 euros will be announced and awarded at the end of the competition to each winner of two related challenges:(1) CYC Completeness ChallengeThe CYC Completeness Challenge rewards pragmatic completeness over the CYC category of the LBT division. The winner will be the prover that can successfully solve the most CYC problems during the competition. Ties (if any) will be broken based on the median time spent by the prover on its answerable problems. (2) CYC Efficiency ChallengeThe CYC Efficiency Challenge rewards both processing efficiency and pragmatic completeness over the CYC category. The winner will be the prover that obtains the highest CASC efficiency measure over the CYC category (with the added proviso that the winner must solve at least half the number of problems solved by the winner of the Completeness Challenge).
|
