ISLANDER: an electronic institutions editor
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Inductive Logic Programming: Techniques and Applications
Inductive Logic Programming: Techniques and Applications
Relational data mining applications: an overview
Relational Data Mining
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Nonmonotonic Inductive Logic Programming
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
Resolving conflict and inconsistency in norm-regulated virtual organizations
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
International Journal of Agent-Oriented Software Engineering
Artificial institutions: a model of institutional reality for open multiagent systems
Artificial Intelligence and Law
OperettA: a prototype tool for the design, analysis and development of multi-agent organizations
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers
Norm Conflicts and Inconsistencies in Virtual Organisations
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Extracting Requirements from Scenarios with ILP
Inductive Logic Programming
Constraint rule-based programming of norms for electronic institutions
Autonomous Agents and Multi-Agent Systems
Learning operational requirements from goal models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Dynamic protocols for open agent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Automated norm synthesis in an agent-based planning environment
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Normative framework for normative system change
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Norm Defeasibility in an Institutional Normative Framework
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Induction on Failure: Learning Connected Horn Theories
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Conflict-driven answer set solving
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Specifying electronic societies with the causal calculator
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Answer set programming for representing and reasoning about virtual institutions
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Embedding landmarks and scenes in a computational model of institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
O-MaSE: a customizable approach to developing multiagent development processes
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
Dealing with incomplete normative states
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
InstQL: a query language for virtual institutions using answer set programming
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Constitutive norms in the design of normative multiagent systems
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Hi-index | 0.00 |
In the physical world, the rules governing behaviour are debugged by observing an outcome that was not intended and the addition of new constraints to prevent the attainment of that outcome.We propose a similar approach to support the incremental development of normative frameworks (also called institutions) and demonstrate how this works through the validation and synthesis of normative rules using model generation and inductive learning. This is achieved by the designer providing a set of use cases, comprising collections of event traces that describe how the system is used along with the desired outcome with respect to the normative framework. The model generator encodes the description of the current behaviour of the system. The current specification and the traces for which current behaviour and expected behaviour do not match are given to the learning framework to propose new rules that revise the existing norm set in order to inhibit the unwanted behaviour. The elaboration of a normative system can then be viewed as a semi-automatic, iterative process for the detection of incompleteness or incorrectness of the existing normative rules, with respect to desired properties, and the construction of potential additional rules for the normative system.