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.
Machine Reasoning Explainability
TLDR
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
TLDR
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
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.
Commonsense Reasoning for Natural Language Processing
TLDR
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
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.
Diagnosing the First-Order Logical Reasoning Ability Through LogicNLI
TLDR
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
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 Syntactic Theory of Belief and Action
  • A. Haas
  • Philosophy
    Artif. Intell.
  • 1986
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
...
...