Belief, Provability, and Logic Programs

摘要: The main goal of this paper is to establish a nonmonotonic epistemic logic eB with two modalities — provability and belief capable expressing comparing variety known semantics for extended programs, clarify their meaning. In particular we present here, the first time, embeddings into programs second kind negation under well-founded semantics, contrast them recent autoepistemic logics such stable models based semantics.