Computer Science – Logic in Computer Science
Scientific paper
2011-04-08
Computer Science
Logic in Computer Science
Scientific paper
Although conventional logical systems based on logical calculi have been successfully used in mathematics and beyond, they have definite limitations that restrict their application in many cases. For instance, the principal condition for any logical calculus is its consistency. At the same time, knowledge about large object domains (in science or in practice) is essentially inconsistent. Logical prevarieties and varieties were introduced to eliminate these limitations in a logically correct way. In this paper, the Logic of Reasonable Inferences is described. This logic has been applied successfully to model legal reasoning with inconsistent knowledge. It is demonstrated that this logic is a logical variety and properties of logical varieties related to legal reasoning are developed.
Burgin Mark
Kees
Mestdagh de Vey
No associations
LandOfFree
Logical Varieties in Normative Reasoning 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 Logical Varieties in Normative Reasoning, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logical Varieties in Normative Reasoning will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-353622