In 2 experiments, the acquisition of new declarative knowledge was examined in amnesic patients and in 7 groups of controls, with a study-only procedure that delayed testing until the conclusion of training. The study-only procedure was compared with a standard procedure in which study and test trials alternated (study-test). The amnesic patients acquired new factual (declarative) knowledge at ...

During the last decades configuration has been extensively employed in a wide range of application domains, implemented by a multitude of techniques like logics, procedural, object-oriented, or resourced-driven approaches. Especially declarative methods provide the foundation for precise and well-understood semantics for reasoning tasks and allow for a succinct representation of the underlying ...

A framework for skill acquisition is proposed that includes two major stages in the development of a cognitive skill: a declarative stage in which facts about the skill domain are interpreted and a procedural stage in which the domain knowledge is directly embodied in procedures for performing the skill. This general framework has been instantiated in the ACT system in which facts are encoded i...

Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifications of update policies, which is built upon such approaches. It extends the LUPS language for update specifications and incorporates the notion of events into the framework. An update policy allows an agent to flexib...

It remains unclear whether probabilistic category learning in the feedback-based weather prediction task (FB-WPT) can be mediated by a non-declarative or procedural learning system. To address this issue, we compared the effects of training time and verbal working memory, which influence the declarative learning system but not the non-declarative learning system, in the FB and paired-associate ...

This article deals with the problem of Declarative Modeling of scenarios in 3D. The innovation presented in this work consists in the use of a knowledge base to aid the parsing of the declarative language. The example described in this paper shows that this strategy reduces the complexity of semantic analysis, which is rather timeand resource-consuming. The results of our work confirm that this...

Specifying operator descriptions for planning domain models, especially using standard preand post condition symbolism, is a slow and painstaking process. This is because one is trying to capture what is essentially procedural knowledge in a declarative way in a language whose design is influenced by the construction of planning engines. The problem is acute if nonplanning experts are undertaki...

We have created a tutoring architecture, D2P (Declarative to Procedural), based on ACT-R’s theory of knowledge and learning for declarative and procedural memory. D2P also draws on general theories of learning and a recent review by Kim, Ritter, and Koubek (in press). D2P provides multimedia instruction pages followed by questions, video, and/or simulations to test and proceduralise the declara...