Inference Graphs: A New Kind of Hybrid Reasoning System
Schlegel, Daniel R. (University at Buffalo) | Shapiro, Stuart C. (University at Buffalo)
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.
Jul-14-2014
- Country:
- Europe > Switzerland (0.05)
- North America > United States
- New York > Erie County
- Buffalo (0.05)
- California > San Mateo County
- Menlo Park (0.05)
- New York > Erie County
- Technology: