From norms to interaction patterns: deriving protocols for agent institutions

Authors:
Huib Aldewereld;Frank Dignum;John-Jules Ch. Meyer
Affiliations:
Institute of Information and Computing Sciences, Utrecht University, The Netherlands;Institute of Information and Computing Sciences, Utrecht University, The Netherlands;Institute of Information and Computing Sciences, Utrecht University, The Netherlands
Venue:
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Year:
2007

Citing 6
Cited 1

Automata on infinite objects

Handbook of theoretical computer science (vol. B)
The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
&ohgr;-languages

Handbook of formal languages, vol. 3
Constructing automata from temporal logic formulas: a tutorial

Lectures on formal methods and performance analysis
STRIPS: a new approach to the application of theorem proving to problem solving

IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Meeting the deadline: why, when and how

FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems

Open issues for normative multi-agent systems

AI Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

We show how protocols (or interaction patterns) can be derived from norms using landmarks. The resulting protocols can be used by agents to perform their interactions while being certain to stay within the norms governing an e-institution without having to have a capability for normative reasoning. It can also be used by normative agents as a default protocol to be used, but from which they can deviate in specific circumstances.