Tackling Benchmark Problems of Commonsense Reasoning

There is increasing interest in the field of automated commonsense reasoning to find real world benchmarks to challenge and to further develop reasoning systems. One interesting example is the Triangle Choice of Plausible Alternatives (Triangle-COPA), which is a set of problems presented in first-order logic. The setting of these problems stems from the famous Heider-Simmel film used in early experiments in social psychology. This paper illustrates with two logical approaches— abductive logic programming and deonitc logic—how these problems can be solved. Furthermore, we propose an idea of how to use background knowledge to support the reasoning process.

[1]  Gerhard Weikum,et al.  YAGO: A Large Ontology from Wikipedia and WordNet , 2008, J. Web Semant..

[2]  Andrew S. Gordon,et al.  One Hundred Challenge Problems for Logical Formalizations of Commonsense Psychology , 2015, AAAI Spring Symposia.

[3]  Kentaro Inui,et al.  ILP-based Inference for Cost-based Abduction on First-order Predicate Logic , 2013 .

[4]  Adam Pease,et al.  Towards a standard upper ontology , 2001, FOIS.

[5]  John McCarthy,et al.  Programs with common sense , 1960 .

[6]  F. Heider,et al.  An experimental study of apparent behavior , 1944 .

[7]  Hector J. Levesque,et al.  The Winograd Schema Challenge , 2011, AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.

[8]  Matthew Richardson,et al.  Markov logic networks , 2006, Machine Learning.

[9]  Zornitsa Kozareva,et al.  SemEval-2012 Task 7: Choice of Plausible Alternatives: An Evaluation of Commonsense Causal Reasoning , 2011, *SEMEVAL.

[10]  Erik T. Mueller,et al.  Watson: Beyond Jeopardy! , 2013, Artif. Intell..

[11]  David Pautler,et al.  Using modified incremental chart parsing to ascribe intentions to animated geometric figures , 2011, Behavior research methods.

[12]  Douglas B. Lenat,et al.  CYC: a large-scale investment in knowledge infrastructure , 1995, CACM.

[13]  R. Thibadeau.  Artificial Perception of Actions , 1986 .

[14]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[15]  F. Heider.  The psychology of interpersonal relations , 1958 .

[16]  Jerry R. Hobbs,et al.  Implementing Weighted Abduction in Markov Logic , 2011, IWCS.

[17]  Franz Kutschera,et al.  Einführung in die Logik der Normen, Werte und Entscheidungen , 1973 .

[18]  Andrei Voronkov,et al.  Sine Qua Non for Large Theory Reasoning , 2011, CADE.

[19]  Jerry R. Hobbs,et al.  Abduction for Discourse Interpretation: A Probabilistic Framework , 2013, JSSP.

[20]  Peter Baumgartner,et al.  Hyper Tableaux with Equality , 2007, CADE.

[21]  Dov M. Gabbay,et al.  Handbook of deontic logic and normative systems , 2013 .

[22]  David L. Poole,et al.  Representing Bayesian Networks Within Probabilistic Horn Abduction , 1991, UAI.

[23]  Ulrich Furbach,et al.  Deontic Logic for Human Reasoning , 2014, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation.