Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge. Issue 5 (September 2019)

• Record Type: Journal Article
• Authors: SHARMA, ARPIT
• Is Part Of: Theory and practice of logic programming. Volume 19:Issue 5/6(2019)
• Page Start: 1021
• Page End: 1037
• Publication Date: 2019-09
• Subjects: Answer Set Programming, -- Winograd Schema Challenge, -- Commonsense Reasoning, -- Graph-Subgraph Isomorphism; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068419000334
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: The Winograd Schema Challenge (WSC) is a natural language understanding task proposed as an alternative to the Turing test in 2011. In this work we attempt to solve WSC problems by reasoning with additional knowledge. By using an approach built on top of graph-subgraph isomorphism encoded using Answer Set Programming (ASP) we were able to handle 240 out of 291 WSC problems. The ASP encoding allows us to add additional constraints in an elaboration tolerant manner. In the process we present a graph based representation of WSC problems as well as relevant commonsense knowledge.