Learn More
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate that inherent features of stable model semantics naturally lead to a logic programming system that offers an interesting alternative to more traditional logic programming styles of(More)
Autoepistemic logic is one of the principal modes of nonmonotonicreasoning. It unifies several other modes of nonmonotonic reasoning andhas important application in logic programming. In the paper, a theoryof autoepistemic logic is developed. This paper starts with a briefsurvey of some of the previously known results. Then, the nature ofnonmonotonicity is(More)
In this paper, we consider the question of skeptical reasoning for an important nonmonotonic reasoning system — the autoepistemic logic of Moore. Autoepistemic logic is a method of reasoning which assigns to a set of formulas the collection of theories called stable expansions. A naive method to perform skeptical autoepistemic reasoning — deciding whether a(More)
In this paper we study fixpoints of operators on lattices and bilattices in a systematic and principled way. The key concept is that of an approximating operator, a monotone operator on the product bilattice, which gives approximate information on the original operator in an intuitive and well-defined way. With any given approximating operator our theory(More)
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general semantic approach to autoepistemic and default logics that is based on the notion of a belief pair and that exploits the lattice structure of the collection of all belief pairs. For(More)
1 Statement of problems and results In this paper we investigate and solve the problem classifying the Tur-ing complexity of stable models of finite and recursive predicate logic programs. Gelfond-Lifschitz [7] introduced the concept of a stable model M of a Predicate Logic Program P. Here we show that, up to a recursive 1-1 coding, the set of all stable(More)