Computers are increasingly interactive. They are no more transformational systems producing a final output after a finite execution. Instead, they continuously react in time to external events that modify the course of computing execution. While philosophers have been interested in conceptualizing computers for a long time, they seem to have paid little attention to the specificities of interactive computing. We propose to tackle this issue by surveying the literature in theoretical computer science, where one can find explicit proposals (...) for a model of interactive computing. In that field, the formal modelling of interactive computing systems has been brought down to whether the new interaction models are reducible to Turing Machines. There are three areas where interaction models are framed. The comparison between TMs and interactive system models is at stake in all of them. These areas are namely some works on concurrency by Milner, on Reactive Turing Machines, and on interaction as a new computing paradigm. For each of the three identified models, we present its motivation, sum up its account for interaction and its legacy, and point out issues regarding the understanding of computers. The survey shows difficulties for epistemologists. The reason is that these analyses focus on the formal equivalence between interactive models of computation and classic ones. Such a project is different from addressing how a computing machine can be interactive: in other words, which mechanisms allow it. (shrink)

By using interactive computer graphics (ICG), it is possible to discuss the numerical aspects of some arms race issues with more specificity and in a visual way. The number of variables involved in these issues can be quite large; computers operated in the interactive, graphical mode, can allow exploration of the variables, leading to a greater understanding of the issues. This paper will examine some examples of interactive computer graphics: (1) The relationship between silo hardening and the (...) accuracy, yield, and reliability of ICBMs; (2) Target vulnerability (Minuteman, Dense Pack); (3) Counterforce vs. countervalue weapons; (4) Civil defense; (5) Gravitational bias error; (6) MIRV; (7) National vulnerability to a preemptive first strike; (8) Radioactive fallout; and (9) Digital image processing with charge-coupled devices. (shrink)

Computers today are not only the calculation tools - they are directly (inter)acting in the physical world which itself may be conceived of as the universal computer (Zuse, Fredkin, Wolfram, Chaitin, Lloyd). In expanding its domains from abstract logical symbol manipulation to physical embedded and networked devices, computing goes beyond Church-Turing limit (Copeland, Siegelman, Burgin, Schachter). Computational processes are distributed, reactive, interactive, agent-based and concurrent. The main criterion of success of computation is not its termination, but the adequacy (...) of its response, its speed, generality and flexibility; adaptability, and tolerance to noise, error,faults, and damage. Interactive computing is a generalization of Turing computing, and it calls for new conceptualizations (Goldin, Wegner). In the info-computationalist framework, with computation seen as information processing, natural computation appears as the most suitable paradigm of computation and information semantics requires logical pluralism. (shrink)

What is algorithmic thought? It is not possible to address this question without first reflecting on how the Universal Turing Machine transformed symbolic logic and brought to a halt the universality of mathematical formalism and the biocentric speciation of thought. The article draws on Sylvia Wynter’s discussion of the sociogenic principle to argue that both neurocognitive and formal models of automated cognition constitute the epistemological explanations of the origin of the human and of human sapience. Wynter’s argument will be related (...) to Gilbert Simondon’s reflections on ‘technical mentality’ to consider how socio-techno-genic assemblages can challenge the biocentricism and the formalism of modern epistemology. This article turns to ludic logic as one possible example of techno-semiotic languages as a speculative overturning of sociogenic programming. Algorithmic rules become technique-signs coinciding not with classic formalism but with interactive localities without re-originating the universality of colonial and patriarchal cosmogony. (shrink)

In this response essay, we argue that Andy Clark’s assessment of our position on cyborgs is rooted in a misconception of the notion of “interaction” that we advance.

Sometimes in the course of image-making, images are asked to represent unusual things. Around 1960, scientists and engineers working on the Computer-Aided Design Project at MIT began imagining that computers could be “active partners” to human designers. They began talking about a future of “human-computer symbiosis.” And they created a new type of image—the screenshot—that represented this new possibility. This paper describes early CAD research as a site for the emergence of the ideal of the interactive computer and how (...) this ideal was described and distributed through screenshots.Though we now routinely associate computers with interactivity, interactivity was beyond the average user’s experience in 1960.... (shrink)

