Corpus ID: 214713917

Extending Automated Deduction for Commonsense Reasoning

@article{Tammet2020ExtendingAD,
  title={Extending Automated Deduction for Commonsense Reasoning},
  author={T. Tammet},
  journal={ArXiv},
  year={2020},
  volume={abs/2003.13159}
}
  • T. Tammet
  • Published 2020
  • Computer Science
  • ArXiv
  • Commonsense reasoning has long been considered as one of the holy grails of artificial intelligence. Most of the recent progress in the field has been achieved by novel machine learning algorithms for natural language processing. However, without incorporating logical reasoning, these algorithms remain arguably shallow. With some notable exceptions, developers of practical automated logic-based reasoners have mostly avoided focusing on the problem. The paper argues that the methods and… CONTINUE READING

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 52 REFERENCES
    A Logic for Default Reasoning
    • 4,186
    • PDF
    BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding
    • 10,032
    • Highly Influential
    • PDF
    Commonsense Reasoning
    • 199
    • PDF
    Markov logic networks
    • 2,519
    • PDF
    CYC: Using Common Sense Knowledge to Overcome Brittleness and Knowledge Acquisition Bottlenecks
    • 329
    • PDF
    Hammering towards QED
    • 98
    Sine Qua Non for Large Theory Reasoning
    • 123
    Adding Priorities and Specificity to Default Logic
    • 149
    Commonsense Reasoning Meets Theorem Proving
    • 10
    • PDF