Logical Formalizations of Commonsense Reasoning: A Survey
@article{Davis2017LogicalFO,
title={Logical Formalizations of Commonsense Reasoning: A Survey},
author={Ernest Davis},
journal={J. Artif. Intell. Res.},
year={2017},
volume={59},
pages={651-723}
}Commonsense reasoning is in principle a central problem in artificial intelligence, but it is a very difficult one. One approach that has been pursued since the earliest days of the field has been to encode commonsense knowledge as statements in a logic-based representation language and to implement commonsense reasoning as some form of logical inference. This paper surveys the use of logic-based representations of commonsense knowledge in artificial intelligence research.
Figures and Tables from this paper
34 Citations
AUTOMATION OF COMMONSENSE REASONING: A STUDY ON FEASIBLE KNOWLEDGE REPRESENTATION TECHNIQUES
- Computer Science
- 2017
A feasibility study of necessary knowledge representation techniques used in commonsense reasoning study is presented, considering some of the major representation techniques which is the main point of discussion of this paper.
Preliminary Notions of Arguments from Commonsense Knowledge
- Computer Science, PhilosophySETN
- 2020
Preliminary work is presented on how an argumentation framework can explicitly model commonsense knowledge, both at a logically structured and at an abstract level.
Commonsense Reasoning for Natural Language Understanding: A Survey of Benchmarks, Resources, and Approaches
- Computer ScienceArXiv
- 2019
This paper aims to provide an overview of existing tasks and benchmarks, knowledge resources, and learning and inference approaches toward commonsense reasoning for natural language understanding to support a better understanding of the state of the art, its limitations, and future challenges.
Machine Reasoning Explainability
- Computer ScienceArXiv
- 2020
This paper aims to provide a selective overview of MR explainability techniques and studies in hopes that insights from this long track of research will complement well the current XAI landscape.
Acquiring and Modelling Abstract Commonsense Knowledge via Conceptualization
- Computer ScienceArXiv
- 2022
This work thoroughly study the possible role of conceptualization in commonsense reasoning, formulates a framework to replicate human conceptual induction from acquiring abstract knowledge about abstract concepts, and develops tools for contextualization on ATOMIC, a large-scale human annotated CKG.
The Internal Reasoning of Robots
- Philosophy, Computer ScienceCOMMONSENSE
- 2017
It is argued for the value of examining the internal processes that robots might actually use to draw inferences in a timely way in a dynamic world and a nonstandard internally-evolving notion of time seems to be the key that unlocks other tools.
Commonsense reasoning, commonsense knowledge, and the SP theory of intelligence
- Environmental ScienceArXiv
- 2016
Why a fifth CSRK problem -- modelling how a chef may crack an egg into a bowl -- is beyond the capabilities of the SP System as it is now and how those deficiencies may be overcome via planned developments of the system.
Commonsense Reasoning for Natural Language Processing
- Computer ScienceACL
- 2020
This tutorial organizes this tutorial to provide researchers with the critical foundations and recent advances in commonsense representation and reasoning, in the hopes of casting a brighter light on this promising area of future research.
Improving Unsupervised Commonsense Reasoning Using Knowledge-Enabled Natural Language Inference
- Computer ScienceEMNLP
- 2021
This work shows the effectiveness of using a common framework, Natural Language Inference (NLI), to solve diverse commonsense reasoning tasks, by leveraging transfer learning from large NLI datasets, and injecting crucial knowledge from commonsense sources such as ATOMIC 2020 and ConceptNet.
Diagnosing the First-Order Logical Reasoning Ability Through LogicNLI
- Computer ScienceEMNLP
- 2021
A diagnostic method for first-order logic (FOL) reasoning with a new proposed benchmark, LogicNLI, which effectively disentangles the target FOL reasoning from commonsense inference and can be used to diagnose LMs from four perspectives: accuracy, robustness, generalization, and interpretability.
References
SHOWING 1-10 OF 174 REFERENCES
The Role of Logic in Knowledge Representation and Commonsense Reasoning
- PhilosophyAAAI
- 1982
The experiments of the late 1960s on problem-solving by theorem-proving did not show that the use of logic and deduction in AI systems was necessarily inefficient, but rather that what was needed was better control of the deduction process, combined with more attention to the computational properties of axioms.
Representations of commonsense knowledge
- EducationnotThenot Morgan Kaufmann series in representation and reasoning
- 1990
Commonsense reasoning about containers using radically incomplete information
- Computer ScienceArtif. Intell.
- 2017
Commonsense reasoning and commonsense knowledge in artificial intelligence
- MedicineCommun. ACM
- 2015
AI has seen great advances of many kinds recently, but there is one critical area where progress has been extremely slow: ordinary commonsense.
SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE
- Philosophy, Computer Science
- 1981
Procedural knowledge
- Computer ScienceProceedings of the IEEE
- 1986
A formalism is presented for representing commonsense knowledge using the notion of process and it is shown how this knowledge can be used to achieve particular goals or to form intentions regarding their achievement.
A Temporal Logic for Reasoning About Processes and Plans
- PhilosophyCogn. Sci.
- 1982
A common disclaimer by an AI author is that he has neglected temporal considerations to avoid complication; the implication is nearly made that adding a temporal dimension to the research would be a familiar but tedious exercise that would obscure the new material presented by the author.