Abstract
Our purpose is to develop a modular systematic method of representing nonmonotonic reasoning problems with the Well Founded Semantics of extended logic programs augmented with eXplicit negation (WFSX), and augmented by its Contradiction Removal Semantics (CRSX) when needed. We show how to cast in the language of such logic programs forms of non-monotonic reasoning like defeasible reasoning and hypothetical reasoning, and apply them to different domains of knowledge representation, for instance taxonomic hierarchies and reasoning about actions. We then abstract a modular systematic method of representing non-monotonic problems in logic programming.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
