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}
}
  • E. Davis
  • Published 25 August 2017
  • Computer Science
  • J. Artif. Intell. Res.
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. 
AUTOMATION OF COMMONSENSE REASONING: A STUDY ON FEASIBLE KNOWLEDGE REPRESENTATION TECHNIQUES
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
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
TLDR
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
  • E. Davis
  • Education
    notThenot Morgan Kaufmann series in representation and reasoning
  • 1990
Commonsense reasoning and commonsense knowledge in artificial intelligence
AI has seen great advances of many kinds recently, but there is one critical area where progress has been extremely slow: ordinary commonsense.
Probabilistic Logic
  • N. Nilsson
  • Philosophy, Computer Science
    Artif. Intell.
  • 1986
SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE
Procedural knowledge
TLDR
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
TLDR
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.
Semantical Considerations on Nonmonotonic Logic
Nonmonotonic Logic and Temporal Projection
...
...