Based upon literature that argues technology, and even simple classification systems, embody cultural values, I ask if software bug tracking systems are similarly value laden. I make use of discourse within and around Web browser software development to identify specific discursive values, adopted from Ferree et al.'s "normative criteria for the public sphere," and conclude by arguing that such systems mediate community concerns and are subject to contested interpretations by their users.

In "Off Track" art and philosophy are the inspiration to look differently at daily life and organizations. The book is a plea to approach the complexity of the current world with new metaphors. The author calls this "hinking around". She sees that in "square worlds" there is a need for tools to approach entrenched patterns and systems differently and to get thought processes moving. Sarai van de Boel challenges the reader to look at one's own systems from the (...) inside with a philosophical approach. In eight chapters there are eight "tracks" to follow, but it is also possible to go off the rails. More than fifty works of art by well-known and lesser-known artists and designers play a role in these traces. The author questions the essence of their works and asks philosophical questions about phenomena they evoke. With Marlene Dumas, Marinus Boezem, L.A. Raeven, Ed Atkins, Wong Ping, Kazumasa Nagai, Remy Jungerman, Otto Piene, Eiko Ishioka, Campana brothers, Ann Demeulemeester and Kara Walker. The book ends with the Art & Philosophy Strategy, a theoretical framework for the use of art and philosophy. (shrink)

The Joint Battle Management Language (JBML) is an XML-based language designed to allow Command and Control (C2) systems to interface easily with Modeling and Simulation (M&S) systems. While some of the XML-tags defined in this language correspond to types of entities that exist in reality, others are mere syntactic artifacts used to structure the messages themselves. Because these two kinds of tags are not formally distinguishable, JBML messages in effect confuse data with what the data represent. In this (...) paper we show how a realism-based ontology combined with a rule language can be used to make these distinctions explicit. The approach allows storage of the contents of JBML messages in a Referent Tracking System in a format that mimics the structure of reality thereby providing an aid to message validation. (shrink)

The prior issue of Krisis (42:1) published Critical Naturalism: A Manifesto, with the aim to instigate a debate of the issues raised in this manifesto – the necessary re-thinking of the role (and the concept) of nature in critical theory in relation to questions of ecology, health, and inequality. Since Krisis considers itself a place for philosophical debates that take contemporary struggles as starting point, it issued an open call and solicited responses to the manifesto. This is one of the (...) sixteen selected responses, which augment, specify, or question the assumptions and arguments of the manifesto. (shrink)

The World Health Organisation declared COVID-19 a global pandemic on 11th March 2020, recognising that the underlying SARS-CoV-2 has caused the greatest global crisis since World War II. In this chapter, we present a framework to evaluate whether and to what extent the use of digital systems that track and/or trace potentially infected individuals is not only legal but also ethical.

The lack of consensus on how to characterize humans’ capacity for belief reasoning has been brought into sharp focus by recent research. Children fail critical tests of belief reasoning before 3 to 4 years (Wellman, Cross, & Watson, 2001; Wimmer & Perner, 1983), yet infants apparently pass false belief tasks at 13 or 15 months (Onishi & Baillargeon, 2005; Surian, Caldi, & Sperber, 2007). Non-human animals also fail critical tests of belief reasoning but can show very complex social behaviour (e.g., (...) Call & Tomasello, 2005). Fluent social interaction in adult humans implies efficient processing of beliefs, yet direct tests suggest that belief reasoning is cognitively demanding, even for adults (e.g., Apperly, Samson & Humphreys, 2005). We interpret these findings by drawing an analogy with the domain of number cognition, where similarly contrasting results have been observed. We propose that the success of infants and non-human animals on some belief reasoning tasks may be best explained by a cognitively efficient but inflexible capacity for tracking belief-like states. In humans this capacity persists in parallel with later-developing, more flexible but more cognitively demanding theory of mind abilities. (shrink)

