179 research outputs found
Critical analysis of the Carmo-Jones system of Contrary-to-Duty obligations
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
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
We give a unified approach to various results and problems of nonclassical
logic
Modal Logics of Reactive Frames
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
In this work in progress, we discuss independence and interpolation and
related topics for classical, modal, and non-monotonic logics
How to model normative behavior in Petri nets
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
- …