共查询到19条相似文献,搜索用时 109 毫秒
1.
研究模糊命题演算的形式演绎系统L及在语义上相关的修正的Kleene逻辑系统-↑W,W,Wk,引入语义[α]-MP规则,语义[α^ ]-MP规则,语义[α]-HS规则,语义[α^ ]-HS规则等概念,并对这些规则的性质进行讨论,进一步加强该系统中的∑-(α-重言式)的相应结果,丰富该系统中∑-(α-重言式)的内容,为进一步研究该系统提供一个有益的工具。 相似文献
2.
本文研究直觉主义类型论中π和Σ规则,对于类型(πx∈A)B(x),我们给出新的消去和相等规则使新规则的式样与其他类型的规则相同,然而不使用高阶交元和常元,我们证明新规则等价于旧规则,对于类型(Σx∈A)B(x),我们利用投影运算给出新规则,而且证明它们等价于旧规则。 相似文献
3.
线性回归系数的修约规则黄映辉(西安交通大学管理学院)线性回归根据存有相互关系的变量y,xt的观测值来确定回归系数a和bi,从而建立线性回归方程。因为观测值y和xi通常为近似数,所以由y和xi计算而得的回归系数a和bi也必为近似数,其修约误差可由y,x... 相似文献
4.
Bland规则是退化问题中避免循环的一种方法,本给出了Bland规则的两种改进形式,并从理论上证明了规则Ⅲ为有限规则,另外,还对一个退化问题给出了相应于不同规则的解法。 相似文献
5.
6.
7.
少数服从多数规则的特性 总被引:1,自引:0,他引:1
假定投票人的人数是奇数,E.S.Maskin引入传递性刻画了少数服从多数规则的特性.Campbell和Kelly试图将E.S.Maskin的理论推广到投票人的人数是任意整数的情形,用有限传递性来刻画少数服从多数规则的特性.我们发现存在这样的少数服从多数规则,它满足无关方案独立性条件并且认为任意两个不同的备选方案都是有差异的,但却不一定满足有限传递性.所以,用有限传递性来刻画少数服从多数规则的特性就有一定缺陷.本文对满足无关方案独立性的少数服从多数规则特性进行了重新刻画,并弱化了有关条件. 相似文献
8.
组合逻辑中的一个新的(ξ)规则 总被引:2,自引:0,他引:2
作者提出一个新的规则(ξ0),在组合逻辑的弱相等性理论CLw加入(ξ0)之后,弱相等性被加强为ξ0相等性.作者证明ξ0相等性严格强于弱相等性,但严格弱于组合β相等性,作者给出ξ0相等性的有穷公理化. 相似文献
9.
顾琼 《应用数学与计算数学学报》1997,11(2):86-88
对于群体决策问题,本文给出一个新的带参数的ak-较多规则,并且讨论了在此规则下个体选优解和群体选优解的关系,此外,还论证了相应的ak-较多规则满足Arrow公理的情况。 相似文献
10.
11.
Expert Rule Versus Majority Rule Under Partial Information, II 总被引:1,自引:0,他引:1
The main purpose of this paper is clarifying the connection between some characteristics of a deciding body and the probability of its making correct decisions. In our model a group of decision makers is required to select one of two alternatives. We assume the probabilities of the decision makers being correct are independent random variables distributed according to the same given distribution rule. This distribution belongs to a general family, containing the uniform distribution as a particular case. We investigate the behavior of the probability of the expert rule being optimal, as well as that of the majority rule, both as functions of the distribution parameter and the group size. The main result is that for any value of the distribution parameter the expert rule is far more likely to be optimal than the majority rule, especially as the deciding body becomes larger. 相似文献
12.
Daniel Leivant 《Archive for Mathematical Logic》1990,30(2):125-127
I am grateful to Boris Kushner for informing me about [Nov 43], the impetus for this note, and to Anne Troelstra for comments on an early sketch. Research partially supported by ONR grant N00014-84-K-0415 and by DARPA grant F33615-81-K-1539 相似文献
13.
14.
15.
A. Horwitz 《分析论及其应用》1993,9(2):71-80
Let
and let
, where P
c
n
denoles the Taylor polynomial to f at c of order n, where n is even. TA and TM are reach generalizations of the Trapezoidal
rule and the midpoint rule, respectively, and are each exact for all polynomials of degree ≤n+1. We let L(f)=αTM(f)+(1−α)TA(f),
where
, to obtain a numerical integration rule L which is exact for all polynomials of degree≤n+3 (see Theorem 1). The case n=0
is just the classical Simpson's rule. We analyze in some detail the case n=2, where our formulae appear to be new. By replacing
P
(a+b)
2/n+1
(x) by the Hermite cubic interpolant at a and b, we obtain some known formulae by a different approach (see [1] and [2]).
Finally we discuss some nonlinear numerical integration rules obtained by taking piecewise polynomials of odd degree, each
piece being the Taylor polynomial of f at a and b, respectively. Of course all of our formulae can be compounded over subintervals
of [a,b]. 相似文献
16.
Philip R. Race Richard C. Thomas 《The Journal of the Operational Research Society》1988,39(12):1113-1123
Rule induction is a machine learning technique which has been used in knowledge acquisition for expert systems. This paper explores its use for the interpretation of the results from simulation of investment models in order to identify the major risks. 相似文献
17.
The fractional Leibniz rule is generalized by the Coifman–Meyer estimate. It is shown that the arbitrary redistribution of fractional derivatives for higher order with the corresponding correction terms. 相似文献
18.
19.