Deontic Logic of Action: The Language

1995 ◽  
pp. 25-44
Author(s):  
Martin van Hees
Keyword(s):  
Deontic Logic ◽  
Logic Of Action

A deontic logic of action

Studia Logica ◽  
1982 ◽  
Vol 41 (2-3) ◽  
pp. 269-282 ◽  
Author(s):  
Krister Segerberg
Keyword(s):  
Deontic Logic ◽  
Logic Of Action

Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus

2020 ◽  
Author(s):  
Jens Claßen ◽  
James Delgrande
Keyword(s):  
Artificial Intelligence ◽  
Deontic Logic ◽  
Action Theory ◽  
Prima Facie ◽  
Situation Calculus ◽  
Artificial Agents ◽  
Planning Techniques ◽  
Course Of Action ◽  
Reasoning About Action ◽  
The Given

With the advent of artificial agents in everyday life, it is important that these agents are guided by social norms and moral guidelines. Notions of obligation, permission, and the like have traditionally been studied in the field of Deontic Logic, where deontic assertions generally refer to what an agent should or should not do; that is they refer to actions. In Artificial Intelligence, the Situation Calculus is (arguably) the best known and most studied formalism for reasoning about action and change. In this paper, we integrate these two areas by incorporating deontic notions into Situation Calculus theories. We do this by considering deontic assertions as constraints, expressed as a set of conditionals, which apply to complex actions expressed as GOLOG programs. These constraints induce a ranking of "ideality" over possible future situations. This ranking in turn is used to guide an agent in its planning deliberation, towards a course of action that adheres best to the deontic constraints. We present a formalization that includes a wide class of (dyadic) deontic assertions, lets us distinguish prima facie from all-things-considered obligations, and particularly addresses contrary-to-duty scenarios. We furthermore present results on compiling the deontic constraints directly into the Situation Calculus action theory, so as to obtain an agent that respects the given norms, but works solely based on the standard reasoning and planning techniques.

scholarly journals Placement Advisors as Innovators. How Professionals Use Enhanced Discretion in Germany’s Public Employment Services

2021 ◽  
pp. 1-18
Author(s):  
CAROLIN FREIER ◽  
MONIKA SENGHAAS
Keyword(s):  
Qualitative Interviews ◽  
Public Employment ◽  
Labour Market Situation ◽  
Group Discussions ◽  
Employment Services ◽  
Employment Agency ◽  
Logic Of Action ◽  
Market Situation ◽  
Innovation Project ◽  
Activation Policy

Abstract Employees of the public employment services (PES) are street-level bureaucrats who shape activation policy on the ground. This paper examines how PES staff use enhanced discretion in an innovation project carried out by the German Federal Employment Agency. Applying a bottom-up perspective, we reconstruct PES employees’ logic of action and the dilemmas they face in improving counselling and placement services. According to our findings, placement staff use enhanced discretion to promote more individualised support and an adequate matching of jobseekers and employers. The use of discretion is framed by organisational norms and reward mechanisms and by the current labour market situation. Our analyses are based on qualitative interviews and group discussions with placement staff.

scholarly journals Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones–Pörn deontic logic system]

Synthese ◽  
2011 ◽  
Vol 187 (2) ◽  
pp. 623-660 ◽  
Author(s):  
Mathijs de Boer ◽  
Dov M. Gabbay ◽  
Xavier Parent ◽  
Marija Slavkovic
Keyword(s):  
Detailed Analysis ◽  
Deontic Logic ◽  
Two Dimensional ◽  
Standard Deontic Logic ◽  
Logic System

Utilitarian deontic logic

1996 ◽  
Vol 82 (3) ◽  
pp. 317-357 ◽  
Author(s):  
Lou Goble
Keyword(s):  
Deontic Logic
Sign in / Sign up

Export Citation Format

Share Document