Interaction in Normative Multi-Agent Systems

Authors:
Guido Boella;Joris Hulstijn;Leendert van der Torre
Affiliations:
Dipartimento di Informatica, Università di Torino, Torino, Italy;Faculty of Economics and Business Administration, Vrije Universiteit, Amsterdam, The Netherlands;CWI Amsterdam and Delft University of Technology, The Netherlands
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 14
Cited 1

A logical framework for default reasoning

Artificial Intelligence
Intention is choice with commitment

Artificial Intelligence
Applications of deontic logic in computer science: a concise overview

Deontic logic in computer science
Why interaction is more powerful than algorithms

Communications of the ACM
Semantic Issues in the Verification of Agent Communication Languages

Autonomous Agents and Multi-Agent Systems
A Social Semantics for Agent Communication Languages

Issues in Agent Communication
Attributing mental attitudes to normative systems

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Reo: a channel-based coordination model for component composition

Mathematical Structures in Computer Science
Programming BOID-Plan Agents: Deliberating about Conflicts among Defeasible Mental Attitudes and Plans

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Contracts as Legal Institutions in Organizations of Autonomous Agents

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Attributing mental attitudes to roles: the agent metaphor applied to e-trade organizations

ICEC '04 Proceedings of the 6th international conference on Electronic commerce
Abstract behavior types: a foundation model for components and their composition

Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Beliefs, obligations, intentions, and desires as components in an agent architecture: Research Articles

International Journal of Intelligent Systems
A Synthesis Between Mental Attitudes and Social Commitments in Agent Communication Languages

IAT '05 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology

A logical architecture of a normative system

DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The central research question of this paper is how notions developed in interactive computing such as abstract behavior types, the coordination language Reo, and Boolean circuits with registers, can be used to extend logical input/output nets, or lions for short. Lions are based on input/output logic, a deontic logic which is not used as a (non-classical) inference engine deriving output from input, but as a secretarial assistant for logically assisted transformations from input to output. We consider two extensions of input/output logics and lions. First, we consider input/output logics defined on infinite sequences (or streams) of inputs and outputs. Secondly, we consider lions with AND and register gates, formalizing the behavior of channels and connectors. We discuss also the role of interactive computing in normative multi-agent systems motivating the development of lions.