A Textbook of Belief Dynamics: Solutions to Exercises
A Textbook of Belief Dynamics: Solutions to Exercises
`What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations
Computational Logic in Multi-Agent Systems
Reasoning about Norms, Obligations, Time and Agents
Agent Computing and Multi-Agent Systems
Normative framework for normative system change
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Issues in Designing Logical Models for Norm Change
Organized Adaption in Multi-Agent Systems
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Information and Computation
Strategic deontic temporal logic as a reduction to ATL, with an application to chisholm's scenario
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Hi-index | 0.00 |
Norm change is one of the main challenges for normative reasoning. This discussion paper presents some novel informal and semi-formal ideas regarding the nature and formalization of norm change. First, we contrast the second-order nature of norm change with the first-order nature of obligation change. Second, we discuss how to change the normative system to avoid future obligations in the input/output logic framework, which explicitly distinguishes norms from obligations. Third, we present a semantical two dimensional view on change. Fourth, we illustrate norm change using automata changing automata. Fifth, we compare norm change with analogous mechanisms in non-normative contexts.