The role of deontic logic in the specification of information systems

J.-J.Ch. Meyer, Roelf J. Wieringa, F.P.M. Dignum

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    60 Downloads (Pure)

    Abstract

    In this paper we discuss the role that deontic logic plays in the specification of information systems, either because constraints on the systems directly concern norms or, and even more importantly, system constraints are considered ideal but violable (so-called ‘soft’ constraints). To overcome the traditional problems with deontic logic (the so-called paradoxes), we first state the importance of distinguishing between ought-to-be and ought-to-do constraints and next focus on the most severe paradox, the so-called Chisholm paradox, involving contrary-to-duty norms. We present a multi-modal extension of standard deontic logic (SDL) to represent the ought-to-be version of the Chisholm set properly. For the ought-to-do variant we employ a reduction to dynamic logic, and show how the Chisholm set can be treated adequately in this setting. Finally we discuss a way of integrating both ought-to-be and ought-to-do reasoning, enabling one to draw conclusions from ought-to-be constraints to ought-to-do ones, and show by an example the use(fulness) of this.
    Original languageUndefined
    Title of host publicationLogics for databases and information systems
    EditorsJ. Chomicki, G. Saake
    Place of PublicationNorwell, MA, USA
    PublisherKluwer Academic Publishers
    Pages71-115
    Number of pages45
    ISBN (Print)0792381297
    Publication statusPublished - 1998

    Publication series

    Name
    PublisherKluwer Academic

    Keywords

    • EWI-10593
    • METIS-118904
    • IR-18384
    • SCS-Services

    Cite this

    Meyer, J-JC., Wieringa, R. J., & Dignum, F. P. M. (1998). The role of deontic logic in the specification of information systems. In J. Chomicki, & G. Saake (Eds.), Logics for databases and information systems (pp. 71-115). Norwell, MA, USA: Kluwer Academic Publishers.
    Meyer, J.-J.Ch. ; Wieringa, Roelf J. ; Dignum, F.P.M. / The role of deontic logic in the specification of information systems. Logics for databases and information systems. editor / J. Chomicki ; G. Saake. Norwell, MA, USA : Kluwer Academic Publishers, 1998. pp. 71-115
    @inbook{d40a20d7e8f44b729ae44dc1b3b5aefc,
    title = "The role of deontic logic in the specification of information systems",
    abstract = "In this paper we discuss the role that deontic logic plays in the specification of information systems, either because constraints on the systems directly concern norms or, and even more importantly, system constraints are considered ideal but violable (so-called ‘soft’ constraints). To overcome the traditional problems with deontic logic (the so-called paradoxes), we first state the importance of distinguishing between ought-to-be and ought-to-do constraints and next focus on the most severe paradox, the so-called Chisholm paradox, involving contrary-to-duty norms. We present a multi-modal extension of standard deontic logic (SDL) to represent the ought-to-be version of the Chisholm set properly. For the ought-to-do variant we employ a reduction to dynamic logic, and show how the Chisholm set can be treated adequately in this setting. Finally we discuss a way of integrating both ought-to-be and ought-to-do reasoning, enabling one to draw conclusions from ought-to-be constraints to ought-to-do ones, and show by an example the use(fulness) of this.",
    keywords = "EWI-10593, METIS-118904, IR-18384, SCS-Services",
    author = "J.-J.Ch. Meyer and Wieringa, {Roelf J.} and F.P.M. Dignum",
    year = "1998",
    language = "Undefined",
    isbn = "0792381297",
    publisher = "Kluwer Academic Publishers",
    pages = "71--115",
    editor = "J. Chomicki and G. Saake",
    booktitle = "Logics for databases and information systems",
    address = "Netherlands",

    }

    Meyer, J-JC, Wieringa, RJ & Dignum, FPM 1998, The role of deontic logic in the specification of information systems. in J Chomicki & G Saake (eds), Logics for databases and information systems. Kluwer Academic Publishers, Norwell, MA, USA, pp. 71-115.

    The role of deontic logic in the specification of information systems. / Meyer, J.-J.Ch.; Wieringa, Roelf J.; Dignum, F.P.M.

    Logics for databases and information systems. ed. / J. Chomicki; G. Saake. Norwell, MA, USA : Kluwer Academic Publishers, 1998. p. 71-115.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    TY - CHAP

    T1 - The role of deontic logic in the specification of information systems

    AU - Meyer, J.-J.Ch.

    AU - Wieringa, Roelf J.

    AU - Dignum, F.P.M.

    PY - 1998

    Y1 - 1998

    N2 - In this paper we discuss the role that deontic logic plays in the specification of information systems, either because constraints on the systems directly concern norms or, and even more importantly, system constraints are considered ideal but violable (so-called ‘soft’ constraints). To overcome the traditional problems with deontic logic (the so-called paradoxes), we first state the importance of distinguishing between ought-to-be and ought-to-do constraints and next focus on the most severe paradox, the so-called Chisholm paradox, involving contrary-to-duty norms. We present a multi-modal extension of standard deontic logic (SDL) to represent the ought-to-be version of the Chisholm set properly. For the ought-to-do variant we employ a reduction to dynamic logic, and show how the Chisholm set can be treated adequately in this setting. Finally we discuss a way of integrating both ought-to-be and ought-to-do reasoning, enabling one to draw conclusions from ought-to-be constraints to ought-to-do ones, and show by an example the use(fulness) of this.

    AB - In this paper we discuss the role that deontic logic plays in the specification of information systems, either because constraints on the systems directly concern norms or, and even more importantly, system constraints are considered ideal but violable (so-called ‘soft’ constraints). To overcome the traditional problems with deontic logic (the so-called paradoxes), we first state the importance of distinguishing between ought-to-be and ought-to-do constraints and next focus on the most severe paradox, the so-called Chisholm paradox, involving contrary-to-duty norms. We present a multi-modal extension of standard deontic logic (SDL) to represent the ought-to-be version of the Chisholm set properly. For the ought-to-do variant we employ a reduction to dynamic logic, and show how the Chisholm set can be treated adequately in this setting. Finally we discuss a way of integrating both ought-to-be and ought-to-do reasoning, enabling one to draw conclusions from ought-to-be constraints to ought-to-do ones, and show by an example the use(fulness) of this.

    KW - EWI-10593

    KW - METIS-118904

    KW - IR-18384

    KW - SCS-Services

    M3 - Chapter

    SN - 0792381297

    SP - 71

    EP - 115

    BT - Logics for databases and information systems

    A2 - Chomicki, J.

    A2 - Saake, G.

    PB - Kluwer Academic Publishers

    CY - Norwell, MA, USA

    ER -

    Meyer J-JC, Wieringa RJ, Dignum FPM. The role of deontic logic in the specification of information systems. In Chomicki J, Saake G, editors, Logics for databases and information systems. Norwell, MA, USA: Kluwer Academic Publishers. 1998. p. 71-115