Let L be a countable first-order language such that its set of constant symbols Const(L) is countable. We provide a complete infinitary propositional logic (formulas remain finite sequences of symbols, but we use infe...
详细信息
ISBN:
(纸本)9789814417730
Let L be a countable first-order language such that its set of constant symbols Const(L) is countable. We provide a complete infinitary propositional logic (formulas remain finite sequences of symbols, but we use inference rules with countably many premises) for description of C-valued L-structures, where C is an infinite subset of Const(L). The main goal is to provide a formal framework for reasoning about F-valued evaluations of propositional formulas, where F is some countable ordered field. The prime examples of F are the field of rational numbers Q, its real closure (Q) over bar and the field of fractions Q(epsilon) where epsilon is a positive infinitesimal.
This note aims to shed some useful light on the underlying long-run price leadership in market data. A cointegrated vector autoregressive analysis is performed using weekly data for gasoline prices observed in three r...
详细信息
ISBN:
(纸本)9789814417730
This note aims to shed some useful light on the underlying long-run price leadership in market data. A cointegrated vector autoregressive analysis is performed using weekly data for gasoline prices observed in three regions in the US. Statistical evidence revealed in the analysis indicates that one of the prices plays the role of long-run leadership, thus exerting persistent influences on the price determination in the other regions.
This paper shows how an intelligent system based on fuzzy logic has been designed, in order to determine if a vehicle is delayed while travelling on a two-lane highway. This state is a subjective consideration of the ...
详细信息
ISBN:
(纸本)9789814417730
This paper shows how an intelligent system based on fuzzy logic has been designed, in order to determine if a vehicle is delayed while travelling on a two-lane highway. This state is a subjective consideration of the driver, and therefore, many fuzzy variables have been defined to take into account these vague perceptions. A new classification of the state of the vehicle in rural highways is also proposed. The results of some surveys made to two-lane roads users proved that the results are reasonable and useful for estimating the proportion of delayed drivers, the drivers desire to overtake, and on advising the drivers on the possibility of overtaking.
In this paper, the n-inequality is studied in the lattice implication algebra. The necessary and sufficient conditions for existence of solution for the n-inequality will be presented respectively. In the case, that b...
详细信息
ISBN:
(纸本)9789814417730
In this paper, the n-inequality is studied in the lattice implication algebra. The necessary and sufficient conditions for existence of solution for the n-inequality will be presented respectively. In the case, that b has decomposition of irreducible finite union, the all minimal elements of solutions and detailed solution sets are given.
Instance-based Must-Link and Cannot-Link constraints are two forms of background knowledge famously used in semi-supervised clustering. In this work we demonstrate that it is possible to step-up the quality and quanti...
详细信息
ISBN:
(纸本)9789814417730
Instance-based Must-Link and Cannot-Link constraints are two forms of background knowledge famously used in semi-supervised clustering. In this work we demonstrate that it is possible to step-up the quality and quantity of constraint sets by adopting a method that combines automated and active constraint selection. This method capitalizes on the cluster feature that most of the data objects in the cluster are actually core points and just small parts are border points. Therefore, considering Must-Link constraints between core points and Cannot-Link constraints between border points adds more effective information because border points would separate each cluster clearly. Our experiments show that our approach provides a competitive edge in identifying informative constraints that would enhance the accuracy of clustering solutions.
Rank reversal is one of the major problems in all ranking techniques. The problems of testing and test results for rank reversals, are discussed for pairwise comparison based non-numerical rankings. The results indica...
ISBN:
(纸本)9789814417730
Rank reversal is one of the major problems in all ranking techniques. The problems of testing and test results for rank reversals, are discussed for pairwise comparison based non-numerical rankings. The results indicate that some algorithms that use non-numerical approach produce almost no rank reversals.
In any decision problem where it is necessary to obtain a ranking to know the decision matrix, the weights of the criteria and the method for evaluating the alternatives must be determined. In the present paper the TO...
详细信息
ISBN:
(纸本)9789814417730
In any decision problem where it is necessary to obtain a ranking to know the decision matrix, the weights of the criteria and the method for evaluating the alternatives must be determined. In the present paper the TOPSIS method is the model employed to achieve this because we have linguistic and numerical values such as the assessment of alternatives for each criterion. The weights of the criteria have been obtained by an OWA operator. This theoretical development has been applied to a decision problem in the field of renewable energy.
In this paper we propose a novel resolution method for theorem automated proving. General form of alpha-linear resolution method is investigated in lattice-valued propositional logic system LP(X) based on lattice impl...
详细信息
ISBN:
(纸本)9789814417730
In this paper we propose a novel resolution method for theorem automated proving. General form of alpha-linear resolution method is investigated in lattice-valued propositional logic system LP(X) based on lattice implication algebra. Both soundness and weak completeness theorems are established. The contribution of this method is to provide a scientific and extended resolution method for automated reasoning based on lattice-valued logic system. It also provides a foundation for constructing an alpha-linear resolution automated reasoning algorithm.
We present a software implementation of the methods for solving linear programming problems under uncertainty from previous work. Uncertainties about constraint parameters can be expressed as intervals or trapezoidal ...
ISBN:
(纸本)9789814417730
We present a software implementation of the methods for solving linear programming problems under uncertainty from previous work. Uncertainties about constraint parameters can be expressed as intervals or trapezoidal possibility distributions. The software computes the solutions for the optimality criteria maximin and maximality. For maximality with possibility distributions, only an approximate solution is obtained.
The notion of a fuzzy coset of a fuzzy subgroup relative to a fuzzy subgroup is introduced, and some of their properties are investigated. In particular, it is shown that a normal fuzzy subgroup of a fuzzy subgroup ca...
详细信息
ISBN:
(纸本)9789814417730
The notion of a fuzzy coset of a fuzzy subgroup relative to a fuzzy subgroup is introduced, and some of their properties are investigated. In particular, it is shown that a normal fuzzy subgroup of a fuzzy subgroup can be characterized in terms of fuzzy cosets of a fuzzy subgroup relative to a fuzzy subgroup.
暂无评论