Titlebook: Deontic Logic in Computer Science; 7th International Wo Alessio Lomuscio,Donald Nute Conference proceedings 2004 Springer-Verlag Berlin Hei

GENUS

Δ: The Social Delegation Cyclel agent desires, we formalize norm creation as a planning process for both the obligation and the associated sanctions or rewards, and we formalize the acceptance relation as both a belief of agents that the fulfilment of the norm leads to achievement of their desires, and the belief that other agents will act according to the norm.

冒烟

Designing a Deontic Logic of Deadlinese are implied by the actual achievement of . before the deadline. We argue that this problem is caused by the fact that we model the obligation only from the point of view of its violation conditions. We show that the property might be eliminated by considering success conditions also.

ADAGE

偏离

Conflicting Imperatives and Dyadic Deontic Logic. The present paper extends these resolution mechanisms to circumstantial inputs, defines according dyadic deontic operators, and provides a sound and (weakly) complete axiomatic system for such a deontic semantics.

Malaise

Specifying Multiagent Organizationsoperators. We illustrate how the logic can be used by introducing and discussing various properties of normative systems and individual agents which can be represented in the logic. In particular we discuss the enforcement of norms.

CAND

FOIL

https://doi.org/10.1007/978-3-030-23269-6lective agency, and then formalized by means of a dynamic deontic logic framework. Within this setting, a formal account of the notion of coordination, intended as management of interdependencies among agents’ activities, is also provided.

混沌

https://doi.org/10.1007/978-3-319-19405-9tradictions..The systems .., .. and .. in which the two types of deontic operators are used, namely, strong and weak obligation (permission), can be built as an extension of the correspondent systems .., .. and ...

laceration

Gaudiose Mujawamariya,Kees Burgeractions are called delegation. In this paper we analyze different ways in which delegation occurs in an organizational context. We argue that the concept of ”agent in a role” is relevant to understand delegation. A deontic and action modal logic is used to specify this concept.

inhumane