Entailment Semantics for Rules with Priorities

There are no files associated with this record.

Title Entailment Semantics for Rules with Priorities
Author Billington, David
Publication Title IJCAI - 07 : Proceedings of the Twentieth International Joint Conference on Artificial Intelligence
Editor Manuela M. Veloso
Year Published 2007
Place of publication Menlo Park, California
Publisher International Joint Conferences on Artificial Intelligence / AAAI Press
Abstract We define a new general rule-based nonmonotonic 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. Each of these semantics satisfies Principle 1 of [Brewka and Eiter 1999]. The framework encompasses Default Logic [Reiter 1980], ground Answer Set Programming (ASP) [Baral 2003], and Defeasible Logic [Nute 1994]. Defa lt Logic is provided with a new semantics which is ambiguity blocking, rather than the usual ambiguity propagating semantics. Also Reiterextensions are given a new fixed-point characterisation; and Lukaszewicz's [1990] m-extensions are given a much simpler construction and fixed-point characterisation.
Peer Reviewed Yes
Published Yes
Publisher URI http://www.ijcai-07.org/
Alternative URI http://www.ijcai.org/papers07/contents.php
ISBN 9781577352983
Conference name The Twentieth International Joint Conference on Artificial Intelligence
Location Hyderabad, India
Date From 2007-01-06
Date To 2007-01-12
URI http://hdl.handle.net/10072/17085
Date Accessioned 2007-09-20
Language en_AU
Faculty Faculty of Science, Environment, Engineering and Technology
Subject Other Artificial Intelligence
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Show simple item record

Griffith University copyright notice