Reporting systems based on mobile technologies and feedback from regular citizens are becoming increasingly popular, especially as far as protection of environmental and cultural heritage is concerned. Reporting life-threatening situations, such as sudden natural disasters or traffic accidents, belongs to the same class of problems and could be aided by IT systems of a similar architecture. Designing and developing systems for reporting life-threatening situations is not a trivial task, requiring close cooperation between software developers and experts in different domains, who (...) could possibly find industrially recognized languages and notations difficult. Thus, the question is whether using simplified graphical domain-specific languages (SGDSLs) could help in creating a common communication platform. It has been revealed that domain experts have a preference for such languages as they offer good learnability, readability and ability to focus on the idea of application. The perspective of developers (technical persons) is introduced on the basis of feedback obtained from 84 students of Computer Science at the Lublin University of Technology, who attended comprehensive workshops followed by an anonymous survey. All participants received theoretical and practical training in modeling mobile software using the same set of languages as domain experts. An analysis of the results revealed that opinions expressed by technical and nontechnical persons concerning SGDSLs oriented on defining a flow of actions is consistent. Most respondents claimed that such languages might be valuable as tools for creating a common communication platform. (shrink)

The use of computational models for understanding human face perception and recognition has a long and intriguing history that runs parallel to efforts in the engineering literature to develop algorithms for computer-based face recognition systems. This article considers the insights gained from combining computational and cognitive approaches to the study of human face recognition and discusses the ways in which computational models have informed studies of human face processing and vice versa. It explains the concept of a face space, (...) in its abstract psychological, and physical/computational forms. The study shows how adaptation as a method is beginning to reveal properties of neural representations in a way that connects with the cognitive/perceptual approach. Finally, it discusses recent progress in state-of-the-art computational models of face recognition, which offers a new perspective on the cognitive-computational dialog. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Learning in Dramatic and Virtual Worlds:What Do Students Say About Complementarity and Future Directions?John O'Toole (bio) and Julie Dunn (bio)A top financial backer has arrived to determine which team of computer interaction designers has developed the most exciting and innovative proposal for the Everest component of the Virtually Impossible Computer Company's Conquerors of the World Series. Tension is high as the presentations begin, but this tension soon (...) turns to outright conflict as some proposals suggest George Mallory as the conqueror, and the financial backer will have none of him. The backer, it seems, has her own agenda and is determined to allow for only one view of history—the one that records Sir Edmund Hillary as a New Zealand hero and the only real conqueror of the tallest mountain on earth. The designers become more and more agitated until suddenly someone bangs their hand on the table and calls out, "Hang on... just because you've got the money doesn't mean... kids need to learn about both these men... they need to learn about history." With that the drama is cut by the teacher. The deep understandings about "history's purchased page" that can be generated when drama and computers are brought together for learning have been made explicit... but could these same outcomes have been achieved using just one of these approaches?IntroductionThe research explored within this article was generated as part of the Media Station, a project funded by the Australasian Collaborative Research Centre for Interaction Design (ACID), with an overall mission to investigate the potential of massively multiplayer online games for learning. This particular subproject, History's Purchased Page, saw researchers from interaction design [End Page 89] and drama education come together with a group of young learners to investigate their perceptions of the complementarity of computers and live classroom drama and to brainstorm future possibilities for applying computer-based technologies to drama-based learning. We sought to discover the following:• What do young learners say about how they experience and value learning in a context involving a combination of drama and computers?• What ideas do these young learners have about how future technologies might enrich the complementarity of this combination?As the drama researchers involved in this project, we had been experimenting with this perhaps slightly unusual combination for over a decade by incorporating computers into a number of our drama units within our primary textbook Pretending to Learn.1 Our goal in these experimentations had always been to enrich the classroom drama experience by taking advantage of the information capacity of the Internet and other computer-based resources, including databases. For example, we had used The First Fleet Database2 to support a drama unit where the learners take on the role of convicts arriving in Australia in 1788. We discovered that this material, combined with other documentation and historical materials available via the Internet, greatly enhanced not only the historical accuracy of the work but also the level of engagement experienced by the learners when in role. Therefore, we were very keen to extend this work by exploring new possibilities and were especially keen to develop a better understanding of what the learners made of this interactivity.In recent years the partnering of these two quite different approaches to learning has developed quite a research following, and a number of drama teachers and researchers have become interested in the complementarity of these ways of learning.3 At the same time, researchers and designers from the field of computer-assisted learning have also noted these connections. This goes back to the work of Brenda Laurel, who first drew attention to the intriguing links between computers and theatre in her now famous text Computers as Theatre.4 With the rapid growth of interactive learning tools such as 3-D immersive worlds, blogs, and online voice and text chat spaces, the opportunities for exploration of these connections have also grown, with each of these offering exciting new possibilities when used in conjunction with the highly interactive and engaging strategies of process drama.Process drama is a way of group learning, through whole-class improvised drama, with students (and sometimes the... (shrink)

