Generalized Chart Algorithm: An Efficient Procedure for Cost-Based Abduction

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 the results of the preliminary experiments, which show how these features improve the computational efficiency of cost-based abduction.

• Type: Conference
• Year: 1994
• Where: ACL
• Authors: Yasuharu Den
• Keywords: ACL 1994, ACL 2007, Agenda Control Mechanism, Cost-based Abduction, Goal-driven Bottom-up Derivation