The past 50 years have seen an accumulation of evidence suggesting that associative learning depends on high-level cognitive processes that give rise to propositional knowledge. Yet, many learning theorists maintain a belief in a learning mechanism in which links between mental representations are formed automatically. We characterize and highlight the differences between the propositional and link approaches, and review the relevant empirical evidence. We conclude that learning is the consequence of propositional reasoning processes that cooperate with the unconscious processes involved (...) in memory retrieval and perception. We argue that this new conceptual framework allows many of the important recent advances in associative learning research to be retained, but recast in a model that provides a firmer foundation for both immediate application and future research. (shrink)

The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules. Terms represent functions and this allows for the application of a term/function to any other term/function, including itself. The calculus can be seen as a formal theory with certain pre-established axioms and inference rules, which can be interpreted by models. Dana Scott proposed the first non-trivial model of the extensional lambda calculus, (...) known as $ D_{\infty }$, to represent the $\lambda $-terms as the typical functions of set theory, where it is not allowed to apply a function to itself. Here we propose a construction of an $\infty $-groupoid from any lambda model endowed with a topology. We apply this construction for the particular case $D_{\infty }$, and we see that the Scott topology does not provide enough information about the relationship between higher homotopies. This motivates a new line of research focused on the exploration of $\lambda $-models with the structure of a non-trivial $\infty $-groupoid to generalize the proofs of term conversion to higher-proofs in $\lambda $-calculus. (shrink)

After having defined the KARO logic for specifying intelligent agents in earlier work we now turn to the question how to realise agents specified in the KARO framework. To this end we look at agent programming languages that we have defined, and investigate how programs in these languages can be linked to the KARO logic.

Thomas Kuhn's philosophy of science, which he developed by focusing on physics, was later applied by other authors to virtually all areas or disciplines of culture. What interests me here, however, is the movement in the opposite direction: the role that one of these disciplines, history of art, played in the conception of Kuhn'stheoryof science.In a 1969 article, his only published text concerning science and art, Kuhn makes a brief and intriguing observation about The Structure of Scientific Revolutions. He says (...) the book was a belated product of his discovery of the parallels between science and art. This is a retrospective assertion about Structure, as well as that of the... (shrink)

Any theory of information needs to comply with what we call the implementation, formalization, and representation constraints. These constraints are justified by basic considerations concerning scientific modelling and methodology. In the first part of this paper, we argue that the implementation and formalization constraints cannot be satisfied because the relation between Shannon information and IIT must be clarified. In the second part of the paper, we focus on the representation constraint. We argue that IIT cannot succeed in satisfying this constraint (...) for semantic contents without offering models for concepts, conceptual roles, and context sensitivity. In the final part of the paper, further complications are raised with respect to the distinction between consciousness and attention, which apply more specifically to the representation constraint. We conclude with some recommendations as to how IIT may succeed in solving these problems, highlighting the advantages and enormous potential of IIT as a scientific theory. (shrink)

Written by an emigrant French aristocrat turned farmer, the Letters from an American Farmer posed the famous question `What, then, is the American, this new man?', as the new nation took shape before the eyes of the world. Addressing some of American literature's most pressing concerns and issues of identity, the Letters celebrates personal determination, freedom from institutional oppression and the largeness and fertility of the land, and also raises darker and more symbolic elements, particularly slavery. This is the only (...) critical edition available of what is regarded as the first ever work of American literature. (shrink)

In this paper, we introduce the Societal Readiness Thinking Tool to aid researchers and innovators in developing research projects with greater responsiveness to societal values, needs, and expectations. The need for societally-focused approaches to research and innovation—complementary to Technology Readiness frameworks—is presented. Insights from responsible research and innovation concepts and practice, organized across critical stages of project-life cycles are discussed with reference to the development of the SR Thinking Tool. The tool is designed to complement not only shortfalls in TR (...) approaches, but also improve upon other efforts to integrate RRI, sustainability, and design thinking in research and innovation cycles. Operationalization and early-stage user tests of the Tool are reported, along with discussion of potential future iterations and applications. (shrink)

The presence and impact of Hispanics/Latinos in the United States cannot be ignored. Already the largest minority group, by 2050 their numbers will exceed all the other minority groups in the United States combined. The diversity of this population is often understated, but the people differ in terms of their origin, race. language, custom, religion, political affiliation, education and economic status. The heterogeneity of the Hispanic/Latino population raises questions about their identity and their rights: do they really constitute a group? (...) That is, do they have rights as a group, or just as individuals? This volume, addresses these concerns through a varied and interdisciplinary approach. (shrink)

From an interdisciplinary perspective the authors of this book, scholars in theology and religious studies, give an account of the problematic and promising aspects of biblically based monotheism, considered as a formative religious idea, belief, and practice in Western history and culture.

Using the position as an independent variable, and time as the dependent variable, we derive the function $${\mathcal{P}}^{(\pm )}=\pm \sqrt{2m({\mathcal{H}}-{\mathcal{V}}(q))}$$, which generates the space evolution under the potential $${\mathcal{V}}(q)$$ and Hamiltonian $${\mathcal{H}}$$. No parametrization is used. Canonically conjugated variables are the time and minus the Hamiltonian ( $$-{\mathcal{H}}$$ ). While the classical dynamics do not change, the corresponding Quantum operator $${{{\hat{\mathcal P}}}}^{(\pm )}$$ naturally leads to a 1/2-fractional time evolution, consistent with a recent proposed space–time symmetric formalism of the Quantum (...) Mechanics. Using Dirac’s procedure, separation of variables is possible, and while the two-coupled position-independent Dirac equations depend on the 1/2-fractional derivative, the two-coupled time-independent Dirac equations lead to positive and negative shifts in the potential, proportional to the force. Both equations couple the (±) solutions of $${{{\hat{\mathcal P}}}}^{(\pm )}$$ and the kinetic energy $${\mathcal{K}}_{0}$$ (separation constant) is the coupling strength. Thus, we obtain a pair of coupled states for systems with finite forces, not necessarily stationary states. The potential shifts for the harmonic oscillator (HO) are $$\pm {\hbar {\omega}} /2$$, and the corresponding pair of states are coupled for $${\mathcal{K}}_{0}\ne 0$$. No time evolution is present for $${\mathcal{K}}_{0}=0$$, and the ground state with energy $${\hbar {\omega}} /2$$ is stable. For $${\mathcal{K}}_{0}>0$$, the ground state becomes coupled to the state with energy $$-{\hbar {\omega}} /2$$, and this coupling allows to describe higher excited states in the HO. Energy quantization of the HO leads to the quantization of $${\mathcal{K}}_{0}=k{\hbar {\omega}}$$ ( $$k=1,2,\ldots$$ ). For the one-dimensional Hydrogen atom, the potential shifts become imaginary and position-dependent. Decoupled case $${\mathcal{K}}_{0}=0$$ leads to plane-waves-like solutions at the threshold. Above the threshold ( $${\mathcal{K}}_{0}>0$$ ), we obtain a plane-wave-like solution, and for the bounded states ( $${\mathcal{K}}_{0}<0$$ ), the wave-function becomes similar to the exact solutions but squeezed closer to the nucleus. (shrink)

Semantic Automata Johan van Ben them. INTRODUCTION An attractive, but never very central idea in modern semantics has been to regard linguistic expressions ...