The faces of both adults and children can be classified accurately by sex, even in the absence of sex‐stereotyped social cues such as hair and clothing (Wild et al., 2000). Although much is known from psychological and computational studies about the information that supports sex classification for adults' faces, children's faces have been much less studied. The purpose of the present study was to quantify and compare the information available in adults' versus children's faces for sex classification and to test (...) alternative theories of how human observers distinguish male and female faces for these different age groups. We implemented four computational/neural network models of this task that differed in terms of the age categories from which the sex classification features were derived. Two of the four strategies replicated the advantage for classifying adults' faces found in previous work. To determine which of these strategies was a better model of human performance, we compared the performance of the two models with that of human subjects at the level of individual faces. The results suggest that humans judge the sex of adults' and children's faces using feature sets derived from the appropriate face age category, rather than applying features derived from another age category or from a combination of age categories. (shrink)

The faces of both adults and children can be classified accurately by sex, even in the absence of sex‐stereotyped social cues such as hair and clothing (Wild et al., 2000). Although much is known from psychological and computational studies about the information that supports sex classification for adults' faces, children's faces have been much less studied. The purpose of the present study was to quantify and compare the information available in adults' versus children's faces for sex classification and to test (...) alternative theories of how human observers distinguish male and female faces for these different age groups. We implemented four computational/neural network models of this task that differed in terms of the age categories from which the sex classification features were derived. Two of the four strategies replicated the advantage for classifying adults' faces found in previous work. To determine which of these strategies was a better model of human performance, we compared the performance of the two models with that of human subjects at the level of individual faces. The results suggest that humans judge the sex of adults' and children's faces using feature sets derived from the appropriate face age category, rather than applying features derived from another age category or from a combination of age categories. (shrink)

People recognize faces of their own race more accurately than faces of other races. The “contact” hypothesis suggests that this “other‐race effect” occurs as a result of the greater experience we have with own‐ versus other‐race faces. The computational mechanisms that may underlie different versions of the contact hypothesis were explored in this study. We replicated the other‐race effect with human participants and evaluated four classes of computational face recognition algorithms for the presence of an other‐race effect. Consistent with the (...) predictions of a developmental contact hypothesis, “experience‐based models” demonstrated an other‐race effect only when the representational system was developed through experience that warped the perceptual space in a way that was sensitive to the overall structure of the model's experience with faces of different races. When the model's representation relied on a feature set optimized to encode the information in the learned faces, experience‐based algorithms recognized minority‐race faces more accurately than majority‐race faces. The results suggest a developmental learning process that warps the perceptual space to enhance the encoding of distinctions relevant for own‐race faces. This feature space limits the quality of face representations for other‐race faces. (shrink)

This paper investigates an alternative set theory (due to Peter Aczel) called Hyperset Theory. Aczel uses a graphical representation for sets and thereby allows the representation of non-well-founded sets. A program, called HYPERSOLVER, which can solve systems of equations defined in terms of sets in the universe of this new theory is presented. This may be a useful tool for commonsense reasoning.

