Entailment Semantics for Rules with Priorities
Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. Pages 256-260.
Abstract
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.
@inproceedings{ijcai2007p39,
title = {Entailment Semantics for Rules with Priorities},
author = {Billington, David},
booktitle = {Proceedings of the Twentieth International Joint Conference on
Artificial Intelligence, {IJCAI-07}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ramon López de Mántaras},
pages = {256--260},
year = {2007},
url = {https://ijcai.org/proceedings/2007/39},
}
TY - CPAPER TI - Entailment Semantics for Rules with Priorities AU - Billington, David T2 - Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07 PB - International Joint Conferences on Artificial Intelligence PY - 2007 SP - 256 EP - 260 UR - https://ijcai.org/proceedings/2007/39 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
