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
Permissions and obligations in hierarchical normative systems
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
On querying simple conceptual graphs with negation
Data & Knowledge Engineering
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
A framework for monitoring agent-based normative systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - 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
Relevance, derogation and permission: a case for a normal form for codes of norms
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Graphical norms via conceptual graphs
Knowledge-Based Systems
Inferring robot goals from violations of semantic knowledge
Robotics and Autonomous Systems
Hi-index | 0.00 |
Norm-aware agents are able to reason about the obligations, permissions and prohibitions that affect their operation. While much work has focused on the creation of such norm-aware agents, less effort has been placed on enabling system designers and users to understand the interactions between norms. Providing designers with such an understanding can aid in eliminating redundant norms and errors in norm specifications, while enhancing user understanding can increase the trust placed in a system. In this paper we make use of conceptual graph based semantics to provide a graphical representation that is designed to enhance the understanding of the interactions between different types of norms. More specifically, permissions derogate obligations and prohibitions, and the latter two norm types interact by conflicting with each other. Tracking these interactions in standard symbolic norm representations is difficult given a large set of norms, yet our work allows for the easy understanding of whether a permission causes obligation or prohibition derogation.