Norms have been widely enacted in human and agent societies to regulate individuals’ actions. However, although legislators may have ethics in mind when establishing norms, moral values are only sometimes explicitly considered. This paper advances the state of the art by providing a method for selecting the norms to enact within a society that best aligns with the moral values of such a society. Our approach to aligning norms and values is grounded in the ethics literature. Specifically, from the literature’s (...) study of the relations between norms, actions, and values, we formally define how actions and values relate through the so-called value judgment function and how norms and values relate through the so-called norm promotion function. We show that both functions provide the means to compute value alignment for a set of norms. Moreover, we detail how to cast our decision-making problem as an optimisation problem: finding the norms that maximise value alignment. We also show how to solve our problem using off-the-shelf optimisation tools. Finally, we illustrate our approach with a specific case study on the European Value Study. (shrink)

We present our method for tackling a legal case retrieval task by introducing our method of encoding documents by summarizing them into continuous vector space via our phrase scoring framework utilizing deep neural networks. On the other hand, we explore the benefits from combining lexical features and latent features generated with neural networks. Our experiments show that lexical features and latent features generated with neural networks complement each other to improve the retrieval system performance. Furthermore, our experimental results suggest (...) the importance of case summarization in different aspects: using provided summaries and performing encoded summarization. Our approach achieved F1 of 65.6% and 57.6% on the experimental datasets of legal case retrieval tasks. (shrink)

The origin of memories is thought to be found in sensory perception. This conception is central to how the memory sciences characterize encoding. This paper considers how novel memory traces can be formed independently of external sensory inputs. I present a case study in which memory traces are created without sensory perception using a technique I call optogenetic memory implantation. Comparing this artificial process with normal memory encoding, I consider its implications for rethinking the causal chain that leads (...) to remembering. (shrink)

We show how to encode, by classical structures, both the objects and the morphisms of the category of complete metric spaces and uniformly continuous maps. The result is a category of, what we call, cognate metric spaces and cognate maps. We show this category relativizes to all models of set theory. We extend this encoding to an encoding of complete metric structures by classical structures. This provide us with a general technique for translating results about infinitary logic on (...) classical structures to the setting of infinitary continuous logic on continuous structures. Our encoding will also allow us to talk about not only the relations between complete metric structures, but also the potential relations between complete metric structures, i.e. those which are satisfied in some larger model of set theory. For example we will show that given any two complete metric structures we can determine if they are potentially isomorphic by looking at any admissible set which contains them both. (shrink)

This paper examines a specific kind of part-whole relations that exist in the molecular genetic domain. The central question is under which conditions a particular molecule, such as a DNA sequence, is a biological part of the human genome. I address this question by analyzing how biologists in fact partition the human genome into parts. This paper thus presents a case study in the metaphysics of biological practice. I develop a metaphysical account of genomic parthood by analyzing the investigative and (...) reasoning practices in the ENCODE (ENCyclopedia Of DNA Elements) project. My account reveals two conditions that determine whether a molecule is a part of the human genome (i.e., a genomic part). First, genomic parts must possess a causal role function in the genome as a whole, that is, their functions must contribute to the genome directing the overall functioning of the cell. Second, genomic parts must have a specific chemical structure and be actual segments of the DNA sequence of the genome. (shrink)

We often remember in the company of others. In particular, we routinely collaborate with friends, family, or colleagues to remember shared experiences. But surprisingly, in the experimental collaborative recall paradigm, collaborative groups remember less than their potential, an effect termed collaborative inhibition. Rajaram and Pereira-Pasarin (2010) argued that the effects of collaboration on recall are determined by “pre-collaborative” factors. We studied the role of 2 pre-collaborative factors—shared encoding and group relationship—in determining the costs and benefits of collaborative recall. In (...) Experiment 1, we compared groups of strangers who encoded alone versus together, before collaborating to recall. In Experiment 2, we compared groups of friends who encoded alone versus together, before collaborating to recall. We found that shared encoding abolished collaborative inhibition in both Experiments 1 and 2. But prior relationship did not influence collaborative inhibition over and above the effects of shared encoding. Regardless of encoding condition, collaborative group recall contained fewer intrusions than nominal group recall, and these benefits continued in subsequent individual recall. Our findings demonstrate that pre-collaborative factors—specifically shared encoding—have flow-on benefits for group and individual recall amount, but not recall accuracy. We discuss these findings in terms of self- and cross-cuing in collaborative recall. (shrink)

