AAAI Publications, Twenty-Ninth AAAI Conference on Artificial Intelligence

Font Size: 
Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner
Daniel R. Schlegel, Stuart C Shapiro

Last modified: 2015-02-10


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.


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

Full Text: PDF