This paper addresses variable-time impulsive control for coordinated tracking problem in nonlinear multiagent systems. To make followers coordinately track the leader, a variable-time impulsive controller is designed. Under some well-selected conditions, the comparison system of variable-time impulsive tracking control system is constructed by employing B-equivalence method. And we theoretically demonstrate that the two systems have the same stability property. Coordinated tracking criteria of multiagent systems are obtained by considering the comparison system. Numerical simulation is (...) also provided to illustrate the correctness of theoretical results and the efficiency of the variable-time impulsive controller. (shrink)

A tracking control algorithm of nonlinear multiple agents with undirected communication is studied for each multiagent system affected by external interference and input saturation. A control design scheme combining iterative learning and adaptive control is proposed to perform parameter adaptive time-varying adjustment and prove the effectiveness of the control protocol by designing Lyapunov functions. Simulation results show that the high-precision tracking control problem of the nonlinear multiagent system based on adaptive iterative learning control can be well realized even (...) when the input is saturated. Finally, the validity of the proposed algorithm is verified by numerical analysis. (shrink)

One of the major problems that artificial intelligence needs to tackle is the combination of different and potentially conflicting sources of information. Examples are multi-sensor fusion, database integration and expert systems development. In this paper we are interested in the aggregation of propositional logic-based information, a problem recently addressed in the literature on information fusion. It has applications in multi-agent systems that aim at aggregating the distributed agent-based knowledge into an (ideally) unique set of propositions. We consider a (...) group of autonomous agents who individually hold a logically consistent set of propositions. Each set of propositions represents an agent’s beliefs on issues on which the group has to make a collective decision. To make the collective decision, several aggregation procedures have been proposed in the literature. Assuming that all propositions in question are factually right or wrong, we ask how good belief fusion is as a truth tracker. Will it single out the true set of propositions? And how does information fusion compare with other aggregation procedures? We address these questions in a probabilistic framework and show that information fusion does especially well for agents with a middling competence of hitting the truth of an individual proposition. (shrink)

In this paper, the fixed-time practical bipartite tracking problem for the networked robotic systems with parametric uncertainties, input disturbances, and directed signed graphs is investigated. A new fixed-time estimator-based control algorithm for the NRSs is presented to address the abovementioned problem. By applying a sliding surface and the time base generator approach, a new stability analysis method is proposed to achieve the fixed-time practical bipartite tracking for the NRSs. We also derive the upper bound of the convergence (...) time for employing the presented control algorithm to solve the practical bipartite tracking problem and further demonstrate that the convergence time is independent of the initial value. Finally, the simulation examples are given to verify the effectiveness of the presented algorithms. (shrink)

The problem of finite-time tracking control is discussed for a class of uncertain nonstrict-feedback time-varying state delay nonlinear systems with full-state constraints and unmodeled dynamics. Different from traditional finite-control methods, a C 1 smooth finite-time adaptive control framework is introduced by employing a smooth switch between the fractional and cubic form state feedback, so that the desired fast finite-time control performance can be guaranteed. By constructing appropriate Lyapunov-Krasovskii functionals, the uncertain terms produced by time-varying state delays are compensated (...) for and unmodeled dynamics is coped with by introducing a dynamical signal. In order to avoid the inherent problem of “complexity of explosion” in the backstepping-design process, the DSC technology with a novel nonlinear filter is introduced to simplify the structure of the controller. Furthermore, the results show that all the internal error signals are driven to converge into small regions in a finite time, and the full-state constraints are not violated. Simulation results verify the effectiveness of the proposed method. (shrink)

The current paper studies guaranteed cost time-varying formation tracking design and analysis problems of high-order swarm systems subject to intermittent communications. Different from the existing work of the time-varying formation control, the time-varying formation tracking can be achieved while certain performance can be guaranteed, and the impacts of the intermittent communications and switching topologies are considered. First, a new intermittent time-varying formation tracking control protocol with a global performance index is proposed, where not only the formation (...) regulation performances but also the control energy expenditures are involved. The codesign of the gain matrix with the performance index is achieved to compromise the formation regulation performances against control energy expenditures, and the guaranteed cost is determined to restrain the upper bound of the performance index. Then, guaranteed cost time-varying formation tracking design and analysis criteria are given, where the matrix variable of the linear matrix inequality conditions is used to design the gain matrix and to determine the guaranteed cost. Finally, a simulation example is provided to illustrate the effectiveness of the theoretical results. (shrink)