Context: Constructivist approaches to cognition have mostly been descriptive, and now face the challenge of specifying the mechanisms that may support the acquisition of knowledge. Departing from cognitivism, however, requires the development of a new functional framework that will support causal, powerful and goal-directed behavior in the context of the interaction between the organism and the environment. Problem: The properties affecting the computational power of this interaction are, however, unclear, and may include partial information from the environment, exploration, distributed processing (...) and aggregation of information, emergence of knowledge and directedness towards relevant information. Method: We posit that one path towards such a framework may be grounded in these properties, supported by dynamical systems. To assess this hypothesis, we describe computational models inspired from swarm intelligence, which we use as a metaphor to explore the practical implications of the properties highlighted. Results: Our results demonstrate that these properties may serve as the basis for complex operations, yielding the elaboration of knowledge and goal-directed behavior. Implications: This work highlights aspects of interaction that we believe ought to be taken into account when characterizing the possible mechanisms underlying cognition. The scope of the models we describe cannot go beyond that of a metaphor, however, and future work, theoretical and experimental, is required for further insight into the functional role of interaction with the environment for the elaboration of complex behavior. Constructivist content: Inspiration for this work stems from the constructivist impetus to account for knowledge acquisition based on interaction. (shrink)

In this paper, we address the question of what current computers are from the point of view of human-computer interaction. In the early days of computing, the Turing machine (TM) has been the cornerstone of the understanding of computers. The TM defines what can be computed and how computation can be carried out. However, in the last decades, computers have evolved and increasingly become interactive systems, reacting in real-time to external events in an ongoing loop. We argue that (...) the TM does not provide a mechanistic explanation for interactive computing. The reason is that the fundamental phenomena relevant to interactive computing are out of the scope of classical computability theory. Part of the explanatory power of the TM relies on what we propose to call an execution model. An execution model belongs to a level of abstraction where it is possible to describe both the functional architecture and the execution in mechanistic terms. An updated execution model is warranted to provide the minimal mechanistic description for interactive computation as a counterpart of what the TM could explain regarding Church-Turing computation. It would support an explanation of the ubiquitous computing devices we know - those interacting with humans, e.g., through digital interfaces. We show that such a model is not available within interactive models of computation and that relevant abstractions and concerns are available in computer engineering but need to be identified and gathered. To fill this void, we propose to reflect on the level of abstraction required to support the mechanistic description of an interactive execution and propose some preliminary requirements. (shrink)

Just as AI has moved away from classical AI, human-computer interaction (HCI) must move away from what I call ‘good old fashioned HCI’ to ‘new HCI’ – it must become a part of cognitive systems research where HCI is one case of the interaction of intelligent agents (we now know that interaction is essential for intelligent agents anyway). For such interaction, we cannot just ‘analyze the data’, but we must assume intentions in the other, and I suggest these are largely (...) recognized through resistance to carrying out one’s own intentions. This does not require fully cognitive agents but can start at a very basic level. New HCI integrates into cognitive systems research and designs intentional systems that provide resistance to the human agent. (shrink)

The classical view of computing positions computation as a closed-box transformation of inputs (rational numbers or finite strings) to outputs. According to the interactive view of computing, computation is an ongoing interactive process rather than a function-based transformation of an input to an output. Specifically, communication with the outside world happens during the computation, not before or after it. This approach radically changes our understanding of what is computation and how it is modeled. The (...) acceptance of interaction as a new paradigm is hindered by the Strong Church–Turing Thesis (SCT), the widespread belief that Turing Machines (TMs) capture all computation, so models of computation more expressive than TMs are impossible. In this paper, we show that SCT reinterprets the original Church–Turing Thesis (CTT) in a way that Turing never intended; its commonly assumed equivalence to the original is a myth. We identify and analyze the historical reasons for the widespread belief in SCT. Only by accepting that it is false can we begin to adopt interaction as an alternative paradigm of computation. We present Persistent Turing Machines (PTMs), that extend TMs to capture sequential interaction. PTMs allow us to formulate the Sequential Interaction Thesis, going beyond the expressiveness of TMs and of the CTT. The paradigm shift to interaction provides an alternative understanding of the nature of computing that better reflects the services provided by today’s computing technology. (shrink)