There is an ongoing debate on whether or to what degree computer simulations can be likened to experiments. Many philosophers are sceptical whether a strict separation between the two categories is possible and deny that the materiality of experiments makes a difference (Morrison 2009, Parker 2009, Winsberg 2010). Some also like to describe computer simulations as a “third way” between experimental and theoretical research (Rohrlich 1990, Axelrod 2003, Kueppers/Lenhard 2005). In this article I defend the view that (...) class='Hi'>computer simulations are not experiments but that they are tools for evaluating the consequences of theories and theoretical assumptions. In order to do so the (alleged) similarities and differences between simulations and experiments are examined. It is found that three fundamental differences between simulations and experiments remain: 1) Only experiments can generate new empirical data. 2) Only Experiments can operate directly on the target system. 3) Experiments alone can be employed for testing fundamental hypotheses. As a consequence, experiments enjoy a distinct epistemic role in science that cannot completely be superseded by computer simulations. This finding in connection with a discussion of border cases such as hybrid methods that combine measurement with simulation shows that computer simulations can clearly be distinguished from empirical methods. It is important to understand that computer simulations are not experiments, because otherwise there is a danger of systematically underestimating the need for empirical validation of simulations. (shrink)

Graphical models are a powerful tool for causal model specification. Besides allowing for a hierarchical representation of variable interactions, they do not require any a priori specification of the functional dependence between variables. The construction of such graphs hence often relies on the mere testing of whether or not model variables are marginally or conditionally independent. The identification of causal relationships then solely requires some general assumptions on the relation between stochastic and causal independence, such as the Causal Markov Condition (...) and the Faithfulness Condition (Spirtes et al. 2000; Pearl 2000). However, a procedure would require further assumptions to hold. Namely those the independence tests themselves are based on. In continuous settings, Spirtes et al. (2000) suggest causal inference based on a very restrictive formulation of independence, that is, vanishing partial correlations. Such a measure does, however, limit the applicability of causal inference to linear systems. This constitutes a serious drawback especially for the social sciences where an a priori specification of the functional form proves difficult or at odds with linearity. In short: graphical models theoretically reduce specification uncertainty regarding functional dependence, but their implementation in practice deprives them of this virtue. In this paper we investigate how causal structures in continuous settings can be identified when both functional forms and probability distributions of the variables remain unspecified. We focus on tests exploiting the fact that if X and Y are conditionally independent given a set of variables Z, the two conditional densities f (X|Y, Z) and f (X|Z) must coincide. We start by estimating the conditional densities f(X|Y, Z) and f(X|Z) via nonparametric techniques (kernel methods). We proceed by testing if some metric expressing the distance between these very conditional densities is sufficiently close to zero. Out of several metrics available in the literature to express such distance we choose two, the Euclidean, and the Hellinger distance. We investigate in a Monte Carlo study how different tests involving either measure are able to detect statistical independence, conditioned on a small set of variables. One limitation may result from nonparametric density estimation being subject to the curse of dimensionality. As the number of variables increases, the estimated empirical density converges at a slower rate to its population value. To compensate this drawback we use a local bootstrap procedure which consists of resampling the data for each test. While local bootstrap strongly increases the computational time of the test, it succeeds in counterbalancing the curse of dimensionality. (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)

Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and (...) concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area. (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)

Audiovisual communication is greatly contributing to the emerging research field of affective computing. The use of audiovisual stimuli within immersive virtual reality environments is providing very intense emotional reactions, which provoke spontaneous physical and physiological changes that can be assimilated into real responses. In order to ensure high-quality recognition, the artificial intelligence system must be trained with adequate data sets, including not only those gathered by smart sensors but also the tags related to the elicited emotion. Currently, there are very (...) few techniques available for the labeling of emotions. Among them, the Self-Assessment Manikin devised by Lang is one of the most popular. This study shows experimentally that the graphic proposal for the original SAM labelling system, as devised by Lang, is not neutral to gender and contains gender biases in its design and representation. Therefore, a new graphic design has been proposed and tested according to the guidelines of expert judges. The results of the experiment show an overall improvement in the labeling of emotions in the pleasure–arousal–dominance affective space, particularly, for women. This research proves the relevance of applying the gender perspective in the validation of tools used throughout the years. (shrink)

