AI Magazine
Agent UML: a formalism for specifying multiagent software systems
First international workshop, AOSE 2000 on Agent-oriented software engineering
Towards a standard upper ontology
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
A Formal Ontology of Properties
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Revisiting Asimov's First Law: A Response to the Call to Arms
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Structured models for multi-agent interactions
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Defining and decomposing safety policy for systems of systems
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Establishing a Framework for Dynamic Risk Management in `Intelligent' Aero-Engine Control
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
| Hi-index | 0.00 |
A safety policy defines the set of rules that governs the safe interaction of agents operating together as part of a system of systems (SoS). Agent autonomy can give rise to unpredictable, and potentially undesirable, emergent behaviour. Deriving rules of safety policy requires an understanding of the capabilities of an agent as well as how its actions affect the environment and consequently the actions of others. Methods for multi-agent system design can aid in this understanding. Such approaches mention organisational rules. However, there is little discussion about how they are derived. This paper proposes modelling systems according to three viewpoints: an agent viewpoint, a causal viewpoint and a domain viewpoint. The agent viewpoint captures system capabilities and inter-relationships. The causal viewpoint describes the effect an agent's actions has on its environment as well as inter-agent influences. The domain viewpoint models assumed properties of the operating environment.