A Decidable Confluence Test for Cognitive Models in ACT-R

Computational cognitive modeling investigates human cognition by building detailed computational models for cognitive processes. Adaptive Control of Thought - Rational (ACT-R) is a rule-based cognitive architecture that offers a widely employed framework to build such models. There is a sound and complete embedding of ACT-R in Constraint Handling Rules (CHR). Therefore analysis techniques from CHR can be used to reason about computational properties of ACT-R models. For example, confluence is the property that a program yields the same result for the same input regardless of the rules that are applied. In ACT-R models, there are often cognitive processes that should always yield the same result while others e.g. implement strategies to solve a problem that could yield different results. In this paper, a decidable confluence criterion for ACT-R is presented. It allows to identify ACT-R rules that are not confluent. Thereby, the modeler can check if his model has the desired behavior. The sound and complete translation of ACT-R to CHR from prior work is used to come up with a suitable invariant-based confluence criterion from the CHR literature. Proper invariants for translated ACT-R models are identified and proven to be decidable. The presented method coincides with confluence of the original ACT-R models.Comment: To appear in Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman: "Proceedings of RuleML+RR 2017". Springer LNC

Probing and modelling the localized self-mixing in a GaN/AlGaN field-effect terahertz detector

In a GaN/AlGaN field-effect terahertz detector, the directional photocurrent is mapped in the two-dimensional space of the gate voltage and the drain/source bias. It is found that not only the magnitude, but also the polarity, of the photocurrent can be tuned. A quasistatic self-mixing model taking into account the localized terahertz field provides a quantitative description of the detector characteristics. Strongly localized self-mixing is confirmed. It is therefore important to engineer the spatial distribution of the terahertz field and its coupling to the field-effect channel on the sub-micron scale.Comment: 12 pages, 4 figures, submitted to AP

Localization of Macroscopic Object Induced by the Factorization of Internal Adiabatic Motion

To account for the phenomenon of quantum decoherence of a macroscopic object, such as the localization and disappearance of interference, we invoke the adiabatic quantum entanglement between its collective states(such as that of the center-of-mass (C.M)) and its inner states based on our recent investigation. Under the adiabatic limit that motion of C.M dose not excite the transition of inner states, it is shown that the wave function of the macroscopic object can be written as an entangled state with correlation between adiabatic inner states and quasi-classical motion configurations of the C.M. Since the adiabatic inner states are factorized with respect to each parts composing the macroscopic object, this adiabatic separation can induce the quantum decoherence. This observation thus provides us with a possible solution to the Schroedinger cat paradoxComment: Revtex4,23 pages,1figur

Electron-doped phosphorene: A potential monolayer superconductor

We predict by first-principles calculations that the electron-doped phosphorene is a potential BCS-like superconductor. The stretching modes at the Brillouin-zone center are remarkably softened by the electron-doping, which results in the strong electron-phonon coupling. The superconductivity can be introduced by a doped electron density ($n_{2D}$) above $1.3 \times10^{14}$ cm$^{-2}$, and may exist over the liquid helium temperature when $n_{2D}>2.6 \times10^{14}$ cm$^{-2}$. The maximum critical temperature is predicted to be higher than 10 K. The superconductivity of phosphorene will significantly broaden the applications of this novel material

Quantum Thermalization With Couplings

We study the role of the system-bath coupling for the generalized canonical thermalization [S. Popescu, et al., Nature Physics 2,754(2006) and S. Goldstein et al., Phys. Rev. Lett. 96, 050403(2006)] that reduces almost all the pure states of the "universe" [formed by a system S plus its surrounding heat bath $B$] to a canonical equilibrium state of S. We present an exactly solvable, but universal model for this kinematic thermalization with an explicit consideration about the energy shell deformation due to the interaction between S and B. By calculating the state numbers of the "universe" and its subsystems S and B in various deformed energy shells, it is found that, for the overwhelming majority of the "universe" states (they are entangled at least), the diagonal canonical typicality remains robust with respect to finite interactions between S and B. Particularly, the kinematic decoherence is utilized here to account for the vanishing of the off-diagonal elements of the reduced density matrix of S. It is pointed out that the non-vanishing off-diagonal elements due to the finiteness of bath and the stronger system-bath interaction might offer more novelties of the quantum thermalization.Comment: 4 pages, 2 figure