The goal of referent tracking is to create an ever-growing pool of data relating to the entities existing in concrete spatiotemporal reality. In the context of Electronic Healthcare Records (EHRs) the relevant concrete entities are not only particular patients but also their parts, diseases, therapies, lesions, and so forth, insofar as these are salient to diagnosis and treatment. Within a referent tracking system, all such entities are referred to directly and explicitly, something which cannot be achieved when familiar (...) concept-based systems are used in what is called “clinical coding”. In this paper we describe the components of a referent tracking system in an informal way and we outline the procedures that would have to be followed by healthcare personnel in using such a system. We argue that the referent tracking paradigm can be introduced with only minor – though nevertheless ontologically important – technical changes to existing EHR infrastructures, but that it will require a radically different mindset on the part of those involved in clinical coding and terminology development from that which has prevailed hitherto. (shrink)

When ordinary people - mathematicians among them - take something to follow from something else, they are exposing the backbone of our self-ascribed ability to reason. Jody Azzouni investigates the connection between that ordinary notion of consequence and the formal analogues invented by logicians. One claim of the book is that, despite our apparent intuitive grasp of consequence, we do not introspect rules by which we reason, nor do we grasp the scope and range of the domain, as it were, (...) of our reasoning. This point is illustrated with a close analysis of a paradigmatic case of ordinary reasoning: mathematical proof. (shrink)

Electronic Health Records (EHRs) are organized around two kinds of statements: those reporting observations made, and those reporting acts performed. In neither case does the record involve any direct reference to what such statements are actually about. They record not: what is happening on the side of the patient, but rather: what is said about what is happening. While the need for a unique patient identifier is generally recognized, we argue that we should now move to an EHR regime in (...) which all clinically salient particulars – from the concrete disorder on the side of the patient and the body parts in which it occurs to the concrete treatments given – should be uniquely identified. This will allow us to achieve interoperability among different systems of records at the level where it really matters: in regard to what is happening in the real world. It will also allow us to keep track of particular disorders and of the effects of particular treatments in a precise and unambiguous way. We discuss the ontological and epistemological aspects of our claim and describe a scenario for implementation within EHR systems. (shrink)

When ordinary people--mathematicians among them--take something to follow from something else, they are exposing the backbone of our self-ascribed ability to reason. Jody Azzouni investigates the connection between that ordinary notion of consequence and the formal analogues invented by logicians. One claim of the book is that, despite our apparent intuitive grasp of consequence, we do not introspect rules by which we reason, nor do we grasp the scope and range of the domain, as it were, of our reasoning. This (...) point is illustrated with a close analysis of a paradigmatic case of ordinary reasoning: mathematical proof. (shrink)

It is an experimental fact that \ -decays produce in a cloud chamber at most one track and that this track points in a random direction. This seems to contradict the description of decay in Quantum Mechanics: according to Gamow a spherical wave is produced and moves radially according to Schrödinger’s equation. It is as if the interaction with the supersaturated vapor turned the wave into a particle. The aim of this note is to place this effect in the context (...) of Schrödinger’s Quantum Mechanics. We shall see that the properties of the initial wave function suggest the introduction of a semiclassical formalism in which the \ -wave can be described as a collection of semiclassical wavelets; each of them interacts with an atom and forms an entangled state. The interaction can be regarded as a semiclassical inelastic scattering event. The measurement selects the wave function of one of the ions, with a probability given by Born’s rule. This ion interacts with the atoms nearby leading to the formation of a droplet. One can reasonably assume that also the wavelet entangled with the selected ion has probability one to remain as part of the description of the system. The measurement process is therefore represented by a unitary operator. The wavelet remains sharply localized on a classical path \ It is still a probability wave: it determines the probability that another atom be ionized. This probability is essentially zero unless the atom lies on \ . This gives the visible track. (shrink)

