Entailment Semantics for Rules with Priorities

David Billington

We define a new general rule-based non-monotonic framework which allows an external acyclic priority relation between rules to be interpreted in several ways. Several entailment semantics are defined via a constructive digraph, with one being given a declarative fixed-point characterisation as well. The framework encompasses Default Logic, ground Answer Set Programming (ASP), and Defeasible Logic. Default Logic is provided with a new semantics which is ambiguity blocking, rather than the usual ambiguity propagating semantics. Also Reiter-extensions are given a new fixed-point characterisation; and Lukaszewicz’s m-extensions are given a much simpler construction and fixed-point characterisation.

Subjects: 3.3 Nonmonotonic Reasoning; 5. Common Sense Reasoning

Submitted: Oct 9, 2006

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.