Circumscription by Inference Rules with Priority
Xianchang Wang, Jia-Huai You, Li-Yan Yuan · 1996
This paper showshow to express circumscription in terms of priority logic, where a theory consists of a set of logic programming like (monotonic) inference rules and a priority relation among them. Priorities determine when such an inference rule can or cannot be applied. Specifically, we show that circumscribing any existential quantifier free theory can be described precisely by aprocess of monotonic inferences constrained by a priority relation. This result gives a very different view of "jumping to conclusion" in circumscription.