Management of information is facilitated by unambiguously tracking portions of reality over time. To track the portions of reality, a referent tracking system is used. The referent tracking system is able to communicate with other tracking systems and/or tradition information systems. Errors in the referent tracking system are detected and corrected to maintain actual representations of the portions of reality.

So-called digital tracking and tracing systems have been proposed as a means to prevent the spread of SARS-CoV-2. There are ethical guidelines and evaluations of such systems available. As part of a research project, I will build on and critically evaluate the foundations of such guidelines. The goal is to provide both incremental improvements of the specific requirements for DTTSs and to present and discuss more fundamental challenge, the risk for indirect effects and slippery slopes. The nature (...) of slippery slopes makes ethical guidelines more difficult since it requires a more complex analysis than, for example, using a checklist allows for. (shrink)

Digital Rights Management (DRM) covers the description, identification, trading, protection, monitoring and tracking of all forms of rights over both tangible and intangible assets. The Digital Object Identifier (DOI) system provides a framework for the persistent identification of entities involved in this domain. Although the system has been very well designed to manage object identifiers, some important questions relating to the creation and assignment of identifiers are left open. The paradigm of a Referent Tracking System (RTS) recently advanced (...) in the healthcare and life sciences environment is able to fill these gaps. This is demonstrated by pointing out inconsistencies in the existing DOI models and by showing how they can be corrected using an RTS. (shrink)

Humans look at, think about, and manipulate things with tools.1 Some tools are largely pragmatic in nature, and they have a long history in our lineage, but more recently, humans have innovated tools for keeping track of features of the environment. Epistemic tracking tools (as I shall dub them) allow us to think, perceive and manipulate the world with a precision that we would otherwise lack. These epistemic tracking tools (henceforth ETTs) will be the focus of this chapter. (...) ETTs track particular environmental variables examples of such tools include maps, compasses telescopes, sextants, and so on. There are also abstract systems of representation that track numbers, sets, sounds, and phonemes, and collectively as sets of propositions and equations can track physical phenomena, or perhaps even the truth. This chapter will focus on providing an account of the evolutionary platform for ETTs, look at some examples of ETTs in action and some of the consequences of the account for the extended knowledge literature. (shrink)

This paper discusses a dualization of Fitting's notion of a "cut-down" operation on a bilattice, rendering a "track-down" operation, later used to represent the idea that a consistent opinion cannot arise from a set including an inconsistent opinion. The logic of track-down operations on bilattices is proved equivalent to the logic d_Sfde, dual to Deutsch's system S_fde. Furthermore, track-down operations are employed to provide an epistemic interpretation for paraconsistent weak Kleene logic. Finally, two logics of sequential combinations of cut-and track-down (...) operations allow settling positively the question of whether bilattice-based semantics are available for subsystems of S_fde. (shrink)

Sensory and tracking technologies are being introduced into workplaces in ways Taylor and the Gilbreths could only have imagined. New work design experiments merge wellness with productivity to measure and modulate the affective and emotional labour of resilience that is necessary to survive the turbulence of the widespread incorporation of agile management systems, in which workers are expected to take symbolic direction from machines. The Quantified Workplace project was carried out by one company that fitted sensory algorithmic devices (...) to workers’ computers and bodies, which, this article argues, identify workers’ so-called agility and reveal management practices that track affective and emotional labour, categorized in the project as stress, subjective productivity and wellbeing. Capital’s accelerated attempts to capture more areas of work and workers’ capacities facilitate the conversion of labour power into a source of value but also results in alienation and abstraction. Participants’ resistance to participation in the Quantified Workplace reveals tensions in the labour process when affect is measured in processes of corporate change. (shrink)

This paper proposes a novel adaptive dynamic programming approach to address the optimal consensus control problem for discrete-time multiagent systems. Compared with the traditional optimal control algorithms for MASs, the proposed algorithm is designed on the basis of the event-triggered scheme which can save the communication and computation resources. First, the consensus tracking problem is transferred into the input-state stable problem. Based on this, the event-triggered condition for each agent is designed and the event-triggered ADP is presented. Second, (...) neural networks are introduced to simplify the application of the proposed algorithm. Third, the stability analysis of the MASs under the event-triggered conditions is provided and the estimate errors of the neural networks’ weights are also proved to be ultimately uniformly bounded. Finally, the simulation results demonstrate the effectiveness of the event-triggered ADP consensus control method. (shrink)

