Negation in Cognitive Reasoning

Negation is both an operation in formal logic and in natural language by which a proposition is replaced by one stating the opposite, as by the addition of “not” or another negation cue. Treating negation in an adequate way is required for cognitive reasoning, which comprises commonsense reasoning and text comprehension. One task of cognitive reasoning is answering questions given by sentences in natural language. There are tools based on discourse representation theory to convert sentences automatically into a formal logical representation. However, since the knowledge in logical databases in practice always is incomplete, forward reasoning of automated reasoning systems alone does not suffice to derive answers to questions because, instead of complete proofs, often only partial positive knowledge can be derived. In consequence, negative information from negated expressions does not help in this context, because only negative knowledge can be derived from this. Therefore, we aim at reducing syntactic negation, strictly speaking, the negated event or property, to its inverse. This lays the basis of cognitive reasoning employing both logic and machine learning for general question answering. In this paper, we describe an effective procedure to determine the negated event or property in order to replace it with it inverse and our overall system for cognitive reasoning. We demonstrate the procedure with examples and evaluate it with several benchmarks.

[1]  Roser Morante,et al.  *SEM 2012 Shared Task: Resolving the Scope and Focus of Negation , 2012, *SEMEVAL.

[2]  Frieder Stolzenburg,et al.  The CoRg Project: Cognitive Reasoning , 2019, KI - Künstliche Intelligenz.

[3]  Benno Stein,et al.  SemEval-2018 Task 12: The Argument Reasoning Comprehension Task , 2018, *SEMEVAL.

[4]  Barbara H. Partee,et al.  Montague Grammar , 1997, Handbook of Logic and Language.

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

[6]  Frieder Stolzenburg,et al.  Commonsense Reasoning Using Theorem Proving and Machine Learning , 2019, CD-MAKE.

[7]  Roser Morante,et al.  ConanDoyle-neg: Annotation of negation cues and their scope in Conan Doyle stories , 2012, LREC.

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

[9]  Nathanael Chambers,et al.  LSDSem 2017 Shared Task: The Story Cloze Test , 2017, LSDSem@EACL.

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

[11]  Johan Bos,et al.  UGroningen: Negation detection with Discourse Representation Structures , 2012, *SEM@NAACL-HLT.

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

[13]  Frieder Stolzenburg,et al.  A series of revisions of David Poole’s specificity , 2016, Annals of Mathematics and Artificial Intelligence.

[14]  Guillermo Ricardo Simari,et al.  A Mathematical Treatment of Defeasible Reasoning and its Implementation , 1992, Artif. Intell..

[15]  E. Davis,et al.  Common Sense Reasoning , 2014, Encyclopedia of Social Network Analysis and Mining.

[16]  Ming-Wei Chang,et al.  BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding , 2019, NAACL.

[17]  Alec Radford,et al.  Improving Language Understanding by Generative Pre-Training , 2018 .

[18]  Hung-Yu Kao,et al.  Probing Neural Network Comprehension of Natural Language Arguments , 2019, ACL.

[19]  Peter Baumgartner,et al.  The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation , 2010, J. Log. Comput..

[20]  Grigoris Antoniou,et al.  A tutorial on default logics , 1999, CSUR.

[21]  Catherine Havasi,et al.  ConceptNet 5.5: An Open Multilingual Graph of General Knowledge , 2016, AAAI.

[22]  Uwe Reyle,et al.  From Discourse to Logic - Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory , 1993, Studies in linguistics and philosophy.

[23]  Javier Álvez,et al.  Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning , 2012, Int. J. Semantic Web Inf. Syst..

[24]  Luis Alfonso Ureña López,et al.  Corpora Annotated with Negation: An Overview , 2020, CL.

[25]  Maite Taboada,et al.  The SFU Opinion and Comments Corpus: A Corpus for the Analysis of Online News Comments , 2019, Corpus pragmatics : international journal of corpus linguistics and pragmatics.

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

[27]  Elena Cabrio,et al.  KNEWS: Using Logical and Lexical Semantics to Extract Knowledge from Natural Language , 2016, ECAI 2016.