Generalized chart algorithm

We present an efficient procedure for cost-based abduction, which is based on the idea of using chart parsers as proof procedures. We discuss in detail three features of our algorithm --- goal-driven bottom-up derivation, tabulation of the partial results, and agenda control mechanism --- and report... View More