This paper proposes an adaptive formation tracking control algorithm optimized by Q-learning scheme for multiple mobile robots. In order to handle the model uncertainties and external disturbances, a desired linear extended state observer is designed to develop an adaptive formation tracking control strategy. Then an adaptive method of sliding mode control parameters optimized by Q-learning scheme is employed, which can avoid the complex parameter tuning process. Furthermore, the stability of the closed-loop control system is rigorously proved by means (...) of matrix properties of graph theory and Lyapunov theory, and the formation tracking errors can be guaranteed to be uniformly ultimately bounded. Finally, simulations are presented to show the proposed algorithm has the advantages of faster convergence rate, higher tracking accuracy, and better steady-state performance. (shrink)

For corporate memory and enterprise ontology systems to be maximally useful, they must be freed from certain barriers placed around them by traditional knowledge management paradigms. This means, above all, that they must mirror more faithfully those portions of reality which are salient to the workings of the enterprise, including the changes that occur with the passage of time. The purpose of this chapter is to demonstrate how theories based on philosophical realism can contribute to this objective. We discuss (...) how realism-based ontologies (capturing what is generic) combined with referent tracking (capturing what is specific) can play a key role in building the robust and useful corporate memories of the future. (shrink)

This paper studies the adaptive event-triggered finite-time tracking of output-constrained high-order nonlinear systems with time-varying powers. Due to the presence of multiple unknown powers and the consideration of event-triggered control, all the existing control methods of output-constrained nonlinear systems are inapplicable. By introducing nonlinear mappings, finite-time performance functions, and low-power and high-power terms into adding a power integrator technique and the relative threshold strategy, an adaptive state-feedback controller is designed to eliminate the effects caused by the output (...) constraint and time-varying powers. It is proved that all the closed-loop signals are bounded, the asymmetric time-varying output constraint is not violated, and the tracking error converges to a prescribed arbitrarily small region around zero in a preassigned finite time. Furthermore, the Zeno phenomenon can be avoided. Two simulation examples demonstrate the effectiveness of this control scheme. (shrink)

This introduction to the special issue of the same title sets out the context for a critical examination of contemporary developments in sociotechnical systems deployed in the name of security. Our focus is on technologies of tracking, with their claims to enable the identification of those who comprise legitimate targets for the use of violent force. Taking these claims as deeply problematic, we join a growing body of scholarship on the technopolitical logics that underpin an increasingly violent landscape (...) of institutions, infrastructures, and actions, promising protection to some but arguably contributing to our collective insecurity. We examine the asymmetric distributions of sociotechnologies of security; their deadly and injurious effects; and the legal, ethical, and moral questions that haunt their operations. (shrink)

Like moths attracted to a bright light, philosophers are drawn to glitz. So in discussing the notions of ‘gauge’, ‘gauge freedom’, and ‘gauge theories’, they have tended to focus on examples such as Yang–Mills theories and on the mathematical apparatus of fibre bundles. But while Yang–Mills theories are crucial to modern elementary particle physics, they are only a special case of a much broader class of gauge theories. And while the fibre bundle apparatus turned out, in retrospect, to be the (...) right formalism to illuminate the structure of Yang–Mills theories, the strength of this apparatus is also its weakness: the fibre bundle formalism is very flexible and general, and, as such, fibre bundles can be seen lurking under, over, and around every bush. What is needed is an explanation of what the relevant bundle structure is and how it arises, especially for theories that are not initially formulated in fibre bundle language. Here I will describe an approach that grows out of the conviction that, at least for theories that can be written in Lagrangian/Hamiltonian form, gauge freedom arises precisely when there are Lagrangian/Hamiltonian constraints of an appropriate character. This conviction is shared, if only tacitly, by that segment of the physics community that works on constrained Hamiltonian systems. (shrink)