Much research on intelligent systems has concentrated on low level mechanisms or sub-systems of restricted functionality. We need to understand how to put all the pieces together in an *architecture* for a complete agent with its own mind, driven by its own desires. A mind is a self-modifying control system, with a hierarchy of levels of control, and a different hierarchy of levels of implementation. AI needs to explore alternative control architectures and their implications for human, animal, (...) and artificial minds. Only within the framework of a theory of actual and possible architectures can we solve old problems about the concept of mind and causal roles of desires, beliefs, intentions, etc. The high level ``virtual machine'' architecture is more useful for this than detailed mechanisms. E.g. the difference between connectionist and symbolic implementations is of relatively minor importance. A good theory provides both explanations and a framework for systematically generating concepts of possible states and processes. Lacking this, philosophers cannot provide good analyses of concepts, psychologists and biologists cannot specify what they are trying to explain or explain it, and psychotherapists and educationalists are left groping with ill-understood problems. The paper sketches some requirements for such architectures, and analyses an idea shared between engineers and philosophers: the concept of ``semantic information''. (shrink)

This article clarifies three principles that should guide the development of any cognitive ontology. First, that an adequate cognitive ontology depends essentially on an adequate task ontology; second, that the goal of developing a cognitive ontology is independent of the goal of finding neural implementations of the processes referred to in the ontology; and third, that cognitive ontologies are neutral regarding the metaphysical relationship between cognitive and neural processes.

A classical definition of automaticity establishes that automatic processing occurs without attention or consciousness, and cannot be controlled. Previous studies have demonstrated that semantic priming can be reduced if attention is directed to a low-level of analysis. This finding suggests that semantic processing is not automatic since it can be controlled. In this paper, we present two experiments that demonstrate that semantic processing may occur in the absence of attention and consciousness. A negative semantic priming effect (...) was found when a low-level prime-task was required and when a masked lexical decision prime-task was performed . This paper also discusses the limitations of the inhibitory mechanism involved in negative semantic priming effect. (shrink)

