Backwards State-space Reduction for Planning in Dynamic Knowledge Bases

In this paper we address the problem of planning in rich domains, where knowledge representation is a key aspect for managing the complexity and size of the planning domain. We follow the approach of Description Logic (DL) based Dynamic Knowledge Bases, where a state of the world is represented concisely by a (possibly changing) ABox and a (fixed) TBox containing the axioms, and actions that allow to change the content of the ABox. The plan goal is given in terms of satisfaction of a DL query. In this paper we start from a traditional forward planning algorithm and we propose a much more efficient variant by combining backward and forward search. In particular, we propose a Backward State-space Reduction technique that consists in two phases: first, an Abstract Planning Graph P is created by using the Abstract Backward Planning Algorithm (ABP), then the abstract planning graph P is instantiated into a corresponding planning graph P by using the Forward Plan Instantiation Algorithm (FPI). The advantage is that in the preliminary ABP phase we produce a symbolic plan that is a pattern to direct the search of the concrete plan. This can be seen as a kind of informed search where the preliminary backward phase is useful to discover properties of the state-space that can be used to direct the subsequent forward phase. We evaluate the effectiveness of our ABP+FPI algorithm in the reduction of the explored planning domain by comparing it to a standard forward planning algorithm and applying both of them to a concrete business case study.Comment: In Proceedings GRAPHITE 2014, arXiv:1407.767

Training of Crisis Mappers and Map Production from Multi-sensor Data: Vernazza Case Study (Cinque Terre National Park, Italy)

This aim of paper is to presents the development of a multidisciplinary project carried out by the cooperation between Politecnico di Torino and ITHACA (Information Technology for Humanitarian Assistance, Cooperation and Action). The goal of the project was the training in geospatial data acquiring and processing for students attending Architecture and Engineering Courses, in order to start up a team of "volunteer mappers". Indeed, the project is aimed to document the environmental and built heritage subject to disaster; the purpose is to improve the capabilities of the actors involved in the activities connected in geospatial data collection, integration and sharing. The proposed area for testing the training activities is the Cinque Terre National Park, registered in the World Heritage List since 1997. The area was affected by flood on the 25th of October 2011. According to other international experiences, the group is expected to be active after emergencies in order to upgrade maps, using data acquired by typical geomatic methods and techniques such as terrestrial and aerial Lidar, close-range and aerial photogrammetry, topographic and GNSS instruments etc.; or by non conventional systems and instruments such us UAV, mobile mapping etc. The ultimate goal is to implement a WebGIS platform to share all the data collected with local authorities and the Civil Protectio

CBR and MBR techniques: review for an application in the emergencies domain

