A flexible framework for defeasible logics

Details A flexible framework for defeasible logics A flexible framework for defeasible logics

2000-03-07

arxiv.org/abs/cs/0003013v1

Computer Science

Artificial Intelligence

Proceedings of 8th International Workshop on Non-Monotonic Reasoning, April 9-11, 2000, Breckenridge, Colorado

Scientific paper

Logics for knowledge representation suffer from over-specialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for others. A solution to this problem is to choose from several logics and, when necessary, combine the representations. In general, such an approach results in a very difficult problem of combination. However, if we can choose the logics from a uniform framework then the problem of combining them is greatly simplified. In this paper, we develop such a framework for defeasible logics. It supports all defeasible logics that satisfy a strong negation principle. We use logic meta-programs as the basis for the framework.

Affiliated with

Also associated with

No associations

Rating

A flexible framework for defeasible logics 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 A flexible framework for defeasible logics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A flexible framework for defeasible logics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-305245