26,458 research outputs found

    Data Provenance Inference in Logic Programming: Reducing Effort of Instance-driven Debugging

    Get PDF
    Data provenance allows scientists in different domains validating their models and algorithms to find out anomalies and unexpected behaviors. In previous works, we described on-the-fly interpretation of (Python) scripts to build workflow provenance graph automatically and then infer fine-grained provenance information based on the workflow provenance graph and the availability of data. To broaden the scope of our approach and demonstrate its viability, in this paper we extend it beyond procedural languages, to be used for purely declarative languages such as logic programming under the stable model semantics. For experiments and validation, we use the Answer Set Programming solver oClingo, which makes it possible to formulate and solve stream reasoning problems in a purely declarative fashion. We demonstrate how the benefits of the provenance inference over the explicit provenance still holds in a declarative setting, and we briefly discuss the potential impact for declarative programming, in particular for instance-driven debugging of the model in declarative problem solving

    Emergence of Self-Organized Symbol-Based Communication \ud in Artificial Creatures

    Get PDF
    In this paper, we describe a digital scenario where we simulated the emergence of self-organized symbol-based communication among artificial creatures inhabiting a \ud virtual world of unpredictable predatory events. In our experiment, creatures are autonomous agents that learn symbolic relations in an unsupervised manner, with no explicit feedback, and are able to engage in dynamical and autonomous communicative interactions with other creatures, even simultaneously. In order to synthesize a behavioral ecology and infer the minimum organizational constraints for the design of our creatures, \ud we examined the well-studied case of communication in vervet monkeys. Our results show that the creatures, assuming the role of sign users and learners, behave collectively as a complex adaptive system, where self-organized communicative interactions play a \ud major role in the emergence of symbol-based communication. We also strive in this paper for a careful use of the theoretical concepts involved, including the concepts of symbol and emergence, and we make use of a multi-level model for explaining the emergence of symbols in semiotic systems as a basis for the interpretation of inter-level relationships in the semiotic processes we are studying

    A Review of Verbal and Non-Verbal Human-Robot Interactive Communication

    Get PDF
    In this paper, an overview of human-robot interactive communication is presented, covering verbal as well as non-verbal aspects of human-robot interaction. Following a historical introduction, and motivation towards fluid human-robot communication, ten desiderata are proposed, which provide an organizational axis both of recent as well as of future research on human-robot communication. Then, the ten desiderata are examined in detail, culminating to a unifying discussion, and a forward-looking conclusion

    Recommendation, collaboration and social search

    Get PDF
    This chapter considers the social component of interactive information retrieval: what is the role of other people in searching and browsing? For simplicity we begin by considering situations without computers. After all, you can interactively retrieve information without a computer; you just have to interact with someone or something else. Such an analysis can then help us think about the new forms of collaborative interactions that extend our conceptions of information search, made possible by the growth of networked ubiquitous computing technology. Information searching and browsing have often been conceptualized as a solitary activity, however they always have a social component. We may talk about 'the' searcher or 'the' user of a database or information resource. Our focus may be on individual uses and our research may look at individual users. Our experiments may be designed to observe the behaviors of individual subjects. Our models and theories derived from our empirical analyses may focus substantially or exclusively on an individual's evolving goals, thoughts, beliefs, emotions and actions. Nevertheless there are always social aspects of information seeking and use present, both implicitly and explicitly. We start by summarizing some of the history of information access with an emphasis on social and collaborative interactions. Then we look at the nature of recommendations, social search and interfaces to support collaboration between information seekers. Following this we consider how the design of interactive information systems is influenced by their social elements

    Michael S. Mahoney, 1939–2008

    Get PDF
    Perhaps the clearest testimony to the scholarly range and depth of Princeton's now‐lamented Michael S. Mahoney lies in the dismay of his colleagues in the last few years, as they contemplated his imminent retirement. How to maintain coverage of his fields? Fretting over this question, the program in history of science that he did so much to build recently found itself sketching a five-year plan that involved replacing him with no fewer than four new appointments: a historian of mathematics with the ability to handle the course on Greek antiquity, a historian of the core problems of the Scientific Revolution, a historian of technology who could cover the nineteenth‐century United States and Britain, and, finally, a historian of the computer-and-media revolution. In his passing we have lost a small department

    Community-driven approaches to open source archaeological imaging

    Get PDF
    No abstract available

    Race: the difference that makes a difference

    Get PDF
    During the last two decades, critical enquiry into the nature of race has begun to enter the philosophical mainstream. The same period has also witnessed the emergence of an increasingly visible discourse about the nature of information within a diverse range of popular and academic settings. What is yet to emerge, however, is engagement at the interface of the two disciplines – critical race theory and the philosophy of information. In this paper, I shall attempt to contribute towards the emergence of such a field of enquiry by using a reflexive hermeneutic (or interpretative) approach to analyze the concept of race from an information-theoretical perspective, while reflexively analyzing the concept of information from a critical race-theoretical perspective. In order to facilitate a more concrete enquiry, the concept of information formulated by cyberneticist Gregory Bateson and the concept of race formulated by philosopher Charles W Mills will be placed at the centre of analysis. Crucially, both concepts can be shown to have a connection to the critical philosophy of Immanuel Kant, thereby justifying their selection as topics of examination on critical reflexive hermeneutic grounds

    The Cognitive Basis of Computation: Putting Computation in Its Place

    Get PDF
    The mainstream view in cognitive science is that computation lies at the basis of and explains cognition. Our analysis reveals that there is no compelling evidence or argument for thinking that brains compute. It makes the case for inverting the explanatory order proposed by the computational basis of cognition thesis. We give reasons to reverse the polarity of standard thinking on this topic, and ask how it is possible that computation, natural and artificial, might be based on cognition and not the other way around
    corecore