This corpus analysis of linguistic and semantic features in French parliamentary debates concerning online hate speech regulation, highlights tensions between state powers and private rights. Two key themes are identified: first, the _problem of definition_: how such online content is defined in the debates, and second, the _problem of regulation_: how the debates negotiate the supra-jurisdictional and individual jurisdiction issues involved, in regulating both the global online content and the responsibilities of the owners of the platforms who manage the (...) content. For this analysis, the authors created a corpus of French National Assembly Examination Committee discussions and public sessions between July 2019 to January 2020 discussing the _Loi Avia _(Avia Law). The corpus was analysed using quali-quantitative methods. Overall, the study combines a top-down (global) and a bottom-up (local) analysis of the data, applying corpus semantic approaches (Lecolle et al. in Langages 210(2):35–54, 2018; Rastier in The Routledge handbook of semantics, Routledge, pp 507–522, 2015) to contextualize the analysis of the meta-discourse (Hyland in Meta-discourse: exploring interaction in writing, 1st ed. Bloomsbury Academic, Bloomsbury Collections, 2018. https://doi.org/10.5040/9781350063617 ). The analysis highlights the linguistic features revealing the power dynamics inherent within the discourse and counter-discourse of the dominant and opposition political parties respectively. (shrink)

(2013). Two facets of cognitive control in analogical mapping: The role of semantic interference resolution andgoal-driven structure selection. Thinking & Reasoning. ???aop.label???

Semantic priming has long been recognized to reflect, along with automatic semantic mechanisms, the contribution of controlled strategies. However, previous theories of controlled priming were mostly qualitative, lacking common grounds with modern mathematical models of automatic priming based on neural networks. Recently, we introduced a novel attractor network model of automatic semantic priming with latching dynamics. Here, we extend this work to show how the same model can also account for important findings regarding controlled processes. Assuming the (...) rate of semantic transitions in the network can be adapted using simple reinforcement learning, we show how basic findings attributed to controlled processes in priming can be achieved, including their dependency on stimulus onset asynchrony and relatedness proportion and their unique effect on associative, category-exemplar, mediated and backward prime-target relations. We discuss how our mechanism relates to the classic expectancy theory and how it can be further extended in future developments of the model. (shrink)

Lorazepam has been repeatedly shown to induce memory impairments. The effects of this benzodiazepine on the processes involved in the strategic regulation of memory accuracy have not as yet been explored. An experimental procedure that delineates the role of monitoring and control processes was used. Fifteen lorazepam and 15 placebo subjects were examined using a semantic memory task that combined both a forced- and a free-report option and a no-incentive and an incentive condition. Memory accuracy was lower in (...) the lorazepam than in the placebo group. Lorazepam impaired control sensitivity . While the absolute aspect of monitoring was impaired , both the discriminative aspect and the response criterion setting were spared. The pharmacological dissociation between monitoring effectiveness and control sensitivity indicates that these two components involve distinct processes. (shrink)

Lorazepam has been repeatedly shown to induce memory impairments. The effects of this benzodiazepine on the processes involved in the strategic regulation of memory accuracy have not as yet been explored. An experimental procedure that delineates the role of monitoring and control processes was used. Fifteen lorazepam and 15 placebo subjects were examined using a semantic memory task that combined both a forced- and a free-report option and a no-incentive and an incentive condition. Memory accuracy was lower in (...) the lorazepam than in the placebo group. Lorazepam impaired control sensitivity (the extent to which volunteering of answers is affected by the confidence judgments). While the absolute aspect of monitoring was impaired (calibration scores), both the discriminative aspect (the ability to distinguish between correct and incorrect answers) and the response criterion setting (the confidence threshold set for volunteering a report) were spared. The pharmacological dissociation between monitoring effectiveness and control sensitivity indicates that these two components involve distinct processes. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and (...) in theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and (...) in theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.

Ontologies formally represent reality in a way that limits ambiguity and facilitates automated reasoning and data fusion, but is often daunting to the non-technical user. Thus, many researchers have endeavored to hide the formal syntax and semantics of ontologies behind the constructs of Controlled Natural Languages (CNLs), which retain the formal properties of ontologies while simultaneously presenting that information in a comprehensible natural language format. In this paper, we build upon previous work in this field by evaluating prospects of implementing (...) International Technology Alliance Controlled English (ITACE) as a middleware for ontology editing. We also discuss at length a prototype of a natural language conversational interface application designed to facilitate ontology editing via the formulation of CNL constructs. (shrink)

This research explores current controversies within country dance communities and the implications of cultural and ethical issues related to representation of gender and race in a KOS for an ICH, while investigating the importance of context and the applicability of semantic approaches in the implementation of synonym rings. During development of a controlled vocabulary to represent dance concepts for country dance choreography, this study encountered and considered the importance of history and culture regarding synonymous and near-synonymous terms used to (...) describe dance roles and choreographic elements. A subset of names for the same choreographic concepts across four subdomains of country dance (English country dance, Scottish country dance, contra dance, and modern western square dance) were used as a case study. These concepts included traditionally gendered dance roles and choreographic terms with a racially pejorative history. Through the lens of existing research on ethical knowl­edge organization, this study focused on principles and methods of transparency, multivocality, cultural warrant, cultural hospitality, and intersectionality to conduct a domain analysis of country dance resources. The analysis revealed differing levels of engagement and distinction among dance practitioners and communities for their preferences to use different terms for the same concept. Various lexical, grammatical, affective, social, political, and cultural aspects also emerged as important contextual factors for the use and assignment of terms. As a result, this study proposes the use of semantic annotation to represent those contextual factors and to allow mechanisms of user choice in the design of a country dance knowl­edge organization system. Future research arising from this study would focus on expanding examination to other country dance genres and continued exploration of the use of semantic approaches to represent contextual factors in controlled vocabulary development. (shrink)

In the traditional scientific research and production activities, due to the lack of sufficient communication and communication between researchers, the phenomenon of waste of scientific research resources occurs from time to time, which hinders the efficiency of scientific research output. Based on the design principle of the semantic knowledge framework, this paper puts forward the definition of ontology and semantic relationship of the collaborative system of scientific researchers. In this paper, a framework of collaborative semantic knowledge among (...) researchers is established through decentralized semantic information exchange architecture. In this article, the simulation is verified by experiments and compared with other exchange architectures. The results of the experiment confirmed the semantic information exchange architecture based on semantic knowledge proposed in this paper is 10.39% faster than the traditional centralized method in terms of data volume; the construction speed under the data node perspective is 12.84% higher than that of the traditional centralized construction method; the subject query speed is 36.84% higher than that of the traditional centralization method; the predicate query speed is 31.58% higher than that of the traditional centralization method. The experimental results confirm that the semantic information exchange architecture based on the semantic knowledge framework is feasible, and it has excellent performance in terms of construction speed and query speed. Under the background that researchers rely more and more on collaborative technology to interact with other members, this paper has a certain reference value and exploration value and proposes a new idea of group collaboration system under the framework of semantic knowledge. (shrink)

We describe a logic which is the same as first-order logic except that it allows control over the information that passes down from formulas to subformulas. For example the logic is adequate to express branching quantifiers. We describe a compositional semantics for this logic; in particular this gives a compositional meaning to formulas of the 'information-friendly' language of Hintikka and Sandu. For first-order formulas the semantics reduces to Tarski's semantics for first-order logic. We prove that two formulas have the (...) same interpretation in all structures if and only if replacing an occurrence of one by an occurrence of the other in a sentence never alters the truth-value of the sentence in any structure. (shrink)

Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk and Stokhof. One rationale behind the introduction of DPL is that it is closer to Natural Language than ordinary Predicate Logic in the way it treats scope.In this paper I develop some variants of DPL that can more easily approximate Natural Language in some further aspects. Specifically I add flexibility in the treatment of polarity and and some further flexibility in the treatment of scope.I develop a framework (...) that is intended to encourage further experimentation with alternative variants of DPL. In this framework the new meanings are, roughly,indexed sets of old meanings. The indices can be viewed as "files'' or "storage devices.''Each such file supports a separate "information stream.''The interaction of the new meanings is "programmed'' with the help of certain monoids acting on the indices. The construction of the new meanings can be viewed as an application of the Grothendieck Construction to monoids. (shrink)

The widely accepted two-dimensional circumplex model of emotions posits that most instances of human emotional experience can be understood within the two general dimensions of valence and activation. Currently, this model is facing some criticism, because complex emotions in particular are hard to define within only these two general dimensions. The present theory-driven study introduces an innovative analytical approach working in a way other than the conventional, two-dimensional paradigm. The main goal was to map and project semantic emotion space (...) in terms of mutual positions of various emotion prototypical categories. Participants (N = 187; 54.5% females) judged 16 discrete emotions in terms of valence, intensity, controllability and utility. The results revealed that these four dimensional input measures were uncorrelated. This implies that valence, intensity, controllability and utility represented clearly different qualities of discrete emotions in the judgments of the participants. Based on this data, we constructed a 3D hypercube-projection and compared it with various two-dimensional projections. This contrasting enabled us to detect several sources of bias when working with the traditional, two-dimensional analytical approach. Contrasting two-dimensional and three-dimensional projections revealed that the 2D models provided biased insights about how emotions are conceptually related to one another along multiple dimensions. The results of the present study point out the reductionist nature of the two-dimensional paradigm in the psychological theory of emotions and challenge the widely accepted circumplex model. (shrink)

The associative theory of creativity states that creativity is associated with differences in the structure of semantic memory, whereas the executive theory of creativity emphasises the role of top-down control for creative thought. For a powerful test of these accounts, individual semantic memory structure was modelled with a novel method based on semantic relatedness judgements and different criteria for network filtering were compared. The executive account was supported by a correlation between creative ability and broad retrieval (...) ability. The associative account was independently supported, when network filtering was based on a relatedness threshold, but not when it was based on a fixed edge number or on the analysis of weighted networks. In the former case, creative ability was associated with shorter average path lengths and higher clustering of the network, suggesting that the semantic networks of creative people show higher small-worldness. (shrink)

In general, stimuli that are familiar and recognizable have an advantage of predominance during binocular rivalry. Recent research has demonstrated that familiar and recognizable stimuli such as upright faces and words in a native language could break interocular suppression faster than their matched controls. In this study, a visible word prime was presented binocularly then replaced by a high-contrast dynamic noise pattern presented to one eye and either a semantically related or unrelated word was introduced to the other eye. We (...) measured how long it took for target words to break from suppression. To investigate word-parts priming, a second experiment also included word pairs that had overlapping subword fragments. Results from both experiments consistently show that semantically related words and words that shared subword fragments were faster to gain dominance compared to unrelated words, suggesting that words, even when interocularly suppressed and invisible, can benefit from semantic and subword priming. (shrink)

Imagination has recently attracted considerable attention from epistemologists and is recognized as a source of belief and even knowledge. One remarkable feature of imagination is that it is often and typically agentive: agents decide to imagine. In cases in which imagination results in a belief, the agentiveness of imagination may be taken to give rise to indirect doxastic control and epistemic responsibility. This observation calls for a proper understanding of agentive imagination. In particular, it calls for the development of (...) a semantics of imagination ascriptions. In the present paper an earlier suggestion by Ilkka Niiniluoto for a logic of imagination is considered. This proposal does not capture the agentive nature of imagination, and an alternative semantics is suggested. The new semantics combines the modal logic of agency with the neighbourhood semantics from alethic modal logic. (shrink)

When reflecting on the nature of skilled action, it is easy to fall into familiar dichotomies such that one construes the flexibility and intelligence of skill at the level of intentional states while characterizing the automatic motor processes that constitute motor skill execution as learned but fixed, invariant, bottom-up, brute-causal responses. In this essay, I will argue that this picture of skilled, automatic, motor processes is overly simplistic. Specifically, I will argue that an adequate account of the learned motor routines (...) that constitute embodied skills cannot be given in a purely bottom-up, brute-causal fashion. Rather, motor control is intelligent all the way down. To establish this, I will first review two recent accounts of skill, Stanley and Krakauer and Papineau, which characterize the automatic motor control responsible for the fine-grained movements constitutive of motor skill as brute, low-level phenomena. I will then isolate five key features that should apply to skilled motor control, if these accounts are correct. Together, the accounts posit that motor control is: ballistic, invariant, independent of general action trajectories, Insensitive to semantic content, and independent of personal-level intentions. In the final section of this paper, I will appeal to optimal control theory for empirical evidence to challenge the commitment to skilled action as qualified by the above features. (shrink)

This paper develops a semantics with control over scope relations using Vermeulen’s stack valued assignments as information states. This makes available a limited form of scope reuse and name switching. The goal is to have a general system that fixes available scoping effects to those that are characteristic of natural language. The resulting system is called Scope Control Theory, since it provides a theory about what scope has to be like in natural language. The theory is shown to (...) replicate a wide range of grammatical dependencies, including options for, and constraints on, ‘donkey’, ‘binding’, ‘movement’, ‘Control’ and ‘scope marking’ dependencies. (shrink)

The recognition of taboo words – i.e. socially inappropriate words – has been repeatedly associated to semantic interference phenomena, with detrimental effects on the performance in the ongoing task. In the present study, we investigated taboo interference in the context of reading aloud, a task configuration which prompts the overt violation of conventional sociolinguistic norms by requiring the explicit utterance of taboo items. We assessed whether this form of semantic interference is handled by habituative or cognitive control (...) processes. In addition to the reading aloud task, participants performed a vocal Stroop task featuring different conditions to dissociate semantic, task, and response conflict. Taboo words were read slower than non-taboo words, but this effect was subject to a quick habituation, with a decreasing interference over the course of trials, which allowed participants to selectively attend to goal-relevant information. In the Stroop task, only semantic conflict was significantly reduced by habituation. These findings suggest that semantic properties can be quickly and flexibly weighed on the basis of contextual appropriateness, thus characterising semantic processing as a flexible and goal-directed component of reading aloud. (shrink)

This volume is the first to focus specifically on experimental studies of the semantics of gradability, scale structure and vagueness. It presents support for and challenges to current formal analyses of these phenomena in view of experimentally collected data, highlighting the ways semantic and pragmatic theory can benefit from experimental methodologies. The papers in the volume contribute to an explicit and detailed account of the use, representation, and online processing of gradable and vague expressions using various kinds of controlled (...) speaker judgment tasks, eye tracking, and ERP. The aim is to strengthen the foundations of experimental semantics and promote interaction between linguists, psycholinguists, psychologists, and philosophers who are interested in the semantics of natural language. Using data representing different languages and a variety of nominal and adjectival constructions, including degree modification and comparatives, the contributions address scale-based classifications of gradable predicates, such as the absolute vs. relative distinction; the nature of the standards for applicability of gradable expressions and the ways in which standards are determined; the nature of dimensions and multidimensionality in the meaning of scalar expressions; and the role of embodiment, subjectivity, and sociolinguistic considerations in the use and understanding of gradable expressions. (shrink)

In this paper we study the semantic data complexity of several controlled fragments of English designed for natural language front-ends to OWL (Web Ontology Language) and description logic ontology-based systems. Controlled languages are fragments of natural languages, obtained by restricting natural language syntax, vocabulary and semantics with the goal of eliminating ambiguity. Semantic complexity arises from the formal logic modelling of meaning in natural language and fragments thereof. It can be characterized as the computational complexity of the reasoning (...) problems associated to their semantic representations. Data complexity (the complexity of answering a question over an ontology, stated in terms of the data items stored therein), in particular, provides a measure of the scalability of controlled languages to ontologies, since tractable data complexity implies scalability of data access. We present maximal tractable controlled languages and minimal intractable controlled languages. (shrink)

Fodor's and Pylyshyn's stand on systematicity in thought and language has been debated and criticized. Van Gelder and Niklasson, among others, have argued that Fodor and Pylyshyn offer no precise definition of systematicity. However, our concern here is with a learning based formulation of that concept. In particular, Hadley has proposed that a network exhibits strong semantic systematicity when, as a result of training, it can assign appropriate meaning representations to novel sentences (both simple and embedded) which contain words (...) in syntactic positions they did not occupy during training. The experience of researchers indicates that strong systematicity in any form is difficult to achieve in connectionist systems.Herein we describe a network which displays strong semantic systematicity in response to Hebbian, connectionist training. During training, two-thirds of all nouns are presented only in a single syntactic position (either as grammatical subject or object). Yet, during testing, the network correctly interprets thousands of sentences containing those nouns in novel positions. In addition, the network generalizes to novel levels of embedding. Successful training requires a, corpus of about 1000 sentences, and network training is quite rapid. The architecture and learning algorithms are purely connectionist, but ‘classical’ insights are discernible in one respect, viz, that complex semantic representations spatially contain their semantic constituents. However, in other important respects, the architecture is distinctly non-classical. (shrink)

Recently, the pandemic caused by COVID-19 is severe in the entire world. The prevention and control of crimes associated with COVID-19 are critical for controlling the pandemic. Therefore, to provide efficient and convenient intelligent legal knowledge services during the pandemic, we develop an intelligent system for legal information retrieval on the WeChat platform in this paper. The data source we used for training our system is “The typical cases of national procuratorial authorities handling crimes against the prevention and (...) class='Hi'>control of the new coronary pneumonia pandemic following the law”, which is published online by the Supreme People’s Procuratorate of the People’s Republic of China. We base our system on convolutional neural network and use the semantic matching mechanism to capture inter-sentence relationship information and make a prediction. Moreover, we introduce an auxiliary learning process to help the network better distinguish the relation between two sentences. Finally, the system uses the trained model to identify the information entered by a user and responds to the user with a reference case similar to the query case and gives the reference legal gist applicable to the query case. (shrink)

Despite its theoretical importance, little is known about how semantic memory structure facilitates and constrains creative idea generation. We examine whether the semantic richness of a concept has both benefits and costs to creative idea generation. Specifically, we tested whether cue set size—an index of semantic richness reflecting the average number of elements associated with a given concept—impacts the quantity (fluency) and quality (originality) of responses generated during the Alternate Uses Task (AUT). Across four studies, we show (...) that low-association, sparse, AUT cues benefit originality at the cost of fluency compared to high-association, rich, AUT cues. Furthermore, we found an interaction with individual differences in fluid intelligence in the low-association AUT cues, suggesting that constraints of sparse semantic knowledge can be overcome with top-down intervention. Our findings indicate that semantic richness differentially impacts the quality and quantity of generated ideas, and that cognitive control processes can facilitate idea production when conceptual knowledge is limited. (shrink)

Despite the swirling tide of controversy surrounding the work of Machery et al. , the cross-cultural differences they observed in semantic intuitions about the reference of proper names have proven to be robust. In the present article, we report cross-cultural and individual differences in semantic intuitions obtained using new experimental materials. In light of the pervasiveness of the Knobe effect and the fact that Machery et al.’s original materials incorporated elements of wrongdoing but did not control for (...) their influence, we also examined the question of whether the moral valence of actions described in experimental materials might affect participants’ responses. Our results suggest that uncontrolled moral valence did not distort participants’ judgments in previous research. Our findings provide further confirmation of the robustness of cross-cultural and intra-cultural differences in semantic intuitions and strengthen the philosophical challenge that they pose. (shrink)

Sentence comprehension involves maintaining and continuously integrating linguistic information and, thus, makes demands on working memory. Past research has demonstrated that semantic WM, but not phonological WM, is critical for integrating word meanings across some distance and resolving semantic interference in sentence comprehension. Here, we examined the relation between phonological and semantic WM and the comprehension of center-embedded relative clause sentences, often argued to make heavy demands on WM. Additionally, we examined the relation between phonological and (...) class='Hi'>semantic WM and the comprehension of transitive and dative active and passive sentences, which may also draw on WM resources depending on the number of propositions that must be maintained and the difficulty of processing passive clauses. In a large sample of individuals with aphasia, we assessed whether comprehension performance on more complex vs. simpler active-passive or embedded relative clause sentences would be predicted by semantic but not phonological WM when controlling for single word comprehension. For performance on the active-passive comprehension task, we found that semantic WM, but not phonological WM, predicted comprehension of dative sentences when controlling for comprehension of transitive sentences. We also found that phonological WM, but not semantic WM, predicted mean comprehension for reversible active-passive sentences when controlling for trials with lexical distractors. On the relative clause comprehension task, consistent with prior results, we found that semantic WM, but not phonological WM, predicted comprehension of object relative clause sentences and relative clause sentences with a passive construction. However, both phonological WM and semantic WM predicted mean comprehension across all relative clause types for reversible trials when controlling for trials with lexical distractors. While we found evidence of semantic WM’s role in comprehension, we also observed unpredicted relations between phonological WM and comprehension in some conditions. Post-hoc analyses provided preliminary evidence that phonological WM maintains a backup phonological representation of the sentence that may be accessed when sentence comprehension processing is less efficient. Future work should investigate possible roles that phonological WM may play across sentence types. (shrink)

Artificial intelligence and robots may progressively take a more and more prominent place in our daily environment. Interestingly, in the study of how humans perceive these artificial entities, science has mainly taken an anthropocentric perspective (i.e., how distant from humans are these agents). Considering people’s fears and expectations from robots and artificial intelligence, they tend to be simultaneously afraid and allured to them, much as they would be to the conceptualisations related to the divine entities (e.g., gods). In two experiments, (...) we investigated the proximity of representation between artificial entities (i.e., artificial intelligence and robots), divine entities and natural entities (i.e., humans and other animals) at both an explicit (Study 1) and an implicit level (Study 2). In the first study, participants evaluated these entities explicitly on positive and negative attitudes. Hierarchical clustering analysis showed that participants’ representation of artificial intelligence, robots and divine entities were similar, while the representation of humans tended to be associated with that of animals. In the second study, participants carried out a word/non-word decision task including religious semantic-related words and neutral words after the presentation of a masked prime referring to divine entities, artificial entities and natural entities (or a control prime). Results showed that after divine and artificial entity primes, participants were faster to identify religious words as words compared to neutral words arguing for a semantic activation. We conclude that people make sense of the new entities by relying on already familiar entities and in the case of artificial intelligence and robots, people appear to draw parallels to divine entities. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

Increasing computational power and improving deep learning methods have made computer vision technologies pervasively common in urban environments. Their applications in policing, traffic management, and documenting public spaces are increasingly common (Ridgeway 2018, Coifman et al. 1998, Sun et al. 2020). Despite the often-discussed biases in the algorithms' training and unequally borne benefits (Khosla et al. 2012), almost all applications similarly reduce urban experiences to simplistic, reductive, and mechanistic measures. There is a lack of context, depth, and specificity in these (...) practices that enables semantic knowledge or analysis within urban contexts, especially within the context of using and occupying urban space. This paper will critique existing uses of artificial intelligence and computer vision in urban practices to propose a new framework for understanding people, action, and public space. This paper revisits Geertz's (1973) use of thick descriptions in generating interpretive theories of culture and activity and uses this lens to establish a framework to approach evaluating the varied uses of computer vision technologies that weigh meaning. By discussing cases of implemented examples of urban computer vision—from LinkNYC and Numina's urban measurements to the Detroit Police's use of DataWorks Plus's facial recognition technology—it proposes a framework for evaluating the thickness of the algorithm's conclusions against the computational method's complexity required to produce that outcome. Further, we discuss how the framework's positioning may differ (and conflict) between different users of the technology, from engineer to urban planner and policymaker, to citizen. This paper also discusses how the current use and training of deep learning algorithms and how this process limits semantic learning and proposes three potential methodologies toward gaining a more contextually specific, urban-semantic, description of urban space relevant to urbanists. This paper contributes to the critical conversations regarding the proliferation of artificial intelligence by challenging the current applications of these technologies in the urban environment by highlighting their failures within this context while also proposing an evolution of these algorithms that may ultimately make them sensitive and useful within this spatial and cultural milieu. (shrink)

We investigate mathematical structures that provide natural semantics for families of (quantified) non-classical logics featuring special unary connectives, known as recovery operators, that allow us to ‘recover’ the properties of classical logic in a controlled manner. These structures are known as topological Boolean algebras, which are Boolean algebras extended with additional operations subject to specific conditions of a topological nature. In this study, we focus on the paradigmatic case of negation. We demonstrate how these algebras are well-suited to provide a (...) semantics for some families of paraconsistent Logics of Formal Inconsistency and paracomplete Logics of Formal Undeterminedness. These logics feature recovery operators used to earmark propositions that behave ‘classically’ when interacting with non-classical negations. Unlike traditional semantical investigations, which are carried out in natural language (extended with mathematical shorthand), our formal meta-language is a system of higher-order logic (HOL) for which automated reasoning tools exist. In our approach, topological Boolean algebras are encoded as algebras of sets via their Stone-type representation. We use our higher-order meta-logic to define and interrelate several transformations on unary set operations, which naturally give rise to a topological cube of opposition. Additionally, our approach enables a uniform characterization of propositional, first-order and higher-order quantification, including restrictions to constant and varying domains. With this work, we aim to make a case for the utilization of automated theorem proving technology for conducting computer-supported research in non-classical logics. All the results presented in this paper have been formally verified, and in many cases obtained, using the Isabelle/HOL proof assistant. (shrink)

When reflecting on the nature of skilled action, it is easy to fall into familiar dichotomies such that one construes the flexibility and intelligence of skill at the level of intentional states while characterizing the automatic motor processes that constitute motor skill execution as learned but fixed, invariant, bottom-up, brute-causal responses. In this essay, I will argue that this picture of skilled, automatic, motor processes is overly simplistic. Specifically, I will argue that an adequate account of the learned motor routines (...) that constitute embodied skills cannot be given in a purely bottom-up, brute-causal fashion. Rather, motor control is intelligent all the way down. To establish this, I will first review two recent accounts of skill, Stanley and Krakauer (Front Hum Neurosci, 2013. doi:10.3389/fnhum.2013.0050) and Papineau (R Inst Philos Suppl 73:175–196, 2013), which characterize the automatic motor control responsible for the fine-grained movements constitutive of motor skill as brute, low-level phenomena. I will then isolate five key features that should apply to skilled motor control, if these accounts are correct. Together, the accounts posit that motor control is: (1) ballistic, (2) invariant, (3) independent of general action trajectories, (4) Insensitive to semantic content, and (5) independent of personal-level intentions. In the final section of this paper, I will appeal to optimal control theory for empirical evidence to challenge the commitment to skilled action as qualified by the above features. (shrink)

Consider sentences like (1): 1. Null Complement Containing Sentences a. Aryn followed b. Marie-Odile promised c. Corinne left d. Samir found out at midnight e. I applied f. They already know g. He volunteered h. Abdiwahid insisted i. I suppose j. Paul gave to Amnesty International These illustrate the phenomenon of null complements -- also called ‘pragmatically controlled zero anaphora’, ‘understood arguments’, and ‘linguistically unrealized arguments’. In each case, a complement is (phonologically) omitted, yet (a) the sentence is well-formed and (...) (b) the meaning effect is as if a complement were present. This contrasts on the one hand with structures that lack complements, but are ill-formed as a result – e.g., (2a-c) – and, on the other hand, with structures that lack overt complements, are well-formed, but do not exhibit the meaning effect of a complement – e.g., sentences (3a-b). 2. Contrast with Ill-formed Structures.. (shrink)