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

Corpo estranho em parênquima pulmonar

O artigo não apresenta resumo

Confluence Modulo Equivalence in Constraint Handling Rules

Previous results on proving confluence for Constraint Handling Rules are extended in two ways in order to allow a larger and more realistic class of CHR programs to be considered confluent. Firstly, we introduce the relaxed notion of confluence modulo equivalence into the context of CHR: while confluence for a terminating program means that all alternative derivations for a query lead to the exact same final state, confluence modulo equivalence only requires the final states to be equivalent with respect to an equivalence relation tailored for the given program. Secondly, we allow non-logical built-in predicates such as var/1 and incomplete ones such as is/2, that are ignored in previous work on confluence. To this end, a new operational semantics for CHR is developed which includes such predicates. In addition, this semantics differs from earlier approaches by its simplicity without loss of generality, and it may also be recommended for future studies of CHR. For the purely logical subset of CHR, proofs can be expressed in first-order logic, that we show is not sufficient in the present case. We have introduced a formal meta-language that allows reasoning about abstract states and derivations with meta-level restrictions that reflect the non-logical and incomplete predicates. This language represents subproofs as diagrams, which facilitates a systematic enumeration of proof cases, pointing forward to a mechanical support for such proofs

What are the social outcomes of climate policies? A systematic map and review of the ex-post literature

It is critical to ensure climate and energy policies are just, equitable and beneficial for communities, both to sustain public support for decarbonisation and address multifaceted societal challenges. Our objective in this article is to examine the diverse social outcomes that have resulted from climate policies, in varying contexts worldwide, over the past few decades. We review 203 ex-post climate policy assessments that analyse social outcomes in the literature. We systematically and comprehensively map out this work, identifying articles on carbon, energy and transport taxes, feed-in-tariffs, subsidies, direct procurement policies, large renewable deployment projects, and other regulatory and market-based interventions. We code each article in terms of their studied social outcomes and effects, with a focus on electricity access, energy affordability, community cohesion, employment, distributional and equity issues, livelihoods and poverty, procedural justice, subjective well-being and drudgery. Our analysis finds that climate and energy policies often fall short of delivering positive social outcomes. Nonetheless, across country contexts and policy types there are manifold examples of climate policymaking that does deliver on both social and climate goals. This requires attending to distributive and procedural justice in policy design, and making use of appropriate mechanisms to ensure that policy costs and benefits are fairly shared. We emphasize the need to further advance ex-post policy assessments and learn about what policies work for a just transition

Growth aspirations and social capital:young firms in a post-conflict environment

This article explores the growth aspirations of owners and managers of young firms in a post-conflict economy by focusing on social capital. It treats social capital as a multidimensional, multilevel phenomenon, studying the effects of discussion network characteristics, trust in institutions, generalised trust in people and local ethnic pluralism. We argue that in a post-conflict country, ethnic pluralism is indicative of local norms of tolerance towards experimentation and risk taking which support growth aspirations. It also distinguishes between the aspirations of hired managers and owners-managers. The empirical counterpart and hypotheses testing rely on survey evidence drawn from young businesses in Bosnia and Herzegovina

What are the social outcomes of climate policies? A systematic map and review of the ex-post literature

It is critical to ensure climate and energy policies are just, equitable and beneficial for communities, both to sustain public support for decarbonisation and address multifaceted societal challenges. Our objective in this article is to examine the diverse social outcomes that have resulted from climate policies, in varying contexts worldwide, over the past few decades. We review 203 ex-post climate policy assessments that analyse social outcomes in the literature. We systematically and comprehensively map out this work, identifying articles on carbon, energy and transport taxes, feed-in-tariffs, subsidies, direct procurement policies, large renewable deployment projects, and other regulatory and market-based interventions. We code each article in terms of their studied social outcomes and effects, with a focus on electricity access, energy affordability, community cohesion, employment, distributional and equity issues, livelihoods and poverty, procedural justice, subjective well-being and drudgery. Our analysis finds that climate and energy policies often fall short of delivering positive social outcomes. Nonetheless, across country contexts and policy types there are manifold examples of climate policymaking that does deliver on both social and climate goals. This requires attending to distributive and procedural justice in policy design, and making use of appropriate mechanisms to ensure that policy costs and benefits are fairly shared. We emphasize the need to further advance ex-post policy assessments and learn about what policies work for a just transition

The annealing mechanism of AuGe/Ni/Au ohmic contacts to a two-dimensional electron gas in GaAs/AlGaAs heterostructures

Ohmic contacts to a two-dimensional electron gas (2DEG) in GaAs/AlGaAs heterostructures are often realized by annealing of AuGe/Ni/Au that is deposited on its surface. We studied how the quality of this type of ohmic contact depends on the annealing time and temperature, and how optimal parameters depend on the depth of the 2DEG below the surface. Combined with transmission electron microscopy and energy-dispersive X-ray spectrometry studies of the annealed contacts, our results allow for identifying the annealing mechanism and proposing a model that can predict optimal annealing parameters for a certain heterostructure.Comment: 9 pages, 4 figure

Two-dimensional finite element simulation of fracture and fatigue behaviours of alumina microstructures for hip prosthesis

This paper describes a two-dimensional (2D) finite element simulation for fracture and fatigue behaviours of pure alumina microstructures such as those found at hip prostheses. Finite element models are developed using actual Al2O3 microstructures and a bilinear cohesive zone law. Simulation conditions are similar to those found at a slip zone in a dry contact between a femoral head and an acetabular cup of hip prosthesis. Contact stresses are imposed to generate cracks in the models. Magnitudes of imposed stresses are higher than those found at the microscopic scale. Effects of microstructures and contact stresses are investigated in terms of crack formation. In addition, fatigue behaviour of the microstructure is determined by performing simulations under cyclic loading conditions. It is shown that crack density observed in a microstructure increases with increasing magnitude of applied contact stress. Moreover, crack density increases linearly with respect to the number of fatigue cycles within a given contact stress range. Meanwhile, as applied contact stress increases, number of cycles to failure decreases gradually. Finally, this proposed finite element simulation offers an effective method for identifying fracture and fatigue behaviours of a microstructure provided that microstructure images are available