In the present paper, the intuitionistic fuzzy LI -ideal theory in lattice implication algebras is further studied. Some new properties and equivalent characterizations of intuitionistic fuzzy LI -ideals are given. Representation theorem of intuitionistic fuzzy LI -ideal which is generated by an intuitionistic fuzzy set is established. It is proved that the set consisting of all intuitionistic ...

It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Speci cation languages such as Z permit the precise and unambiguous modelling of system properties and behaviour. However some system problems, particularly those drawn from the IS problem domain, may be di cult to model in crisp or precise terms. It may also be desirable that formal modelling...

In this paper we establish equivalence between a theory of fuzzy functional dependences and a fragment of fuzzy logic. We give a way to interpret fuzzy functional dependences as formulas in fuzzy logic. This goal is realized in a few steps. Truth assignment of attributes is defined in terms of closeness between two tuples in a fuzzy relation. A corresponding fuzzy formula is associated to a fuz...

Automated extraction of man-made objects such as buildings and roads using image analysis techniques for urban mapping and updating geographic information systems (GIS) databases has been an active research topic in photogrammetry and remote sensing community. Segmentation plays an important role in the process of digital image processing towards automatic extraction of GIS objects from aerial ...

The priority method of interval fuzzy preference relation is studied. A linear programming(LP) model based on multiplicative transitivity is constructed to derive interval weights from consistent or inconsistent interval fuzzy preference relation. By solving only one LP model, the proposed method can get the interval weights from an interval fuzzy preference relation, which can reduce the amoun...

The concepts of fuzzy transitivity of a fuzzy relation on a given universe and the measure of fuzzy transitivity are studied with the use of Gödel fuzzy implicator.

in this paper, we consider the production possibility set with n production units such that the following four principles that governs: inclusion observations, conceivability, immensity and convexity. our goal is to estimate the output of a same and new production unit with existing production possibility and amount of input is specified. so, initially we find the interval changes of each input...

in this paper, we discuss the equivalent conditions of pretopological and topological $l$-fuzzy q-convergence structures and define $t_{0},~t_{1},~t_{2}$-separation axioms in $l$-fuzzy q-convergence space. {furthermore, $l$-ordered q-convergence structure is introduced and its relation with $l$-fuzzy q-convergence structure is studied in a categorical sense}.

In this paper we establish equivalence between a theory of fuzzy functional dependences and a fragment of fuzzy logic. We give a way to interpret fuzzy functional dependences as formulas in fuzzy logic. This goal is realized in four steps. Truth assignment of attributes is defined in terms of closeness between two tuples in a fuzzy relation. A corresponding fuzzy formula is associated to a fuzz...

Multi-Document summarization strictly needs distinguishing the similarity between sentences & paragraphs of texts because repeated sentences shouldn’t exist in final summary so in order to applying this anti-redundancy we need a mechanism that can determining semantic similarities between sentences and expressions and paragraphs and finally between texts. In this paper it’s used a fuzzy approac...