Reasoning about Plausibility for the Winograd Schema Challenge. Golovin, D. Master's thesis, Department of Computer Science, RWTH Aachen University, April, 2017. abstract bibtex The Winograd Schema Challenge (WSC) has been proposed as an alternative to the Turing Test for measuring a machine's intelligence by letting it solve pronoun resolution problems that cannot be tackled by statistical analysis alone, but require commonsense, everyday background knowledge and some form of deeper "understanding" of the question. WSCs are thus hard to solve for machines, but easy for humans. Many solutions so far are based on machine learning and natural language processing, and achieve results that are hardly better than guessing. Moreover, most knowledge-based approaches to the WSC have been purely theoretical. The goal of this thesis was to develop and implement a knowledge-based WSC solver. In particular, a logic of conditional beliefs called BO is employed 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. Relevant commonsense background information furthermore is obtained from the ConceptNet semantic network and translated into BO, and processed by the Limbo reasoner.
@thesis{Golovin2017,
author = {Denis Golovin},
title = {Reasoning about Plausibility for the {Winograd}
Schema Challenge},
school = {Department of Computer Science, RWTH Aachen
University},
year = {2017},
month = apr,
advisor = {Cla{\ss}en, Jens},
abstract = {The Winograd Schema Challenge (WSC) has been proposed
as an alternative to the Turing Test for measuring a
machine's intelligence by letting it solve pronoun
resolution problems that cannot be tackled by
statistical analysis alone, but require commonsense,
everyday background knowledge and some form of
deeper "understanding" of the question. WSCs are
thus hard to solve for machines, but easy for
humans. Many solutions so far are based on machine
learning and natural language processing, and
achieve results that are hardly better than
guessing. Moreover, most knowledge-based approaches
to the WSC have been purely theoretical. The goal of
this thesis was to develop and implement a
knowledge-based WSC solver. In particular, a logic
of conditional beliefs called BO is employed 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. Relevant commonsense background
information furthermore is obtained from the
ConceptNet semantic network and translated into BO,
and processed by the Limbo reasoner.},
type = {mathesis}
}
Downloads: 0
{"_id":"rgyDbQNdiFGy7wvnQ","bibbaseid":"golovin-reasoningaboutplausibilityforthewinogradschemachallenge-2017","author_short":["Golovin, D."],"bibdata":{"bibtype":"thesis","type":"mathesis","author":[{"firstnames":["Denis"],"propositions":[],"lastnames":["Golovin"],"suffixes":[]}],"title":"Reasoning about Plausibility for the Winograd Schema Challenge","school":"Department of Computer Science, RWTH Aachen University","year":"2017","month":"April","advisor":"Claßen, Jens","abstract":"The Winograd Schema Challenge (WSC) has been proposed as an alternative to the Turing Test for measuring a machine's intelligence by letting it solve pronoun resolution problems that cannot be tackled by statistical analysis alone, but require commonsense, everyday background knowledge and some form of deeper \"understanding\" of the question. WSCs are thus hard to solve for machines, but easy for humans. Many solutions so far are based on machine learning and natural language processing, and achieve results that are hardly better than guessing. Moreover, most knowledge-based approaches to the WSC have been purely theoretical. The goal of this thesis was to develop and implement a knowledge-based WSC solver. In particular, a logic of conditional beliefs called BO is employed 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. Relevant commonsense background information furthermore is obtained from the ConceptNet semantic network and translated into BO, and processed by the Limbo reasoner.","bibtex":"@thesis{Golovin2017,\n author = {Denis Golovin},\n title = {Reasoning about Plausibility for the {Winograd}\n Schema Challenge},\n school = {Department of Computer Science, RWTH Aachen\n University},\n year = {2017},\n month = apr,\n advisor = {Cla{\\ss}en, Jens},\n abstract = {The Winograd Schema Challenge (WSC) has been proposed\n as an alternative to the Turing Test for measuring a\n machine's intelligence by letting it solve pronoun\n resolution problems that cannot be tackled by\n statistical analysis alone, but require commonsense,\n everyday background knowledge and some form of\n deeper \"understanding\" of the question. WSCs are\n thus hard to solve for machines, but easy for\n humans. Many solutions so far are based on machine\n learning and natural language processing, and\n achieve results that are hardly better than\n guessing. Moreover, most knowledge-based approaches\n to the WSC have been purely theoretical. The goal of\n this thesis was to develop and implement a\n knowledge-based WSC solver. In particular, a logic\n of conditional beliefs called BO is employed that is\n capable of dealing with incomplete or even\n inconsistent information (which commonsense\n knowledge often is). It does so by formalising the\n observation that humans often reason by picturing\n different contingencies of what the world could be\n like, and then choose to believe what is thought to\n be most plausible. Relevant commonsense background\n information furthermore is obtained from the\n ConceptNet semantic network and translated into BO,\n and processed by the Limbo reasoner.},\n type = {mathesis}\n}\n\n","author_short":["Golovin, D."],"key":"Golovin2017","id":"Golovin2017","bibbaseid":"golovin-reasoningaboutplausibilityforthewinogradschemachallenge-2017","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"thesis","biburl":"https://kbsg.rwth-aachen.de/files/kbsgweb.bib","dataSources":["dqRQPSg6Hy3ZXQg7z"],"keywords":[],"search_terms":["reasoning","plausibility","winograd","schema","challenge","golovin"],"title":"Reasoning about Plausibility for the Winograd Schema Challenge","year":2017}