Frameworks for responsible data stewardship, such as that proposed by McCoy et al. (2023), are intended to encourage and provide guidelines for data processors to engage in responsible data process...

Even though tools for identifying and analyzing arguments are now in wide use in the field of argumentation studies, so far there is a paucity of resources for evaluating real arguments, aside from using deductive logic or Bayesian rules that apply to inductive arguments. In this paper it is shown that recent developments in artificial intelligence in the area of computational systems for modeling defeasible argumentation reveal a different approach that is currently making interesting progress. It is shown how (...) these systems provide the general outlines for a system of argument evaluation that can be applied to legal arguments as well as everyday conversational arguments to assist a user to evaluate an argument. (shrink)

Computer graphic modeling forms an increasing part of archaeological practice, implicated in modes of recording objects and spaces, interpretation of types, management of three-dimensional information, creation of artificial experiences of place for interpretation, and representation of archaeological ideas to a broader public. In all spheres of life computer graphics are increasingly influential—by some estimates computed visions constitute the "dominant medium of thought" (Gooding 2008, p. 1). Archaeological computer graphics build on a long tradition of physical (...) model building for the development of understanding, and representation of conclusions. Such physical models are now finding a renewed significance as .. (shrink)

Profound changes in world markets are resulting in conflict between traditional structures of production and new market requirements. The right answers to this challenge are heavily disputed. One option is to replace human work still further by artificially intelligent technology without changing basic structures of production. In contrast to this strategy, alternative production concepts seek to combine the unique human capabilities of perception, evaluation and decision making in unstructured situations with appropriately designed computer systems. Empirical evidence from the use (...) of NC technology indicates that sensual experience and practical knowledge are necessary ingredients rather than disappearing residuals of efficient production. By far their tacit dimension does not allow complete transformation into objectified, scientific knowledge. In the field of metal cutting it is the skilled workers themselves who constitute the primary source of productivity. In order to overcome their traditionally problematic and uncomfortable working situation, shop-floor programming methods have been developed that are adapted to their concrete and graphic mode of thinking and acting. These allow workers to make their own efficient NC programs, thus maintaining their practical competence. This paper illustrates a necessary new perspective in system design: away from developing computer programs for imitating and replacing human expertise and towards designing computers as a useful tool for human experts. (shrink)

One of the world’s leading philosophers offers aspiring thinkers his personal trove of mind-stretching thought experiments. Over a storied career, Daniel C. Dennett has engaged questions about science and the workings of the mind. His answers have combined rigorous argument with strong empirical grounding. And a lot of fun. Intuition Pumps and Other Tools for Thinking offers seventy-seven of Dennett’s most successful "imagination-extenders and focus-holders" meant to guide you through some of life’s most treacherous subject matter: evolution, meaning, mind, (...) and free will. With patience and wit, Dennett deftly deploys his thinking tools to gain traction on these thorny issues while offering readers insight into how and why each tool was built. Alongside well-known favorites like Occam’s Razor and reductio ad absurdum lie thrilling descriptions of Dennett’s own creations: Trapped in the Robot Control Room, Beware of the Prime Mammal, and The Wandering Two-Bitser. Ranging across disciplines as diverse as psychology, biology, computer science, and physics, Dennett’s tools embrace in equal measure light-heartedness and accessibility as they welcome uninitiated and seasoned readers alike. As always, his goal remains to teach you how to "think reliably and even gracefully about really hard questions." A sweeping work of intellectual seriousness that’s also studded with impish delights, Intuition Pumps offers intrepid thinkers—in all walks of life—delicious opportunities to explore their pet ideas with new powers. (shrink)

As individuals we often face complex issues about which we must weigh evidence and come to conclusions. Corporations also have to make decisions on the basis of strong and compelling arguments. Legal practitioners, compelled by arguments for or against a proposition and underpinned by the weight of evidence, are often required to make judgments that affect the lives of others. Medical doctors face similar decisions. Governments make purchasing decisions—for example, for expensive military equipment—or decisions in the areas of public or (...) foreign policy. These issues involve many arguments on all sides of difficult debates. These issues involve understanding the arguments of others and being able to make objections and provide rebuttals to objections. Students in universities deal with arguments all the time. A major purpose of a university education—regardless of subject matter—is to teach students how to read, understand, and respond to complex arguments. The ability to do this makes for highly employable, adaptable, and reflectively critical individuals. We often call the skill of marshaling arguments and assessing them “critical thinking.” All universities claim to instill the skill of critical thinking in their graduates and routinely note this in their advertising and promotional documents. This short paper outlines one way this skill can be taught. (shrink)