The classical view of computing positions computation as a closed-box transformation of inputs (rational numbers or finite strings) to outputs. According to the interactive view of computing, computation is an ongoing interactive process rather than a function-based transformation of an input to an output. Specifically, communication with the outside world happens during the computation, not before or after it. This approach radically changes our understanding of what is computation and how it is modeled. The (...) acceptance of interaction as a new paradigm is hindered by the Strong Church–Turing Thesis (SCT), the widespread belief that Turing Machines (TMs) capture all computation, so models of computation more expressive than TMs are impossible. In this paper, we show that SCT reinterprets the original Church–Turing Thesis (CTT) in a way that Turing never intended; its commonly assumed equivalence to the original is a myth. We identify and analyze the historical reasons for the widespread belief in SCT. Only by accepting that it is false can we begin to adopt interaction as an alternative paradigm of computation. We present Persistent Turing Machines (PTMs), that extend TMs to capture sequential interaction. PTMs allow us to formulate the Sequential Interaction Thesis, going beyond the expressiveness of TMs and of the CTT. The paradigm shift to interaction provides an alternative understanding of the nature of computing that better reflects the services provided by today’s computing technology. (shrink)

African literature has played a major role in changing and shaping perceptions about African people and their way of life for the longest time. Unlike western cultures that are associated with advanced forms of writing, African literature is oral in nature, meaning it has to be recited and even performed. Although Africa has an old tribal culture, African philosophy is a new and strange idea among us. Although the problem of “universality” of African philosophy actually refers to the question of (...) whether Africa has heckling of philosophy in the Western sense, obviously, the philosophy bred by Africa’s native culture must be acknowledged. Therefore, the human–computer interaction-oriented method is proposed to appreciate African literature and African philosophy. To begin with, a physical object of tablet-aid is designed, and a depth camera is used to track the user’s hand and tablet-aid and then map them to the virtual scene, respectively. Then, a tactile redirection method is proposed to meet the user’s requirement of tactile consistency in head-mounted display virtual reality environment. Finally, electroencephalogram emotion recognition, based on multiscale convolution kernel convolutional neural networks, is proposed to appreciate the reflection of African philosophy in African literature. The experimental results show that the proposed method has a strong immersion and a good interactive experience in navigation, selection, and manipulation. The proposed HCI method is not only easy to use, but also improves the interaction efficiency and accuracy during appreciation. In addition, the simulation of EEG emotion recognition reveals that the accuracy of emotion classification in 33-channel is 90.63%, almost close to the accuracy of the whole channel, and the proposed algorithm outperforms three baselines with respect to classification accuracy. (shrink)

In this paper, I first outline a model of Computer-Meditated Interaction (CMI) to distinguish between (1) CMI HCI-transparent (HCI = human-computer interaction) and (2) CMI HCI-dependent. Some main features of (1) are then analysed (data-radiation, data-tracking, internalisation of problem solving), while (2) is further divided into (2.1) CMI-HCI stand-alone and (2.2) CMI-HCI on-line. Some advantages and limits of (2.1) are suggested, together with an overview of the present and future strategies leading the production of new applications in the field. The (...) analysis of (2.2) provides a last distinction between communication-oriented and elaboration-oriented CMI-HCI on-line (i.e. CMC and NIA). A description of these two forms of CMI is then sketched, together with an interpretation of the new strategic view which should lead the projection of applications in the field, a possible agenda and a forecast of the chief effects of some present trends. (shrink)

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Quantum Interaction, QI 2016, held in San Francisco, CA, USA, in July 2016. The 21 papers presented in this book were carefully reviewed and selected from 39 submissions. The papers address topics such as: Fundamentals; Quantum Cognition; Language and Applications; Contextuality and Foundations of Probability; and Quantum-Like Measurements.

David Marr's (1982) three‐level analysis of computational cognition argues for three distinct levels of cognitive information processing—namely, the computational, representational, and implementational levels. But Marr's levels are—and were meant to be—descriptive, rather than interactive and dynamic. For this reason, we suggest that, had Marr been writing today, he might well have gone even farther in his analysis, including the emergence of structure—in particular, explicit structure at the conceptual level—from lower levels, and the effect of explicit emergent structures on the (...) level (or levels) that gave rise to them. The message is that today's cognitive scientists need not only to understand how emergent structures—in particular, explicit emergent structures at the cognitive level—develop but also to understand how they feed back on the sub‐structures from which they emerged. (shrink)

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...) flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)

