Latest YouTube Video

Thursday, March 31, 2016

A New Approach for Revising Logic Programs. (arXiv:1603.09465v1 [cs.AI])

Belief revision has been studied mainly with respect to background logics that are monotonic in character. In this paper we study belief revision when the underlying logic is non-monotonic instead--an inherently interesting problem that is under explored. In particular, we will focus on the revision of a body of beliefs that is represented as a logic program under the answer set semantics, while the new information is also similarly represented as a logic program. Our approach is driven by the observation that unlike in a monotonic setting where, when necessary, consistency in a revised body of beliefs is maintained by jettisoning some old beliefs, in a non-monotonic setting consistency can be restored by adding new beliefs as well. We will define a syntactic revision function and subsequently provide representation theorem for characterising it.

Donate to arXiv



from cs.AI updates on arXiv.org http://ift.tt/1pOUDom
via IFTTT

No comments: