As autonomous systems are becoming part of our daily lives, ensuring their trustworthiness is crucial. There are a number of techniques for demonstrating trustworthiness. Common to all these techniques is the need to articulate specifications. In this paper, we take a broad view of specification, concentrating on top-level requirements including but not limited to functionality, safety, security and other non-functional properties. The main contribution of this article is a set of high-level intellectual challenges for the autonomous systems community related to specifying for trustworthiness. We also describe unique specification challenges concerning a number of application domains for autonomous systems.
Over the past decade, numerous disciplines have taken on speculation as a method for research, a tool for thought, or a topic of study. In so doing, sociology, politics, design, geography and other disciplines have all helped to readdress the nature and potential of speculation, as a way of thinking, but also as a way to bridge the gap between theory and practice, something that often plagues philosophy. Despite the variety of perspectives in this range of disciplines, they often draw upon a common philosophical canon. This paper explores current discussions of speculation in the context of speculative philosophy, as well as work in new materialisms from Karen Barad, and Jane Bennett, to address some potential exchanges between new materialisms and speculation. The paper concludes with a brief description of a symposium held in 2018 that explored these themes across disciplines. It advocates further exchanges between speculative and new materialist approaches, as one way of figuring the place of matter in theory.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.