Applications of Deontic Logic in Computer Science: A Concise Overview

J.-J.Ch. Meyer

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    362 Downloads (Pure)

    Abstract

    Deontic logic is the logic that deals with actual as well as ideal behavior of systems. In this paper, we survey a number of applications of deontic logic in computer science that have arisen in the eighties, and give a systematic framework in which these applications can be classified. Many applications move in the direction of programming a computer in deontic logic to make the computer prohibit, permit or obligate people to do something. We discuss conditions under which this possibility is realistic and conditions under which it would be admissible to do so.
    Original languageUndefined
    Title of host publicationDeontic Logic in Computer Science: Normative System Specification
    EditorsJohn-Jules Ch. Meyer, Roelf J. Wieringa
    Place of PublicationChichester, UK
    PublisherWiley
    Pages17-40
    Number of pages24
    ISBN (Print)0471937436
    Publication statusPublished - 1993
    EventInternational Workshop on Deontic Logic in Computer Science, DEON 1991 - Amsterdam, Netherlands
    Duration: 11 Dec 199113 Dec 1991

    Publication series

    Name
    PublisherJohn Wiley & Sons

    Workshop

    WorkshopInternational Workshop on Deontic Logic in Computer Science, DEON 1991
    Abbreviated titleDEON
    CountryNetherlands
    CityAmsterdam
    Period11/12/9113/12/91

    Keywords

    • EWI-10663
    • IR-67612
    • SCS-Services

    Cite this