Reasoning about Conditional Beliefs for the Winograd Schema Challenge. Golovin, D., Claßen, J., & Schwering, C. In Proceedings of the Thirteenth International Symposium on Commonsense Reasoning (Commonsense 2017), 2017. CEUR-WS.org.
Reasoning about Conditional Beliefs for the Winograd Schema Challenge [pdf]Paper  abstract   bibtex   
The Winograd Schema Challenge has been proposed as an alternative to the Turing Test for measuring a machine's intelligence by letting it solve difficult pronoun resolution problems that cannot be tackled by statistical analysis alone. While many solutions so far are based on machine learning and natural language processing, we believe that a knowledge-based approach is better suited. In particular, we propose to employ a logic for conditional beliefs that is capable of dealing with incomplete or even inconsistent information (which commonsense knowledge often is). It does so by formalising the observation that humans often reason by picturing different contingencies of what the world could be like, and then choose to believe what is thought to be most plausible. We discuss and evaluate an implementation where relevant commonsense background information is obtained from the ConceptNet semantic network, translated into our formalism, and processed by a reasoner for our logic.

Downloads: 0