Ad blockers are a category of computer software program, typically run as web browser extensions, that allow users to selectively eliminate advertisements from the webpages they visit. Many people have alleged that using an ad blocker is morally problematic because it is bad for content providers and consumers, and it is morally akin to theft. We disagree. In this paper, we defend an independent argument for the conclusion that using an ad blocker is morally permissible. In doing so, (...) we respond to the criticisms that ad blocking is bad for content providers and consumers, that it is morally akin to theft, and that it violates a contract between consumers and web publishers. (shrink)

Computer users are often the last line of defense in computer security. However, with repeated exposures to system messages and computer security warnings, neural and behavioral responses show evidence of habituation. Habituation has been demonstrated at a neural level as repetition suppression where responses are attenuated with subsequent repetitions. In the brain, repetition suppression to visual stimuli has been demonstrated in multiple cortical areas, including the occipital lobe and medial temporal lobe. Prior research into the repetition (...) suppression effect has generally focused on a single repetition and has not examined the pattern of signal suppression with repeated exposures. We used complex, everyday stimuli, in the form of images of computer programs or security warning messages, to examine the repetition suppression effect across repeated exposures. The use of computer warnings as stimuli also allowed us to examine the activation of learned fearful stimuli. We observed widespread linear decreases in activation with repeated exposures, suggesting that repetition suppression continues after the first repetition. Further, we found greater activation for warning messages compared to neutral images in the anterior insula, pre-supplemental motor area, and inferior frontal gyrus, suggesting differential processing of security warning messages. However, the repetition suppression effect was similar in these regions for both warning messages and neutral images. Additionally, we observed an increase of activation in the default mode network with repeated exposures, suggestive of increased mind wandering with continuing habituation. (shrink)

I argue in defense of a new research program in cognitive science, which I call the embodied approach. This approach holds that cognition must be understood as the situated activity of an animal in an environment. The embodied approach supplements orthodox cognitive science by embedding computational processes in their physiological, ecological, and cultural contexts. Barbara Von Eckardt holds that cognitive science is a single theoretical project unified under the banner of computationalism, which explains cognition as the processing of (...) discrete, text-like representations. But her view cannot account for the accumulating mass of empirical research which differs from the orthodox approach both substantively and methodologically. In fact, there have always been dissidents working outside the orthodox approach. By contrast, the embodied approach is designed to accommodate "unorthodox" cognitive science. It is a broad-based perspective which includes connectionism, ecological psychology, developmental psychology, evolutionary theory, autonomous agent theory, and meaning externalism. (shrink)

In the aftermath of World War II, the government of the United States provided considerable funding for military projects that promised to provide a technological edge during the nascent Cold War. The most famous example is likely the V-2 rocket-testing program that began in the late 1940s. The 67 rockets launched from White Sands developed a knowledge base that was critically important to the launch of the first U.S. satellite in 1958 and to the subsequent manned space program. (...) Less well known are the large-scale information technology projects, undertaken in the 1950s and early 1960s, that provided a significant catalyst for research into digital computing, information processing, and the. (shrink)

The article is devoted to a comprehensive analysis of the transformation of the reflection of computer technologies and network resources in the Terminator cinematic and literary universe created by the American director J. Cameron in the mid 1980s and early 2020s. In this study the authors substantiate the relevance and scientific component of the problem under study. The paper considers the degree of importance of high technologies and social networks in modern public life. The article provides a justification for (...) the fallacy of the judgment, according to which works of fiction of a fantastic orientation perform purely entertaining function and do not carry a significant semantic load. This article also provides an argument for choosing the Terminator fantastic universe as an example for research, wit an analysis of the reasons for its great popularity and high degree of significance for contemporary art. The authors of the work subject the key components of the topic under consideration to reflection, taking into account the changes that have taken place in the public consciousness over three and a half decades, takin inti account the differences in historical and political realities – from the last quarter of the 20-th century to the present, until the beginning of the third decade of the XXI century. This article provides a comparative analysis of the reasons for significant differences in the display of high technology and online resources in cinema and fiction. The work draws parallels and analogies with historical events, analyzes the use of the religious meanings used in the Terminator universe. The authors of the article analyze the moral issues that are raised by the creators of the fantastic universe of Terminator in the context of the positive and negative consequences of the intense growth of the role of high technologies and communicative Internet sites in the life of human society. (shrink)