Technology is not only an object of philosophical reflection but also something that can change this reflection. This paper discusses the potential of computer-supported argument visualization tools for coping with the complexity of philosophical arguments. I will show, in particular, how the interactive and web-based argument mapping software “AGORA-net” can change the practice of philosophical reflection, communication, and collaboration. AGORA-net allows the graphical representation of complex argumentations in logical form and the synchronous and asynchronous collaboration on those “argument (...) maps” on the internet. Web-based argument mapping can overcome limits of space, time, and access, and it can empower users from all over the world to clarify their reasoning and to participate in deliberation and debate. Collaborative and web-based argument mapping tools such as AGORA-net can change the practice of arguing in two dimensions. First, arguing on web-based argument maps in both collaborative and adversarial form can lead to a fundamental shift in the way arguments are produced and debated. It can provide an alternative to the traditional four-step process of writing, publishing, debating, and responding in new writing with its clear distinction between individual and social activities by a process in which these four steps happen virtually simultaneously, and individual and social activities become more closely intertwined. Second, by replacing the linear form of arguments through graphical representations of networks of inferential relations which can grow over time in an infinite space, these tools do not only allow a clear visualization of structures and relations, but also forms of collaboration in which, for example, participants work on different “construction zones” of larger argument maps, or debates are performed at specific points of disagreement on those maps. I introduce the term synergetic logosymphysis to describe a practice that combines these two dimensions of collaborative- and web-based argument mapping. (shrink)

The overall goal of this paper is to show that computational modelling of argumentation theories is a useful tool to deepen them. Specifically, it provides a basic computational formalization of part of Pragma-dialectics’ model of a critical discussion, which serves as a basis for analyzing this influential theory of argumentation. Such analysis reveals some weaknesses and leaves some questions opened for Pragma-dialectics. Particularly, it shows that the model of a critical discussion is not independent of the model of reasoning/inference chosen, (...) because, while it performs differently with different models of reasoning, it does not work well with some of them. (shrink)

We describe a tool that allows the merging of extensions of argumentation frameworks, following the approach defined by 33–42). The tool is implemented in Java, and is highly modular thanks to Object Oriented Programming principles. We describe a short experimental study that assesses the scalability of the approach, as well as the impact on runtime of using an integrity constraint.

The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns {computers} that simulate physical universes, which means that to properly investigate it we need to couple computer science theory with physics. Here I do this by exploiting the physical Church-Turing thesis. This allows me to introduce a preliminary investigation of some of the computer science theoretic aspects of the simulation hypothesis. In particular, building on Kleene's second recursion theorem, (...) I prove that it is mathematically possible for us to be in a simulation that is being run on a computer \textit{by us}. In such a case, there would be two identical instances of us; the question of which of those is ``really us'' is meaningless. I also show how Rice's theorem provides some interesting impossibility results concerning simulation and self-simulation; briefly describe the philosophical implications of fully homomorphic encryption for (self-)simulation; briefly investigate the graphical structure of universes simulating universes simulating universes, among other issues. I end by describing some of the possible avenues for future research that this preliminary investigation reveals. (shrink)

Robustness has long been recognized as an important parameter for evaluating game-theoretic results, but talk of ‘robustness’ generally remains vague. What we offer here is a graphic measure for a particular kind of robustness (‘matrix robustness’), using a three-dimensional display of the universe of 2 × 2 game theory. In such a measure specific games appear as specific volumes (Prisoner’s Dilemma, Stag Hunt, etc.), allowing a graphic image of the extent of particular game-theoretic effects in terms of those games. The (...) measure also allows for an easy comparison between different effects in terms of matrix robustness. Here we use the measure to compare the robustness of Tit for Tat’s well-known success in spatialized games (Axelrod, R. (1984). The evolution of cooperation . New York: Basic Books; Grim, P. et al. (1998). The philosophical computer: Exploratory essays in philosophical computer modeling . Cambridge, Mass: MIT Press) with the robustness of a recent game-theoretic model of the contact hypothesis regarding prejudice reduction (Grim et al. 2005. Public Affairs Quarterly, 19 , 95–125). (shrink)

