zbMATH — the first resource for mathematics

Reasoning about prescription and description using prioritized default rules. (English) Zbl 1415.68217
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 196-213 (2018).
Summary: In this paper, we introduce a prioritized default logic. We build this logic modularly from standard deontic logic by the addition of default rules and priorities among them. Our main aim is to provide a logical framework to reason about scenarios where prescriptive and descriptive statements coexist and may be incomplete and contradictory. We motivate and illustrate the technical elements of our work with the use of examples (classical, and coming from software engineering). In addition, we present sound, complete, and terminating (with loop check) tableau-based proof calculi for credulous and sceptical reasoning in our logic.
For the entire collection see [Zbl 1407.68021].
68T27 Logic in artificial intelligence
Full Text: DOI