从司法活动的角度谈法律推理的实践

法律推理的独特性正是司法公正的内在保障,司法公正的一项重要指标就是"方法论的自治性"。在法理推理的司法实践中,要正确处理法律原则与法律规则的冲突。法官在寻找裁判大前提的过程中,弄清法律条款的含义是至关重要的,必须把握成文规范和其内在意义。而在法律规定本身可能相互冲突时,法官则需要用辩论推理来构建法律推理的大前提。

Threat Assessment Method Based on Intuitionistic Fuzzy Similarity Measurement Reasoning with Orientation

The aim of this paper is to propose a threat assessment method based on intuitionistic fuzzy measurement reasoning with orientaion to deal with the shortcomings of the method proposed in [Ying-Jie Lei et al., Journal of Electronics and Information Technology 29(9)(2007)2077-2081] and [Dong-Feng Chen et al., Procedia Engineering 29(5)(2012)3302-3306] the ignorance of the influence of the intuitionistic index's orientation on the membership functions in the reasoning, which caused partial information loss in reasoning process. Therefore, we present a 3D expression of intuitionistic fuzzy similarity measurement, make an analysis of the constraints for intuitionistic fuzzy similarity measurement, and redefine the intuitionistic fuzzy similarity measurement. Moreover, in view of the threat assessment problem, we give the system variables of attribute function and assessment index, set up the reasoning system based on intuitionistic fuzzy similarity measurement with orientation, and design the reasoning rules, reasoning algorithms and fuzzy-resolving algorithms. Finally, through the threat assessment, some typical examples are cited to verify the validity and superiority of the method.

A variable weight approach for evidential reasoning

A variable weight approach was proposed to handle the probability deficiency problem in the evidential reasoning （ER） approach. The probability deficiency problem indicated that the inadequate information in the assessment result should be less than that in the input. However, it was proved that under certain circumstances, the ER approach could not solve the probability deficiency problem. The variable weight approach was based on two assumptions： 1） the greater weight should be given to the rule with more adequate information; 2） the greater weight should be given to the rules with less disparate information. Assessment results of two notional case studies show that 1） the probability deficiency problem is solved using the proposed variable weight approach, and 2） the information with less inadequacy and more disparity is provided for the decision makers to help reach a consensus.

Inference of Global HIV-1 Sequence Patterns and Preliminary FeatureAnalysis

The epidemiology of HIV-1 varies in different areas of the world, and it is possible that this complexity may leave unique footprints in the viral genome. Thus, we attempted to find significant patterns in global HIV-1 genome sequences. By applying the rule inference algorithm RIPPER (Repeated Incremental Pruning to Produce Error Reduction) to multiple sequence alignments of Env sequences from four classes of compiled datasets, we generated four sets of signature patterns. We found that these patterns were able to distinguish southeastern Asian from non- southeastern Asian sequences with 97.5% accuracy, Chinese from non-Chinese sequences with 98.3% accuracy, African from non-African sequences with 88.4% accuracy, and southern African from non-southern African sequences with 91.2% accuracy. These patterns showed different associations with subtypes and with amino acid positions. In addition, some signature patterns were characteristic of the geographic area from which the sample was taken. Amino acid features corresponding to the phylogenetic clustering of HIV-1 sequences were consistent with some of the deduced patterns. Using a combination of patterns inferred from subtypes B, C, and all subtypes chimeric with CRF01_AE worldwide, we found that signature patterns of subtype C were extremely common in some sampled countries (for example, Zambia in southern Africa), which may hint at the origin of this HIV-1 subtype and the need to pay special attention to this area of Africa. Signature patterns of subtype B sequences were associated with different countries. Even more, there are distinct patterns at single position 21 with glycine, leucine and isoleucine corresponding to subtype C, B and all possible recombination forms chimeric with CRF01_AE, which also indicate distinct geographic features. Our method widens the scope of inference of signature from geographic, genetic, and genomic viewpoints. These findings may provide a valuable reference for epidemiological research or vaccine design.

A NEURAL FUZZY INFERENCE SYSTEM

This paper proposes a new neural fuzzy inference system that mainly consists of four parts. The first part is about how to use neural network to express the relation within a fuzzy rule. The second part is the simplification of the first part, and experiments show that these simplifications work. On the contrary to the second part, the third part is the enhancement of the first part and it can be used when the first part cannot work very well in the fuzzy inference algorithm, which would be introduced in the fourth part. Finally, the fourth part "neural fuzzy inference algorithm" is been introduced. It can inference the new membership function of the output based on previous fuzzy rules. The accuracy of the fuzzy inference algorithm is dependent on neural network generalization ability. Even if the generalization ability of the neural network we used is good, we still get inaccurate results since the new coming rule may not be related to any of the previous rules. Experiments show this algorithm is successful in situations which satisfy these conditions.

从司法活动的角度谈法律推理的实践

法律推理的独特性正是司法公正的内在保障,司法公正的一项重要指标就是"方法论的自治性"。在法理推理的司法实践中,要正确处理法律原则与法律规则的冲突。法官在寻找裁判大前提的过程中,弄清法律条款的含义是至关重要的,必须把握成文规范和其内在意义。而在法律规定本身可能相互冲突时,法官则需要用辩论推理来构建法律推理的大前提。