the non-definite multi-attribute decision making problem is the further expansion of research to the traditional multi-attribute decision making problem. In the actual decision-making, because of policy-making question's complexity, decision-making information acquisition costs and other reasons, the decision information which the policy-maker can obtain are mostly ambiguous, so in the real lif...

In classical transport models, it is always assumed that parameters such as the distance from each supply node to each demand node or the cost of transferring goods from one node to another, as well as quantities such as supply and demand are definite and definite amounts. But in real matters, considering these assumptions is not logical. On the other hand, there may be a real problem in mathem...

In this paper we propose a general-purpose first-order automated reasoning framework based on the notion of a definite formula and on a non-clausal variant of SLD-resolution. This framework provides a universal Horn clause-like representation of knowledge for classical as well as a range of non-classical first-order logics. It provides a resolution-style method for automated reasoning with theo...

Abstract In this paper, the authors try to clarify relations between Meinong’s and Russell's thoughts on ontological ideas of existence. The Meinongian theory non-existent objects does not in itself violate principle non-contradiction, since problem that hypothesis offers definite descriptions is so much a logical as an problem. To demonstrate we will establish what believe are two main theses ...