The papers collected in this volume exemplify some of the trends in current approaches to logic, language and computation. Written by authors with varied academic backgrounds, the contributions are intended for an interdisciplinary audience. The first part of this volume addresses issues relevant for multi-agent systems: reasoning with incomplete information, reasoning about knowledge and beliefs, and reasoning about games. Proofs as formal objects form the subject of Part II. Topics covered include: contributions on logical frameworks, linear logic, and different approaches (...) to formalized reasoning. Part III focuses on representations and formal methods in linguistic theory, addressing the areas of comparative and temporal expressions, modal subordination, and compositionality. (shrink)

This paper studies the learnability of natural concepts in the context of the conceptual spaces framework. Previous work proposed that natural concepts are represented by the cells of optimally partitioned similarity spaces, where optimality was defined in terms of a number of constraints. Among these is the constraint that optimally partitioned similarity spaces result in easily learnable concepts. While there is evidence that systems of concepts generally regarded as natural satisfy a number of the proposed optimality constraints, the connection between (...) naturalness and learnability has been less well studied. To fill this gap, we conduct a computational study employing two standard models of concept learning. Applying these models to the learning of color concepts, we examine whether natural color concepts are more readily learned than nonnatural ones. Our findings warrant a positive answer to this question for both models employed, thus lending empirical support to the notion that learnability is a distinctive characteristic of natural concepts. (shrink)

This volume brings together a collection of papers covering a wide range of topics in computer and cognitive science. Topics included are: the foundational relevance of logic to computer science, with particular reference to tense logic, constructive logic, and Horn clause logic; logic as the theoretical underpinnings of the engineering discipline of expert systems; a discussion of the evolution of computational linguistics into functionally distinct task levels; and current issues in the implementation of speech act theory.

ABSTRACTIn this article we investigate structural differences between “literary” metaphors created by renowned poets and “nonliterary” ones imagined by non-professional authors from Katz et al.’s 1988 corpus. We provide data from quantitative narrative analyses of the altogether 464 metaphors on over 70 variables, including surface features like metaphor length, phonological features like sonority score, or syntactic-semantic features like sentence similarity. In a first computational study using machine learning tools we show that Katz et al.’s literary metaphors can be (...) successfully discriminated from their nonliterary ones on the basis of response measures, in particular the ratings for familiarity, ease of interpretation, semantic relatedness, and comprehensibility. A second computational study then shows that the classifier can reliably detect and predict between-group differences on the basis of five QNA features generalizing from a... (shrink)

John Pollock (1940?2009) was an influential American philosopher who made important contributions to various fields, including epistemology and cognitive science. In the last 25 years of his life, he also contributed to the computational study of defeasible reasoning and practical cognition in artificial intelligence. He developed one of the first formal systems for argumentation-based inference and he put many issues on the research agenda that are still relevant for the argumentation community today. This paper presents an appreciation of (...) Pollock's work on defeasible reasoning and its relevance for the computational study of argument. In our opinion, Pollock deserves to be remembered as one of the founding fathers of the field of computational argument, while, moreover, his work contains important lessons for current research in this field, reminding us of the richness of its object of study. (shrink)

We present a longitudinal computational study on the connection between emotional and amodal word representations from a developmental perspective. In this study, children's and adult word representations were generated using the latent semantic analysis (LSA) vector space model and Word Maturity methodology. Some children's word representations were used to set a mapping function between amodal and emotional word representations with a neural network model using ratings from 9‐year‐old children. The neural network was trained and validated in the (...) child semantic space. Then, the resulting neural network was tested with adult word representations using ratings from an adult data set. Samples of 1210 and 5315 words were used in the child and the adult semantic spaces, respectively. Results suggested that the emotional valence of words can be predicted from amodal vector representations even at the child stage, and accurate emotional propagation was found in the adult word vector representations. In this way, different propagative processes were observed in the adult semantic space. These findings highlight a potential mechanism for early verbal emotional anchoring. Moreover, different multiple linear regression and mixed‐effect models revealed moderation effects for the performance of the longitudinal computational model. First, words with early maturation and subsequent semantic definition promoted emotional propagation. Second, an interaction effect between age of acquisition and abstractness was found to explain model performance. The theoretical and methodological implications are discussed. (shrink)