The purpose of this document is to provide an in-depth analysis of current reasoning engine practice and the integration strategies of Case Based Reasoning and Model Based Reasoning that will be used in the design and development of the RIMSAT system. RIMSAT (Remote Intelligent Management Support and Training) is a European Commission funded project designed to: a.. Provide an innovative, 'intelligent', knowledge based solution aimed at improving the quality of critical decisions b.. Enhance the competencies and responsiveness of individuals and organisations involved in highly complex, safety critical incidents - irrespective of their location. In other words, RIMSAT aims to design and implement a decision support system that using Case Base Reasoning as well as Model Base Reasoning technology is applied in the management of emergency situations. This document is part of a deliverable for RIMSAT project, and although it has been done in close contact with the requirements of the project, it provides an overview wide enough for providing a state of the art in integration strategies between CBR and MBR technologies.Postprint (published version

An information assistant system for the prevention of tunnel vision in crisis management

In the crisis management environment, tunnel vision is a set of bias in decision makers’ cognitive process which often leads to incorrect understanding of the real crisis situation, biased perception of information, and improper decisions. The tunnel vision phenomenon is a consequence of both the challenges in the task and the natural limitation in a human being’s cognitive process. An information assistant system is proposed with the purpose of preventing tunnel vision. The system serves as a platform for monitoring the on-going crisis event. All information goes through the system before arrives at the user. The system enhances the data quality, reduces the data quantity and presents the crisis information in a manner that prevents or repairs the user’s cognitive overload. While working with such a system, the users (crisis managers) are expected to be more likely to stay aware of the actual situation, stay open minded to possibilities, and make proper decisions

Using Qualitative Evidence to Enhance an Agent-Based Modelling System for Studying Land Use Change

This paper describes and evaluates a process of using qualitative field research data to extend the pre-existing FEARLUS agent-based modelling system through enriching its ontological capabilities, but without a deep level of involvement of the stakeholders in designing the model itself. Use of qualitative research in agent-based models typically involves protracted and expensive interaction with stakeholders; consequently gathering the valuable insights that qualitative methods could provide is not always feasible. At the same time, many researchers advocate building completely new models for each scenario to be studied, violating one of the supposed advantages of the object-oriented programming languages in which many such systems are built: that of code reuse. The process described here uses coded interviews to identify themes suggesting changes to an existing model, the assumptions behind which are then checked with respondents. We find this increases the confidence with which the extended model can be applied to the case study, with a relatively small commitment required on the part of respondents.Agent-Based Modelling, Land Use/Cover Change, Qualitative Research, Interdisciplinary Research

Usability evaluation of a web-based tool for supporting holistic building energy management

This paper presents the evaluation of the level of usability of an intelligent monitoring and control interface for energy efficient management of public buildings, called BuildVis, which forms part of a Building Energy Management System (BEMS.) The BEMS ‘intelligence’ is derived from an intelligent algorithm component which brings together ANN-GA rule generation, a fuzzy rule selection engine, and a semantic knowledge base. The knowledge base makes use of linked data and an integrated ontology to uplift heterogeneous data sources relevant to building energy consumption. The developed ontology is based upon the Industry Foundation Classes (IFC), which is a Building Information Modelling (BIM) standard and consists of two different types of rule model to control and manage the buildings adaptively. The populated rules are a mix of an intelligent rule generation approach using Artificial Neural Network (ANN) and Genetic Algorithms (GA), and also data mining rules using Decision Tree techniques on historical data. The resulting rules are triggered by the intelligent controller, which processes available sensor measurements in the building. This generates ‘suggestions’ which are presented to the Facility Manager (FM) on the BuildVis web-based interface. BuildVis uses HTML5 innovations to visualise a 3D interactive model of the building that is accessible over a wide range of desktop and mobile platforms. The suggestions are presented on a zone by zone basis, alerting them to potential energy saving actions. As the usability of the system is seen as a key determinate to success, the paper evaluates the level of usability for both a set of technical users and also the FMs for five European buildings, providing analysis and lessons learned from the approach taken

SPETA: Social pervasive e-tourism advisor

Tourism is one of the major sources of income for many countries. Therefore, providing efficient, real-time service for tourists is a crucial competitive asset which needs to be enhanced using major technological advances. The current research has the objective of integrating technological innovation into an information system, in order to build a better user experience for the tourist. The principal strength of the approach is the fusion of context-aware pervasive systems, GIS systems, social networks and semantics. This paper presents the SPETA system, which uses knowledge of the user’s current location, preferences, as well as a history of past locations, in order to provide the type of recommender services that tourists expect from a real tour guide.This work is supported by the Spanish Ministry of Industry, Tourism, and Commerce under the GODO project (FIT-340000-2007-134), under the PIBES project of the Spanish Committee of Education and Science (TEC2006-12365-C02-01) and under the MID-CBR project of the Spanish Committee of Education and Science (TIN2006-15140-C03-02).Publicad

The Role of Application Domain Knowledge in Using OWL DL Diagrams: A Study of Inference and Problem-Solving Tasks

Diagrammatic conceptual schemas are an important part of information systems analysis and design. For effectively communicating domain semantics, modeling grammars have been proposed to create highly expressive conceptual schemas. One such grammar is the Web Ontology Language (OWL), which relies upon description logics (DL) as a knowledge representation mechanism. While an OWL DL diagram can be useful for representing domain semantics in great detail, the formal semantics of OWL DL places a burden on diagram users. This research investigates how user’s prior knowledge of the application domain impacts solving inference tasks as well as schema-based problem-solving tasks using OWL DL diagrams. Our empirical validation shows that application domain knowledge has no effect on inference performance but enhances schema-based problem-solving performance. We contribute to the conceptual modeling literature by studying task performance for a highly expressive modeling grammar and introducing inference tasks as a new task type