An experiment investigated the relationship between the ability to encode verbal stimuli during an attentional lapse. The task employed a variation on the sustained attention to response task which involved the detection of an infrequent target against a background of words. As a manipulation, participants were either instructed to encode the stimuli or were merely exposed to the stimuli. Retrieval was measured using process dissociation. Irrespective of the instructions given to the participants during the task, participants were more likely to (...) retrieve information on the basis of recollection after an error was made than before, whilst the likelihood of retrieving information on the basis of familiarity remained invariant over the same period. The implications of this result for methods of investigating subjective experience are discussed. (shrink)

Turing’s analysis of computability has recently been challenged; it is claimed that it is circular to analyse the intuitive concept of numerical computability in terms of the Turing machine. This claim threatens the view, canonical in mathematics and cognitive science, that the concept of a systematic procedure or algorithm is to be explicated by reference to the capacities of Turing machines. We defend Turing’s analysis against the challenge of ‘deviant encodings’.Keywords: Systematic procedure; Turing machine; Church–Turing thesis; Deviant encoding; Acceptable (...) encoding; Turing’s analysis of computability; Turing’s Notational Thesis. (shrink)

Work injury compensation and pensions are often determined according to medical disability rating scales attributing a percentage to each impaired body part or function. Incorporated into central medical–administrative networks of committees and examinations, these produce disability as a calculable space. This article examines the specific case of the Israeli National Insurance regulations regarding work injuries of 1956 and analyzes the shifted order they set. Looking at this system in the specific historical context of transition from the British Mandate workmen’s compensation (...) system to the “disability percentages” system, provides insight into the process of structuring and stabilizing durable numerical forms and the production of centralized government. Drawing on conceptualizations regarding the sociotechnical role of classification systems, I contend that through encoding and calculating classifications of disability, heterogeneity is eliminated and an ordering based on physiology is “black boxed,” illustrating the importance of technoscientific formations in structuring the “medical model of disability.”. (shrink)

The current paper examines whether knowledge of an ethical principle influences moral awareness and ethical decision making. Using hypothetical scenarios and a behavioral task, three experiments examine the effects of deepening people’s knowledge of ethical principles. In each study, an analogical encoding learning intervention led to greater knowledge of an ethical principle, which in turn resulted in a greater likelihood of moral awareness and making ethical decisions. These findings suggest that moral awareness is partly a matter of the depth (...) of individuals’ knowledge of ethical principles. The findings provide further reasons to link work on ethics with work on expertise and knowledge transfer as well as indicate new approaches to ethics training. (shrink)

Population counts and longitude and latitude coordinates were estimated for the 50 largest cities in the United States by computational linguistic techniques and by human participants. The mathematical technique Latent Semantic Analysis applied to newspaper texts produced similarity ratings between the 50 cities that allowed for a multidimensional scaling (MDS) of these cities. MDS coordinates correlated with the actual longitude and latitude of these cities, showing that cities that are located together share similar semantic contexts. This finding was replicated using (...) a first‐order co‐occurrence algorithm. The computational estimates of geographical location as well as population were akin to human estimates. These findings show that language encodes geographical information that language users in turn may use in their understanding of language and the world. (shrink)

This paper presents a computational model that integrates a dynamically structured holographic memory system into the ACT-R cognitive architecture to explain how linguistic representations are encoded and accessed in memory. ACT-R currently serves as the most precise expression of the moment-by-moment working memory retrievals that support sentence comprehension. The ACT-R model of sentence comprehension is able to capture a range of linguistic phenomena, but there are cases where the model makes the wrong predictions, such as the over-prediction of retrieval interference (...) effects during sentence comprehension. Here, we investigate one such case involving the processing of sentences with negative polarity items and consider how a dynamically structured holographic memory system might provide a cognitively plausible and principled explanation of some previously unexplained effects. Specifically, we show that by replacing ACT-R's declarative memory with a dynamically structured memory, we can explain a wider range of behavioral data involving reading times and judgments of grammaticality. We show that our integrated model provides a better fit to human error rates and response latencies than the original ACT-R model. These results provide proof-of-concept for the unification of two independent computational cognitive frameworks. (shrink)

