Abstract:The normative realm involves deontic notions such as obligation or permission, as well as information about relevant actions and states of the world. This mixture is not static, given once and for all. Both information and normative evaluation available to agents are subject to changes with various triggers, such as learning new facts or accepting new laws. This paper explores models for this setting in terms of dynamic logics for information-driven agency. Our paradigm will be dynamic-epistemic logics for knowledge and belief, and their current extensions to the statics and dynamics of agents' preferences. Here the link with deontics is that moral reasoning may be viewed as involving preferences of the acting agent as well as moral authorities such as lawgivers, one's conscience, or yet others. In doing so we discuss a large number of themes: primitive 'betterness' order versus reason-based preferences (employing a model of 'priority graphs'), the entanglement of preference and informational attitudes such as belief, interactive social agents, and scenarios with long-term patterns emerging over time. Specific deontic issues considered include paradoxes of deontic reasoning, acts of changing obligations, and changing norm systems. We conclude with some further directions, as well as a series of pointers to related work, including different paradigms for looking at these same phenomena.

Priority Structures in Deontic Logic

Prioritized Norms in Formal Argumentation

Deontic Logic And Preference Change

Defeasible deontic logic: arguing about permission and obligation

Deontic Reasoning

From Classical to Non-monotonic Deontic Logic Using ASPIC$$^+$$

Preference, Priorities and Belief

Prioritised Default Logic as Argumentation with Partial Order Default Priorities

Norm-based Deontic Logic for Access Control, Some Computational Results

Impossible and Conflicting Obligations in Justification Logic

A theory of hierarchical consequence and conditionals

Preference logic, conditionals and solution concepts in games

Dyadic obligations: proofs and countermodels via hypersequents

Deontic Meaning Making in Legislative Discourse

Preference from Priorities: Dynamic Logic

Assumption-Based Approaches to Reasoning with Priorities

On Some Weakened Forms of Transitivity in the Logic of Conditional Obligation

Proof Theory and Decision Procedures for Deontic STIT Logics

Dynamic Logic of Preference Upgrade.

Normative Conditional Reasoning as a Fragment of HOL

Modeling Contrary-to-Duty with CP-nets