The article is devoted to understanding the specific features of the reflection of computer technologies and social networks in the works of science fiction writers and in films made as part of development of the fantasy genre. In their work, the authors give a brief description of the essential aspects of the functioning of computer technologies and social networks. The article examines the degree of significance of the above phenomena for the effective development and existence of human civilization (...) as a whole, and also analyzes the essence of social networks as a cultural phenomenon that has a significant impact on the development of social relations. This study indicates the inconsistency of the statement according to which the fantasy genre is not an essential segment of world art and demonstrates the need to take into account such works when understanding the technological development of human civilization and the evolution of relations in society towards the online mode. In this paper, the features of displaying the development of technology in science fiction literature and adventure fiction are analyzed with a comparative analysis of the difference in approaches in these two components of the fantasy genre. The study also comprehends the reasons for the lack of serious interest in displaying the analogue of social networks in fiction literature and cinema, and provides a justification for changes in this issue in the early 1980-s. This article examines the characteristic features of the dynamics of the reflection of the development of social networks in fiction literature at the end of the XX – first decades of the XXI century, taking into account changes in public relations in this period. (shrink)

Much of The Reason’s Proper Study is devoted to defending the claim that simply by stipulating an abstraction principle for the “number-of” functor, we can simultaneously fix a meaning for this functor and acquire epistemic entitlement to the stipulated principle. In this paper, I argue that the semantic and epistemological principles Hale and Wright offer in defense of this claim may be too strong for their purposes. For if these principles are correct, it is hard to see why they (...) do not justify platonist strategies that are not in any way “neo-Fregean,” e.g. strategies that treat “the number of Fs” as a Russellian definite description rather than a singular term, or employ axioms that do not have the form of abstraction principles. (shrink)

The argument presented in this paper is not a direct attack or defence of the Chinese Room Argument (CRA), but relates to the premise at its heart, that syntax is not sufficient for semantics, via the closely associated propositions that semantics is not intrinsic to syntax and that syntax is not intrinsic to physics. However, in contrast to the CRA’s critique of the link between syntax and semantics, this paper will explore the associated link between syntax and physics. The main (...) argument presented here is not significantly original – it is a simple reflection upon that originally given by Hilary Putnam (Putnam 1988) and criticised by David Chalmers and others: instead of seeking to justify Putnam’s claim that, “every open system implements every Finite State Automaton (FSA)”, and hence that psychological states of the brain cannot be functional states of a computer, I will seek to establish the weaker result that, over a finite time window every open system implements the trace of a particular FSA Q, as it executes program (p) on input (x). That this result leads to panpsychism is clear as, equating Q (p, x) to a specific Strong AI program that is claimed to instantiate phenomenal states as it executes, and following Putnam’s procedure, identical computational (and ex hypothesi phenomenal) states (ubiquitous little ‘pixies’) can be found in every open physical system. (shrink)

Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.

In this article, I develop three conceptual innovations within the area of formal metatheory, and present a computer program, called Reconstructor, that implements those developments. The first development consists in a methodology for testing formal reconstructions of scientific theories, which involves checking both whether translations of paradigmatically successful applications into models satisfy the formalisation of the laws, and also whether unsuccessful applications do not. I show how Reconstructor can help carry this out, since it allows the end-user to (...) specify a formal language, input axioms and models formulated in that language, and then ask if the models satisfy the axioms. The second innovation is the introduction of incomplete models (for which the denotation of some terms is missing) into scientific metatheory, in order to represent cases of missing information. I specify the paracomplete semantics built into Reconstructor to deal with sentences where denotation failures occur. The third development consists in a new way of explicating the structuralist notion of a determination method, by equating them with algorithms. This allows determination methods to be loaded into Reconstructor and then executed within a model to find out the value of a previously non-denoting term (i.e. it allows the formal reconstruction to make predictions). This, in turn, can help test the reconstruction in a different way. Finally, I conclude with some suggestions about additional uses the program may have. (shrink)

Argument-mapping software abounds, and one of the reasons is that using the software has been shown to teach/promote/improve critical thinking skills. These positive results are very encouraging, but they also raise the question of whether the computer tutorial environment is producing these results, or whether learning argument mapping, even with just paper and pencil, is sufficient. Based on the results of two empirical studies, I argue that the basic skill of being able to represent an argument diagrammatically plays an (...) important role in the improvement of critical-thinking skills. While these studies do not offer a direct comparison between the two methods, it is important for anyone wishing to employ argument mapping in the classroom to know that significant results can be obtained even with the most rudimentary of tools. (shrink)

