Daniel Schlegel

AAAI Conference 2015 Conference Paper

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

• Daniel Schlegel
• Stuart Shapiro

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 Conference 2014 Conference Paper

Inference Graphs: A New Kind of Hybrid Reasoning System

• Daniel Schlegel
• Stuart Shapiro

Hybrid reasoners combine multiple types of reasoning, usually subsumption and Prolog-style resolution. We outline a system which combines natural deduction and subsumption reasoning using Inference Graphs implementing a Logic of Arbitrary and Indefinite Objects.

AAAI Conference 2013 Conference Paper

Concurrent Inference Graphs

• Daniel Schlegel

AAAI Conference 2013 Conference Paper

Concurrent Reasoning with Inference Graphs

• Daniel Schlegel
• Stuart Shapiro