A Refinement Calculus for Shared-Variable Parallel and Distributed Programming

Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists. Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated. Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality. The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing program and vice versa. Received July 2001 / Accepted in revised form May 2002     

模糊Petri网及知识表示

在建造专家系统中虽然有很多种知识表示方法，但都有不尽人意的地方，本文试图用一种新的方法－Ｐｅｔｒｉ网模型来表示知识。本文给出了Ｆｕｚｚｚｙ Ｐｅｔｒｉ网和广义Ｆｕｚｚｙ Ｐｅｔｒｉ网两种模型，并给出了相应的推理算法，一旦专家知识用Ｐｅｔｒｉ网表示后，根据Ｐｅｔｒｉ网固有的特性，我们就能处理专家系统中并行推理、无回溯推理，反向推理等问题。     

The problem of definition expansion and contraction

This article is the fourth of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research focuses on finding criteria that would enable an automated reasoning program to expand or contract definitions wisely. For evaluating a proposed solution to this research problem, we include suggestions concerning possible test problems.This work was supported by the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Department of Energy, under contract W-31-109-Eng-38.     

Intelligent handling of data by integration of commonsense reasoning

Any intelligent problem solving system should be able, given the known data on a case, to decide whether some item of information is true, false or unknown. In this paper the way in which various forms of commonsense reasoning can be integrated to provide such decisions is described. To this end three structural types of knowledge defined over data, and four strategies for exploiting these structures, are identified. ‘Decide-Status’ integrates the reasoning strategies into a task frame. This frame structure not only integrates the reasoning but also affords the appropriate facilities for providing strategic justifications for its conclusions, if required.     

Global Level Path Planning for Mobile Robots in Dynamic Environments

This paper presents a self-adapting approach to global level path planning in dynamic environments. The aim of this work is to minimize risk and delays in possible applications of mobile robots (e.g., in industrial processes). We introduce a hybrid system that uses case-based reasoning as well as grid-based maps for decision-making. Maps are used to suggest several alternative paths between specific start and goal point. The casebase stores these solutions and remembers their characteristics. Environment representation and casebase design are discussed. To solve the problem of exploration vs. exploitation, a decision-making strategy is proposed that is based on the irreversibility of decisions. Forgetting strategies are discussed and evaluated in the context of case-based maintenance. The adaptability of the system is evaluated in a domain based on real sensor data with simulated occupancy probabilities. Forgetting strategies and decision-making strategies are evaluated in simulated environments. Experiments show that a robot is able to adapt in dynamic environments and can learn to use paths that are less risky to follow.     

Biases in Social Comparative Judgments: The Role of Nonmotivated Factors in Above-Average and Comparative-Optimism Effects.

Biases in social comparative judgments, such as those illustrated by above-average and comparative-optimism effects, are often regarded as products of motivated reasoning (e.g., self-enhancement). These effects, however, can also be produced by information-processing limitations or aspects of judgment processes that are not necessarily biased by motivational factors. In this article, the authors briefly review motivational accounts of biased comparative judgments, introduce a 3-stage model for understanding how people make comparative judgments, and then describe how various nonmotivational factors can influence the 3 stages of the comparative judgment process. Finally, the authors discuss several unresolved issues highlighted by their analysis, such as the interrelation between motivated and nonmotivated sources of bias and the influence of nonmotivated sources of bias on behavior. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Reasoning, Integration, Inference Alteration, and Text Comprehension.

This paper reports how the study of formal logical reasoning provides insight into more everyday types of reasoning, such as that involved in language comprehension. Both of these types of cognition are thought to involve the use of mental models, and so it is reasonable to think that the cognitive operations needed for formal logical reasoning would be involved in everyday reasoning as well. We focused on three aspects of formal reasoning: (a) the integration of information into a common mental model, (b) the drawing of inferences, and (c) the coordination of alternative possibilities. We were able to show that the integration and inference components were related to narrative comprehension processes, but the coordination of alternative models was not. Thus, there is evidence for some overlap in the mental processes used in formal and everyday reasoning. This further justifies the study of formal logical reasoning as a window into certain types of everyday reasoning. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

The effects of case libraries on problem solving

Abstract The purpose of the study was to investigate the effects of providing access to a case library of related stories while undergraduates solved ill-structured problems. While solving complex food product development problems, the experimental group accessed experts' stories of similar, previously solved problems; the comparable group accessed fact sheets (expository representation of stories' content); and the control group accessed text selected at random from a textbook dealing with issues unrelated to the stories. On multiple-choice questions assessing processes related to problem solving (prediction, inferences, explanations, etc.), experimental students out-performed the comparable and control groups. Performance on short-answer questions also assessing problem-related skills was not significantly different, in part because of test fatigue. Analysis of interviews identified a number of factors that students used in deciding how to apply their study strategies, including causal factors, grounding phenomenon, grounding in context, and outcomes.     

Hemispheric contributions to nonverbal abstract reasoning and problem solving.

Hemispheric involvement in reasoning abilities has been debated for some time, and it remains unclear whether the right hemisphere's involvement in problem solving is modality specific or dependent on the type of spatial reasoning required. In the current study, 2 types of nonverbal reasoning abilities were examined, spatial reasoning and proportional reasoning, in 109 patients with cerebrovascular disease that was confined to either the right or the left hemisphere or was diffuse in nature. Results indicated that no lateralizing effects were present based on type of spatial reasoning. Findings are consistent with the suggestion that higher order cognitive processes involved in nonverbal abstraction and problem solving are not strongly lateralized to the right hemisphere but rather are more generally distributed throughout the cortex. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

基于参考点的模糊知识表示

本文分析了模糊关系模型的知识表示途径，并由此提出基于参考点的模糊知识表示，分析了它与人类记忆经验性知识的相信性，并证明模糊关系模型能以任意精度逼近具有有限个极值点的有界连续函数。