Imagine advanced computers that could, by virtue merely of being programmed in the right ways, act, react, communicate, and otherwise behave like humans. Might such computers be capable of understanding, thinking, believing, and the like? The framework developed in this paper for tackling challenging questions of concept application (in any realm of discourse) answers in the affirmative, contrary to Searle’s famous ‘Chinese Room’ thought experiment, which purports to prove that ascribing such mental processes to computers like these would be necessarily (...) incorrect. The paper begins by arguing that the core issue concerns language, specifically the discourse-community-guided mapping of phenomena onto linguistic categories. It then offers a model of how people adapt language to deal with novel states of affairs and thereby lend generality to their words, employing processes of assimilation, lexemic creation, and accommodation (in intersense and intrasense varieties). Attributions of understanding to some computers lie in the middle range on a spectrum of acceptability and are thus reasonable. Possible objections deriving from Searle’s writings require supplementing the model with distinctions between present and future acceptability, and between contemplated and uncontemplated word uses, as well as a literal-figurative distinction that is more sensitive than Searle’s to actual linguistic practice and the multiplicity of subsenses possible within a single literal sense. The paper then critiques two misleading rhetorical features of Searle’s Chinese Room presentation, and addresses a contemporary defense of Searle that seems to confront the sociolinguistic issue, but fails to allow for intrasense accommodation. It concludes with a brief consideration of the proper course for productive future discussion. (shrink)

Python language has become the most popular computer language. Python is widely adopted in computer courses. However, Python language’s effects on the college and university students’ learning performance, motivations, computer programming self-efficacy, and maladaptive cognition have still not been widely examined. The main objective of this study is to explore the effects of learning Python on students’ programming learning. The junior students of two classes in a college are the research participants. One class was taught Java language (...) and the other class was taught Python language. The learning performance, motivations, and maladaptive cognition in the two classes were compared to evaluate the differences. The results showed that the motivations, computer programming self-efficacy, and maladaptive cognition on the learning performance were significant in the Python class. The results and findings of this study can be used in Python course arrangement and development. (shrink)

The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems (...) implementation, deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (shrink)

Designed to be a high-level, approachable resource for engineers who need further insight into spatial temporal information systems from an ontological perspective, Spatial Temporal Information Systems: An Ontological Approach using STK® explains the dynamics of objects interaction from signal analysis to trajectory design, spatial modeling, and other spatial analytics by using STK®, which is a general-purpose modeling and analysis application for any type of space, defense, or intelligence system. Building a foundation to begin the study of spatial temporal information (...) systems, the book details a form of analysis that is a powerful tool for modeling, engineering, and operations of space, cyberspace, satellites, missile defense, and electronic systems. It discusses the many applications of space technologies by using a mission-proven software for timely and cost-effective development that serves public interests in civil, commercial, academic, national, and international space communities. Written for readers with a background in physics or engineering, the book is also designed for the beginning analyst sitting behind a desk who needs more information on STK. Upon reading this book, STK new users and power users will not only understand what the tools are, but also how the software can be used to make their job easier. In addition, satellite operators and analysts benefit from the ability to utilize a variety of propagators satellite applications. Analytics, semi-analytic and numerical integrators are discussed, including Keplerian orbital elements and full numerical integration of STK’s High Precision Orbit Propagation or simplified as a two-body analysis. This tool, as well as this book, will bring breadth and depth to the understanding of systems dynamics and the ontology of objects in relationship to other objects and vehicles including central bodies. (shrink)

Modern education attaches great importance to interdisciplinary skills, among which computational thinking is a core element, and heralds a new era. IT application has shaped education in the 21st century. Computational thinking has provided further impetus for building an all-encompassing social network and fostering a DIY culture enabled by digital technologies. One empirical study used four apps to test children's development in computational thinking and fluency. The article will help students overcome their fears of coding. Peer reviews provide students with (...) an opportunity to learn from each other and become more motivated. These reviews also serve as feedback for teachers to evaluate students' performance. Experimental design is used in this study, and a peer review system is implemented. Freshmen attending a programming class in a university are used as samples. At the class, students write computer programs with f-Chart, which provides a graphical user interface for students to learn programming logic and design. Zuvio, a cloud-based interactive response system, is used to conduct the peer reviews. The data of this study are analyzed through R. The results show not only an improvement in students' learning performance but also a gap between students' peer review scores and teachers' evaluation scores. Learning feedback and evaluation is crucial to transform education between students and teachers into a sustainable cycle system. (shrink)

A complete reconstruction of Lehmer’s ENIAC set-up for computing the exponents of p modulo two is given. This program served as an early test program for the ENIAC (1946). The reconstruction illustrates the difficulties of early programmers to find a way between a man operated and a machine operated computation. These difficulties concern both the content level (the algorithm) and the formal level (the logic of sequencing operations).

