scholarly journals Verifiable Autonomy and Responsible Robotics

2020 ◽  
pp. 189-217
Author(s):  
Louise Dennis ◽  
Michael Fisher

AbstractThe move towards greater autonomy presents challenges for software engineering. As we may be delegating greater responsibility to software systems and as these autonomous systems can make their own decisions and take their own actions, a step change in the way the systems are developed and verified is needed. This step involves moving from just considering what the system does, but also why it chooses to do it (since decision-making may be delegated). In this chapter, we provide an overview of our programme of work in this area: utilising hybrid agent architectures, exposing and verifying the reasons for decisions, and applying this to assessing a range of properties of autonomous systems.

Author(s):  
Juan Marcelo Parra-Ullauri ◽  
Antonio García-Domínguez ◽  
Nelly Bencomo ◽  
Changgang Zheng ◽  
Chen Zhen ◽  
...  

AbstractModern software systems are increasingly expected to show higher degrees of autonomy and self-management to cope with uncertain and diverse situations. As a consequence, autonomous systems can exhibit unexpected and surprising behaviours. This is exacerbated due to the ubiquity and complexity of Artificial Intelligence (AI)-based systems. This is the case of Reinforcement Learning (RL), where autonomous agents learn through trial-and-error how to find good solutions to a problem. Thus, the underlying decision-making criteria may become opaque to users that interact with the system and who may require explanations about the system’s reasoning. Available work for eXplainable Reinforcement Learning (XRL) offers different trade-offs: e.g. for runtime explanations, the approaches are model-specific or can only analyse results after-the-fact. Different from these approaches, this paper aims to provide an online model-agnostic approach for XRL towards trustworthy and understandable AI. We present ETeMoX, an architecture based on temporal models to keep track of the decision-making processes of RL systems. In cases where the resources are limited (e.g. storage capacity or time to response), the architecture also integrates complex event processing, an event-driven approach, for detecting matches to event patterns that need to be stored, instead of keeping the entire history. The approach is applied to a mobile communications case study that uses RL for its decision-making. In order to test the generalisability of our approach, three variants of the underlying RL algorithms are used: Q-Learning, SARSA and DQN. The encouraging results show that using the proposed configurable architecture, RL developers are able to obtain explanations about the evolution of a metric, relationships between metrics, and were able to track situations of interest happening over time windows.


2020 ◽  
pp. 7-28
Author(s):  
Ana Neves

The digital transformation of public administrations is visible in the way several services are being delivered, in the communication tools that are being used and on access to administrative information. Technology intervenes more deeply in decision-making procedures. The administrative decisions are increasingly based on automated processing, either partially or fully. Automated decision-making can facilitate the correctness of decisions, insofar as computing and algorithms potentially make the application of law less conducive to errors of fact and errors of law, and to motivations beyond the protected legal interests. It, however, poses interesting challenges: it redefines the very concept of executive application of the law (e.g., creating or making use of an administrative intermediate rationality), of procedural information gathering, of the duty to give reasons for decisions and of the way of reviewing them. Regardless of the automatization of decision-making, the administrative information systems interoperability conciliated with the data portability right redefine the gathering of information and evidence, reinforcing the principle of investigation, which can mean a higher accuracy of fact-finding with less burden on individuals. In both cases, the use of technology in the administrative procedure demands rethinking the meaning of central values of the exercise of administrative powers.


Author(s):  
Andrew Stranieri ◽  
John Yearwood

In software engineering, the re-use concept is a design principle that improves efficiency, quality and maintainability by ensuring that software artifacts are developed once and re-used many times. In an analogous way, a group‘s reasoning can be imagined to be re-used by that or another group to enhance efficiency, transparency and consistency in decision-making. However, the re-use of reasoning is difficult to achieve because group reasoning cannot easily be captured and the way in which a group reasoning artifact is subsequently used is not obvious. This chapter explores the case for the re-use of community reasoning and concludes that individuals can benefit from a representation of a previous group‘s coalesced reasoning if the reasoning to be modeled and the scheme to represent the reasoning have been selected to suit the task. The authors contend that specifying the future community likely to re-use the reasoning, called the intended audience, informs a decision regarding whether an exercise aimed at coalescing a group‘s reasoning is best performed verbally, in writing or with the use of more structured schemes such as Argument visualization.