There is an active debate within the field of phonology concerning the cognitive status of substantive phonetic factors such as ease of articulation and perceptual distinctiveness. A new framework is proposed in which substance acts as a bias, or prior, on phonological learning. Two experiments tested this framework with a method in which participants are first provided highly impoverished evidence of a new phonological pattern, and then tested on how they extend this pattern to novel contexts and novel sounds. Participants (...) were found to generalize velar palatalization (e.g., the change from [k] as in keep to [t⌢∫S] as in cheap) in a way that accords with linguistic typology, and that is predicted by a cognitive bias in favor of changes that relate perceptually similar sounds. Velar palatalization was extended from the mid front vowel context (i.e., before [e] as in cape) to the high front vowel context (i.e., before [i] as in keep), but not vice versa. The key explanatory notion of perceptual similarity is quantified with a psychological model of categorization, and the substantively biased framework is formalized as a conditional random field. Implications of these results for the debate on substance, theories of phonological generalization, and the formalization of similarity are discussed. (shrink)

Making good decisions depends on having accurate information – quickly, and in a form in which it can be readily communicated and acted upon. Two features of medical practice can help: deliberation in groups and the use of scores and grades in evaluation. We study the contributions of these features using a multi-agent computer simulation of groups of physicians. One might expect individual differences in members’ grading standards to reduce the capacity of the group to discover the facts on (...) which well-informed decisions depend. Observations of the simulated groups suggest on the contrary that this kind of diversity can in fact be conducive to epistemic performance. Sometimes, it is adopting common standards that may be expected to result in poor decisions. (shrink)

Computational models of infant word‐finding typically operate over transcriptions of infant‐directed speech corpora. It is now possible to test models of word segmentation on speech materials, rather than transcriptions of speech. We propose that such modeling efforts be conducted over the speech of the experimental stimuli used in studies measuring infants' capacity for learning from spoken sentences. Correspondence with infant outcomes in such experiments is an appropriate benchmark for models of infants. We demonstrate such an analysis by applying the (...) DP‐Parser model of Algayres and colleagues to auditory stimuli used in infant psycholinguistic experiments by Pelucchi and colleagues. The DP‐Parser model takes speech as input, and creates multiple overlapping embeddings from each utterance. Prospective words are identified as clusters of similar embedded segments. This allows segmentation of each utterance into possible words, using a dynamic programming method that maximizes the frequency of constituent segments. We show that DP‐Parse mimics American English learners' performance in extracting words from Italian sentences, favoring the segmentation of words with high syllabic transitional probability. This kind of computational analysis over actual stimuli from infant experiments may be helpful in tuning future models to match human performance. (shrink)

Computation is central to the foundations of modern cognitive science, but its role is controversial. Questions about computation abound: What is it for a physical system to implement a computation? Is computation sufficient for thought? What is the role of computation in a theory of cognition? What is the relation between different sorts of computational theory, such as connectionism and symbolic computation? In this paper I develop a systematic framework that addresses all of these questions. Justifying the role of (...) computation requires analysis of implementation, the nexus between abstract computations and concrete physical systems. I give such an analysis, based on the idea that a system implements a computation if the causal structure of the system mirrors the formal structure of the computation. This account can be used to justify the central commitments of artificial intelligence and computational cognitive science: the thesis of computational sufficiency, which holds that the right kind of computational structure suffices for the possession of a mind, and the thesis of computational explanation, which holds that computation provides a general framework for the explanation of cognitive processes. The theses are consequences of the facts that (a) computation can specify general patterns of causal organization, and (b) mentality is an organizational invariant, rooted in such patterns. Along the way I answer various challenges to the computationalist position, such as those put forward by Searle. I close by advocating a kind of minimal computationalism, compatible with a very wide variety of empirical approaches to the mind. This allows computation to serve as a true foundation for cognitive science. (shrink)