Design and Development of software controlled stand-alone instruments have been identified as the most vital component of national and international programs on earthquake hazard and risk management. For in depth investigation and studies, the development of precise instruments designed around computer is emerging very fast. Interfacing of personal computer with seismic instrument is an important design task. A design technique based on minimum hardware has been worked out around the parallel printer interface of computer. Hardware and Software (...) for this purpose has been designed to make the instrument interact with computer through parallel port interface. Incorporation of software for seismic signal analysis has been considered the extremely powerful tool to view and analyze seismic data collected by seismic instruments. In this paper efforts have been made to describe the various design aspects for interfacing of Seismic Data Recorder and Analyser to computer through parallel printer port and computation steps incorporated in the software tool for seismic data analysis. (shrink)

Two simply typed term systems $\sf {PR}_1$ and $\sf {PR}_2$ are considered, both for representing algorithms computing primitive recursive functions. $\sf {PR}_1$ is based on primitive recursion, $\sf {PR}_2$ on recursion on notation. A purely syntactical method of determining the computational complexity of algorithms in $\sf {PR}_i$ , called $\mu$ -measure, is employed to uniformly integrate traditional results in subrecursion theory with resource-free characterisations of sub-elementary complexity classes. Extending the Schwichtenberg and Müller characterisation of the Grzegorczyk classes ${\mathcal{E}}_n$ for $n\ge (...) 3$ , it is shown $\mathcal{E}_{n+1} = \mathcal{R}^n_1 $ for $ n\ge 1 $, where $ \mathcal{R}^n_i$ denotes the \emph{ $n$ th modified Heinermann class} based on $\mu$ . The proof does not refer to any machine-based computation model, unlike the Schwichtenberg and Müller proofs. This is due to the notion of modified recursion lying on top of each other provided by $\mu$ . By Ritchie's result, $\mathcal{R}^1_1$ characterises the linear-space computable functions. Using the same method, a short and straightforward proof is presented, showing that $\mathcal{R}^1_2$ characterises the polynomial time computable functions. Furthermore, the classes $\mathcal{R}^n_2$ and $\mathcal{R}^n_1$ coincide at and above level 2. (shrink)

The purpose of the study is to identify the needs of bachelor students of various areas in the field of fine arts in the skills of mastering computer graphics and using its various types in professional activities. The Federal State Educational Standard in the areas of education, general and professional competencies associated with the possession of computer graphics, methods and techniques of work necessary for organizing a holistic process in this discipline are analyzed.

Crowdsourcing platforms are powerful tools for academic researchers. Proponents claim that crowdsourcing helps researchers quickly and affordably recruit enough human subjects with diverse backgrounds to generate significant statistical power, while critics raise concerns about unreliable data quality, labor exploitation, and unequal power dynamics between researchers and workers. We examine these concerns along three dimensions: methods, fairness, and politics. We find that researchers offer vastly different compensation rates for crowdsourced tasks, and address potential concerns about data validity by using platform-specific (...) tools and user verification methods. Additionally, workers depend upon crowdsourcing platforms for a significant portion of their income, are motivated more by fear of losing access to work than by specific compensation rates, and are frustrated by a lack of transparency and occasional unfair treatment from job requesters. Finally, we discuss critical computing scholars’ proposals to address crowdsourcing’s problems, challenges with implementing these resolutions, and potential avenues for future research. (shrink)

This paper explains how to use a new software tool for argument diagramming available free on the Internet, showing especially how it can be used in the classroom to enhance critical thinking in philosophy. The user loads a text file containing an argument into a box on the computer interface, and then creates an argument diagram by dragging lines from one node to another. A key feature is the support for argumentation schemes, common patterns of defeasible reasoning historically know (...) as topics . Several examples are presented, as well as the results of an experiment in using the system with students in a university classroom. (shrink)

