Logic programming and nonmonotonic reasoning
For several years default logic and logic programming have been developed by disjoint groups of researchers and there have been few interactions between these two fields. Only quite recently, in the late 1980s, it was realized that the way in which logic programming interprets negation leads to nonmonotonic systems. Subsequently, connections between “negation as failure to prove” principle of logic programming and default and autoepistemic logics were established.
KeywordsLogic Program Logic Programming Stable Model Atomic Formula Proof Scheme
Unable to display preview. Download preview PDF.