50 research outputs found

    Evolutionary Agent-Based Simulation of the Introduction of New Technologies in Air Traffic Management

    Get PDF
    Accurate simulation of the effects of integrating new technologies into a complex system is critical to the modernization of our antiquated air traffic system, where there exist many layers of interacting procedures, controls, and automation all designed to cooperate with human operators. Additions of even simple new technologies may result in unexpected emergent behavior due to complex human/ machine interactions. One approach is to create high-fidelity human models coming from the field of human factors that can simulate a rich set of behaviors. However, such models are difficult to produce, especially to show unexpected emergent behavior coming from many human operators interacting simultaneously within a complex system. Instead of engineering complex human models, we directly model the emergent behavior by evolving goal directed agents, representing human users. Using evolution we can predict how the agent representing the human user reacts given his/her goals. In this paradigm, each autonomous agent in a system pursues individual goals, and the behavior of the system emerges from the interactions, foreseen or unforeseen, between the agents/actors. We show that this method reflects the integration of new technologies in a historical case, and apply the same methodology for a possible future technology

    Hypermedia Support for Argumentation-Based Rationale

    Get PDF

    Using Agent JPF to Build Models for Other Model Checkers

    Full text link
    Abstract. We describe an extension to the AJPF agent program modelchecker so that it may be used to generate models for input into other, non-agent, model-checkers. We motivate this adaptation, arguing that it improves the efficiency of the model-checking process and provides access to richer property specification languages. We illustrate the approach by describing the export of AJPF program models to Spin and Prism. In the case of Spin we also investigate, experimentally, the effect the process has on the overall efficiency of modelchecking.

    Integrating BDI agents with Agent-based simulation platforms

    Get PDF
    Agent-Based Models (ABMs) is increasingly being used for exploring and supporting decision making about social science scenarios involving modelling of human agents. However existing agent-based simulation platforms (e.g., SWARM, Repast) provide limited support for the simulation of more complex cognitive agents required by such scenarios. We present a framework that allows Belief-Desire Intention (BDI) cognitive agents to be embedded in an ABM system. Architecturally, this means that the "brains" of an agent can be modelled in the BDI system in the usual way, while the "body" exists in the ABM system. The architecture is exible in that the ABM can still have non-BDI agents in the simulation, and the BDI-side can have agents that do not have a physical counterpart (such as an organisation). The framework addresses a key integration challenge of coupling event-based BDI systems, with time-stepped ABM systems. Our framework is modular and supports integration off-the-shelf BDI systems with off-the-shelf ABM systems. The framework is Open Source, and all integrations and applications are available for use by the modelling community

    An Agent-based Approach for Structured Modeling, Analysis and Improvement of Safety Culture

    Get PDF
    Safety culture is broadly recognized as important for operational safety in various fields, including air traffic management, power plant control and health care. Previous studies addressed characterization and assessment of safety culture extensively. Nevertheless, relations between safety culture and formal and informal organizational structures and processes are yet not well understood. To address this gap, a new, formal, agent-based approach is proposed. This paper shows the application of the approach to an air navigation service provider, including structured modeling, analysis and identification of improvement strategies for the organizational safety culture. The model results have been validated using safety culture data that had been achieved by an independent safety culture survey study. ┬ę 2011 The Author(s)

    Multi-Agent Activity Modeling with the Brahms Environment

    No full text
    More and more people are interested in developing "day in the life " models and simulations of people's behavior at the second and longer timeframe, the interaction between groups of people and systems, as well as the movement an