Under the wave of globalization, the ties between countries are getting closer and closer. Based on the differences in the languages of different countries, the importance of English as a universal language is becoming more and more prominent. In the past, English teaching was mainly taught by teachers and students. This mode of English learning is more of theoretical teaching, which has little effect on improving English ability. In the era of intelligence, with the upgrading of technology and the renewal (...) of ideas, interactive English teaching is more accepted by people and becomes a new solution for English teaching. Studying English teaching from the perspective of social cognition, this paper proposes to realize human-computer interaction with the help of advanced science and technology, create an interactive teaching environment, and realize interactive learning in an English environment. This paper designed a control experiment of the experimental group and the control group to verify the impact of human-computer interaction teaching on students’ English performance and investigated students’ performance and teachers’ feelings and their related opinions on human-computer interaction learning. The experimental results of this paper show that human-computer interactive English teaching can help to enhance students’ interest in English learning and improve English expression significantly. (shrink)

In this paper we describe the development of the Interaction Space Theory developed as part of the SANE project. EU framework 5 IST project sustainable accommodation for the new economy, IST 2000-25-257 The EU funded project provided an inter-disciplinary context for the study of interactions in the hybrid workplace where physical work environment is enhanced with information and communication technologies (ICT) which enable collaboration with remote partners. We explain how the theoretical approach, empirical work and methodological strategy employed by SANE (...) researchers contribute toward the social intelligence design approach through the development of the methodology for identification of workplace requirements for mobile knowledge workers. In addition, we demonstrate how empirical findings, based upon our theoretical approach, can lead to development of novel methods and techniques for evaluating the impact of new and emerging technologies in the workplace. (shrink)

This paper discusses current clinical applications and possible future uses of brain-computer interfaces as a means for communication, motor control and entertainment. After giving a brief account of the various approaches to direct brain-computer interaction, the paper will address individual, social and ethical implications of BCI technology to extract signals from the brain. These include reflections on medical and psychosocial benefits and risks, user control, informed consent, autonomy and privacy as well as ethical and social issues implicated in putative future (...) developments with focus on human self-understanding and the idea of man. BCI use which involves direct interrelation and mutual interdependence between human brains and technical devices raises anthropological questions concerning self-perception and the technicalization of the human body. (shrink)

In response to the ever-increasing spread of online disinformation and misinformation, several human–computer interaction tools to enhance data literacy have been developed. Among them, many employ elements of gamification to increase user engagement and reach out to a broader audience. However, there are no systematic criteria to analyze their relevance and impact for building fake news resilience, partly due to the lack of a common understanding of data literacy. In this paper we put forward an operationalizable definition of data literacy (...) as a form of multidimensional critical thinking. We then survey 22 existing tools and classify them according to a framework of 10 criteria pointing to their gameful design and educational features. Through a comparative/contrastive analysis informed by a focus group, we provide a principled set of guidelines to develop more efficient human–computer interaction tools to teach how to critically think in the current media ecosystem. (shrink)

The prelims comprise: Introduction: CMC and Philosophy Some Definitions Philosophical Perspectives: Worldview Interdisciplinary Dialogue and Future Directions in Philosophy.

The prediction of protein–protein interactions based on independently obtained structural information for each interacting partner remains an important challenge in computational chemistry. Procedures where hypothetical interaction models (or decoys) are generated, then ranked using a biochemically relevant scoring function have been garnering interest as an avenue for addressing such challenges. The program PatchDock has been shown to produce reasonable decoys for modeling the association between pig alpha-amylase and the VH-domains of camelide antibody raised against it. We designed a biochemically relevant (...) method by which PatchDock decoys could be ranked in order to separate near-native structures from false positives. Several thousand steps of energy minimization were used to simulate induced fit within the otherwise rigid decoys and to rank them. We applied a partial free energy function to rank each of the binding modes, improving discrimination between near-native structures and false positives. Sorting decoys according to strain energy increased the proportion of near-native decoys near the bottom of the ranked list. Additionally, we propose a novel method which utilizes regression analysis for the selection of minimization convergence criteria and provides approximation of the partial free energy function as the number of algorithmic steps approaches infinity. (shrink)

This paper explores the concept of anticipation of future interaction (AFI) in Computer?Mediated Communication (CMC) with conflict management. Specifically, the tenet of the current paper is to determine whether CMC is suitable for conflict management. This central question was address drawing on anticipation of future interaction. Along this line, the issue of task, identity, self?presentations are discussed relative to the role of anticipation of future interaction in CMC encounters. Specific propositions are presented. The discussion addresses implications for group conflict management (...) process in general while paying attention to the key stages of conflict management. (shrink)

A sociological revision of Aron Gurwitsch provides a helpful layered theory of conscious experience as a four-domain structure: _the theme_, _the thematic field_, _the halo_, and _the social horizon_. The social horizon—the totality of the social world that is unknown, vaguely known, taken for granted, or ignored by the subject despite objectively influencing the thoughts and actions of the subject—, helps conceptualize how everyday human–computer interaction (HCI) can obscure social structures. Two examples illustrate the usefulness of this framework: (1) illuminating (...) new forms of social control known as “surveillance capitalism” that influence the other domains of consciousness despite being invisible to the subject and (2) explaining how computer use tends to “hide” the ecological impacts of digital-technological systems from the attention of subjects. A sociological four-domain theory of consciousness supplements ethnomethodological HCI research by preserving the field’s long-standing focus on micro-level interactions and user experience while simultaneously drawing attention to a “commonsense ignorance of social structure”—in this case, the invisibility of the social structures behind personal computer use. Social structure can be reproduced even when actors are unaware of engaging in its reproduction. (shrink)

To make the interface design of computer application system better, meet the psychological and emotional needs of users, and be more humanized, the emotional factor is increasingly valued by interface designers. In the design of human-computer interaction graphical interfaces, the designer attaches great importance to the emotional design of the interface, and enhances the humanized design of the interface, which cannot only improve the comfort of the interface, but also improve the fun of the interface, to ensure the psychological and (...) emotional needs of users can be better satisfied. It may acquire information that is favorable to innovative design by utilizing cluster analysis algorithm to tackle the problem of complicated cultural information, and then utilize cellular genetic algorithm to carry out creative design of cultural items. It increases the availability of cultural and creative goods. The classic cluster analysis technique offers the maximum data clustering effect of 53.3%, according to the findings of this paper’s experiments. While the improved cluster analysis algorithm has the highest data clustering effect of 90%. It can be seen that the improved cluster analysis algorithm can effectively perform cluster analysis on a large amount of data in cultural and creative products. It thus finds out the most suitable designer’s creative information, which helps designers create better products. (shrink)

The hypergrowth and hyperconnectivity of networks of artificial intelligence (AI) systems and algorithms increasingly cause our interactions with the world, socially and environmentally, more technologically mediated. AI systems start interfering with our choices or making decisions on our behalf: what we see, what we buy, which contents or foods we consume, where we travel to, who we hire, etc. It is imperative to understand the dynamics of human-computer interaction in the age of progressively more competent AI. This essay presents five (...) premises to serve as starting points for building our understanding of the “interactions’ in human-computer interactions. (shrink)

Behaviour is often described as the computation of a response to a stimulus. This description is incomplete in an important way because it only examines what occurs between the reception of stimulus information and the generation of an action. Behaviour is more correctly described as a control process where actions are performed in order to affect perceptions. This closed-loop nature of behaviour is de-emphasized in modern discussions of brain function, leading to a number of artificial mysteries. A notable example (...) is the ‘symbol grounding problem'. When behaviour is viewed as a control process, it is natural to explain how internal representations, even symbols, can have meaning for an organism, and how actions can be motivated by organic needs. (shrink)

