Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
A logic-based calculus of events
New Generation Computing
Agent theories, architectures, and languages: a survey
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
On social laws for artificial agent societies: off-line design
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
Permissions and obligations in hierarchical normative systems
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
The Description Logic Handbook
The Description Logic Handbook
A semantic validation of conceptual graphs
Knowledge-Based Systems
On querying simple conceptual graphs with negation
Data & Knowledge Engineering
Expressive security policy rules using Layered Conceptual Graphs
Knowledge-Based Systems
Institutions with a hierarchy of authorities in distributed dynamic environments
Artificial Intelligence and Law
Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs
Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs
Towards a Formalisation of Electronic Contracting Environments
Coordination, Organizations, Institutions and Norms in Agent Systems IV
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Conceptual graphs for a data base interface
IBM Journal of Research and Development
Determining the Trustworthiness of New Electronic Contracts
ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
Characterising deadlines in temporal modal defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Understanding permissions through graphical norms
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Applying electronic contracting to the aerospace aftercare domain
Engineering Applications of Artificial Intelligence
Knowledge-based support in Non-Destructive Testing for health monitoring of aircraft structures
Advanced Engineering Informatics
Hi-index | 0.00 |
The specification of acceptable behaviour can be achieved via the use of obligations, permissions and prohibitions, collectively known as norms, which identify the states of affairs that should, may, or should not hold. Norms provide the ability to constrain behaviour while preserving individual agent autonomy. While much work has focused on the semantics of norms, the design of normative systems, and in particular understanding the impact of norms on a system, has received little attention. Since norms often interact with each other (for example, a permission may temporarily derogate an obligation, or a prohibition and obligation may conflict), understanding the effects of norms and their interactions becomes increasingly difficult as the number of norms increases. Yet this understanding can be critical in facilitating the design and development of effective or efficient systems. In response, this paper addresses the problem of norm explanation for Naive users by providing of a graphical norm representation that can explicate why a norm is applicable, violated or complied with, and identify the interactions between permissions and other types of norms. We adopt a conceptual graph based semantics to provide this graphical representation while maintaining a formal semantics.