Degree Level

Using Normal Deduction Graphs in Common Sense Reasoning (open access)

Using Normal Deduction Graphs in Common Sense Reasoning

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)
System: The UNT Digital Library