Investigations into a left-structural right-substructural sequent calculus

We study a multiple-succedent sequent calculus with both of the structural rules Left Weakening and Left Contraction but neither of their counterparts on the right, for possible application to the treatment of multiplicative disjunction (fission, ‘cotensor’, par) against the background of intuitionistic logic. We find that, as Hirokawa dramatically showed in a 1996 paper with respect to the rules for implication, the rules for this connective render derivable some new structural rules, even though, unlike the rules for implication, these rules are what we call ipsilateral: applying such a rule does not make any (sub)formula change sides—from the left to the right of the sequent separator or vice versa. Some possibilities for a semantic characterization of the resulting logic are also explored. The paper concludes with three open questions.     

外逆P-信息智能融合与它的属性析取特征-应用

逆P-集合是由内逆P-集合F与外逆P-集合构成的元素集合对,或者()是逆P-集合。逆P-集合具有动态特性。利用外逆P-集合与外逆P-推理,给出外逆P-信息智能融合生成、外逆P-信息智能融合冗余生成与外逆P-信息智能融合度量。给出外逆P-信息智能融合定理。给出外逆P-信息智能融合依赖定理与外逆P-信息智能融合还原定理、外逆P-信息智能融合的属性析取特征与属性析取收缩定理、属性析取收缩-未知外逆P-信息智能融合发现原理以及这些理论结果的应用。逆P-集合是研究另一类动态信息应用的新理论,新方法;另一类动态信息具有属性析取特征。     

异构空间数据系统查询分解算法的研究*

介绍了利用析取范式进行查询分解的算法,该分解方法在语义分析和规范化的基础上,对查询语句进行重组,可以大幅度地减少连接运算的时间,提高查询效率。     

交流接触器通断实验装置开发

改进了传统交流接触器接通与分断实验装置.新型实验装置的控制模块采用PIC16F818、CD4051等组成,采集模块由互感器、数据采集卡PCI-1711L和基于PC的人机界面组成.通过编制人机界面,实现对信号的采集及其电流电压曲线的可视化显示,为交流接触器接通与分断的动态分析提供了良好的技术条件.     

Correcting memory improves accuracy of predicted task duration.

People are often inaccurate in predicting task duration. The memory bias explanation holds that this error is due to people having incorrect memories of how long previous tasks have taken, and these biased memories cause biased predictions. Therefore, the authors examined the effect on increasing predictive accuracy of correcting memory through supplying feedback for actual task duration. For Experiments 1 (paper-counting task) and 2 (essay-writing task), college students were supplied with duration information about their previous performance on a similar task before predicting task duration. For Experiment 3, participants were recruited at various locations, such as fast food restaurants and video arcades, and supplied with average task duration for others before predicting how long the task would take. In all 3 experiments, supplying feedback increased predictive accuracy. Overall, results indicate that, when predicting duration, people do well when they rely not on memory of past task duration but instead on measures of actual duration, whether their own or that of others. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

改进的本体语义相似度计算方法

概念的语义相似度研究,是知识表示以及信息检索领域中的一个重要内容。通过分析两种传统的语义相似度计算方法,对它们存在的问题进行改进,提出了一种综合的基于本体的概念语义相似度计算方法。该方法结合本体的DAG网状结构特征和语义距离计算中的多种语义影响因素,充分利用本体中概念的语义来计算概念间的语义相似度。实验结果比较合理,验证了该方法的有效性。     

Age-trend-related differences in tasks involving conjunctive probabilistic reasoning.

Conjunctive probabilistic reasoning has been studied at different ages to ascertain whether the conjunction fallacy is due to a task demand misinterpretation. Such a misinterpretation might occur because a task that requires a comparison between a superordinate class A and a subordinate class A&B is mistakenly interpreted as requiring a comparison between the two complementary subordinate classes of A (i.e., A&B and A¬B). Children (7- and 10-year-olds) and adults were required to make conjunctive probability judgments about problems for which explicit objective probabilities were provided. The total number of A items was kept constant and the frequencies of the A&B and of the A¬B items varied across problems. When the number of A&B items was smaller than the number of A¬B items, the frequency of congruent responses increased with age. When the number of A&B items was greater or equal to that of the A¬B items, the frequency of correct answers decreased. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Ego disjunction and psychopathology.

"This study was designed to test the hypothesis that degree of ego disjunction is positively related to degree of psychopathology. A scale based upon the Edwards Personal Preference Schedule was devised to measure ego disjunction. College Students, Adolescents, Neurotics, Character Disorders, and Schizophrenics were tested and the following results were found… . a positive relationship between degree of ego disjunction and degree of psychopathology was demonstrated… . scores yielded three significantly different subgroups… . Schizophrenics alone;… Character Disorders, Neurotics and Adolescents;… [and] College Students alone." (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Is the claim that 'variance kills' an ecological fallacy?

Over the past 15 years, a number of studies have reported positive correlations between estimated traffic crash rate and the dispersion of vehicle speeds. These correlations have on occasion been interpreted as supporting the view that slower and/or faster drivers have higher crash risks, or that speed variance itself is a causal factor for individual crash risk. This paper points out first that such positive correlations can be expected in situations where individual crash risk is either an increasing, or a decreasing, or a U-shaped function of speed, and so the correlations in themselves provide no evidence concerning the relation between speed and crash risk for individuals. Second, since such correlations can be expected in circumstances where individual risk is independent of speed variance, observation of these correlations provides no support for the hypothesis that increases in speed variance increase individual risk.