On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
Deliberative Normative Agents: Principles and Architecture
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Formalizing a Language for Institutions and Norms
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
AMELI: An Agent-Based Middleware for Electronic Institutions
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Fulfilling or Violating Obligations in Normative Multiagent Systems
IAT '04 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
Implementing norms in electronic institutions
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
The Description Logic Handbook
The Description Logic Handbook
Modelling electronic organizations
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Meeting the deadline: why, when and how
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Requirements and compliance in legal systems: a logic approach
RELAW '08 Proceedings of the 2008 Requirements Engineering and Law
Programming Normative Artifacts with Declarative Obligations and Prohibitions
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Programming Organization-Aware Agents
ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
Model checking normative agent organisations
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Monitoring conformance to the internal regulation of an MSc course using ontologies and rules
EGOVIS'11 Proceedings of the Second international conference on Electronic government and the information systems perspective
Learning support and legally ruled collaboration in the virtuallife virtual world platform
ADBIS'09 Proceedings of the 13th East European conference on Advances in Databases and Information Systems
Artificial Intelligence
Research directions in agent communication
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Hi-index | 0.00 |
In order to design and implement electronic institutions that incorporate norms governing the behavior of the participants of those institutions, some crucial steps should be taken. The first problem is that human norms are (on purpose) specified on an abstract level. This ensures applicability of the norms over long periods of time in many different circumstances. However, for an electronic institution to function according to those norms, they should be concrete enough to be able to check them run time. A second problem is that norms describe which behavior is desirable and permitted, but not how this is achieved in an institution. In the "real world" regulations often indicate procedures for implementing and enforcing the law. Likewise we should devise means to annotate the norms with practical aspects such as enforcement mechanisms, sanctions, etc. in order to get requirements for an institution that will enforce norms (by either constraining behavior within the norms or reacting to violation of the norms). The choice of which kind of mechanism is chosen is not a normative one, but usually based on criteria of efficiency and/or feasibility of the mechanism. In this paper we present our view on how to approach these problems and other related issues to be solved in order to develop e-institutions capable to operate in complex, highly regulated scenarios.