Brain Computer Interfaces (BCIs) enable one to control peripheral ICT and robotic devices by processing brain activity on-line. The potential usefulness of BCI systems, initially demonstrated in rehabilitation medicine, is now being explored in education, entertainment, intensive workflow monitoring, security, and training. Ethical issues arising in connection with these investigations are triaged taking into account technological imminence and pervasiveness of BCI technologies. By focussing on imminent technological developments, ethical reflection is informatively grounded into realistic protocols of brain-to-computer communication. In particular, (...) it is argued that human-machine adaptation and shared control distinctively shape autonomy and responsibility issues in current BCI interaction environments. Novel personhood issues are identified and analyzed too. These notably concern (i) the “sub-personal” use of human beings in BCI-enabled cooperative problem solving, and (ii) the pro-active protection of personal identity which BCI rehabilitation therapies may afford, in the light of so-called motor theories of thinking, for the benefit of patients affected by severe motor disabilities. (shrink)

We use speech shadowing to create situations wherein people converse in person with a human whose words are determined by a conversational agent computer program. Speech shadowing involves a person (the shadower) repeating vocal stimuli originating from a separate communication source in real-time. Humans shadowing for conversational agent sources (e.g., chat bots) become hybrid agents ("echoborgs") capable of face-to-face interlocution. We report three studies that investigated people’s experiences interacting with echoborgs and the extent to which echoborgs pass as autonomous humans. (...) First, participants in a Turing Test spoke with a chat bot via either a text interface or an echoborg. Human shadowing did not improve the chat bot’s chance of passing but did increase interrogators’ ratings of how human-like the chat bot seemed. In our second study, participants had to decide whether their interlocutor produced words generated by a chat bot or simply pretended to be one. Compared to those who engaged a text interface, participants who engaged an echoborg were more likely to perceive their interlocutor as pretending to be a chat bot. In our third study, participants were naïve to the fact that their interlocutor produced words generated by a chat bot. Unlike those who engaged a text interface, the vast majority of participants who engaged an echoborg neither sensed nor suspected a robotic interaction. These findings have implications for android science, the Turing Test paradigm, and human-computer interaction. The human body, as the delivery mechanism of communication, fundamentally alters the social psychological dynamics of interactions with machine intelligence. (shrink)

RESUMO A série Black Mirror, transmitida entre 2011 e 2023 pela Netflix, tornou-se um fenômeno de mídia e seus episódios mostraram formas de interação homem-máquina (terminologia também referida como humano-computador). O nome da série se refere ao fato de que, quando uma tela é desligada, ela se torna um espelho negro que reflete a imagem do usuário. Este artigo1 tem como objetivo analisar os efeitos da interação homem-máquina nas organizações produtivas apresentadas em Black Mirror. Esta pesquisa utilizou a análise do (...) discurso, principalmente a partir das contribuições de Mikhail Bakhtin. O método consistiu em três etapas que contaram com a colaboração de estudantes de graduação e pós-graduação em Engenharia de Produção, integrando ensino e pesquisa e desenvolvendo o senso crítico dos pesquisadores-iniciantes. Os resultados indicam que, nas organizações apresentadas na série Black Mirror, há uma transição do conceito de fatores humanos para fatores ciborgues, bem como o uso da interação homem-máquina para promover o controle social. (shrink)

In this paper, we model a relational notion of subjectivity by means of two experiments in subjective computing. The goal is to determine to what extent a cognitive and social robot can be regarded to act subjectively. The system was implemented as a reinforcement learning agent with a coaching function. To analyze the robotic agent we used the method of levels of abstraction in order to analyze the agent at four levels of abstraction. At one level the agent is described (...) in mentalistic or subjective language respectively. By mapping this mentalistic to an algorithmic, functional, and relational level, we can show to what extent the agent behaves subjectively as we make use of a relational concept of subjectivity that draws upon the relations that hold between the agent and its environment. According to a relational notion of subjectivity, an agent is supposed to be subjective if it exhibits autonomous relations to itself and others, i.e. the agent is not fully determined by a given input but is able to operate on its input and decide what to do with it. This theoretical notion is confirmed by the technical implementation of self-referentiality and social interaction in that the agent shows improved behavior compared to agents without the ability of subjective computing. On the one hand, a relational concept of subjectivity is confirmed, whereas on the other hand, the technical framework of subjective computing is being theoretically founded. (shrink)

Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, (...) giving references to more advanced reading. Part II provides enough detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach. (shrink)