A logic for default reasoning

The need to make default assumptions is frequently encountered in reasoning about incompletely specified worlds. Inferences sanctioned by default are best viewed as beliefs which may well be modified or rejected by subsequent observations. It is this property which leads to the non-monotonicity of any logic of defaults. In this paper we propose a logic for default reasoning. We then specialize our treatment to a very large class of commonly occuring defaults. For this class we develop a complete proof theory and show how to interface it with a top down resolution theorem prover. Finally, we provide criteria under which the revision of derived beliefs must be effected.

An automata theoretic decision procedure for the propositional mu-calculus

The propositional mu-calculus is a propositional logic of programs which incorporates a least fixpoint operator and subsumes the propositional dynamic logic of Fischer and Ladner, the infinite looping construct of Streett, and the game logic of Parikh. We give an elementary time decision procedure, using a reduction to the emptiness problem for automata on infinite trees. A small model theorem is obtained as a corollary.

黄骅坳陷大港探区油气资源潜力与资源结构预测

Facing the problems that Dagang region of Huanghua Depression has high exploration degree and its remaining resource potential and structure are not clear, the theory of Petroleum Accumulation System (PAS) is applied to divide and evaluate the oil/gas systems quantitatively. Then, the petroleum accumulation systems are taken as units to forecast and analyse the oil/gas resources and their structure using statistical methods of sampling analysis of discovery process model and generalized pareto distribution model. The exploration benefit of the unit is estimated using exploration simulation methods. On the basis of the above study, the resource potential of Huanghua Depression is discussed.Huanghua Depression can be diveded into four petroleum accumulation systems, i.e. North PAS5 Middle Qibei PAS, Middle Qinan PAS and South PAS. Each PAS can be diveded futher into several sub- PASs. Using the basic princple of Analytical Hierarchy Process, the method of quantitative evaluation of PAS is established. Then the elements and maturity of PAS are evaluated quantitatively.Taking migration and accumulation units and sub-PASs as prediction units, sampling analysis of discovery process model and generalized pareto distribution model are applied comparatively to forecast the resource structure of eight migration and accumulation units in six PASs of medium-high exploration degree. The results of these two methods are contrasted and analyzed. An examination of X2 data of these two models from exploration samples shows that generalized pareto distribution model is more effective than sampling analysis of discovery process model in Huanghua Depression. It is concluded that minimum and maximum size of reservoir and discovery sequence of reservoirs are the sensitive parameters of these two methods.Aiming at the difficult problem of forecast in low exploration degree, by analysis of relativity between resource parameters and their possible influential geological factors, forecast models for resource parameters were established by liner regressing. Then the resource structure is forecasted in PASs of low exploration degree.Based on the forecast results, beginning with the analysis of exploration history and benefit variation, the exploration benefit variation of the above PASs is fitted effectively using exploration simulation method. The single well exploration benefit of remaining oil resource is also forecasted reasonably.The results of resource forecast show that the total oil resources ofHuanghua Depression amount to 2.28 b illion ton. By the end o f 2 003, the accumulative total proved oil reserve is 0.90 billion ton and the remaining oil resources is 1.38 billion ton. The remaining oil resource is concentrated in Kongdian-Dengmingshi, Banqiao-Beidagang, Qidong-Yangerzhuang and Baidong-Qizhong sub-PASs.

基于可复制性的独立成分分析——应用于功能磁共振成像数据

This dissertation systematically depicted and improved the application of Independent Component Analysis (ICA) to Functional Magnetic Resonance Imaging (fMRI), following the logic of verification, improvement, extension, and application. The concept of “reproducibility” was the philosophy throughout its four concluded studies. In the “verification” study, ICA was applied to the resting-state fMRI data, verified the resultant components with reproducibility, and examined the consistency of the results from ICA and traditional “seed voxel” method. At the meantime, the limitation of ICA application on fMRI data analysis was presented. In the “improvement” study, an improved ICA algorithm based on reproducibility, RAICAR, was developed to aid some of the limitations of ICA application. RAICAR was able to rank ICA components by reproducibility, determine the number of reliable components, and obtain more stable results. RAICAR provided useful tools for validation and interpretation of ICA results. In the “extension” study, RAICAR as well as the concept of “reproducibility” was extended to multi-subject ICA analysis, and gRAICAR algorithm was developed. gRAICAR allows some variation across subjects, examining common components among subjects. gRAICAR is also capable to detect potential subject grouping on some components. It is a new way for exploratory group analysis on fMRI. In the “application” study, two newly developed methods, RAICAR and gRAICAR, were used to investigate the effect of early music training on the brain mechanism of memory and learning. The results showed brain mechanism difference in memory retrieval and learning process between two groups of subjects. This study also verified the usefulness and importance of the new methods.