In this study, we analyzed the relationship between the amodal (semantic) development of words and two popular emotional norms (emotional valence and arousal) in English and Spanish languages. To do so, we combined the strengths of semantics from vector space models (vector length, semantic diversity, and word maturity measures), and feature-based models of emotions. First, we generated a common vector space representing the meaning of words at different developmental stages (five and four developmental stages for English and Spanish, respectively) (...) using the Word Maturity methodology to align different vector spaces. Second, we analyzed the amodal development of words through mixed-effects models with crossed random effects for words and variables using a continuous time metric. Third, the emotional norms were included as covariates in the statistical models. We evaluated more than 23,000 words, whose emotional norms were available for more than 10,000 words, in each language separately. Results showed a curve of amodal development with an increasing linear effect and a small quadratic deceleration. A relevant influence on the amodal development of words was found only for emotional valence (not for arousal), suggesting that positive words have an earlier amodal development and a less pronounced semantic change across early lifespan. (shrink)

8.6 Issues Raised by the Algorithms Proposed.

The Handbook of Computational Social Science is a comprehensive reference source for scholars across multiple disciplines. It outlines key debates in the field, showcasing novel statistical modeling and machine learning methods, and draws from specific case studies to demonstrate the opportunities and challenges in CSS approaches. The Handbook is divided into two volumes written by outstanding, internationally renowned scholars in the field. This first volume focuses on the scope of computational social science, ethics, and case studies. It covers (...) a range of key issues, including open science, formal modeling, and the social and behavioral sciences. This volume explores major debates, introduces digital trace data, reviews the changing survey landscape, and presents novel examples of computational social science research on sensing social interaction, social robots, bots, sentiment, manipulation, and extremism in social media. The volume not only makes major contributions to the consolidation of this growing research field, but also encourages growth into new directions. With its broad coverage of perspectives (theoretical, methodological, computational), international scope, and interdisciplinary approach, this important resource is integral reading for advanced undergraduates, postgraduates and researchers engaging with computational methods across the social sciences, as well as those within the scientific and engineering sectors. (shrink)

This paper reports research concerning a suitable dialogue model for human computer debate. In particular, we consider the adoption of Moore's (1993) utilization of Mackenzie's (1979) game DC, means of using computational agents as the test-bed to facilitate evaluation of the proposed model, and means of using the evaluation results as motivation to further develop a dialogue model, which can prevent fallacious argument and common errors. It is anticipated that this work will contribute toward the development of human computer (...) dialogue, and help to illuminate research issues in the field of dialectics itself. (shrink)

Cloud Computing paradigm has reached a high degree of popularity among all kinds of computer users, but it may not be suitable for mobile devices as they need computing power to be as close as possible to data sources in order to reduce delays. This paper focuses on achieving mathematical models for users moving around and proposes an overlay mobility model for Fog Data Centres based on traditional wireless mobility models aimed at better allocating edge computing resources to client demands. (...) Additionally, the focus is also on providing a model as to how the computing assets related to each user follow it through the fog infrastructure so as to minimise the distance to the user according to a Fat-Tree based Data Centre topology. (shrink)

In the last decades a growing body of literature in Artificial Intelligence (AI) and Cognitive Science (CS) has approached the problem of narrative understanding by means of computational systems. Narrative, in fact, is an ubiquitous element in our everyday activity and the ability to generate and understand stories, and their structures, is a crucial cue of our intelligence. However, despite the fact that - from an historical standpoint - narrative (and narrative structures) have been an important topic of investigation (...) in both these areas, a more comprehensive approach coupling them with narratology, digital humanities and literary studies was still lacking. With the aim of covering this empty space, in the last years, a multidisciplinary effort has been made in order to create an international meeting open to computer scientist, psychologists, digital humanists, linguists, narratologists etc.. This event has been named CMN (for Computational Models of Narrative) and was launched in the 2009 by the MIT scholars Mark A. Finlayson and Patrick H. Winston1. (shrink)

