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

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

Heat transfer characteristics of hypersonic waveriders with an emphasis on the leading edge effects

The heat transfer characteristics in surface radiative equilibrium and the aerodynamic performance of blunted hypersonic waveriders are studied along two constant dynamic pressure trajectories for four different Mach numbers. The inviscid leading edge drag was found to be a small (4 to 8 percent) but not negligible fraction of the inviscid drag of the vehicle. Although the viscous drag at the leading edge can be neglected, the presence of the leading edge will influence the transition pattern of the upper and the lower surfaces and therefore affect the viscous drag of the entire vehicle. For an application similar to the National Aerospace Plane (NASP), the present study demonstrates that the waverider remains a valuable concept at high Mach numbers if a state-of-the-art active cooling device is used along the leading edge. At low Mach number (less than 5), the study shows the surface radiative cooling might be sufficient. In all cases, radiative cooling is sufficient for the upper and lower surfaces of the vehicle if ceramic composites are used as thermal protection

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