Some logics of belief and disbelief

Details Some logics of belief and disbelief Some logics of belief and disbelief

2002-07-10

arxiv.org/abs/cs/0207037v1

Computer Science

Artificial Intelligence

Scientific paper

The introduction of explicit notions of rejection, or disbelief, into logics for knowledge representation can be justified in a number of ways. Motivations range from the need for versions of negation weaker than classical negation, to the explicit recording of classic belief contraction operations in the area of belief change, and the additional levels of expressivity obtained from an extended version of belief change which includes disbelief contraction. In this paper we present four logics of disbelief which address some or all of these intuitions. Soundness and completeness results are supplied and the logics are compared with respect to applicability and utility.

Affiliated with

Also associated with

No associations

Rating

Some logics of belief and disbelief does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Some logics of belief and disbelief, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Some logics of belief and disbelief will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-477916