Reasoning About Prescription and Description Using Prioritized Default Rules

V. Cassano, C. Areces, and P. Castro. Reasoning About Prescription and Description Using Prioritized Default Rules. EPiC Series in Computing, 57:196–213, 2018. LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018

Download

[pdf] 

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.

BibTeX

@Article{Cassano2018,
  author =       "V. Cassano and C. Areces and P. Castro",
  note =         "{LPAR-22.} 22nd International Conference on Logic for
                 Programming, Artificial Intelligence and Reasoning,
                 Awassa, Ethiopia, 16-21 November 2018",
  title =        "Reasoning About Prescription and Description Using
                 Prioritized Default Rules",
  year =         "2018",
  journal =      "EPiC Series in Computing",
  volume =       "57",
  ISSN =         "2398--7340",
  pages =        "196--213",
  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.",
  bibsource =    "dblp computer science bibliography, https://dblp.org",
  biburl =       "https://dblp.org/rec/conf/lpar/CassanoAC18.bib",
  timestamp =    "Wed, 27 May 2020 16:02:35 +0200",
  URL =          "https://easychair.org/publications/paper/Zn7P",
}