Return to search

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.

Identiferoai:union.ndltd.org:unt.edu/info:ark/67531/metadc277922
Date05 1900
CreatorsMunoz, Ricardo A. (Ricardo Alberto)
ContributorsYang, Chao-Chih, Jacob, Roy Thomas, Shahrokhi, Farhad M., Pavur, Robert J., Vlach, Frank
PublisherUniversity of North Texas
Source SetsUniversity of North Texas
LanguageEnglish
Detected LanguageEnglish
TypeThesis or Dissertation
Formatv, 95 leaves : ill., Text
RightsPublic, Copyright, Copyright is held by the author, unless otherwise noted. All rights reserved., Munoz, Ricardo A. (Ricardo Alberto)

Page generated in 0.0017 seconds