Using Extended Logic Programs to Formalize Commonsense Reasoning
Description:
In this dissertation, we investigate how commonsense reasoning can be formalized by using extended logic programs. In this investigation, we first use extended logic programs to formalize inheritance hierarchies with exceptions by adopting McCarthy's simple abnormality formalism to express uncertain knowledge. In our representation, not only credulous reasoning can be performed but also the ambiguity-blocking inheritance and the ambiguity-propagating inheritance in skeptical reasoning are simulā¦
more
Date:
May 1992
Creator:
Horng, Wen-Bing
Partner:
UNT Libraries