Tackling Benchmark Problems of Commonsense Reasoning.
Ulrich Furbach, Andrew S. Gordon, Claudia Schon · 2015
Abstract. There is increasing interest in the field of automated com-monsense reasoning to find real world benchmarks to challenge and to further develop reasoning systems. One interesting example is the Tri-angle 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.