Designing a Deontic Logic of Deadlines

Broersen, Jan; Dignum, Frank; Dignum, Virginia; Meyer, John‐Jules Ch.

doi:10.1007/978-3-540-25927-5_5

Cited by 71 publications

(47 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Indeed, the authors of [13] used ctl in their paper Designing a Deontic Logic of Deadlines [7], and one of their authors reduces Strategic Deontic Temporal Logic to atl in [6] 11 .…”

Section: Related Workmentioning

confidence: 99%

A Temporal Logic of Normative Systems

Ågotnes¹,

Hoek

Rodŕıguez-Aguilar

et al. 2009

Towards Mathematical Philosophy

View full text Add to dashboard Cite

Abstract.We study Normative Temporal Logic (ntl), a formalism intended for reasoning about the temporal properties of normative systems. ntl is a generalisation of the well-known branching-time temporal logic ctl, in which the path quantifiers A ("on all paths. . . ") and E ("on some path. . . ") are replaced by the indexed deontic operators Oη ("it is obligatory in the context of the normative system η that . . . ") and Pη ("it is permissible in the context of the normative system η that. . . "). After introducing the logic, we give a sound and complete axiomatisation. We then present a symbolic representation language for normative systems, and we identify four different model checking problems, corresponding to whether or not a model is represented symbolically or explicitly, and whether or not we are given a concrete interpretation for the normative systems named in formulae to be model checked. We show that the complexity of model checking varies from p-complete in the simplest case (explicit state model checking where we are given a specific interpretation for all normative systems in the formula) up to exptime-hard in the worst case (symbolic model checking, no interpretation given). We present examples to illustrate the use of ntl, and conclude with discussions of related work (in particular, the relationship of ntl to other deontic logics), and some issues for future work.

show abstract

“…Indeed, the authors of [13] used ctl in their paper Designing a Deontic Logic of Deadlines [7], and one of their authors reduces Strategic Deontic Temporal Logic to atl in [6] 11 .…”

Section: Related Workmentioning

confidence: 99%

A Temporal Logic of Normative Systems

Ågotnes¹,

Hoek

Rodŕıguez-Aguilar

et al. 2009

Towards Mathematical Philosophy

View full text Add to dashboard Cite

show abstract

“…The meaning of deontic operators has been studied, mainly regarding the use of deadlines (e.g. [2]). Regarding deadline obligations, the usual approach to their semantics is to consider the following entailments 1 :…”

Section: Contractual Obligationsmentioning

confidence: 99%

“…In this paper we propose a different approach (in comparison with [2][3][4] [5]) to the use of obligations in MAS in the domain of business contracts. Following a cooperative business performance posture, we argue that obligations should be directed, and that deadlines should be flexible.…”

Section: Introductionmentioning

confidence: 99%

Directed Deadline Obligations in Agent-Based Business Contracts

Cardoso

Oliveira

2010

Coordination, Organizations, Institutions and Norms in Agent Systems V

View full text Add to dashboard Cite

Abstract. There are B2B relationships that presume cooperation in contract enactment. This issue should be taken into account when modeling, for computational handling, contractual commitments through obligations. Deadline obligations have been modeled by considering that reaching the deadline without compliance brings up a violation. When modeling commitments in business contracts, directed obligations have been studied for identifying two agents: the obligation's bearer and the counterparty, who may claim for legal action in case of non-compliance. We argue in favor of a directed deadline obligation approach, taking inspiration on international legislation over trade procedures. Our proposal to model contractual obligations is based on authorizations granted in specific states of an obligation lifecycle model, which we formalize using temporal logic and implement in a rule-based system. The performance of a contractual relationship is supported by a model of flexible deadlines, which allow for further cooperation between autonomous agents. As a result, the decision-making space of agents concerning contractual obligations is enlarged and becomes richer. We discuss the issues that agents should take into account in this extended setting.

show abstract

“…If no deadline is specified it is impossible to say when the obligation has been violated. There is a very limited number of proposals for a logic of obligations with deadline (see [18,17,2]). In [6] we have defined a logic for obligations, permissions and prohibitions with deadlines that extends the logic proposed by Segerberg in [17,18].…”

Section: Deontic Modalitiesmentioning

confidence: 99%

Norms, Institutional Power and Roles: Towards a Logical Framework

Demolombe

Louis

2006

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. In the design of the organisation of a multiagent system the concept of role is fundamental. We informally analyse this concept through examples. Then we propose a more formal definition that can be decomposed into: the conditions that have to be satisfied to hold a role, the norms and institutional powers that apply to a role holder. Finally, we present a modal logical framework to represent these concepts.

show abstract

Designing a Deontic Logic of Deadlines

Cited by 71 publications

References 13 publications

A Temporal Logic of Normative Systems

A Temporal Logic of Normative Systems

Directed Deadline Obligations in Agent-Based Business Contracts

Norms, Institutional Power and Roles: Towards a Logical Framework

Contact Info

Product

Resources

About