The `Ah Ha!' Moment : When Possible, Answering the Currently Unanswerable using Focused Reasoning
Daniel R. Schlegel, Stuart C. Shapiro · eScholarship (California Digital Library) · 2014
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-inforward, forward, and forward-in-backward -built upon Inference Graphs, a graph-based concurrent reasoning mechanism.