Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner

Authors

  • Daniel Schlegel University at Buffalo
  • Stuart Shapiro University at Buffalo

DOI:

https://doi.org/10.1609/aaai.v29i1.9229

Keywords:

Automated Reasoning, Inference Graphs, Subsumption, Natural Deduction, SNePS

Abstract

There are very few reasoners which combine natural deduction and subsumption reasoning, and there are none which do so while supporting concurrency. Inference Graphs are a graph-based inference mechanism using an expressive first-order logic, capable of subsumption and natural deduction reasoning using concurrency. Evaluation of concurrency characteristics on a combination natural deduction and subsumption reasoning problem has shown linear speedup with the number of processors.

AAAI 2015 Proceedings Cover

Downloads

Published

2015-02-10

How to Cite

Schlegel, D., & Shapiro, S. (2015). Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner. Proceedings of the AAAI Conference on Artificial Intelligence, 29(1). https://doi.org/10.1609/aaai.v29i1.9229

Issue

Vol. 29 No. 1 (2015): Twenty-Ninth AAAI Conference on Artificial Intelligence

Section

AAAI Technical Track: Cognitive Systems