2020 ◽  
Vol 43 ◽  
Author(s):  
Valerie F. Reyna ◽  
David A. Broniatowski

Abstract Gilead et al. offer a thoughtful and much-needed treatment of abstraction. However, it fails to build on an extensive literature on abstraction, representational diversity, neurocognition, and psychopathology that provides important constraints and alternative evidence-based conceptions. We draw on conceptions in software engineering, socio-technical systems engineering, and a neurocognitive theory with abstract representations of gist at its core, fuzzy-trace theory.


1999 ◽  
Vol 38 (04/05) ◽  
pp. 279-286 ◽  
Author(s):  
L. L. Weed

AbstractIt is widely recognised that accessing and processing medical information in libraries and patient records is a burden beyond the capacities of the physician’s unaided mind in the conditions of medical practice. Physicians are quite capable of tremendous intellectual feats but cannot possibly do it all. The way ahead requires the development of a framework in which the brilliant pieces of understanding are routinely assembled into a working unit of social machinery that is coherent and as error free as possible – a challenge in which we ourselves are among the working parts to be organized and brought under control.Such a framework of intellectual rigor and discipline in the practice of medicine can only be achieved if knowledge is embedded in tools; the system requiring the routine use of those tools in all decision making by both providers and patients.


2017 ◽  
Vol 13 (2) ◽  
pp. 169-184 ◽  
Author(s):  
Shuya Kushida ◽  
Takeshi Hiramoto ◽  
Yuriko Yamakawa

In spite of increasing advocacy for patients’ participation in psychiatric decision-making, there has been little research on how patients actually participate in decision-making in psychiatric consultations. This study explores how patients take the initiative in decision-making over treatment in outpatient psychiatric consultations in Japan. Using the methodology of conversation analysis, we analyze 85 video-recorded ongoing consultations and find that patients select between two practices for taking the initiative in decision-making: making explicit requests for a treatment and displaying interest in a treatment without explicitly requesting it. A close inspection of transcribed interaction reveals that patients make explicit requests under the circumstances where they believe the candidate treatment is appropriate for their condition, whereas they merely display interest in a treatment when they are not certain about its appropriateness. By fitting practices to take the initiative in decision-making with the way they describe their current condition, patients are optimally managing their desire for particular treatments and the validity of their initiative actions. In conclusion, we argue that the orderly use of the two practices is one important resource for patients’ participation in treatment decision-making.


2017 ◽  
Vol 12 (1) ◽  
pp. 50-77
Author(s):  
Sarah Weiss

This article examines Rangda and her role as a chthonic and mythological figure in Bali, particularly the way in which Rangda’s identity has intertwined with that of the Hindu goddess Durga— slayer of buffalo demons and other creatures that cannot be bested by Shiva or other male Hindu gods. Images and stories about Durga in Bali are significantly different from those found in Hindu contexts in India. Although she retains the strong-willed independence and decision-making capabilities prominently associated with Durga in India, in Bali the goddess Durga is primarily associated with violent and negative attributes as well as looks and behaviours that are more usually associated with Kali in India. The reconstruction of Durga in Bali, in particular the integration of Durga with the figure of the witch Rangda, reflects the local importance of the dynamic relationship between good and bad, positive and negative forces in Bali. I suggest that Balinese representations of Rangda and Durga reveal a flux and transformation between good and evil, not simply one side of a balanced binary opposition. Transformation—here defined as the persistent movement between ritual purity and impurity—is a key element in the localization of the goddess Durga in Bali.


2017 ◽  
Vol 8 (1) ◽  
Author(s):  
Ivransa Zuhdi Pane

Task manager software is useful to support the management of the assignment of the work programs to personnel, monitoring the progress of the tasks and evaluating the personnel performance in an engineering functional organization. Implementation of this software is expected to increase the personnel productivity as well as to provide inputs for the management, which can be utilized to support further decision making activities. To realize such software, an engineering activity is initialized by firstly analyzing the requirement and designing the operational framework, which is used as the base to construct the functional product in the subsequent implementation phases. Index Terms—software engineering, Engineers, engineering functional organization, prototyping


Sign in / Sign up

Export Citation Format

Share Document