Horn equational theories and paramodulation

A language of equational programs together with an inference system, based on paramodulation is defined. The semantics of the language is given with respect to least models, least fixpoints and success sets and its soundness and completeness is proven using fixpoint theory. The necessity of the functional reflexive axioms is investigated in detail. Finally, the application of these ideas to term rewriting systems is outlined by discussing directed paramodulation and narrowing.     

"What else could he have done?" Creating false answers in child witnesses by inviting speculation.

In 2 experiments (N?=?111 children), a suggestive technique for interviewing child witnesses called "inviting speculation" was examined. Children were presented with atypical actions for common objects in a clown show. One week later, the children were asked to speculate (e.g., "What else could he have done with the knife?") in a between-subjects design on all or none of the items (Experiment 1) and in a within-subjects design on part of the items (Experiment 2), thereby getting highly probable speculations (e.g., "to cut"). After a 3-week delay, the experimenters found more highly probable but not more other false answers for the experimental items (Experiment 2). After a 5–6-month delay, the rate of (unspecified) false answers increased compared with the baseline (Experiments 1 and 2). The short-term effect is explained by a speculation-as-misinformation assumption, whereas the long-term effect is explained by the use of a metastrategy. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Referate

Ohne Zusammenfassung     

Referate

Ohne Zusammenfassung     

Referate

Ohne ZusammenfassungIn die Zusammenstellung der Referate sind auch die Originalmitteilungen nochmals aufgenommen und durch Kursiv-Typen der Seitenzahlen kenntlich gemacht.     

Referate

Ohne Zusammenfassung     

Encoding context and retrieval conditions as determinants of the effects of natural category size.

Studying a familiar word activates its associates in long-term memory. In the present experiments we manipulated the number of associates activated by words studied in the presence of unrelated context words, meaningfully related context words, or in the absence of modifying context words. Memory was tested by either cued or free recall. The results showed that the number of directly activated associates can facilitate, have no effect, or disrupt recall for studied words. The direction and magnitude of the effects of number of activated associates is shown to be determined by the encoding/retrieval context. Implications for the distinction between episodic and semantic memory are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)