Revision algebra semantics for conditional logic

The properties of belief revision operators are known to have an informal semantics which relates them to the axioms of conditional logic. The purpose of this paper is to make this connection precise via the model theory of conditional logic. A semantics for conditional logic is presented, which is expressed in terms of algebraic models constructed ultimately out of revision operators. In addition, it is shown that each algebraic model determines both a revision operator and a logic, that are related by virtue of the stable Ramsey test.The author is grateful for a correction and several other valuable suggestions of two anonymous referees. This work was supported by the McDonnell Douglas Independent Research and Development program.     

Partial monotonicity and a new version of the Ramsey test

We introduce two new belief revision axioms: partial monotonicity and consequence correctness. We show that partial monotonicity is consistent with but independent of the full set of axioms for a Gärdenfors belief revision sytem. In contrast to the Gärdenfors inconsistency results for certain monotonicity principles, we use partial monotonicity to inform a consistent formalization of the Ramsey test within a belief revision system extended by a conditional operator. We take this to be a technical dissolution of the well-known Gärdenfors dilemma.In addition, we present the consequential correctness axiom as a new measure of minimal revision in terms of the deductive core of a proposition whose support we wish to excise. We survey several syntactic and semantic belief revision systems and evaluate them according to both the Gärdenfors axioms and our new axioms. Furthermore, our algebraic characterization of semantic revision systems provides a useful technical device for analysis and comparison, which we illustrate with several new proofs.Finally, we have a new inconsistency result, which is dual to the Gärdenfors inconsistency results. Any elementary belief revision system that is consequentially correct must violate the Gärdenfors axiom of strong boundedness (K^*8), which we characterize as yet another monotonicity condition.This work was supported by the McDonnell Douglas Independent Research and Development program.     

Reaction time and temporal serial judgment: corroboration or dissociation?]

Dissociations between a motor response and the subject's verbal report have been reported from various experiments that investigated special experimental effects (e.g., metacontrast or induced motion). To examine whether similar dissociations can also be observed under standard experimental conditions, we compared reaction times (RT) and temporal order judgments (TOJ) to visual and auditory stimuli of three intensity levels. Data were collected from six subjects, each of which served for nine sessions. The results showed a strong, highly significant modality dissociation: While RTs to auditory stimuli were shorter than RTs to visual stimuli, the TOJ data indicated longer processing times for auditory than for visual stimuli. This pattern was found over the whole range of intensities investigated. Light intensity had similar effects on RT and TOJ, while there was a marginally significant tendency of tone intensity to affect RT more strongly than TOJ. It is concluded that modality dissociation is an example of "direct parameter specification", where the pathway from stimulus to response in the simple RT experiment is (at least partially) separate from the pathway that leads to a conscious, reportable representation. Two variants of this notion and alternatives to it are discussed.     

The representation and integration in memory of spatial and nonspatial information

A series of experiments investigated whether people could integrate nonspatial information about an object with their knowledge of the object's location in space. In Experiments 1 and 3, subjects learned the locations of cities on a fictitious road map; in Experiments 2, 4, and 5, subjects were already familiar with the locations of buildings on a campus. The subjects then learned facts about the cities on the maps or the buildings on the campus. The question of interest was whether or not these nonspatial facts would be integrated in memory with the spatial knowledge. After learning the facts, subjects were given a location-judgment test in which they had to decide whether an object was in one region of the space or another. Knowledge integration was assessed by comparing levels of performance in two conditions: (a) when a city or a building name was primed by a fact about a neighboring city or building, and (b) when a city or a building name was primed by a fact about a distant city or building. Results showed that responses in Condition a were faster or more accurate, or both faster and more accurate, than responses in Condition b. These results indicate that the spatial and nonspatial information were encoded in a common memory representation.     

Context-dependent variation in social stereotyping 1: The effects of intergroup relations as mediated by social change and frame of reference

During the 1990-1991 Persian Gulf conflict an experiment was conducted with Australian university students (N = 200) to investigate whether the social stereotyping of Americans varied with social contextual manipulations related to the hostilities. The study, conducted in two phases at the start and end of the conflict, examined how the assignment of standard stereotypical traits to Americans was affected (a) by the large-scale social change constituted by the war and (b) by variation in the frame of reference provided by relevant comparison groups. The elicited stereotypes were sensitive to both of these contextual variables, demonstrating significant variation and fluidity. Overall, stereotypes of Americans were relatively negative. They were significantly more negative (a) at the end of the war than at the beginning in the restricted frame (when Australia and Britain were comparison groups) and (b) in the first phase of the conflict when the frame was extended to include Iraq as a comparison group. The findings were in line with expectations derived from self-categorization theory (Turner, 1985) that the social categorization of self and other into ingroup and outgroup is inherently variable, comparative and context-dependent. They question the long-held view of stereotypes as fixed, rigid and resistant to change.     

The sum of the parts does not equal the whole: evidence from bihemispheric processing.

The 5 experiments in this article examine whether bihemispheric processing can be predicted from the processing observed when information is directed initially to just 1 hemisphere. Ss decided if laterally presented words rhymed with a previously presented central target. Trials varied in the degree to which the information displayed was redundant. On some trials, the same word appeared twice; in others, different words appeared, but they both led to the same decision; and finally, on some trials, different words appeared, each of which also led to a different decision. The patterns found for unilateral and bilateral trials were distinct. Furthermore, the pattern observed on bilateral trials could not be predicted from that found on unilateral trials, suggesting that interhemispheric interaction cannot be surmised from observing a hemisphere processing information in relative isolation.     

On the transmission of partial information: inferences from movement-related brain potentials.

Results are reported from a new paradigm that uses movement-related brain potentials to detect response preparation based on partial information. The paradigm uses a hybrid choice-reaction go/nogo procedure in which decisions about response hand and whether to respond are based on separate stimulus attributes. A lateral asymmetry in the movement-related brain potential was found on nogo trials without overt movement. The direction of this asymmetry depended primarily on the signaled response hand rather than on properties of the stimulus. When the asymmetry first appeared was influenced by the time required to select the signaled hand, and when it began to differ on go and nogo trials was influenced by the time to decide whether to respond. These findings indicate that both stimulus attributes were processed in parallel and that the asymmetry reflected preparation of the response hand that began before the go/nogo decision was completed.     

Nifedipine blocks retention of a visual discrimination task in chicks.

Reports that the dihydropyridine Ca2+ channel antagonists may facilitate memory led to the present study of the behavioral effects of nifedipine. Ninety-two 4-day-old male chicks received 0, 100 nM, 100 microM, or 10 mM nifedipine. Drugs were administered in volumes of 2 microliters into the fourth cerebral ventricle 5 min before training on a visual discrimination task. Nifedipine did not produce any detectable changes in behavior during acquisition trials. Retention, however, was impaired 24 h after training in the 100 nM and 100 microM nifedipine-treated chicks, which made significantly more errors than controls. Nifedipine did not affect the amount of time required to complete the task. No effects on body weight gain were detected, suggesting that the memory impairment was not due to a change in feeding behavior. These data are discussed in terms of the role of calcium-dependent processes in memory.     

Attentional demands of processing shape in three-dimensional space: evidence from visual search and precuing paradigms.

The hypothesis that representation of projective shape is preattentive whereas representation of objective shape in three-dimensional space requires allocation of attention was tested in 2 visual search and 2 precuing experiments. In the visual search experiments, the slope for projective shape search was expected to approach 0 and that for objective shape search was expected to be a positive monotonic function of set size. In the precuing experiments, the effects of precuing were expected to be largely limited to the task requiring representation of objective shape. The overall pattern of results conformed to expectations. The findings are interpreted in the context of a model of shape-at-a-slant processing set out by Epstein and Lovitts (1985) and Epstein and Babler (1989, 1990).     

The associative basis of contingent color aftereffects.

According to a conditioning analysis of the orientation-contingent color aftereffect (McCollough effect, ME), orientation stimulus (grids) become associated with color. Contrary to this interpretation are reports that simple forms cannot be used to elicit illusory color and that the ME is not degraded by decreasing the grid-color correlation. The present results indicate: (a) Form stimuli can contingently elicit color aftereffects; (b) even a non-patterned stimulus--the lightness of a frame surrounding a colored area--can contingently elicit color aftereffects; (c) this frame lightness-contingent aftereffect, like the ME, persists for at least 24 hr; and (d) the frame lightness-contingent aftereffect can be used to demonstrate that correlational manipulations affect the ME, as they affect other types of conditional responses.