Logical considerations on default semantics

@article{Rounds1997LogicalCO,
  title={Logical considerations on default semantics},
  author={William C. Rounds and Guo-Qiang Zhang},
  journal={Annals of Mathematics and Artificial Intelligence},
  year={1997},
  volume={20},
  pages={195-226}
}
We consider a reinterpretation of the rules of default logic. We make Reiter’s default rules into a constructive method of building models, not theories. To allow reasoning in first‐order systems, we equip standard first‐order logic with a (new) Kleene 3‐valued partial model semantics. Then, using our methodology, we add defaults to this semantic system. The result is that our logic is an ordinary monotonic one, but its semantics is now nonmonotonic. Reiter’s extensions now appear in the… CONTINUE READING