Cognitive architectures as Lakatosian research programmes: two case studies

Cognitive architectures - task-general theories of the structure and function of the complete cognitive system - are sometimes argued to be more akin to frameworks or belief systems than scientific theories. The argument stems from the apparent non-falsifiability of existing cognitive architectures. Newell was aware of this criticism and argued that architectures should be viewed not as theories subject to Popperian falsification, but rather as Lakatosian research programs based on cumulative growth. Newell's argument is undermined because he failed to demonstrate that the development of Soar, his own candidate architecture, adhered to Lakatosian principles. This paper presents detailed case studies of the development of two cognitive architectures, Soar and ACT-R, from a Lakatosian perspective. It is demonstrated that both are broadly Lakatosian, but that in both cases there have been theoretical progressions that, according to Lakatosian criteria, are pseudo-scientific. Thus, Newell's defense of Soar as a scientific rather than pseudo-scientific theory is not supported in practice. The ACT series of architectures has fewer pseudo-scientific progressions than Soar, but it too is vulnerable to accusations of pseudo-science. From this analysis, it is argued that successive versions of theories of the human cognitive architecture must explicitly address five questions to maintain scientific credibility

Fixing Einstein's equations

Einstein's equations for general relativity, when viewed as a dynamical system for evolving initial data, have a serious flaw: they cannot be proven to be well-posed (except in special coordinates). That is, they do not produce unique solutions that depend smoothly on the initial data. To remedy this failing, there has been widespread interest recently in reformulating Einstein's theory as a hyperbolic system of differential equations. The physical and geometrical content of the original theory remain unchanged, but dynamical evolution is made sound. Here we present a new hyperbolic formulation in terms of $g_{ij}$, $K_{ij}$, and \bGam_{kij} that is strikingly close to the space-plus-time (``3+1'') form of Einstein's original equations. Indeed, the familiarity of its constituents make the existence of this formulation all the more unexpected. This is the most economical first-order symmetrizable hyperbolic formulation presently known to us that has only physical characteristic speeds, either zero or the speed of light, for all (non-matter) variables. This system clarifies the relationships between Einstein's original equations and the Einstein-Ricci and Frittelli-Reula hyperbolic formulations of general relativity and establishes links to other hyperbolic formulations.Comment: 8 pages, revte

Dual mode laser velocimeter

Described is a laser Doppler velocimeter (LDV) which is capable of operating with a small focus diameter for analyzing fluid flows at low velocity with high spatial resolution, or with a larger focus diameter to measure fluid flows at higher velocities accurately. More particularly, this is an LDV in which a simple reversal of a lens pair will allow it to operate in the two focus diameter modes

Ambystoma mabeei

Number of Pages: 2Integrative BiologyGeological Science

Einstein-Bianchi Hyperbolic System for General Relativity

By employing the Bianchi identities for the Riemann tensor in conjunction with the Einstein equations, we construct a first order symmetric hyperbolic system for the evolution part of the Cauchy problem of general relativity. In this system, the metric evolves at zero speed with respect to observers at rest in a foliation of spacetime by spacelike hypersurfaces while the curvature and connection propagate at the speed of light. The system has no unphysical characteristics, and matter sources can be included.Comment: 25 pp., Latex, to appear in Topol. Methods in Nonlinear Analysis, typos corrected and further citations adde

Eigenvalues of the Laplacian of a graph

Let G be a finite undirected graph with no loops or multiple edges. The Laplacian matrix of G, Delta(G), is defined by Delta sub ii = degree of vertex i and Delta sub ij = -1 if there is an edge between vertex i and vertex j. The structure of the graph G is related to the eigenvalues of Delta(G); in particular, it is proved that all the eigenvalues of Delta(G) are nonnegative, less than or equal to the number of vertices, and less than or equal to twice the maximum vertex degree. Precise conditions for equality are given