Nonmonotonic inference operations

Details Nonmonotonic inference operations Nonmonotonic inference operations

2002-02-20

arxiv.org/abs/cs/0202031v1

Bulletin of the IGPL, Vol. 1 no. 1 (July 1993), pp. 23-68

Computer Science

Artificial Intelligence

54 pages. A short version appeared in Studia Logica, Vol. 53 no. 2 (1994) pp. 161-201

Scientific paper

A. Tarski proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In this paper, we weaken the monotonicity requirement and consider more general operations, inference operations. These operations describe the nonmonotonic logics both humans and machines seem to be using when infering defeasible information from incomplete knowledge. We single out a number of interesting families of inference operations. This study of infinitary inference operations is inspired by the results of Kraus, Lehmann and Magidor on finitary nonmonotonic operations, but this paper is self-contained.

Affiliated with

Also associated with

No associations

Rating

Nonmonotonic inference operations 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 Nonmonotonic inference operations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Nonmonotonic inference operations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-538623