Wyniki wyszukiwania - BazTech

1

An alternative intuitionistic version of Mally's deontic logic

Lokhorst G. J. C.

Reports on Mathematical Logic

|

2016

|

Vol. 51

35--41

EN

Some years ago, Lokhorst proposed an intuitionistic reformulation of Mally's deontic logic (1926). This reformulation was unsatisfactory, because it provided a striking theorem that Mally himself did not mention. In this paper, we present an alter- native reformulation of Mally's deontic logic that does not provide this theorem.

2

SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems

Woźna-Szcześniak B.

Fundamenta Informaticae

|

2016

|

Vol. 143, nr 1/2

173--205

EN

We present WECTL*KD, a weighted branching time temporal logic to specify knowledge, and correct functioning behaviour in multi-agent systems (MAS).We interpret the formulae of the logic over models generated by weighted deontic interpreted systems (WDIS). Furthermore, we investigate a SAT-based bounded model checking (BMC) technique for WDIS and for WECTL*KD.

3

Sets, Sentences, and Some Logics about Imperatives

Hansen J.

Fundamenta Informaticae

|

2001

|

Vol. 48, nr 2,3

205-226

EN

Though deontic logic is regarded as the logic of normative reasoning, norms - as entities lacking truth values - are usually represented neither in its language nor its semantics. Limiting ourselves to unconditional imperatives, we propose a concept for their semantic representation and show that existing systems of monadic and dyadic deontic logic can be reconstructed accordingly.

4

On the Representation of Action and Agency in the Theory of Normative Positions

Sergot M., Richards F.

Fundamenta Informaticae

|

2001

|

Vol. 48, nr 2,3

273-293

EN

The theory of normative positions attempts to apply a combination of deontic logic and a logic of action/agency to the formalisation of the `Hohfeldian concepts' (duty, right, power, privilege, etc.) and other complex normative relations between agents. This paper is concerned with the practical applicability of the theory to such tasks as formalising the content of an existing set of regulations, designing a new set of regulations, or refining aspects of a computer system specification, with particular attention to the usefulness of the action component as a representational device. Points are made by reference to a simple example concerning rules in a car park. The second part of the paper covers three simple extensions: the representation of `permitted to bring about', a treatment of interpersonal control relations, and the ability to distinguish between being permitted to bring about a new state of affairs and being permitted to sustain a state of affairs that already exists.

5

Deontic and Action Logics for Organized Collective Agency, Modeled through Institutionalized Agents and Roles

Carmo J., Pacheco O.

Fundamenta Informaticae

|

2001

|

Vol. 48, nr 2,3

129-163

EN

In this paper we address the problem of organized collective agency, and propose a deontic/action modal logic for that purpose. We argue that once we want to attribute obligations (permissions or other deontic notions) to a set of agents, we need to consider a new agent - that we called institutionalized agent, and specify how he interacts with the external world: how the obligations flow from the institutionalized agent to the real agents that support him, and how the actions of the latter count as actions of the former. But an agent may act in many qualities ( roles), and it is essential to know in which quality an agent has acted, or intends to act, for three main reasons: to know the effects of the act, its deontic qualification, and authentication issues. Thus, we extend the ``sees to it'' action operator with an explicit index that states the quality (role) in which the agent has acted. We also show how to associate obligations to roles, and illustrate how this can be used to express the desired flow of obligations.