Using Normal Deduction Graphs in Common Sense Reasoning
Description:
This investigation proposes a powerful formalization of common sense knowledge based on function-free normal deduction graphs (NDGs) which form a powerful tool for deriving Horn and non-Horn clauses without functions. Such formalization allows common sense reasoning since it has the ability to handle not only negative but also incomplete information.
Date:
May 1992
Creator:
Munoz, Ricardo A. (Ricardo Alberto)