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

There are very few reasoners which combine natural deduc-tion 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 deduc-tion reasoning using concurrency. Evaluation of concurrency characteristics on a combination natural deduction and sub-sumption reasoning problem has shown linear speedup with the number of processors.