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
35 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.
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.
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.
Information to Wisdom: Commonsense Knowledge Extraction and Compilation
- Computer ScienceWSDM
- 2021
This tutorial presents state-of-the-art methodologies towards the compilation and consolidation of commonsense knowledge (CSK), covering text-extraction-based, multi-modal and Transformer-based techniques, with special focus on the issues of web search and ranking, as of relevance to the WSDM community.
A Logical Model for Supporting Social Commonsense Knowledge Acquisition
- Computer ScienceArXiv
- 2019
This paper identifies and formalizes three basic types of SCK based on first-order theory and provides a four level structure to identify and formalize the intrinsic information of social contexts, roles and players and depicts the way of excavating the intrinsic Information of social context and roles from the embedded smaller and simpler contexts.
Tiered Reasoning for Intuitive Physics: Toward Verifiable Commonsense Language Understanding
- Computer ScienceEMNLP
- 2021
The empirical results show that while large LMs can achieve high end performance, they struggle to support their predictions with valid supporting evidence, and this paper introduces Tiered Reasoning for Intuitive Physics ( TRIP), a novel commonsense reasoning dataset with dense annotations that enable multi-tiered evaluation of machines’ reasoning process.
Understanding Enthymemes in Deductive Argumentation Using Semantic Distance Measures
- PhilosophyAAAI
- 2022
An argument can be regarded as some premises and a claim following from those premises. Normally, arguments exchanged by human agents are enthymemes, which generally means that some premises are…
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.