121 research outputs found

    Scare Tactics: Evaluating Problem Decompositions Using Failure Scenarios

    Get PDF
    Our interest is in the design of multi-agent problem-solving systems, which we refer to as composite systems. We have proposed an approach to composite system design by decomposition of problem statements. An automated assistant called Critter provides a library of reusable design transformations which allow a human analyst to search the space of decompositions for a problem. In this paper we describe a method for evaluating and critiquing problem decompositions generated by this search process. The method uses knowledge stored in the form of failure decompositions attached to design transformations. We suggest the benefits of our critiquing method by showing how it could re-derive steps of a published development example. We then identify several open issues for the method

    A Proposed Perspective Shift: Viewing Specification Design as a Planning Problem

    Get PDF
    16 pagesWe argue that in certain problem domains, AI planning can be viewed as a foundation for generation, critiquing, and elaboration of a specification. Two specification design projects in our group are used as a focus of discussion

    Design Issues in a Minimal Language to Support Lisp-based, Object-based, and Rule-based Programming

    Get PDF
    13 pagesIn this paper we argue for a minimalist view of language design for Expert System environments. In support of our arguments we present MIN, a minimal language which extends the less-is-better philosophy of Scheme to include both object-based and rule-based components. We discuss the strengths and weaknesses of MIN as an embodiment of the minimalist philosophy, and point to other work supporting this view of language design

    Leveraging multimission satellite data for spatiotemporally coherent cyanoHAB monitoring

    Get PDF
    Cyanobacteria harmful algal blooms (cyanoHABs) present a critical public health challenge for aquatic resource and public health managers. Satellite remote sensing is well-positioned to aid in the identification and mapping of cyanoHABs and their dynamics, giving freshwater resource managers a tool for both rapid and long-term protection of public health. Monitoring cyanoHABs in lakes and reservoirs with remote sensing requires robust processing techniques for generating accurate and consistent products across local and global scales at high revisit rates. We leveraged the high spatial and temporal resolution chlorophyll-a (Chla) and phycocyanin (PC) maps from two multispectral satellite sensors, the Sentinel-2 (S2) MultiSpectral Instrument (MSI) and the Sentinel-3 (S3) Ocean Land Colour Instrument (OLCI) respectively, to study bloom dynamics in Utah Lake, United States, for 2018. We used established Mixture Density Networks (MDNs) to map Chla from MSI and train new MDNs for PC retrieval from OLCI, using the same architecture and training dataset previously proven for PC retrieval from hyperspectral imagery. Our assessment suggests lower median uncertainties and biases (i.e., 42% and -4%, respectively) than that of existing top-performing PC algorithms. Additionally, we compared bloom trends in MDN-based PC and Chla products to those from a satellite-derived cyanobacteria cell density estimator, the cyanobacteria index (CI-cyano), to evaluate their utility in the context of public health risk management. Our comprehensive analyses indicate increased spatiotemporal coherence of bloom magnitude, frequency, occurrence, and extent of MDN-based maps compared to CI-cyano and potential for use in cyanoHAB monitoring for public health and aquatic resource managers

    Designing location based learning experiences for people with intellectual disabilities and additional sensory impairments

    Get PDF
    The research reported here is part of a larger project which seeks to combine serious games (or games based learning) with location based services to help people with intellectual disability and additional sensory impairments to develop work based skills. Specifically this paper reports on where these approaches are combined to scaffold the learning of new routes and ultimately independent travel to new work and educational opportunities. A phased development methodology is applied in a user sensitive manner, to ensure that user feedback drives the ongoing development process. Methods to structure this include group feedback on conceptual storyboards, expert review of prototypes using usability heuristics relating to the main system goals, and finally co-discovery methods with student pairs exploring all three modes of the system in real world contexts. Aspects of developmental and cognitive psychological theories are also reviewed and it is suggested that combining games based learning approaches with location based services is an appropriate combination of technologies for an application specifically designed to scaffold route learning for this target audience

    Human-centered specification exemplars for critical infrastructure environments.

    Get PDF
    Specification models of critical infrastructure focus on parts of a larger environment. However, to consider the security of critical infrastructure systems, we need approaches for modelling the sum of these parts; these include people and activities, as well as technology. This paper presents human-centered specification exemplars that capture the nuances associated with interactions between people, technology, and critical infrastructure environments. We describe requirements each exemplar needs to satisfy, and present preliminary results in developing and evaluating them

    A Goal Modeling Framework for Self-contextualizable Software

    Get PDF
    Abstract. Self-contextualizability refers to the system ability to autonomously adapt its behaviour to context in order to maintain its objectives satisfied. In this paper, we propose a modeling framework to deal with self-contextualizability at the requirements level. We use Tropos goal models to express requirements; we provide constructs to analyse and represent context at each variation point of the goal model; and we exploit the goal and context analysis to define how the system satisfies its requirements in different contexts. Tropos goal analysis provides constructs to hierarchically analyse goals and discover alternative sets of tasks the system can execute to satisfy goals; our framework extends Tropos goal model by considering context at its variation points, and provides constructs to hierarchically analyse context and discover alternative sets of facts the system has to monitor to verify a context. A self-contextualizable promotion information system scenario is used to illustrate our approach. Key words: GORE, Context Analysis, Self-Contextualization
    • 

    corecore