Download PDFOpen PDF in browser

Reasoning About Prescription and Description Using Prioritized Default Rules

18 pagesPublished: October 23, 2018

Abstract

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.

Keyphrases: default logic, deontic logic, nonmonotonic proof calculus, tableaux system

In: Gilles Barthe, Geoff Sutcliffe and Margus Veanes (editors). LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol 57, pages 196-213.

BibTeX entry
@inproceedings{LPAR-22:Reasoning_About_Prescription_Description,
  author    = {Valentin Cassano and Carlos Areces and Pablo Castro},
  title     = {Reasoning About Prescription and Description Using Prioritized Default Rules},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Zn7P},
  doi       = {10.29007/swdn},
  pages     = {196-213},
  year      = {2018}}
Download PDFOpen PDF in browser