We present a four-valued approach for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an eecient algorithm for doing so au-tomaticly. This method is particularly useful for making model-based diagnoses.

because of a crime crisis in societies through 80’s, stabilization incriminality noticed by criminologists. a dynamic fact and stable processwhich in it, in lack of management in criminal justice, juveniles andimmature earlier criminals, might be in danger and as a result, today’spotential stabilizer criminals are tomorrow’s chronic stabilized ones.beside other ecological, mental and social cri...

economic policy consists of various methodologies, approaches and models through which the economists devise strategies to influence the overall economy. the integration of theoretical and practical frameworks provides the ground for emerging new models which are a part of economic system of the countries.each economic model is a combination of specific methodology, theoretical bases and specia...

Form-based decision support systems (FBDSS) are special types of information systems that use forms to present information for decision-making. Paper forms that are often used for collecting and disseminating information in offices are natural bases for eliciting user information requirements. They are particularly useful for user-oriented systems, such as executive information systems and DSS....

Motivation for arranging business rules is not confined to efficient processing of rules, as in case of traditional rule bases, but to aid in decision making as well. Efficient processing and ease of decision making, therefore, are the twin objectives behind arranging and grouping of business rules as envisaged by business rules approach to system development. This paper strives to make a begin...

the concept of comprehensive grobner bases was introduced by weispfenning. montes has proposed an efficient algorithm for computing these bases. but he has not explicitly used buchberger's criteria in his algorithm. in this paper we prove that we can apply these criteria on montes algorithm. we propose a modified version of montes algorithm and evaluate its performance via some examples.

in this paper we investigate a new notion of bases in hilbert spaces and similarto fusion frame theory we introduce fusion bases theory in hilbert spaces. we also introducea new de nition of fusion dual sequence associated with a fusion basis and show that theoperators of a fusion dual sequence are continuous projections. next we de ne the fusionbiorthogonal sequence, bessel fusion basis, hilbe...