This paper presents a computational model that integrates a dynamically structured holographic memory system into the ACT-R cognitive architecture to explain how linguistic representations are encoded and accessed in memory. ACT-R currently serves as the most precise expression of the moment-by-moment working memory retrievals that support sentence comprehension. The ACT-R model of sentence comprehension is able to capture a range of linguistic phenomena, but there are cases where the model makes the wrong predictions, such as the over-prediction of retrieval interference (...) effects during sentence comprehension. Here, we investigate one such case involving the processing of sentences with negative polarity items and consider how a dynamically structured holographic memory system might provide a cognitively plausible and principled explanation of some previously unexplained effects. Specifically, we show that by replacing ACT-R's declarative memory with a dynamically structured memory, we can explain a wider range of behavioral data involving reading times and judgments of grammaticality. We show that our integrated model provides a better fit to human error rates and response latencies than the original ACT-R model. These results provide proof-of-concept for the unification of two independent computational cognitive frameworks. (shrink)

We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deduction-style proof systems for representing both truth (local) and validity (global) consequence relations for various Modal Logics. We introduce several techniques for encoding the structural peculiarities of necessitation rules, in the typed -calculus metalanguage of the Logical Frameworks. These formalizations yield readily proof-editors for Modal Logics when implemented in Proof Development Environments, such as Coq or LEGO.

In, the author proposes a survey of Zalta’s Object Theory and, more specifically, of the Modal Axiom of Encoding. MAE claims that if something x possibly encodes a property F, then x necessarily encodes F. According to Bourgeois-Gironde, MAE fails to account for intentional phenomena which occur in conceivability-contexts. His solution is based on the notion of quasi-encoding: x quasi-encodes F iff x possibly encodes F. In this paper, I show that Bourgeois-Gironde’s concern is misguided and that Zalta’s (...) framework captures the conceivability-phenomena at issue by modeling Husserl’s notion of Noemata. I then argue that his solution is superior to Bourgeois-Gironde’s. The philosophical significance of such a discussion nonetheless goes well beyond the debate between these two authors. Indeed, Zalta’s theory of Noemata is only sketched and needs to be further explored to see, on the one hand, whether and how Object Theory successfully describes the behavior of objects in conceivability-contexts, and, on the other hand, to test the efficacy of its primitive notions that are – as the contemporary debate on Neomeinongianism largely shows – anything but uncontroversial. (shrink)

This article proposes an innovative methodology for enhancing the technical validation, legal alignment and interdisciplinarity of attempts to encode legislation. In the context of an experiment that examines how different legally trained participants convert select provisions of the Australian Copyright Act 1968 (Cth) into machine-executable code, we find that a combination of manual and automated methods for coding validation, which focus on formal adherence to programming languages and conventions, can significantly increase the similarity of encoded rules between coders. Participants nonetheless (...) encountered various interpretive difficulties, including syntactic ambiguity, and intra- and intertextuality, which necessitated legal evaluation, as distinct from and in addition to coding validation. Many of these difficulties can be resolved through what we call a process of ‘legal alignment’ that aims to enhance the congruence between encoded provisions and the true meaning of a statute as determined by the courts. However, some difficulties cannot be overcome in advance, such as factual indeterminacy. Given the inherently interdisciplinary nature of encoding legislation, we argue that it is desirable for ‘rules as code’ (‘RaC’) initiatives to have, at a minimum, legal subject matter, statutory interpretation and technical programming expertise. Overall, we contend that technical validation, legal alignment and interdisciplinary teamwork are integral to the success of attempts to encode legislation. While legal alignment processes will vary depending on jurisdictionally-specific principles and practices of statutory interpretation, the technical and interdisciplinary components of our methodology are transferable across regulatory contexts, bodies of law and Commonwealth and other jurisdictions. (shrink)

Sibley, Kello, Plaut, and Elman (2008) proposed the sequence encoder as a model that learns fixed‐width distributed representations of variable‐length sequences. In doing so, the sequence encoder overcomes problems that have restricted models of word reading and recognition to processing only monosyllabic words. Bowers and Davis (2009) recently claimed that the sequence encoder does not actually overcome the relevant problems, and hence it is not a useful component of large‐scale word‐reading models. In this reply, it is noted that the sequence (...) encoder has facilitated the creation of large‐scale word‐reading models. The reasons for this success are explained and stand as counterarguments to claims made by Bowers and Davis. (shrink)

