Tackling Benchmark Problems of Commonsense Reasoning
Abstract
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 2015
- Accession Number
- AD1159730
Entities
People
- Andrew S. Gordon
- Claudia Schon
- Ulrich Furbach
Organizations
- University of Southern California