Representation Theory for Default Logic

Details Representation Theory for Default Logic Representation Theory for Default Logic

1999-01-28

arxiv.org/abs/cs/9901016v1

Computer Science

Logic in Computer Science

Annals of Mathematics and Artificial Intelligence, 21 (1997), pp. 343-358

Scientific paper

Default logic can be regarded as a mechanism to represent families of belief sets of a reasoning agent. As such, it is inherently second-order. In this paper, we study the problem of representability of a family of theories as the set of extensions of a default theory. We give a complete solution to the representability by means of normal default theories. We obtain partial results on representability by arbitrary default theories. We construct examples of denumerable families of non-including theories that are not representable. We also study the concept of equivalence between default theories.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-615479