179 research outputs found

    Critical analysis of the Carmo-Jones system of Contrary-to-Duty obligations

    Full text link
    We offer a technical analysis of the contrary to duty system proposed in Carmo-Jones. We offer analysis/simplification/repair of their system and compare it with our own related system

    The Role of Deontic Logic in the Specification of Information Systems

    Get PDF
    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).\ud 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

    Logical tools for handling change in agent-based systems

    Full text link
    We give a unified approach to various results and problems of nonclassical logic

    Introducing reactive modal tableaux

    Full text link

    Modal Logics of Reactive Frames

    Get PDF
    A reactive graph generalizes the concept of a graph by making it dynamic, in the sense that the arrows coming out from a point depend on how we got there. This idea was fi rst applied to Kripke semantics of modal logic in [2]. In this paper we strengthen that unimodal language by adding a second operator. One op- erator corresponds to the dynamics relation and the other one relates paths with the same endpoint. We explore the expressivity of this interpretation by axiomatizing some natural subclasses of reactive frames. The main objective of this paper is to present a methodology to study reactive logics using the existent classic techniques

    Conditionals and modularity in general logics

    Full text link
    In this work in progress, we discuss independence and interpolation and related topics for classical, modal, and non-monotonic logics

    Completeness theorems for reactive modal logics

    Full text link

    Modal Logics of Reactive Frames

    Full text link

    How to model normative behavior in Petri nets

    Get PDF
    In this paper, we show how to extend the Petri net formalism to represent different types of behavior, in particular normative behavior. This extension is motivated by the use of Petri nets to model bureaucratic procedures, which contain normative aspects like obligations and permissions. We propose to extend Petri nets with a preference relation, a well-known mechanism from deontic logic to discriminate between ideal and varying sub-ideal states
    • …
    corecore