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.
| Identifer | oai:union.ndltd.org:unt.edu/info:ark/67531/metadc277922 |
| Date | 05 1900 |
| Creators | Munoz, Ricardo A. (Ricardo Alberto) |
| Contributors | Yang, Chao-Chih, Jacob, Roy Thomas, Shahrokhi, Farhad M., Pavur, Robert J., Vlach, Frank |
| Publisher | University of North Texas |
| Source Sets | University of North Texas |
| Language | English |
| Detected Language | English |
| Type | Thesis or Dissertation |
| Format | v, 95 leaves : ill., Text |
| Rights | Public, Copyright, Copyright is held by the author, unless otherwise noted. All rights reserved., Munoz, Ricardo A. (Ricardo Alberto) |
Page generated in 0.0018 seconds