The `Ah Ha!' Moment : When Possible, Answering the Currently Unanswerable using Focused Reasoning

Daniel SchlegelUniversity at Buffalo, Buffalo, NY, USA
Stuart ShapiroUniversity at Buffalo, Buffalo, NY, USA

Abstract

Focused reasoning is a method for continuing a specific inference task as soon as rules or facts which may assist in the reasoning are added to the knowledge base without repeating completed inference, re-posing queries, or performing unnecessary inference. Determining if focused reasoning should commence uses very few computational resources above those used normally to add a term to a knowledge base. We have developed three focused reasoning procedures -- backward-in-forward, forward, and forward-in-backward -- built upon Inference Graphs, a graph-based concurrent reasoning mechanism.

Files

The `Ah Ha!' Moment : When Possible, Answering the Currently Unanswerable using Focused Reasoning (813 KB)



Back to Table of Contents