ML Anthology

Inference Graphs: A New Kind of Hybrid Reasoning System

Daniel R. Schlegel, Stuart C. Shapiro
AAAI 2014 pp. 3134-3135
doi:10.1609/AAAI.V28I1.9104 /aaai/2014/schlegel2014aaai-inference/

Abstract

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.

PDF AAAI Semantic Scholar

Cite

Text

Schlegel and Shapiro. "Inference Graphs: A New Kind of Hybrid Reasoning System." AAAI Conference on Artificial Intelligence, 2014. doi:10.1609/AAAI.V28I1.9104

Markdown

[Schlegel and Shapiro. "Inference Graphs: A New Kind of Hybrid Reasoning System." AAAI Conference on Artificial Intelligence, 2014.](https://mlanthology.org/aaai/2014/schlegel2014aaai-inference/) doi:10.1609/AAAI.V28I1.9104

BibTeX

@inproceedings{schlegel2014aaai-inference,
  title     = {{Inference Graphs: A New Kind of Hybrid Reasoning System}},
  author    = {Schlegel, Daniel R. and Shapiro, Stuart C.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2014},
  pages     = {3134-3135},
  doi       = {10.1609/AAAI.V28I1.9104},
  url       = {https://mlanthology.org/aaai/2014/schlegel2014aaai-inference/}
}