Inference Graphs: A New Kind of Hybrid Reasoning System

Authors

  • Daniel Schlegel University at Buffalo
  • Stuart Shapiro University at Buffalo

DOI:

https://doi.org/10.1609/aaai.v28i1.9104

Keywords:

Inference Graphs, Automated Reasoning, Logic, L_A, Logic of Arbitrary and Indefinite Objects

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.

AAAI 2014 Proceedings Cover

Downloads

Published

2014-06-21

How to Cite

Schlegel, D., & Shapiro, S. (2014). Inference Graphs: A New Kind of Hybrid Reasoning System. Proceedings of the AAAI Conference on Artificial Intelligence, 28(1). https://doi.org/10.1609/aaai.v28i1.9104

Issue

Vol. 28 No. 1 (2014): Twenty-Eighth AAAI Conference on Artificial Intelligence

Section

Student Abstract Track