A Reduction of Deontic Logic to Alethic Modal Logic

Anderson, Alan Ross

doi:10.1093/mind/lxvii.265.100

Cited by 151 publications

(94 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For simplicity, both facts and decision variables are represented by boolean variables, being either true or false. The decision making process of an agent is represented by a forward reasoning loop, which runs roughly as follows 1 .…”

Section: Mental Attitudesmentioning

confidence: 99%

See 1 more Smart Citation

Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation

Boella

Hulstijn

Tan

et al. 2006

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems

View full text Add to dashboard Cite

Abstract. This paper is about control mechanisms for virtual organizations. As a case study, we discuss the Renewables Obligation (RO), a control mechanism that was introduced in the United Kingdom to stimulate the production of renewable energy. We apply a conceptual model based on normative multiagent systems (NMAS). We propose to model both the participants and the normative system as autonomous agents, having beliefs and goals. Norms, which can be internalized by the agents as obligations, are translated into conditional beliefs and goals of the normative system, which concern both detection and sanctioning measures. We show that the model can handle both the regulative and the evidential aspects of the case.

show abstract

Section: Mental Attitudesmentioning

confidence: 99%

“…The reduction makes use of a so called violation predicate [1]. Although violation predicates have been known for a long time, making a reduction to goals rather than to modal or epistemic operators, does make a difference.…”

Section: Norms and Obligationsmentioning

confidence: 99%

Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation

Boella

Hulstijn

Tan

et al. 2006

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems

View full text Add to dashboard Cite

show abstract

“…We define sanction and reward-based obligations in the normative multiagent system using an extension of Anderson's well-known reduction [2], like Meyer [24] also does: violations and sanctions are the consequences of not fulfilling a norm. It covers a kind of ought-to-do and a kind of ought-to-be obligations.…”

Section: -The Norm Description V : N × a → P Is A Complete Function Tmentioning

confidence: 99%

Δ: The Social Delegation Cycle

Boella

Torre

2004

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. In this paper we consider the relation between desires and obligations in normative multiagent systems. We introduce a model of their relation based on what we call the social delegation cycle, which explains the creation of norms from agent desires in three steps. First individual agent desires generate group goals, then a group goal is individualized in a social norm, and finally the norm is accepted by the agents when it leads to the fulfilment of the desires the cycle started with. We formalize the social delegation cycle by formalizing goal generation as a merging process of the individual 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.

show abstract

“…In 1964, von Wright extended his original system to a system for dyadic logic [Wright64], where conditional obligations were introduced. In 1958, Anderson suggested in [Anderson58] a reduction of the system KD to a system in alethic modal logic. A novel feature of his system was the introduction of a special propositional atom V standing for violation of obligations.…”

Section: Related Researchmentioning

confidence: 99%

Modelling agent communication in a first order logic

Johannesson

Wohed

1998

Accounting, Management and Information Technologies

View full text Add to dashboard Cite

In the design of information systems, the notion of agent has proven useful. When modelling communication among agents, deontic concepts, such as obligations, permissions, and prohibitions are essential. The dynamics of obligations, i.e., how obligations are created and destroyed, can effectively be described by means of notions from speech act theory. In this paper, we present a language that includes deontic and illocutionary constructs for the modelling of communication between agents. The language is a logic programming language, which gives it a simple semantics and makes it executable. A distinguishing feature of the language is that it is able to represent time explicitly, which is required to give an adequate semantics for deontic constructs.

show abstract

A Reduction of Deontic Logic to Alethic Modal Logic

Cited by 151 publications

References 0 publications

Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation

Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation

Δ: The Social Delegation Cycle

Modelling agent communication in a first order logic

Contact Info

Product

Resources

About