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

AAAI 2015 pp. 579-585

doi:10.1609/AAAI.V29I1.9229 /aaai/2015/schlegel2015aaai-inference/

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.

PDF AAAI Semantic Scholar

Cite

Text

Schlegel and Shapiro. "Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner." AAAI Conference on Artificial Intelligence, 2015. doi:10.1609/AAAI.V29I1.9229

Markdown

[Schlegel and Shapiro. "Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner." AAAI Conference on Artificial Intelligence, 2015.](https://mlanthology.org/aaai/2015/schlegel2015aaai-inference/) doi:10.1609/AAAI.V29I1.9229

BibTeX

@inproceedings{schlegel2015aaai-inference,
  title     = {{Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner}},
  author    = {Schlegel, Daniel R. and Shapiro, Stuart C.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {579-585},
  doi       = {10.1609/AAAI.V29I1.9229},
  url       = {https://mlanthology.org/aaai/2015/schlegel2015aaai-inference/}
}