Computational social science, as an emerging interdisciplinary discipline, is a field ushered in by long-term development of traditional social science. It is committed to supplying data thinking, resources, and analytics to study human social behavior and social operation laws to accurately grasp and judge the developing path of the discipline, which is of great significance to promote the innovation and development of social sciences. This study is to conduct a systematic quantitative analysis from a bibliometric perspective, aiming (...) to provide a reference for scholars to explore the paths and changing rules in the field. We use the relevant literature in Web of Science as the dataset. After eliminating journal calls and irrelevant literature, R language and SciMAT tools are used to visualize and analyze the number of articles, keyword clustering, keyword cooccurrence network, and theme evolution, so as to summarize and sort out the paths of computational social science research. The study found that the annual volume of publications has been gradually increasing and will probably remain active in the next few years with high productivity. Subject themes in different periods are diversified, and the evolutionary relationship is found complex as well. Besides, as a cross discipline, scientific knowledge from different fields cross collides and couples with each other in the big data environment, changing the traditional concept of computational social science and forming a new development path. Recently, the emergence of “big data+” has promoted the rise of new subject areas, making the development of new disciplines a reality. (shrink)

With the mutual exchange and integration of world football, modern football is in an increasingly comprehensive direction. This research mainly discusses complexity computer simulation in the study of the overall play of campus football. Complexity computer simulation is used to design the background of the simulated football field, and the area is divided according to the size ratio of the actual football field. Then, it uses drawing software to draw the football and player controls. The construction of the knowledge (...) base of this paper is mainly combined with the functional modules of rapid formation and response tactics. In the fast formation function, the required formation can be quickly given through football experience and knowledge rules. In the applied tactics function, for the responsibilities of forwards, midfielders, defenders, and other roles, the tactics implemented are given, including partially coordinated offensive and defensive tactics, personal offensive and defensive tactics, and set-ball tactics. The “holistic play” football tactics studied in this paper use XML files as recording and playback data, which not only greatly reduce the amount of file data but also make the operation of XML files intuitive and simple. XML can not only realize the recording and playback of player and football track but also be used in the function of rapid formation. The coach uses the “holistic play” football tactics simulation to demonstrate the movement route through the image, guide the players in each position to perceive the game scene by observing the movement route, and analyze and judge the tactical coordination of their respective positions. The computer simulation tactical analysis of the precision of the passing and running and the path coefficient of the passing factor is 0.606 and 0.59, respectively. This research helps to provide guidance on the overall playing tactics of football. (shrink)

Peter Spirtes, Richard Scheines and Clark Glymour. Simulated Studies of the Reliability of Computer-Aided Model Specification Using the TETRAD, EQS and LISREL Programs.

The past three decades of policy process studies have seen the emergence of a clear intellectual lineage with regard to complexity. Implicitly or explicitly, scholars have employed complexity theory to examine the intricate dynamics of collective action in political contexts. However, the methodological counterparts to complexity theory, such as computational methods, are rarely used and, even if they are, they are often detached from established policy process theory. Building on a critical review of the application of complexity theory to (...) policy process studies, we present and implement a baseline model of policy processes using the logic of coevolving networks. Our model suggests that an actor’s influence depends on their environment and on exogenous events facilitating dialogue and consensus-building. Our results validate previous opinion dynamics models and generate novel patterns. Our discussion provides ground for further research and outlines the path for the field to achieve a computational turn. (shrink)