Introduction -- Algorithms, programs, procedures, and abstract automata -- Functioning of algorithms and automata, computation, and operations with algorithms and automata -- Basic postulates and axioms for algorithms -- Power of algorithms and classes of algorithms: comparison and evaluation -- Computing, accepting, and deciding modes of algorithms and programs -- Problems that people solve and related properties of algorithms -- Boundaries for algorithms and computation -- Software and hardware verification and testing -- Conclusion.

This review of Turner’s “Computational Artifacts” focuses on one of the key novelties of the book, namely the proposal to understand the nature of computer programs as a “trinity” of specification, symbolic program, and physical process, replacing the traditional dualist views of programs as functional/structural or as symbolic/physical. This trinitarian view is found to be robust and helpful to solve typical issues of dualist views. Drawing comparisons with Simon’s view of the artifact as an interface, the author suggests (...) that this trinitarian view may characterize not only computational artifacts but also artifacts in general. One ambiguity is however noticed on the denotation of what Turner actually calls the “physical process.”. (shrink)

A complete reconstruction of Lehmer’s ENIAC set-up for computing the exponents of p modulo two is given. This program served as an early test program for the ENIAC (1946). The reconstruction illustrates the difficulties of early programmers to find a way between a man operated and a machine operated computation. These difficulties concern both the content level (the algorithm) and the formal level (the logic of sequencing operations).

Over recent decades there has been a growing interest in the question of whether computer programs are capable of genuinely creative activity. Although this notion can be explored as a purely philosophical debate, an alternative perspective is to consider what aspects of the behaviour of a program might be noted or measured in order to arrive at an empirically supported judgement that creativity has occurred. We sketch out, in general abstract terms, what goes on when a potentially creative (...) program is constructed and run, and list some of the relationships (for example, between input and output) which might contribute to a decision about creativity. Specifically, we list a number of criteria which might indicate interesting properties of a program’s behaviour, from the perspective of possible creativity. We go on to review some ways in which these criteria have been applied to actual implementations, and some possible improvements to this way of assessing creativity. (shrink)

Examining the Strategic Computing Program after four years, in the context of the crucial recognition that it is only a small part of the whole range of military artificial intelligence applications, suggests a number of clear implications and intimations about such crucial questions as: 1) the current roles of industry and the universities in developing high technology war; 2) the effects on political and military policy of high-tech weapons systems; and 3) the importance of advanced military computing to subtle (...) philosophical dilemmas including human self-definition and the future of war. (shrink)

The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in human reasoning. (...) Topics covered: Stable Semantics. Default Logic. AutoEpistemic Logic. Truth Maintenance Systems. Implementation Issues. Diagnosis. Applications. Inheritance Reasoning. Logics of Belief. Inconsistency and Non-Monotonicity. (shrink)

Flipped learning could improve the learning effectiveness of students. However, some studies have pointed out the limitations related to flipped classrooms because the content of the flipped course does not vary according to the needs of the students. On the other hand, adaptive teaching, which customizes the learning mode according to the individual needs of students, can make up for some of the shortcomings of flipped teaching. This study combines adaptive teaching with flipped teaching and applies it to face-to-face classroom (...) activities. The purpose of this research is to explore whether the implementation of flipping and adaptive learning in a computer programming course can improve the learning effectiveness of students. The experimental subjects of this study are the sophomore students in the Department of Information Management. The flipped classroom with adaptive instruction has been realized in the limited course time. This study uses questionnaires to collect pre- and post-test data on the “learning motivation” of students. The learning effectiveness was evaluated based on the students' previous programming course and the semester scores of this course. Research results show that the post-test “learning motivation” has improved overall compared with the pre-test, and the learning effect is significant. The results of this research not only prove the effectiveness of modern teaching theories in programming courses but also lay the foundation for future teaching design. (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)

This paper advocates the main ideas of the interactive model of representation of Mark Bickhard and the assimilation/accommodation framework of Jean Piaget, through a rhythm recognition demonstration program. Although completely unsupervised, the program progressively learns to recognize more and more complex rhythms struck on the user's keyboard. It does so without any recording of the input flow, and without any pattern matching in the usual sense. On the contrary, internal processes are dynamically constructed to follow and anticipate the (...) user's actions. We show that these processes are representations of the rhythms in the interactivist sense, and that they emerge from non representational grounds, avoiding the symbol‐grounding problem. They are not copies or transductions of reality, but ideal internal constructions of the agent, avoiding the circularity pointed out by Piaget. In practice, the active nature of this recognition process allows it to work even with noisy and complex input flows. (shrink)