With the advent of computers in the experimental labs, dynamic systems have become a new tool for research on problem solving and decision making. A short review of this research is given and the main features of these systems (connectivity and dynamics) are illustrated. To allow systematic approaches to the influential variables in this area, two formal frameworks (linear structural equations and finite state automata) are presented. Besides the formal background, the article sets out how the task demands of system (...) identification and system control can be realised in these environments, and how psychometrically acceptable dependent variables can be derived. (shrink)

In this paper we attempt to analyze the concept of quantum probability within quantum computation and quantum computational logic. While the subjectivist interpretation of quantum probability explains it as a reliable predictive tool for an agent in order to compute measurement outcomes, the objectivist interpretation understands quantum probability as providing reliable information of a real state of affairs. After discussing these different viewpoints we propose a particular objectivist interpretation grounded on the idea that the Born rule provides information about an (...) intensive realm of reality. We then turn our attention to the way in which the subjectivist interpretation of probability is presently applied within both quantum computation and quantum computational logic. Taking as a standpoint our proposed intensive account of quantum probability we discuss the possibilities and advantages it might open for the modeling and development of both quantum computation and quantum computational logic. (shrink)

In the paper, we tackle the matter of non-classical logics, in particular, paraconsistent ones, for which not every formula follows in general from inconsistent premisses. Our benchmark is Jaśkowski’s logic, modeled with the help of discussion. The second key origin of this paper is the matter of being tabular, i.e. being adequately expressible by finitely many finite matrices. We analyse Jaśkowski’s non-tabular discussive (discursive) logic $ \textbf {D}_{2}$, one of the first paraconsistent logics, from the perspective of a trivalent tabular (...) logic. We are motivated to step down from the ongoing modal $ \textbf {S5}$-perspective of developing $ \textbf {D}_{2}$ both by certain mysteries that have been surrounding it and by gaps in Jaśkowski’s arguments contra the multivalent tabular perspective. Although Jaśkowski’s idea to use $ \textbf {S5}$ in order to define $ \textbf {D}_{2}$ is very attractive since it allows one to benefit from the tools and results of modal logic, it also gives a ‘non-direct’ formulation and, as it appeared later, is superfluous with respect to what is meant to be achieved since one can define the very same logic but using modal logics weaker than S5. It is also known, due to Kotas, that discussive logic is not finite-valued. So, in light of Kotas’s result that $ \textbf {D}_{2}$ is non-tabular, we propose to associate it with a few dozen discussive formulae that Jaśkowski unequivocally and illustratively suggests to be its theorems or non-theorems rather than with axioms of its modern axiomatizations (one of which Kotas employs) in order to be capable of performing a computer-aided brute-force search for suitable trivalent matrices in the cases of one and two designated values. As a result, we find trivalent matrices with two designated values that might be dubbed ‘discussive’ because they meet Jaśkowski’s suggestion to validate and invalidate the litmus theorems and non-theorems, respectively, despite the fact that none of them validates all the negation axioms in the modern axiomatizations of $ \textbf {D}_{2}$. The matrices found are then analysed along with highlighting the ones that were previously mentioned in the literature. We conclude the paper with a comparative analysis of Omori’s results and a test of Karpenko’s hypothesis. (shrink)

The integration of information resources in the life sciences is one of the most challenging problems facing bioinformatics today. We describe how Language and Computing nv, originally a developer of ontology-based natural language understanding systems for the healthcare domain, is developing a framework for the integration of structured data with unstructured information contained in natural language texts. L&C’s LinkSuite™ combines the flexibility of a modular software architecture with an ontology based on rigorous philosophical and logical principles that is designed to (...) comprehend the basic formal relationships that structure both reality and the ways humans perceive and communicate about reality. (shrink)

