A Model-Theoretic Semantics for Defeasible Logic

Details A Model-Theoretic Semantics for Defeasible Logic A Model-Theoretic Semantics for Defeasible Logic

2002-07-25

arxiv.org/abs/cs/0207086v1

Computer Science

Logic in Computer Science

14 pages. Originally published in proc. PCL 2002, a FLoC workshop; eds. Hendrik Decker, Dina Goldin, Jorgen Villadsen, Toshiha

Scientific paper

Defeasible logic is an efficient logic for defeasible reasoning. It is
defined through a proof theory and, until now, has had no model theory. In this
paper a model-theoretic semantics is given for defeasible logic. The logic is
sound and complete with respect to the semantics. We also briefly outline how
this approach extends to a wide range of defeasible logics.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-226627