Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Purchase individual online access for 1 year to this journal.
Price: EUR 410.00Impact Factor 2024: 0.4
Fundamenta Informaticae is an international journal publishing original research results in all areas of theoretical computer science. Papers are encouraged contributing:
- solutions by mathematical methods of problems emerging in computer science
- solutions of mathematical problems inspired by computer science.
Topics of interest include (but are not restricted to): theory of computing, complexity theory, algorithms and data structures, computational aspects of combinatorics and graph theory, programming language theory, theoretical aspects of programming languages, computer-aided verification, computer science logic, database theory, logic programming, automated deduction, formal languages and automata theory, concurrency and distributed computing, cryptography and security, theoretical issues in artificial intelligence, machine learning, pattern recognition, algorithmic game theory, bioinformatics and computational biology, quantum computing, probabilistic methods, & algebraic and categorical methods.
Authors: Zhang, Xiaohong | Zhang, Yanning | Xue, Zhanao | Ma, Yingcang
Article Type: Research Article
Abstract: The relationships between T-rough sets and covering based rough sets are investigated, and two kinds of generated methods of rough approximation operators from existing rough sets are established. Moreover, applying the aforementioned generated methods of approximation operators, S-rough sets and some new covering-based rough sets are introduced and their basic properties are discussed.
Keywords: Rough approximation pair, Closeness, Covering, T-rough set, S-rough set
DOI: 10.3233/FI-2015-1291
Citation: Fundamenta Informaticae, vol. 142, no. 1-4, pp. 195-212, 2015
Authors: Dutta, Soma | Skowron, Andrzej
Article Type: Research Article
Abstract: Looking back to Prof. Zadeh’s paradigm of Computing with Words (CWW) [28, 29, 30], one can notice that the initial attempt of such an endeavour was to set up a basic vocabulary of linguistic words, and fix their semantics based on fuzzy sets. Then a grammar was proposed to generate compound linguistic expressions based on the primitive ones, and simultaneously based on the semantic interpretations of those basic linguistic expressions a general scheme for the semantics of the rest of linguistic expressions were proposed. Sentences involving linguistic quantifiers and vague predicates constitute a fragment of natural language. In this paper, …we choose this fragment of the natural language, and explore the semantics from the perspective of rough sets [13, 14, 16, 17, 18, 21]. We fix a set of basic crisp quantifiers, mainly of proportional kind. A set of vague quantifiers are proposed to lie in a close vicinity of those crisp quantifiers in the sense that a particular vague quantifier can be visualized as a blurred, may be called rough, image of a set of crisp quantifiers. Semantics of the rest of the vague quantifiers can be obtained based on the subjective perception of the interrelations among the (vague) quantifiers. Show more
Keywords: Linguistic quantifiers, Rough set, Similarity relation, Rough membership function
DOI: 10.3233/FI-2015-1292
Citation: Fundamenta Informaticae, vol. 142, no. 1-4, pp. 213-236, 2015
Authors: Maji, Pradipta | Roy, Shaswati
Article Type: Research Article
Abstract: One of the important problems in medical diagnosis is the segmentation and detection of brain tumor in MR images. The accurate estimation of brain tumor size is important for treatment planning and therapy evaluation. In this regard, this paper presents a new method, termed as SoBT-RFW, for segmentation of brain tumor from MR images. It integrates judiciously the merits of rough-fuzzy computing and multiresolution image analysis technique. The proposed method starts with a simple skull stripping algorithm to remove non-cerebral tissues such as skull, scalp, and dura from brain MR images. To extract the scale-space feature vector for each pixel …of brain region, the dyadic wavelet analysis is used, while an unsupervised feature selection method, based on maximum relevance-maximum significance criterion, is used to select relevant and significant textural features for brain tumor segmentation. To address the uncertainty problem of brain MR image segmentation, the proposed SoBT-RFW method uses the robust rough-fuzzy c -means algorithm. After the segmentation process, asymmetricity is analyzed by using the Zernike moments of each of the tissues segmented in the brain to identify the tumor. Finally, the location of the tumor is searched by a region growing algorithm based on the concept of rough sets. The performance of the proposed SoBT-RFW method, along with a comparison with related approaches, is demonstrated on a set of synthetic and real brain MR images using standard validity indices. Show more
Keywords: Brain tumor detection, segmentation, clustering, fuzzy set, rough sets, wavelets
DOI: 10.3233/FI-2015-1293
Citation: Fundamenta Informaticae, vol. 142, no. 1-4, pp. 237-267, 2015
Authors: Polkowski, Lech | Semeniuk-Polkowska, Maria
Article Type: Research Article
Abstract: The title of this note announces an attempt at pointing to particular points where rough set and fuzzy set approaches to decision making are close to each other, the closeness meaning that formal approaches to behaviour of the two at those points can be given in an analogous form. This by no means implies that the two can be unified as theories dealing with uncertainty. As the notion of truth for rough set decision rules is well established, we propose a notion of truth for fuzzy decision rules and we seek an analogy between the two. In order to introduce …an analogous form of graded notion of truth for decision rules in both theories, we introduce a new context in which to set this notion. This context is based on our earlier results concerning rough mereological granular logics and their relevance for rough decision rules. To make our exposition satisfactorily complete, we recall our approach to granularity based on rough mereology. This note is partitioned into two parts. In Prologue, four sections present basic ideas on vagueness and ambiguity, rough sets, fuzzy sets and mereology along with rough mereology. Here also notions of truth for rough and fuzzy decision rules are presented. In Episode, main protagonists enter an analysis aimed at pointing to further close analogies between them, notably concerning notions of partial truth and dependency among attributes. To this end in four sections on similarity, granulation of knowledge, granular logics and dependencies, we give basic information on similarity, granulation and dependency and we point to analogies between the two theories with respect to those notions. We sum up the content of the note in Conclusions. Show more
DOI: 10.3233/FI-2015-1294
Citation: Fundamenta Informaticae, vol. 142, no. 1-4, pp. 269-284, 2015
Authors: Cai, Mingjie | Li, Qingguo
Article Type: Research Article
Abstract: The notion of homomorphism, as an important tool for studying the relationship between information systems, has attracted a great deal of attention in recent years, and the authors tend to pay their attention to static information systems in the existing studies. In the present paper, we aim to study homomorphisms between fuzzy relation information systems (FRISs) in dynamic environments, where the terminology of dynamic refers to the fact that the involved information systems need to be updated with time due to the inflow of new information. To be more specific, we firstly examine properties of consistent functions with respect to …fuzzy relations and construct homomorphisms between FRISs. Then, we develop incremental mechanisms of computing homomorphisms between dynamic FRISs and illustrate how to construct relation reducts of dynamic FRISs using homomorphisms. Lastly, the experimental results are employed to demonstrate that compressing dynamic FRISs can be simplified significantly with the proposed algorithms. Show more
Keywords: Rough set, Consistent function, Fuzzy relation information system, Homomorphism
DOI: 10.3233/FI-2015-1295
Citation: Fundamenta Informaticae, vol. 142, no. 1-4, pp. 285-306, 2015
Authors: Li, Mei-Zheng | Wang, Guo-Yin
Article Type: Research Article
Abstract: Knowledge reduction is a basic issue in knowledge representation and data mining. Although various methods have been developed to reduce the size of classical formal contexts, the reduction of formal fuzzy contexts based on fuzzy lattices remains a difficult problem owing to its complicated derivation operators. To address this problem, this paper proposes a method of knowledge reduction by reducing attributes in a formal fuzzy context based on the crisply generated fuzzy concept lattice. Employing the proposed approach, attributes which are non-essential to the structure of the crisply generated fuzzy concept lattice are removed. Discernibility matrix and Boolean function are …employed to compute the attribute reducts of the formal fuzzy contexts, by which all the attribute reducts of the formal fuzzy contexts are determined without changing the structure of the lattice. Further, all the attributes are classified into three types by their significance in constructing the crisply generated fuzzy concept lattice. The characteristics of these types of attributes are also analyzed. Finally, the proposed method is used to conduct knowledge reduction in the variable threshold concept lattices, which is a complement to the existing knowledge reduction methods. Show more
Keywords: Concept lattices, Discernibility matrix, Formal fuzzy contexts, Knowledge reduction, Attribute characteristics
DOI: 10.3233/FI-2015-1296
Citation: Fundamenta Informaticae, vol. 142, no. 1-4, pp. 307-335, 2015
Authors: Wen, Liu-Ying | Min, Fan
Article Type: Research Article
Abstract: Symbolic value partitioning is a knowledge reduction technique in the field of data mining. In this paper, we propose a granular computing approach for the partitioning task that includes granule construction and granule selection algorithms. The granule construction algorithm takes advantage of local information associated with each attribute. A binary attribute value taxonomy tree is built to merge these attribute values in a bottom-up manner using information-loss heuristics. The use of a balancing technique enables us to control different nodes in the same level to have approximately the same size. The granule selection algorithm uses global information about all of …the attributes in the decision system. Hence, nodes across the taxonomy forest of all attributes are selected and expanded using information-gain heuristics. We present a series of experimental results that demonstrate the effectiveness of the proposed approach in terms of reducing the data size and improving the resulting classification accuracy. Show more
Keywords: Attribute taxonomy tree, granular computing, information entropy, symbolic value partition
DOI: 10.3233/FI-2015-1297
Citation: Fundamenta Informaticae, vol. 142, no. 1-4, pp. 337-371, 2015
Authors: Yu, Jianhang | Xu, Weihua
Article Type: Research Article
Abstract: Rough set theory has been successfully used in formation system for classification analysis and knowledge discovery. The upper and lower approximations are fundamental concepts of this theory. The new information arrives continuously and redundant information may be produced with the time in real-world application. So, then incremental learning is an efficient technique for knowledge discovery in a dynamic database, which enables acquiring additional knowledge from new data without forgetting prior knowledge, which need to be updated incrementally while the object set get varies over time in the interval-valued ordered information system. In this paper, we analyzed the updating mechanisms for …computing approximations with the variation of the object set. Two incremental algorithms respectively for adding and deleting objects with updating the approximations are proposed in interval-valued ordered information system. Furthermore, extensive experiments are carried out on six UCI data sets to verify the performance of these proposed algorithms. And the experiments results indicate the incremental approaches significantly outperform non-incremental approaches with a dramatic reduction in the computational time. Show more
Keywords: Approximations, Dynamic database, Incremental learning, Interval-valued ordered information system
DOI: 10.3233/FI-2015-1298
Citation: Fundamenta Informaticae, vol. 142, no. 1-4, pp. 373-397, 2015
Article Type: Other
Citation: Fundamenta Informaticae, vol. 142, no. 1-4, pp. 399-400, 2015
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
USA
Tel: +1 703 830 6300
Fax: +1 703 830 2300
sales@iospress.com
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
IOS Press
Nieuwe Hemweg 6B
1013 BG Amsterdam
The Netherlands
Tel: +31 20 688 3355
Fax: +31 20 687 0091
info@iospress.nl
For editorial issues, permissions, book requests, submissions and proceedings, contact the Amsterdam office info@iospress.nl
Inspirees International (China Office)
Ciyunsi Beili 207(CapitaLand), Bld 1, 7-901
100025, Beijing
China
Free service line: 400 661 8717
Fax: +86 10 8446 7947
china@iospress.cn
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
如果您在出版方面需要帮助或有任何建, 件至: editorial@iospress.nl