Mathematical models are a well established tool in most natural sciences. Although models have been neglected by the philosophy of science for a long time, their epistemological status as a link between theory and reality is now fairly well understood. However, regarding the epistemological status of mathematical models in the social sciences, there still exists a considerable unclarity. In my paper I argue that this results from specific challenges that mathematical models and especially computer simulations face in the social (...) sciences. The most important difference between the social sciences and the natural sciences with respect to modeling is that in the social sciences powerful and well confirmed background theories (like Newtonian mechanics, quantum mechanics or the theory of relativity in physics) do not exist in the social sciences. Therefore, an epistemology of models that is formed on the role model of physics may not be appropriate for the social sciences. I discuss the challenges that modeling faces in the social sciences and point out their epistemological consequences. The most important consequences are that greater emphasis must be placed on empirical validation than on theoretical validation and that the relevance of purely theoretical simulations is strongly limited. (shrink)

Why is interaction so simple? This article presents a theory of interaction based on the use of shared representations as “coordination tools” (e.g., roundabouts that facilitate coordination of drivers). By aligning their representations (intentionally or unintentionally), interacting agents help one another to solve interaction problems in that they remain predictable, and offer cues for action selection and goal monitoring. We illustrate how this strategy works in a joint task (building together a tower of bricks) and discuss its requirements from (...) a computational viewpoint. (shrink)

We present the system SUBSEXPL used for simulating and comparing explicit substitutions calculi. The system allows the manipulation of expressions of the λ-calculus and of three different styles of explicit substitutions: the λσ, the λse and the suspension calculus. A variation of the suspension calculus, which allows for combination of steps of β-contraction is included too. Implementations of the η-reduction are provided for each style. Other explicit substitutions calculi can be easily incorporated into the system due to its modular structure. (...) The uses of the system include: the visualization of the contractions of the λ-calculus in de Bruijn notation, and of guided one-step reductions as well as normalization via each of the associated substitution calculi. Many useful facilities are included: reductions can be easily recorded as text files, LATEX outputs can be generated and several examples for dealing with arithmetic operations and computational operators such as conditionals and repetitions in the λ-calculus are available. The system can be executed over Emacs using the x-symbol mode in such a way that λ-terms and terms of the explicit substitutions calculi are represented in its natural syntax avoiding the necessity of repeatedly generating LATEX outputs. The system has been of great help for systematically comparing explicit substitutions calculi, as well as for understanding properties of explicit substitutions such as the Preservation of Strong Normalization. In addition, it has been used for teaching basic properties of the λ-calculus such as: computational adequacy, the usefulness of de Bruijn's notation and of making explicit substitutions in real implementations. (shrink)

Using emotional film clips is one of the most popular and effective methods of emotion elicitation. The main goal of the present study was to develop and test the effectiveness of a new and comprehensive set of emotional film excerpts. Fifty film experts were asked to remember specific film scenes that elicited fear, anger, sadness, disgust, amusement, tenderness, as well as emotionally neutral scenes. For each emotion, the 10 most frequently mentioned scenes were selected and cut into film clips. Next, (...) 364 participants viewed the film clips in individual laboratory sessions and rated each film on multiple dimensions. Results showed that the film clips were effective with regard to several criteria such as emotional discreteness, arousal, positive and negative affect. Finally, ranking scores were computed for 24 classification criteria: Subjective arousal, positive and negative affect (derived from the PANAS; Watson & Tellegen, 1988), a positive and a negative affect scores derived from the Differential Emotions Scale (DES; Izard et al., 1974), six emotional discreteness scores (for anger, disgust, sadness, fear, amusement and tenderness), and 15 “mixed feelings” scores assessing the effectiveness of each film excerpt to produce blends of specific emotions. In addition, a number of emotionally neutral film clips were also validated. The database and editing instructions to construct the film clips have been made freely available in a website. (shrink)

It is generally agreed that empathy can give us knowledge about others. However, the potential use of empathy as a tool to learn about features of objects in the world more generally, as opposed to learning only about others’ internal states, has not been discussed in the literature. In this paper I make the claim that empathy can help us learn about evaluative features of objects in the world. I further defend this claim by comparing empathy to testimony. Then I (...) present and respond to two possible objections to this analogy. (shrink)