Programming norm change

DOI10.1080/11663081.2012.682784MaRDI QIDQ4583151zbMATHOpenAlexFDO

Authors Mehdi Dastani, Nick Tinnemeier, John-Jules Meyer

Publication date 28 August 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2012.682784

zbMATH Keywords

programmingoperational semanticscomputational norm change

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• A dynamic logic of norm change
• Reasoning about dynamic normative systems
• Discussion paper: Changing norms is changing obligation change
• Norm-aware and norm-oriented programming
• Normative Multi-agent Programs and Their Logics

Cites work

• Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
• Changing legal systems: legal abrogations and annulments in Defeasible Logic
• Multi-Agent Programming
• Multi-Agent Programming
• Normative Multi-agent Programs and Their Logics
• On social laws for artificial agent societies: off-line design
• On the logic of theory change: Partial meet contraction and revision functions
• Programming norm change
• Specifying norm-governed computational societies

Cited in

(7)

• Programming norm change
• Is this a violation? Learning and understanding norm violations in online communities
• Normative design using inductive learning
• Distributed controllers for norm enforcement
• Computational models for normative multi-agent systems
• Regulated MAS: social perspective
• Normative monitoring using Bayesian networks: defining a threshold for conflict detection

Describes a project that uses

Uses Software

• Society Visualiser

This page was built for publication: Programming norm change

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583151)