Cognitive Science, Volume 46, Issue 1, January 2022.

In its last round of publications in September 2012, the Encyclopedia Of DNA Elements (ENCODE) assigned a biochemical function to most of the human genome, which was taken up by the media as meaning the end of ‘Junk DNA’. This provoked a heated reaction from evolutionary biologists, who among other things claimed that ENCODE adopted a wrong and much too inclusive notion of function, making its dismissal of junk DNA merely rhetorical. We argue that this criticism rests on misunderstandings concerning (...) the nature of the ENCODE project, the relevant notion of function and the claim that most of our genome is junk. We argue that evolutionary accounts of function presuppose functions as ‘causal roles’, and that selection is but a useful proxy for relevant functions, which might well be unsuitable to biomedical research. Taking a closer look at the discovery process in which ENCODE participates, we argue that ENCODE’s strategy of biochemical signatures successfully identified activities of DNA elements with an eye towards causal roles of interest to biomedical research. We argue that ENCODE’s controversial claim of functionality should be interpreted as saying that 80 % of the genome is engaging in relevant biochemical activities and is very likely to have a causal role in phenomena deemed relevant to biomedical research. Finally, we discuss ambiguities in the meaning of junk DNA and in one of the main arguments raised for its prevalence, and we evaluate the impact of ENCODE’s results on the claim that most of our genome is junk. (shrink)

Specialized neural systems for encoding faces and face emotion cues are found in sheep which are very similar to those described in human and non-human primates. Sheep exhibit highly sophisticated face identity and face emotion discrimination skills, use configural cues, and also show right hemisphere dominance in face processing. Findings provide evidence for both sparse and population-based encoding with small populations of cells encoding selectively for specific individuals or categories of individual but nevertheless with widespread and overlapping (...) neuronal activity changes occurring across temporal cortex networks during the presentation of different faces. A number of studies have been carried out to map the neuroanatomical substrates involved in face recognition in sheep using quantification of expression changes in gene markers of neural activation. The face recognition system brings into sharp focus the ongoing debate as to whether sparse or population based codes or both are operating in the various cortical and subcortical networks involved. (shrink)

It is known that properties of words such as their imageability can influence our ability to remember those words. However, it is not known if other object-related properties can also influence our memory. In this study we asked whether a word representing a concrete object that can be functionally interacted with would enhance the memory representations for that item compared to a word representing a less manipulable object . Here participants incidentally encoded high-manipulability and low-manipulability words while making word judgments. (...) Using a between-subjects design, we varied the depth-of-processing involved in the word judgment task: participants judged the words based on personal experience , word length , or functionality . Participants were able to remember high-manipulability words better than low-manipulability words in both the personal experience and word length groups; thus presenting the first evidence that manipulability can influence memory. However, we observed better memory for low- than high-manipulability words in the functionality group. We explain this surprising interaction between manipulability and memory as being mediated by automatic vs. controlled motor-related cognition. (shrink)

To describe and analyze the unstable periodic orbits of the Rucklidge system, a so-called symbolic encoding method is introduced, which has been proven to be an efficient tool to explore the topological properties concealed in these periodic orbits. In this work, the unstable periodic orbits up to a certain topological length in the Rucklidge system are systematically investigated via a proposed variational method. The dynamics in the Rucklidge system are explored by using phase portrait analysis, Lyapunov exponents, and Poincaré (...) first return maps. Symbolic encodings of the periodic orbits with two and four letters based on the trajectory topology in the phase space are implemented under two sets of parameter values. Meanwhile, the bifurcations of the periodic orbits are explored, significantly improving the understanding of the dynamics of the Rucklidge system. The multiple-letter symbolic encoding method could also be applicable to other nonlinear dynamical systems. (shrink)

The notion that human associative learning is a usually conscious, higher-order process is one of the tenets of organization theory, developed over the past century. Propositional/sequential encoding is one of the possible types of organizational structures, but learning may also involve other structures.

The WEAVER ++ model discussed by Levelt et al. assumes incremental encoding and articulation following complete encoding. However, many of the response latency results can also be accounted for by assuming incremental articulation. Another temporal variable, initial segment duration, can distinguish WEAVER ++'s incremental encoding account from the incremental articulation account.