The article suggests that the best examples of textual work in the computational humanities are best understood as motivated by aesthetic concerns with the constraints placed on literature by computation’s cultural hegemony. To draw these concerns out, I adopt a middle-distant depth of field, examining the strange epistemology and unexpected aesthetic dimension of numerical culture’s encounters with literature. The middle-distant forms of reading I examine register problematically as literary scholarship not because they lack rigor or evidence but because their (...) unacknowledged object of study is the infrastructure of academic knowledge production. Work in the computational humanities is approaching a point at which the scale of analyzed data and data analysis washes out readings, the algorithms are achieving opaque complexity, and the analytical systems are producing purposive outputs. These problems cannot be addressed without attending to the aesthetics of data-driven cultural encounters, specifically the questions of how we produce readings/viewings and how they change our perceptions and characterize the interesting, critical theorization on method and meaning that make the best work in the computational humanities legitimately humanistic. I contribute a working example: a recommendation system for passages within the Shakespearean dramatic corpus, built using a large bibliographical dataset from JSTOR, a counting/ranking algorithm used at large scale. The system returns passages as intertexts for the passage a reader has selected. I explain how and why this system provides meaningful intertextual connections within the Shakespearean dramatic corpus by tracing the legible structural effects of disciplinary knowledge formation on the shape of this dataset. I close by suggesting how the computational and more traditional methods in the humanities might begin to stop debating past one another. (shrink)

In recent years, the network has become more complex, and the attacker’s ability to attack is gradually increasing. How to properly understand the network security situation and improve network security has become a very important issue. In order to study the method of extracting information about the security situation of the network based on cloud computing, we recommend the technology of knowledge of the network security situation based on the data extraction technology. It converts each received cyber security event (...) into a standard format that can be defined as multiple brochures, creating a general framework for the cyber security situation. According to the large nature of network security situation data, the Hadoop platform is used to extract aggregation rules, and perform model extraction, pattern analysis, and learning on a network security event dataset to complete network security situation rule mining, and establish a framework for assessing the state of network security. According to the results of the federal rule extraction, the level of network node security risk is obtained in combination with signal reliability, signal severity, resource impact, node protection level, and signal recovery factor. A simulation test is performed to obtain the intrusion index according to the source address of the network security alarm. Through the relevant experiments and analysis of the results, the attack characteristics obtained in this study were obtained after manually reducing the network security event in the 295 h window. The results show that after the security event is canceled, the corresponding window attack index decreases to 0, indicating that this method can effectively implement a network security situation awareness. The proposed technique allows you to accurately sense changes in network security conditions. (shrink)

The workshop will discuss new insights in the interaction between logic and law, and more precisely the study of different answers to the question: What role does logic play in legal reasoning? It will present both current challenges and historical perspectives in the relation between logic and law. The perspectives to be discussed involve the interface of the following studies.

This clear and accessible textbook and its associated website offer a state of the art introduction to the burgeoning field of computer ethics and professional responsibility. Includes discussion of hot topics such as the history of computing; the social context of computing; methods of ethical analysis; professional responsibility and codes of ethics; computer security, risks and liabilities; computer crime, viruses and hacking; data protection and privacy; intellectual property and the “open source” movement; global ethics and the internet Introduces key issues (...) and concepts at the start of each section, and features classroom-tested study questions, and lists of useful websites and further reading Provides a wealth of relevant case studies, and an easy-to learn case-analysis technique Is accompanied by a website, offering sample student answers, additional study questions, example case analyses, and discussion forums. (shrink)

It is generally agreed that one origin of machine bias is resulting from characteristics within the dataset on which the algorithms are trained, i.e., the data does not warrant a generalized inference. We, however, hypothesize that a different ‘mechanism’ may also be responsible for machine bias, namely that biases may originate from the programmers’ cultural background, including education or line of work, or the contextual programming environment, including software requirements or developer tools. Combining an experimental and comparative design, we (...) class='Hi'>study the effects of cultural and contextual metaphors, and test whether each of these are ‘transferred’ from the programmer to the program, thus constituting a machine bias. Our results show that cultural metaphors influence the programmer’s choices and contextual metaphors induced through priming can be used to moderate or exacerbate the effects of the cultural metaphors. Our studies are purposely performed with users of varying educational backgrounds and programming skills stretching from novice to proficient. (shrink)