Learn More
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(More)
This is a position paper concerning the role of empirical studies of human default reasoning in the formalization of AI theories of default reasoning. We note that AI motivates its theoretical enterprise by reference to human skill at default reasoning, but that the actual research does not make any use of this sort of information and instead relies on(More)
In this paper, we describe the Adaptive Place Advisor, a conversational interface designed to help users decide on a destination. We view the selection of destinations as an interactive process of constraint satisfaction, with the advisory system proposing attributes and the human responding. We further characterize this task in terms of heuristic search,(More)
Conti nued practice on a task is chorocterized by several quantitative and qualitative changes i n performance. The most salient is the speed-up i n the time to execute the tosk. To account for these effects, some models of skilled performance have proposed automatic mechanisms that merge knowlege structures associated with the task into fewer, larger(More)
This research presents a computer model called EUREKA that begins with novice-like strotegies ond knowledge orgonizotions for solving physics word problems and acquires feotures of knowledge orgonizotions ond basic opprooches that chorocterire experts in this domoin. EUREKA learns a highly interrelated network of problem-type schemes with associated(More)
It is possible to define conversation policies, such as communication or dialogue protocols, that are based strictly on what messages and, respectively, what performatives may follow each other. While such an approach has many practical applications, such protocols support only "local coherence" in a conversation. In a mixed-initiative dialogue between two(More)
This article describes LAIR, a constructive induction system that acquires conjunctive concepts by applying a domain theory to introduce new features into the evolving concept description. Each acquired concept is added to the domain theory, making LAIR a closed-loop learning system that weakens the inductive bias with each iteration of the learning loop.(More)
Simple belief-revision tasks were defined by a giving subjects a conditional premise, (p—>q), a categorical premise, (p, for a modus-ponens belief-set, or ~q, for a modus tollens belief-set), and the associated inference (q or ~p, respectively). "New" information contradicted the initial inference (~q or p, respectively). Subjects indicated their degree of(More)