Commonsense Reasoning Meets Theorem Proving

The area of commonsense reasoning aims at the creation of systems able to simulate the human way of rational thinking. This paper describes the use of automated reasoning methods for tackling commonsense reasoning benchmarks. For this we use a benchmark suite introduced in literature. Our goal is to use general purpose background knowledge without domain specific hand coding of axioms, such that the approach and the result can be used as well for other domains in mathematics and science. Furthermore, we discuss the modeling of normative statements in commonsense reasoning and in robot ethics (This paper is an extended version of the informal proceedings [9] and [10]).

[1]  David A. Ferrucci IBM's Watson/DeepQA , 2011, SIGARCH Comput. Archit. News.

[2]  Andrew S. Gordon,et al.  Commonsense Interpretation of Triangle Behavior , 2016, AAAI.

[3]  Johan Bos,et al.  Linguistically Motivated Large-Scale NLP with C&C and Boxer , 2007, ACL.

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

[5]  Simone Paolo Ponzetto,et al.  BabelNet: The automatic construction, evaluation and application of a wide-coverage multilingual semantic network , 2012, Artif. Intell..

[6]  Ulrich Furbach,et al.  Tackling Benchmark Problems of Commonsense Reasoning , 2015, Bridging@CADE.

[7]  Ian H. Witten,et al.  The WEKA data mining software: an update , 2009, SKDD.

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

[9]  Cezary Kaliszyk,et al.  System Description: E.T. 0.1 , 2015, CADE.

[10]  Jerald Podair Grand Illusion: The Untold Story of Rudy Giuliani and 9/11. By Wayne Barrett and Dan Collins. (New York, N.Y.: HarperCollins, 2006. Pp.viii, 390. $25.95.) , 2008 .

[11]  Ulrich Furbach,et al.  An application of automated reasoning in natural language question answering , 2010, AI Commun..

[12]  Hugo Liu,et al.  ConceptNet — A Practical Commonsense Reasoning Tool-Kit , 2004 .

[13]  George A. Miller,et al.  WordNet: A Lexical Database for English , 1995, HLT.

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

[15]  Selmer Bringsjord,et al.  Toward a General Logicist Methodology for Engineering Ethically Correct Robots , 2006, IEEE Intelligent Systems.

[16]  R. Ørstavik,et al.  Person of the year. , 2017, Tidsskrift for den Norske laegeforening : tidsskrift for praktisk medicin, ny raekke.

[17]  Yuko Murakami,et al.  Utilitarian Deontic Logic , 2004, Advances in Modal Logic.

[18]  Claudia Schon,et al.  System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic , 2013, CADE.

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

[20]  Anna Esposito,et al.  Biometric ID Management and Multimodal Communication, Joint COST 2101 and 2102 International Conference, BioID_MultiComm 2009, Madrid, Spain, September 16-18, 2009. Proceedings , 2009, COST 2101/2102 Conference.

[21]  Fabien L. Gandon,et al.  Building a General Knowledge Base of Physical Objects for Robots , 2016, ESWC.

[22]  Ulrich Furbach,et al.  Automated Reasoning in the Wild , 2015, CADE.

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

[24]  Werner Ceusters,et al.  The Emotion Ontology: Enabling Interdisciplinary Research in the Affective Sciences , 2011, CONTEXT.

[25]  Kenny R. Coventry,et al.  Modeling and Using Context - 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings , 2011, CONTEXT.

[26]  Patrick Brézillon,et al.  Modeling and Using Context , 1999, Lecture Notes in Computer Science.

[27]  Marco Grassi Developing HEO Human Emotions Ontology , 2009, COST 2101/2102 Conference.

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

[29]  Roberto Navigli,et al.  Entity Linking meets Word Sense Disambiguation: a Unified Approach , 2014, TACL.

[30]  Johan Bos,et al.  Wide-Coverage Semantic Analysis with Boxer , 2008, STEP.

[31]  Ulrich Furbach,et al.  Logic-Based Question Answering , 2010, KI - Künstliche Intelligenz.