Refinement: a tool to deal with inconsistencies
Proceedings of the 8th international conference on Artificial intelligence and law
Autonomous Agents and Multi-Agent Systems
Introduction to normative multiagent systems
Computational & Mathematical Organization Theory
Resolving conflict and inconsistency in norm-regulated virtual organizations
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Institutions with a hierarchy of authorities in distributed dynamic environments
Artificial Intelligence and Law
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Deontics = betterness + priority
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Relevance, derogation and permission: a case for a normal form for codes of norms
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Retroactive legal changes and revision theory in defeasible logic
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Norm-system revision: theory and application
Artificial Intelligence and Law
Dynamics of argumentation systems: A division-based method
Artificial Intelligence
Norm refinement and design through inductive learning
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
NO Revision and NO Contraction
Minds and Machines
Normative systems represented as hybrid knowledge bases
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Partial semantics of argumentation
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Learning and reasoning about norms using neural-symbolic systems
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Open issues for normative multi-agent systems
AI Communications
Ten problems of deontic logic and normative reasoning in computer science
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
Discussion paper: changing norms is changing obligation change
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Legal contractions: a logical analysis
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Building Norms-Adaptable Agents from Potential Norms Detection Technique PNDT
International Journal of Intelligent Information Technologies
| Hi-index | 0.00 |
Normative systems in a multiagent system must be able to evolve over time, for example due to actions creating or removing norms in the system. The only formal framework to evaluate and classify normative system change methods is the so-called AGM framework of theory change, which has originally been developed as a framework to describe and classify both belief and normative system change. However, it has been used for belief change only, since the beliefs or norms are represented as propositional formulas. We therefore propose, as a normative framework for normative system change, to replace propositional formulas in the AGM framework of theory change by pairs of propositional formulas, representing the rule based character of norms, and to add several principles from the input/output logic framework. In this new framework, we show that some of the AGM properties cannot be expressed, and other properties are consistent only for some logics, but not for others.