A framework is described for developing and deploying procedural knowledge in emergency situations where collaboration is needed. In this framework, procedural knowledge is represented in a wiki ...using an informal, textual description that's marked up with formal tags based on the I-N-C-A representation for hierarchical task networks used in AI planning. The tight integration of collaborative editing with deployment is new in this system and advances knowledge engineering for planning domain (procedural) knowledge, which can reduce uncertainty in emergency situations.
The FireGrid project aims to harness the potential of advanced forms of computation to support the response to large-scale emergencies (with an initial focus on the response to fires in the built ...environment). Computational models of physical phenomena are developed, and then deployed and computed on High Performance Computing resources to infer incident conditions by assimilating live sensor data from an emergency in real time—or, in the case of predictive models, faster-than-real time. The results of these models are then interpreted by a knowledge-based reasoning scheme to provide decision support information in appropriate terms for the emergency responder. These models are accessed over a Grid from an agent-based system, of which the human responders form an integral part. This paper proposes a novel FireGrid architecture, and describes the rationale behind this architecture and the research results of its application to a large-scale fire experiment.
► Demonstration of infrastructure for urgent emergency response decision support. ► A simulation model infers incident state that is interpreted by knowledge reasoning. ► Dense sensor networks provide live data for steering simulations in real time. ► The integration of Grid and HPC provides requisite computational power. ► AI techniques rationalize and present complex simulation results in a concise manner.
This paper concerns the use of virtual worlds alongside web technologies for on-line collaborative activities. The potential of this combination of technologies lies in the complementary notions of ...presence that these technologies offer their users. After discussing the nature of synchronous and asynchronous distributed collaboration, we describe a virtual collaborative environment that has been developed for task-focused communities and support to them through specific problem-solving episodes. This environment has been subject to experiments involving the development and provision of expert advice in the context of the response to a large-scale emergency crisis.
The I-Room is a virtual environment intended to support a range of collaborative activities, especially those that involve sense making, deliberation, and decision making. The I-Room case studies ...described in this paper all employ virtual worlds technology to provide this interaction space and show how this can be augmented with external knowledge-based and intelligent systems.
The aim of this thesis is to adress the problem of capability brokering. A capability-brokering agent recieves capability advertisements from problem-solving agents and problem descriptions from ...problem-holding agents. The amin task for the broker is to find problem-solving agents that have the capabilities to address problems described to the broker by a problem-holding agent. Capability brokering poses two problems: for advertisements, and matching problems and capabilities, to find capable problem-solvers. For the representation part of the problem, there have been a number of representations in AI that address similar issues. We review various logical representations, action representations, and representations for models of problem solving and conclude that, while all of these areas have some positive features for the representation of capabilities, they also all have serious drawbacks. We describe a new capability description language, CDL, which shares the positive features of previous languages while avoiding their drawbacks. CDL is a decoupled action representation into which arbitrary state representations can be plugged, resulting in the expressiveness and flexibility needed for capability brokering. Reasoning over capability descriptions takes place on two levels. The outer level deals with agent communication and we have devloped the Knowledge Query and Manipulation Language (KQML) here. At the inner level the main task is to decide whether a capability description subsumes a problem description. In CDL thee subsumtion relation for achievable objectives is defined in terms of the logical entailment relation betwenn sentences in the state language used within CDL. The definition of subsumption for performable tasks in turn is based on this definition for achievable objectives. We describe algoritms in this thesis which have all been implemented and incorporated into he Java Agent Template where they proved sufficient to operationalise anumber of example scenarios. The two most important featues of CDL are its expressiveness and its flexibility. By expressiveness we mean the ability to express more than is possible in other representations. By flexibility we mean the possibility to delay decisions regarding the compromises that have to be made to knowledge representation time. The scenarions we ahve implemted illustrate the importance of the features and we have shown in this thesis that CDL indeed possess thease features. Thus, CDL is an expressive and flexible capability description language that can be used to address the problem of capability brokering.
The aim of this thesis is to adress the problem of capability brokering. A capability-brokering agent recieves capability advertisements from problem-solving agents and problem descriptions from ...problem-holding agents. The amin task for the broker is to find problem-solving agents that have the capabilities to address problems described to the broker by a problem-holding agent. Capability brokering poses two problems: for advertisements, and matching problems and capabilities, to find capable problem-solvers. For the representation part of the problem, there have been a number of representations in AI that address similar issues. We review various logical representations, action representations, and representations for models of problem solving and conclude that, while all of these areas have some positive features for the representation of capabilities, they also all have serious drawbacks. We describe a new capability description language, CDL, which shares the positive features of previous languages while avoiding their drawbacks. CDL is a decoupled action representation into which arbitrary state representations can be plugged, resulting in the expressiveness and flexibility needed for capability brokering. Reasoning over capability descriptions takes place on two levels. The outer level deals with agent communication and we have devloped the Knowledge Query and Manipulation Language (KQML) here. At the inner level the main task is to decide whether a capability description subsumes a problem description. In CDL thee subsumtion relation for achievable objectives is defined in terms of the logical entailment relation betwenn sentences in the state language used within CDL. The definition of subsumption for performable tasks in turn is based on this definition for achievable objectives. We describe algoritms in this thesis which have all been implemented and incorporated into he Java Agent Template where they proved sufficient to operationalise anumber of example scenarios. The two most important featues of CDL are its expressiveness and its flexibility. By expressiveness we mean the ability to express more than is possible in other representations. By flexibility we mean the possibility to delay decisions regarding the compromises that have to be made to knowledge representation time. The scenarions we ahve implemted illustrate the importance of the features and we have shown in this thesis that CDL indeed possess thease features. Thus, CDL is an expressive and flexible capability description language that can be used to address the problem of capability brokering.