Index. C, system, 8 Cech distance, 549

Size: px
Start display at page:

Download "Index. C, system, 8 Cech distance, 549"

Transcription

1 Index PF(A), 391 α-lower approximation, 340 α-lower bound, 339 α-reduct, 109 α-upper approximation, 340 α-upper bound, 339 δ-neighborhood consistent, 291 ε-approach nearness, 558 C, system, 8 Cech distance, 549 abstract DIS-algebra, 389 IS-algebra, 394 NIS-algebra, 398 accuracy of approximation, 83 acyclic refinement, 347 affinity separation technique, 417 algorithm, approach distance, 546 approach space, 549 approximation concept, 85 lower, 336 set, 80 upper, 336 approximation space, 90, 439, 442, 443, 459 generalized, 91 approximations, , 239, 241 association rule irreducible, 127 attribute, 80 condition, 83 in i.s.r. systems, 180 reduction, 183, 230, 294 selection, 110 significance, 111 Bayesian confirmation measure, 192 bisimulation, 531 bisimulation-based approximation, 540 Boolean reasoning, 87, 107 approximate, 131 boundary of X, 440 region, 80, 445 characteristic relation, 231 characterization, 608 class, 570 classification, 186, 202, 277 clustering function, 117 common attributes, 587, 591 complete, 559 composite property, 344 concept approximation, 85 exact in mereological model, 571 vague, 78 condition atttribute, 83 conflict, 138 conjunction function, 313 consecutive 1s property, 181 consistency assumption, 278 context inducing, 145

2 646 Index core, 86, 190 covering, 454, 459 covering-based rough sets, 438, , 459 criterion, 186, 206 cut, 112 on attribute, 137 data mining, 617 attribute, 83 class, 84 generalized, 84 rule, 84, 190, 206, 213 coverage, 214 irredundant, 213 length, 214 minimal, 121 true, 84 truth degree, 84 rule reduction, 435 system, 83 consistent, 84 inconsistent, 84 table, 83, 213 degenerated, 213 separable subtable, 213 deoxyribonucleic acid, 411 dependency of attributes, 85 description of a point, 547 deterministic information system, 382 deterministic information system algebra, 387 differentiation, 606 digraph, 424 discernibility function, 106, 132 decision relative, 108 matrix, 106, 133 decision relative, 108 relation, 87 discretization, 88, 113 of large data sets, 136 distance, 548 DNA molecular technique, 413 rough-set computing, 418 dominance, 188, 206 -based rough set approach, 186 cone, 188 relation, Dow Jones Industrial Average, 501 DRSA, 186 dynamic programming approach, 215 E-approximation lower, 573 upper, 573 Ehrenfeucht and Pawlak seminar, 176 Ehrenfeucht, Andrzej, 176 elementary property, 338 encoding process, 424 equivalence relation, 230, 335 error approximation, 110 evaluation function of an i.s.r., 180 exclusive rule, 612 extension of approximation space, 98 external relation, 586 feature selection, 294 filter prime, 391 focusing mechanism, 608 framework, 446, 452 gaze tracking system, 479 gel electrophoresis technique, 418 graded ill-known set, 313 granular computing, 142 interactive rough, 145 granular concept, 587 description language, 592 hierarchy, 590 GCH, 587 hierarchy construction, 594 granule, 143 information, 143 of knowledge, 188 greatest definable subset, 183 hard coding the environment, 250 heterogeneous Euclidean-overlap metric function (HEOM), 281 higher order rule, 600 hydrogen bond, 412 i.s.r. systems, 179 ICHD-II

3 Index 647 International Classification of Headache ver 2.0, 606 IHD International Headache Society, 606 ill-known set, 311 implicant, 87 approximate, 88 prime, 87 implication function, 313 residual, 575 inclusion function, 91 inclusion property kernel, 347 inclusive rule, 614 incomplete information system, 383 indicator function, 250 indiscernibility relation, 80, 183, 263, 439, 440, 459 information granulation, 143 storage and retrieval systems, 175 system, 80, 181, 383 ingredient, 570 internal relation, 586 invariants, 249 inverted file, 180 jmaf, 185, 193 kernel functions, 493 Kleene connectives, knowledge approximation algebra, 385 knowledge discovery, , 246 least definable superset, 183 LERS data mining system, 267 level-wise attribute selection, 595 linear separability, 492 Lipski, Witold, 178 lower approximation, 80, 188, 189, 206, 312, 313, 336, 445 lower approximation of a set X, 442 lower distance, 549 mapping lower-semi-continuous, 580 upper-semi-continuous, 580 measure of similarity Jaccard-Needham, 375 median of a decision class, 137 medical diagnosis, 606 minimum description length, 183 principle, 83 MIR, 463, 464, 466 mixed approximation, 346 MLEM2 rule induction algorithm, 267 model mereological for rough sets, 571 rough mereological for rough sets, 574 MPEG 7, 464, 466 multi-classification, v-1, 495 multiple criteria sorting, 186, 205 music genre classification, 476 music information retrieval MIR, 463 music recommendation, 465, 468 music social networking systems, 467 NEAR system, 551 nearness, 547 necessity measure, 321 negative region, 445 rule, 612 neighborhood, 281 entropy, 289 mutual information, 290 rough sets, 280 neighbourhood of points, 552 nitrogen-containing base, 411 non-deterministic information system, 383 non-deterministic information system algebra, 395 non-linear transformation, 492 NP-hard problem, 410, 435 ontology approximation, 103 ordinal classification with monotonicity constraints, 186, 205 overlap, 570 parameterized approximations, 264 part, 570 partial order, 335 Pawlak and physicians, 178 approximations, 263

4 648 Index machine, 3 Zdzisław Ignacy, 2 Pawlak s approximation quality, 253 rough sets, 440, 442, 459 perception based computing, 151 perceptional vector analysis, 250 Polish school of Artificial Intelligence, 2 positive region, 445 region of X, 440 rule, 611 possibility distribution, 313 measure, 321 precision, 265 preference, 186, 187, 205, 206 prime filter, 391 implicant, 87 probabilistic approximations, 264 rule, 611 probe function, 550 process mining, 149 property of the n-ary relation, 338 property-driven approximation space, 338 pseudo-random number generator, 5 quadtrees, 257 quality approximation space, 98 concept approximation, 98 decision rule, 85 of approximation, 189 recall, 265 recursive granulations, 594 reduct, 86, 106, 190 -α, 109 approximate, 110 decision relative, 107 minimal, 133 region boundary, 80, 264 negative, 264 positive, 85, 264 region-of-interest, 546 neighbourhood, 546 relation discernibility, 87 indiscernibility, 80 relational roughification, 523 RHINOS, 607, 618 rough approximation quality, 253 inclusion, 574 membership function, 88 mereology, 92 patterns, 500 real functions, 500 representation of ill-known set, 319 set, 82, 206 based classifiers, 94 based logics, 139 theory, 3, 229 sets, 175, 439, 440, 448, 460 support vector clustering, 507 machines, 492 rule boundary, 265 certain, 267 extraction, 298 induction, 614 positive, 265 possible, 265 sample selection, 291 saturated sequent, scalability, 131 semantics of a granular concept, 592 set approximation, 80 crisp, 81 rough, 82 set-valued information system, similarity relation, 91, 230 similarity-based roughification, 520 social choice functions, 364 subordination relation, 439, 441, 443, 445, 448, 459 C, 444 sufficiently near, 559 supervaluationism, 626 support vector machines, 492

5 Index 649 clustering, 507 regression, 500 symbolic value grouping, 88, 117 symmetric kernel, 351 syntax of a granular concept, 592 system information, 80 t norm Łukasiewicz, 575 Archimedean, 575 minimum, 575 product, 575 terminological roughification, 533 the first mathematical model of Crick and Watson s DNA encoding, 3 the Pawlak approach to conflict analysis, 3 three-valued Kleene connectives, 439 logic, 438, 440, 443, 445, 459 non-deterministic matrix, 440 threshold, 553 tolerance relation, 91, 230 transitive closure, 336 translations, 252 uncertainty function, 91 upper approximation, 80, 188, 189, 206, 312, 313, 336, 445 of a set X, 442 vague concept, 78 vagueness, 79, 624 higher order, 101 value set reduction, 112 variable consistency, 186, 193 visual neighbourhood, 553 perception, 249 voting procedure, 364 amendment, 364 approval, 365 Black, 365 Borda, 364 Coombs, 365 Copeland, 364 Dodgson, 364 Hare, 365 max-min, 364 Nanson, 365 plurality, 364 runoff, 365 voting procedures agreement between, 374 comparison criteria, 365 distance between, 374 wisdom technology (Wistech), 154

Andrzej Skowron, Zbigniew Suraj (Eds.) To the Memory of Professor Zdzisław Pawlak

Andrzej Skowron, Zbigniew Suraj (Eds.) To the Memory of Professor Zdzisław Pawlak Andrzej Skowron, Zbigniew Suraj (Eds.) ROUGH SETS AND INTELLIGENT SYSTEMS To the Memory of Professor Zdzisław Pawlak Vol. 1 SPIN Springer s internal project number, if known Springer Berlin Heidelberg

More information

Banacha Warszawa Poland s:

Banacha Warszawa Poland  s: Chapter 12 Rough Sets and Rough Logic: A KDD Perspective Zdzis law Pawlak 1, Lech Polkowski 2, and Andrzej Skowron 3 1 Institute of Theoretical and Applied Informatics Polish Academy of Sciences Ba ltycka

More information

Rough Sets and Conflict Analysis

Rough Sets and Conflict Analysis Rough Sets and Conflict Analysis Zdzis law Pawlak and Andrzej Skowron 1 Institute of Mathematics, Warsaw University Banacha 2, 02-097 Warsaw, Poland skowron@mimuw.edu.pl Commemorating the life and work

More information

Classification Based on Logical Concept Analysis

Classification Based on Logical Concept Analysis Classification Based on Logical Concept Analysis Yan Zhao and Yiyu Yao Department of Computer Science, University of Regina, Regina, Saskatchewan, Canada S4S 0A2 E-mail: {yanzhao, yyao}@cs.uregina.ca Abstract.

More information

A new Approach to Drawing Conclusions from Data A Rough Set Perspective

A new Approach to Drawing Conclusions from Data A Rough Set Perspective Motto: Let the data speak for themselves R.A. Fisher A new Approach to Drawing Conclusions from Data A Rough et Perspective Zdzisław Pawlak Institute for Theoretical and Applied Informatics Polish Academy

More information

Drawing Conclusions from Data The Rough Set Way

Drawing Conclusions from Data The Rough Set Way Drawing Conclusions from Data The Rough et Way Zdzisław Pawlak Institute of Theoretical and Applied Informatics, Polish Academy of ciences, ul Bałtycka 5, 44 000 Gliwice, Poland In the rough set theory

More information

A PRIMER ON ROUGH SETS:

A PRIMER ON ROUGH SETS: A PRIMER ON ROUGH SETS: A NEW APPROACH TO DRAWING CONCLUSIONS FROM DATA Zdzisław Pawlak ABSTRACT Rough set theory is a new mathematical approach to vague and uncertain data analysis. This Article explains

More information

ARPN Journal of Science and Technology All rights reserved.

ARPN Journal of Science and Technology All rights reserved. Rule Induction Based On Boundary Region Partition Reduction with Stards Comparisons Du Weifeng Min Xiao School of Mathematics Physics Information Engineering Jiaxing University Jiaxing 34 China ABSTRACT

More information

Index. Cambridge University Press Relational Knowledge Discovery M E Müller. Index. More information

Index. Cambridge University Press Relational Knowledge Discovery M E Müller. Index. More information s/r. See quotient, 93 R, 122 [x] R. See class, equivalence [[P Q]]s, 142 =, 173, 164 A α, 162, 178, 179 =, 163, 193 σ RES, 166, 22, 174 Ɣ, 178, 179, 175, 176, 179 i, 191, 172, 21, 26, 29 χ R. See rough

More information

Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations

Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations Nicola Fanizzi 1, Claudia d Amato 1, Floriana Esposito 1, and Thomas Lukasiewicz 2,3 1 LACAM Dipartimento

More information

A Generalized Decision Logic in Interval-set-valued Information Tables

A Generalized Decision Logic in Interval-set-valued Information Tables A Generalized Decision Logic in Interval-set-valued Information Tables Y.Y. Yao 1 and Qing Liu 2 1 Department of Computer Science, University of Regina Regina, Saskatchewan, Canada S4S 0A2 E-mail: yyao@cs.uregina.ca

More information

APPLICATION FOR LOGICAL EXPRESSION PROCESSING

APPLICATION FOR LOGICAL EXPRESSION PROCESSING APPLICATION FOR LOGICAL EXPRESSION PROCESSING Marcin Michalak, Michał Dubiel, Jolanta Urbanek Institute of Informatics, Silesian University of Technology, Gliwice, Poland Marcin.Michalak@polsl.pl ABSTRACT

More information

Rough Set Model Selection for Practical Decision Making

Rough Set Model Selection for Practical Decision Making Rough Set Model Selection for Practical Decision Making Joseph P. Herbert JingTao Yao Department of Computer Science University of Regina Regina, Saskatchewan, Canada, S4S 0A2 {herbertj, jtyao}@cs.uregina.ca

More information

Mathematical Approach to Vagueness

Mathematical Approach to Vagueness International Mathematical Forum, 2, 2007, no. 33, 1617-1623 Mathematical Approach to Vagueness Angel Garrido Departamento de Matematicas Fundamentales Facultad de Ciencias de la UNED Senda del Rey, 9,

More information

A Rough Set Interpretation of User s Web Behavior: A Comparison with Information Theoretic Measure

A Rough Set Interpretation of User s Web Behavior: A Comparison with Information Theoretic Measure A Rough et Interpretation of User s Web Behavior: A Comparison with Information Theoretic easure George V. eghabghab Roane tate Dept of Computer cience Technology Oak Ridge, TN, 37830 gmeghab@hotmail.com

More information

Handbook of Logic and Proof Techniques for Computer Science

Handbook of Logic and Proof Techniques for Computer Science Steven G. Krantz Handbook of Logic and Proof Techniques for Computer Science With 16 Figures BIRKHAUSER SPRINGER BOSTON * NEW YORK Preface xvii 1 Notation and First-Order Logic 1 1.1 The Use of Connectives

More information

Similarity-based Classification with Dominance-based Decision Rules

Similarity-based Classification with Dominance-based Decision Rules Similarity-based Classification with Dominance-based Decision Rules Marcin Szeląg, Salvatore Greco 2,3, Roman Słowiński,4 Institute of Computing Science, Poznań University of Technology, 60-965 Poznań,

More information

Research Article Special Approach to Near Set Theory

Research Article Special Approach to Near Set Theory Mathematical Problems in Engineering Volume 2011, Article ID 168501, 10 pages doi:10.1155/2011/168501 Research Article Special Approach to Near Set Theory M. E. Abd El-Monsef, 1 H. M. Abu-Donia, 2 and

More information

Interpreting Low and High Order Rules: A Granular Computing Approach

Interpreting Low and High Order Rules: A Granular Computing Approach Interpreting Low and High Order Rules: A Granular Computing Approach Yiyu Yao, Bing Zhou and Yaohua Chen Department of Computer Science, University of Regina Regina, Saskatchewan, Canada S4S 0A2 E-mail:

More information

Characterizing Pawlak s Approximation Operators

Characterizing Pawlak s Approximation Operators Characterizing Pawlak s Approximation Operators Victor W. Marek Department of Computer Science University of Kentucky Lexington, KY 40506-0046, USA To the memory of Zdzisław Pawlak, in recognition of his

More information

ROUGH set methodology has been witnessed great success

ROUGH set methodology has been witnessed great success IEEE TRANSACTIONS ON FUZZY SYSTEMS, VOL. 14, NO. 2, APRIL 2006 191 Fuzzy Probabilistic Approximation Spaces and Their Information Measures Qinghua Hu, Daren Yu, Zongxia Xie, and Jinfu Liu Abstract Rough

More information

An algorithm for induction of decision rules consistent with the dominance principle

An algorithm for induction of decision rules consistent with the dominance principle An algorithm for induction of decision rules consistent with the dominance principle Salvatore Greco 1, Benedetto Matarazzo 1, Roman Slowinski 2, Jerzy Stefanowski 2 1 Faculty of Economics, University

More information

Fuzzy Systems. Introduction

Fuzzy Systems. Introduction Fuzzy Systems Introduction Prof. Dr. Rudolf Kruse Christian Moewes {kruse,cmoewes}@iws.cs.uni-magdeburg.de Otto-von-Guericke University of Magdeburg Faculty of Computer Science Department of Knowledge

More information

A Logical Formulation of the Granular Data Model

A Logical Formulation of the Granular Data Model 2008 IEEE International Conference on Data Mining Workshops A Logical Formulation of the Granular Data Model Tuan-Fang Fan Department of Computer Science and Information Engineering National Penghu University

More information

Propositional Logic: Models and Proofs

Propositional Logic: Models and Proofs Propositional Logic: Models and Proofs C. R. Ramakrishnan CSE 505 1 Syntax 2 Model Theory 3 Proof Theory and Resolution Compiled at 11:51 on 2016/11/02 Computing with Logic Propositional Logic CSE 505

More information

Approximate Boolean Reasoning: Foundations and Applications in Data Mining

Approximate Boolean Reasoning: Foundations and Applications in Data Mining Approximate Boolean Reasoning: Foundations and Applications in Data Mining Hung Son Nguyen Institute of Mathematics, Warsaw University Banacha 2, 02-097 Warsaw, Poland son@mimuw.edu.pl Table of Contents

More information

Fuzzy Systems. Introduction

Fuzzy Systems. Introduction Fuzzy Systems Introduction Prof. Dr. Rudolf Kruse Christoph Doell {kruse,doell}@iws.cs.uni-magdeburg.de Otto-von-Guericke University of Magdeburg Faculty of Computer Science Department of Knowledge Processing

More information

CS6375: Machine Learning Gautam Kunapuli. Decision Trees

CS6375: Machine Learning Gautam Kunapuli. Decision Trees Gautam Kunapuli Example: Restaurant Recommendation Example: Develop a model to recommend restaurants to users depending on their past dining experiences. Here, the features are cost (x ) and the user s

More information

Fuzzy and Rough Sets Part I

Fuzzy and Rough Sets Part I Fuzzy and Rough Sets Part I Decision Systems Group Brigham and Women s Hospital, Harvard Medical School Harvard-MIT Division of Health Sciences and Technology Aim Present aspects of fuzzy and rough sets.

More information

Uncertainty and Rules

Uncertainty and Rules Uncertainty and Rules We have already seen that expert systems can operate within the realm of uncertainty. There are several sources of uncertainty in rules: Uncertainty related to individual rules Uncertainty

More information

REDUCTS AND ROUGH SET ANALYSIS

REDUCTS AND ROUGH SET ANALYSIS REDUCTS AND ROUGH SET ANALYSIS A THESIS SUBMITTED TO THE FACULTY OF GRADUATE STUDIES AND RESEARCH IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE IN COMPUTER SCIENCE UNIVERSITY

More information

Introduction to Kleene Algebras

Introduction to Kleene Algebras Introduction to Kleene Algebras Riccardo Pucella Basic Notions Seminar December 1, 2005 Introduction to Kleene Algebras p.1 Idempotent Semirings An idempotent semiring is a structure S = (S, +,, 1, 0)

More information

Data Analysis - the Rough Sets Perspective

Data Analysis - the Rough Sets Perspective Data Analysis - the Rough ets Perspective Zdzisław Pawlak Institute of Computer cience Warsaw University of Technology 00-665 Warsaw, Nowowiejska 15/19 Abstract: Rough set theory is a new mathematical

More information

Comparison of Rough-set and Interval-set Models for Uncertain Reasoning

Comparison of Rough-set and Interval-set Models for Uncertain Reasoning Yao, Y.Y. and Li, X. Comparison of rough-set and interval-set models for uncertain reasoning Fundamenta Informaticae, Vol. 27, No. 2-3, pp. 289-298, 1996. Comparison of Rough-set and Interval-set Models

More information

On Rough Set Modelling for Data Mining

On Rough Set Modelling for Data Mining On Rough Set Modelling for Data Mining V S Jeyalakshmi, Centre for Information Technology and Engineering, M. S. University, Abhisekapatti. Email: vsjeyalakshmi@yahoo.com G Ariprasad 2, Fatima Michael

More information

Foundations of Classification

Foundations of Classification Foundations of Classification J. T. Yao Y. Y. Yao and Y. Zhao Department of Computer Science, University of Regina Regina, Saskatchewan, Canada S4S 0A2 {jtyao, yyao, yanzhao}@cs.uregina.ca Summary. Classification

More information

ROUGH SETS THEORY AND DATA REDUCTION IN INFORMATION SYSTEMS AND DATA MINING

ROUGH SETS THEORY AND DATA REDUCTION IN INFORMATION SYSTEMS AND DATA MINING ROUGH SETS THEORY AND DATA REDUCTION IN INFORMATION SYSTEMS AND DATA MINING Mofreh Hogo, Miroslav Šnorek CTU in Prague, Departement Of Computer Sciences And Engineering Karlovo Náměstí 13, 121 35 Prague

More information

Clustering. CSL465/603 - Fall 2016 Narayanan C Krishnan

Clustering. CSL465/603 - Fall 2016 Narayanan C Krishnan Clustering CSL465/603 - Fall 2016 Narayanan C Krishnan ckn@iitrpr.ac.in Supervised vs Unsupervised Learning Supervised learning Given x ", y " "%& ', learn a function f: X Y Categorical output classification

More information

EEL 851: Biometrics. An Overview of Statistical Pattern Recognition EEL 851 1

EEL 851: Biometrics. An Overview of Statistical Pattern Recognition EEL 851 1 EEL 851: Biometrics An Overview of Statistical Pattern Recognition EEL 851 1 Outline Introduction Pattern Feature Noise Example Problem Analysis Segmentation Feature Extraction Classification Design Cycle

More information

Naive Bayesian Rough Sets

Naive Bayesian Rough Sets Naive Bayesian Rough Sets Yiyu Yao and Bing Zhou Department of Computer Science, University of Regina Regina, Saskatchewan, Canada S4S 0A2 {yyao,zhou200b}@cs.uregina.ca Abstract. A naive Bayesian classifier

More information

Applied Logic. Lecture 3 part 1 - Fuzzy logic. Marcin Szczuka. Institute of Informatics, The University of Warsaw

Applied Logic. Lecture 3 part 1 - Fuzzy logic. Marcin Szczuka. Institute of Informatics, The University of Warsaw Applied Logic Lecture 3 part 1 - Fuzzy logic Marcin Szczuka Institute of Informatics, The University of Warsaw Monographic lecture, Spring semester 2017/2018 Marcin Szczuka (MIMUW) Applied Logic 2018 1

More information

Computational Intelligence, Volume, Number, VAGUENES AND UNCERTAINTY: A ROUGH SET PERSPECTIVE. Zdzislaw Pawlak

Computational Intelligence, Volume, Number, VAGUENES AND UNCERTAINTY: A ROUGH SET PERSPECTIVE. Zdzislaw Pawlak Computational Intelligence, Volume, Number, VAGUENES AND UNCERTAINTY: A ROUGH SET PERSPECTIVE Zdzislaw Pawlak Institute of Computer Science, Warsaw Technical University, ul. Nowowiejska 15/19,00 665 Warsaw,

More information

Decision Tree Learning

Decision Tree Learning Decision Tree Learning Berlin Chen Department of Computer Science & Information Engineering National Taiwan Normal University References: 1. Machine Learning, Chapter 3 2. Data Mining: Concepts, Models,

More information

Leveraging Data Relationships to Resolve Conflicts from Disparate Data Sources. Romila Pradhan, Walid G. Aref, Sunil Prabhakar

Leveraging Data Relationships to Resolve Conflicts from Disparate Data Sources. Romila Pradhan, Walid G. Aref, Sunil Prabhakar Leveraging Data Relationships to Resolve Conflicts from Disparate Data Sources Romila Pradhan, Walid G. Aref, Sunil Prabhakar Fusing data from multiple sources Data Item S 1 S 2 S 3 S 4 S 5 Basera 745

More information

A Zadeh-Norm Fuzzy Description Logic for Handling Uncertainty: Reasoning Algorithms and the Reasoning System

A Zadeh-Norm Fuzzy Description Logic for Handling Uncertainty: Reasoning Algorithms and the Reasoning System 1 / 31 A Zadeh-Norm Fuzzy Description Logic for Handling Uncertainty: Reasoning Algorithms and the Reasoning System Judy Zhao 1, Harold Boley 2, Weichang Du 1 1. Faculty of Computer Science, University

More information

Continuous Ordinal Clustering: A Mystery Story 1

Continuous Ordinal Clustering: A Mystery Story 1 Continuous Ordinal Clustering: A Mystery Story 1 Melvin F. Janowitz Abstract Cluster analysis may be considered as an aid to decision theory because of its ability to group the various alternatives. There

More information

Modern Information Retrieval

Modern Information Retrieval Modern Information Retrieval Chapter 3 Modeling Introduction to IR Models Basic Concepts The Boolean Model Term Weighting The Vector Model Probabilistic Model Retrieval Evaluation, Modern Information Retrieval,

More information

MATHEMATICS OF DATA FUSION

MATHEMATICS OF DATA FUSION MATHEMATICS OF DATA FUSION by I. R. GOODMAN NCCOSC RDTE DTV, San Diego, California, U.S.A. RONALD P. S. MAHLER Lockheed Martin Tactical Defences Systems, Saint Paul, Minnesota, U.S.A. and HUNG T. NGUYEN

More information

Semantics and Inference for Probabilistic Ontologies

Semantics and Inference for Probabilistic Ontologies Semantics and Inference for Probabilistic Ontologies Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese ENDIF University of Ferrara, Italy, email: {fabrizio.riguzzi, elena.bellodi, evelina.lamma}@unife.it,

More information

1 Introduction Rough sets theory has been developed since Pawlak's seminal work [6] (see also [7]) as a tool enabling to classify objects which are on

1 Introduction Rough sets theory has been developed since Pawlak's seminal work [6] (see also [7]) as a tool enabling to classify objects which are on On the extension of rough sets under incomplete information Jerzy Stefanowski 1 and Alexis Tsouki as 2 1 Institute of Computing Science, Poznań University oftechnology, 3A Piotrowo, 60-965 Poznań, Poland,

More information

UPPER AND LOWER SET FORMULAS: RESTRICTION AND MODIFICATION OF THE DEMPSTER-PAWLAK FORMALISM

UPPER AND LOWER SET FORMULAS: RESTRICTION AND MODIFICATION OF THE DEMPSTER-PAWLAK FORMALISM Int. J. Appl. Math. Comput. Sci., 2002, Vol.12, No.3, 359 369 UPPER AND LOWER SET FORMULAS: RESTRICTION AND MODIFICATION OF THE DEMPSTER-PAWLAK FORMALISM ISMAIL BURHAN TÜRKŞEN Knowledge/Intelligence Systems

More information

Artificial Intelligence Programming Probability

Artificial Intelligence Programming Probability Artificial Intelligence Programming Probability Chris Brooks Department of Computer Science University of San Francisco Department of Computer Science University of San Francisco p.1/?? 13-0: Uncertainty

More information

A Crisp Representation for Fuzzy SHOIN with Fuzzy Nominals and General Concept Inclusions

A Crisp Representation for Fuzzy SHOIN with Fuzzy Nominals and General Concept Inclusions A Crisp Representation for Fuzzy SHOIN with Fuzzy Nominals and General Concept Inclusions Fernando Bobillo Miguel Delgado Juan Gómez-Romero Department of Computer Science and Artificial Intelligence University

More information

On (Weighted) k-order Fuzzy Connectives

On (Weighted) k-order Fuzzy Connectives Author manuscript, published in "IEEE Int. Conf. on Fuzzy Systems, Spain 2010" On Weighted -Order Fuzzy Connectives Hoel Le Capitaine and Carl Frélicot Mathematics, Image and Applications MIA Université

More information

Multi-period medical diagnosis method using a single valued. neutrosophic similarity measure based on tangent function

Multi-period medical diagnosis method using a single valued. neutrosophic similarity measure based on tangent function *Manuscript Click here to view linked References 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 Multi-period medical diagnosis method using a single valued neutrosophic similarity measure based on tangent function

More information

Induction of Decision Trees

Induction of Decision Trees Induction of Decision Trees Peter Waiganjo Wagacha This notes are for ICS320 Foundations of Learning and Adaptive Systems Institute of Computer Science University of Nairobi PO Box 30197, 00200 Nairobi.

More information

Role-depth Bounded Least Common Subsumers by Completion for EL- and Prob-EL-TBoxes

Role-depth Bounded Least Common Subsumers by Completion for EL- and Prob-EL-TBoxes Role-depth Bounded Least Common Subsumers by Completion for EL- and Prob-EL-TBoxes Rafael Peñaloza and Anni-Yasmin Turhan TU Dresden, Institute for Theoretical Computer Science Abstract. The least common

More information

22c:145 Artificial Intelligence

22c:145 Artificial Intelligence 22c:145 Artificial Intelligence Fall 2005 Propositional Logic Cesare Tinelli The University of Iowa Copyright 2001-05 Cesare Tinelli and Hantao Zhang. a a These notes are copyrighted material and may not

More information

Interval based Uncertain Reasoning using Fuzzy and Rough Sets

Interval based Uncertain Reasoning using Fuzzy and Rough Sets Interval based Uncertain Reasoning using Fuzzy and Rough Sets Y.Y. Yao Jian Wang Department of Computer Science Lakehead University Thunder Bay, Ontario Canada P7B 5E1 Abstract This paper examines two

More information

Discrete Math. Background Knowledge/Prior Skills Commutative and associative properties Solving systems of equations

Discrete Math. Background Knowledge/Prior Skills Commutative and associative properties Solving systems of equations Discrete Math Numbers and Operations Standard: Understands and applies concepts of numbers and operations. Power 1: Understands numbers, ways of representing numbers, relationships among numbers, and number

More information

Recurrent Neural Networks and Logic Programs

Recurrent Neural Networks and Logic Programs Recurrent Neural Networks and Logic Programs The Very Idea Propositional Logic Programs Propositional Logic Programs and Learning Propositional Logic Programs and Modalities First Order Logic Programs

More information

Approximate Boolean Reasoning Approach to Rough Sets and Data Mining

Approximate Boolean Reasoning Approach to Rough Sets and Data Mining Approximate Boolean Reasoning Approach to Rough Sets and Data Mining Hung Son Nguyen Institute of Mathematics, Warsaw University son@mimuw.edu.pl RSFDGrC, September 3, 2005 Hung Son Nguyen (UW) ABR approach

More information

Feature Selection with Fuzzy Decision Reducts

Feature Selection with Fuzzy Decision Reducts Feature Selection with Fuzzy Decision Reducts Chris Cornelis 1, Germán Hurtado Martín 1,2, Richard Jensen 3, and Dominik Ślȩzak4 1 Dept. of Mathematics and Computer Science, Ghent University, Gent, Belgium

More information

Where are we? Operations on fuzzy sets (cont.) Fuzzy Logic. Motivation. Crisp and fuzzy sets. Examples

Where are we? Operations on fuzzy sets (cont.) Fuzzy Logic. Motivation. Crisp and fuzzy sets. Examples Operations on fuzzy sets (cont.) G. J. Klir, B. Yuan, Fuzzy Sets and Fuzzy Logic: Theory and Applications, Prentice-Hall, chapters -5 Where are we? Motivation Crisp and fuzzy sets alpha-cuts, support,

More information

Sergey Shvydun NORMATIVE PROPERTIES OF MULTI-CRITERIA CHOICE PROCEDURES AND THEIR SUPERPOSITIONS: II

Sergey Shvydun NORMATIVE PROPERTIES OF MULTI-CRITERIA CHOICE PROCEDURES AND THEIR SUPERPOSITIONS: II Sergey Shvydun NORMATIVE PROPERTIES OF MULTI-CRITERIA CHOICE PROCEDURES AND THEIR SUPERPOSITIONS: II Working Paper WP7/2015/07 (Part 2) Series WP7 Mathematical methods for decision making in economics,

More information

ENTROPIES OF FUZZY INDISCERNIBILITY RELATION AND ITS OPERATIONS

ENTROPIES OF FUZZY INDISCERNIBILITY RELATION AND ITS OPERATIONS International Journal of Uncertainty Fuzziness and Knowledge-Based Systems World Scientific ublishing Company ENTOIES OF FUZZY INDISCENIBILITY ELATION AND ITS OEATIONS QINGUA U and DAEN YU arbin Institute

More information

On the Structure of Rough Approximations

On the Structure of Rough Approximations On the Structure of Rough Approximations (Extended Abstract) Jouni Järvinen Turku Centre for Computer Science (TUCS) Lemminkäisenkatu 14 A, FIN-20520 Turku, Finland jjarvine@cs.utu.fi Abstract. We study

More information

Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic

Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic Salem Benferhat CRIL-CNRS, Université d Artois rue Jean Souvraz 62307 Lens Cedex France benferhat@criluniv-artoisfr

More information

Dominance-based Rough Set Approach Data Analysis Framework. User s guide

Dominance-based Rough Set Approach Data Analysis Framework. User s guide Dominance-based Rough Set Approach Data Analysis Framework User s guide jmaf - Dominance-based Rough Set Data Analysis Framework http://www.cs.put.poznan.pl/jblaszczynski/site/jrs.html Jerzy Błaszczyński,

More information

More Model Theory Notes

More Model Theory Notes More Model Theory Notes Miscellaneous information, loosely organized. 1. Kinds of Models A countable homogeneous model M is one such that, for any partial elementary map f : A M with A M finite, and any

More information

Classification of Voice Signals through Mining Unique Episodes in Temporal Information Systems: A Rough Set Approach

Classification of Voice Signals through Mining Unique Episodes in Temporal Information Systems: A Rough Set Approach Classification of Voice Signals through Mining Unique Episodes in Temporal Information Systems: A Rough Set Approach Krzysztof Pancerz, Wies law Paja, Mariusz Wrzesień, and Jan Warcho l 1 University of

More information

A Randomized Approach for Crowdsourcing in the Presence of Multiple Views

A Randomized Approach for Crowdsourcing in the Presence of Multiple Views A Randomized Approach for Crowdsourcing in the Presence of Multiple Views Presenter: Yao Zhou joint work with: Jingrui He - 1 - Roadmap Motivation Proposed framework: M2VW Experimental results Conclusion

More information

Granularity, Multi-valued Logic, Bayes Theorem and Rough Sets

Granularity, Multi-valued Logic, Bayes Theorem and Rough Sets Granularity, Multi-valued Logic, Bayes Theorem and Rough Sets Zdzis law Pawlak Institute for Theoretical and Applied Informatics Polish Academy of Sciences ul. Ba ltycka 5, 44 000 Gliwice, Poland e-mail:zpw@ii.pw.edu.pl

More information

Rough Sets, Rough Relations and Rough Functions. Zdzislaw Pawlak. Warsaw University of Technology. ul. Nowowiejska 15/19, Warsaw, Poland.

Rough Sets, Rough Relations and Rough Functions. Zdzislaw Pawlak. Warsaw University of Technology. ul. Nowowiejska 15/19, Warsaw, Poland. Rough Sets, Rough Relations and Rough Functions Zdzislaw Pawlak Institute of Computer Science Warsaw University of Technology ul. Nowowiejska 15/19, 00 665 Warsaw, Poland and Institute of Theoretical and

More information

Research Article The Uncertainty Measure of Hierarchical Quotient Space Structure

Research Article The Uncertainty Measure of Hierarchical Quotient Space Structure Mathematical Problems in Engineering Volume 2011, Article ID 513195, 16 pages doi:10.1155/2011/513195 Research Article The Uncertainty Measure of Hierarchical Quotient Space Structure Qinghua Zhang 1,

More information

Revised College and Career Readiness Standards for Mathematics

Revised College and Career Readiness Standards for Mathematics Revised College and Career Readiness Standards for Mathematics I. Numeric Reasoning II. A. Number representations and operations 1. Compare relative magnitudes of rational and irrational numbers, [real

More information

On the Relation of Probability, Fuzziness, Rough and Evidence Theory

On the Relation of Probability, Fuzziness, Rough and Evidence Theory On the Relation of Probability, Fuzziness, Rough and Evidence Theory Rolly Intan Petra Christian University Department of Informatics Engineering Surabaya, Indonesia rintan@petra.ac.id Abstract. Since

More information

Parameters to find the cause of Global Terrorism using Rough Set Theory

Parameters to find the cause of Global Terrorism using Rough Set Theory Parameters to find the cause of Global Terrorism using Rough Set Theory Sujogya Mishra Research scholar Utkal University Bhubaneswar-751004, India Shakti Prasad Mohanty Department of Mathematics College

More information

Hierarchical Structures on Multigranulation Spaces

Hierarchical Structures on Multigranulation Spaces Yang XB, Qian YH, Yang JY. Hierarchical structures on multigranulation spaces. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 27(6): 1169 1183 Nov. 2012. DOI 10.1007/s11390-012-1294-0 Hierarchical Structures

More information

Pei Wang( 王培 ) Temple University, Philadelphia, USA

Pei Wang( 王培 ) Temple University, Philadelphia, USA Pei Wang( 王培 ) Temple University, Philadelphia, USA Artificial General Intelligence (AGI): a small research community in AI that believes Intelligence is a general-purpose capability Intelligence should

More information

Data Mining and Machine Learning

Data Mining and Machine Learning Data Mining and Machine Learning Concept Learning and Version Spaces Introduction Concept Learning Generality Relations Refinement Operators Structured Hypothesis Spaces Simple algorithms Find-S Find-G

More information

Elements of Representation Theory for Pawlak Information Systems

Elements of Representation Theory for Pawlak Information Systems Elements of Representation Theory for Pawlak Information Systems Marcin Wolski 1 and Anna Gomolińska 2 1 Maria Curie-Skłodowska University, Department of Logic and Philosophy of Science, Pl. Marii Curie-Skłodowskiej

More information

B best scales 51, 53 best MCDM method 199 best fuzzy MCDM method bound of maximum consistency 40 "Bridge Evaluation" problem

B best scales 51, 53 best MCDM method 199 best fuzzy MCDM method bound of maximum consistency 40 Bridge Evaluation problem SUBJECT INDEX A absolute-any (AA) critical criterion 134, 141, 152 absolute terms 133 absolute-top (AT) critical criterion 134, 141, 151 actual relative weights 98 additive function 228 additive utility

More information

Information Retrieval Basic IR models. Luca Bondi

Information Retrieval Basic IR models. Luca Bondi Basic IR models Luca Bondi Previously on IR 2 d j q i IRM SC q i, d j IRM D, Q, R q i, d j d j = w 1,j, w 2,j,, w M,j T w i,j = 0 if term t i does not appear in document d j w i,j and w i:1,j assumed to

More information

Bayes Theorem - the Rough Set Perspective

Bayes Theorem - the Rough Set Perspective Bayes Theorem - the Rough Set Perspective Zdzis law Pawlak Institute of Theoretical and Applied Informatics, Polish Academy of Sciences, ul. Ba ltycka 5, 44 100 Gliwice, Poland MOTTO: I had come to an

More information

Roman Słowiński. Rough or/and Fuzzy Handling of Uncertainty?

Roman Słowiński. Rough or/and Fuzzy Handling of Uncertainty? Roman Słowiński Rough or/and Fuzzy Handling of Uncertainty? 1 Rough sets and fuzzy sets (Dubois & Prade, 1991) Rough sets have often been compared to fuzzy sets, sometimes with a view to introduce them

More information

Automata Theory and Formal Grammars: Lecture 1

Automata Theory and Formal Grammars: Lecture 1 Automata Theory and Formal Grammars: Lecture 1 Sets, Languages, Logic Automata Theory and Formal Grammars: Lecture 1 p.1/72 Sets, Languages, Logic Today Course Overview Administrivia Sets Theory (Review?)

More information

Information Refinement and Revision for Medical Expert System Automated Extraction of Hierarchical Rules from Clinical Data

Information Refinement and Revision for Medical Expert System Automated Extraction of Hierarchical Rules from Clinical Data From: AAAI Technical Report SS-02-03. Compilation copyright 2002, AAAI (www.aaai.org). All rights reserved. Information Refinement and Revision for Medical Expert System Automated Extraction of Hierarchical

More information

Reasoning with Uncertainty

Reasoning with Uncertainty Reasoning with Uncertainty Representing Uncertainty Manfred Huber 2005 1 Reasoning with Uncertainty The goal of reasoning is usually to: Determine the state of the world Determine what actions to take

More information

2 WANG Jue, CUI Jia et al. Vol.16 no", the discernibility matrix is only a new kind of learning method. Otherwise, we have to provide the specificatio

2 WANG Jue, CUI Jia et al. Vol.16 no, the discernibility matrix is only a new kind of learning method. Otherwise, we have to provide the specificatio Vol.16 No.1 J. Comput. Sci. & Technol. Jan. 2001 Investigation on AQ11, ID3 and the Principle of Discernibility Matrix WANG Jue (Ξ ±), CUI Jia ( ) and ZHAO Kai (Π Λ) Institute of Automation, The Chinese

More information

CS626 Data Analysis and Simulation

CS626 Data Analysis and Simulation CS626 Data Analysis and Simulation Instructor: Peter Kemper R 104A, phone 221-3462, email:kemper@cs.wm.edu Today: Data Analysis: A Summary Reference: Berthold, Borgelt, Hoeppner, Klawonn: Guide to Intelligent

More information

The non-logical symbols determine a specific F OL language and consists of the following sets. Σ = {Σ n } n<ω

The non-logical symbols determine a specific F OL language and consists of the following sets. Σ = {Σ n } n<ω 1 Preliminaries In this chapter we first give a summary of the basic notations, terminology and results which will be used in this thesis. The treatment here is reduced to a list of definitions. For the

More information

Semantic Rendering of Data Tables: Multivalued Information Systems Revisited

Semantic Rendering of Data Tables: Multivalued Information Systems Revisited Semantic Rendering of Data Tables: Multivalued Information Systems Revisited Marcin Wolski 1 and Anna Gomolińska 2 1 Maria Curie-Skłodowska University, Department of Logic and Cognitive Science, Pl. Marii

More information

Notation Index. gcd(a, b) (greatest common divisor) NT-16

Notation Index. gcd(a, b) (greatest common divisor) NT-16 Notation Index (for all) B A (all functions) B A = B A (all functions) SF-18 (n) k (falling factorial) SF-9 a R b (binary relation) C(n,k) = n! k! (n k)! (binomial coefficient) SF-9 n! (n factorial) SF-9

More information

Granular Computing: Granular Classifiers and Missing Values

Granular Computing: Granular Classifiers and Missing Values 1 Granular Computing: Granular Classifiers and Missing Values Lech Polkowski 1,2 and Piotr Artiemjew 2 Polish-Japanese Institute of Information Technology 1 Koszykowa str. 86, 02008 Warsaw, Poland; Department

More information

Outline. Logical Agents. Logical Reasoning. Knowledge Representation. Logical reasoning Propositional Logic Wumpus World Inference

Outline. Logical Agents. Logical Reasoning. Knowledge Representation. Logical reasoning Propositional Logic Wumpus World Inference Outline Logical Agents ECE57 Applied Artificial Intelligence Spring 007 Lecture #6 Logical reasoning Propositional Logic Wumpus World Inference Russell & Norvig, chapter 7 ECE57 Applied Artificial Intelligence

More information

Bulletin of the Transilvania University of Braşov Vol 10(59), No Series III: Mathematics, Informatics, Physics, 67-82

Bulletin of the Transilvania University of Braşov Vol 10(59), No Series III: Mathematics, Informatics, Physics, 67-82 Bulletin of the Transilvania University of Braşov Vol 10(59), No. 1-2017 Series III: Mathematics, Informatics, Physics, 67-82 IDEALS OF A COMMUTATIVE ROUGH SEMIRING V. M. CHANDRASEKARAN 3, A. MANIMARAN

More information

Statistical Model for Rough Set Approach to Multicriteria Classification

Statistical Model for Rough Set Approach to Multicriteria Classification Statistical Model for Rough Set Approach to Multicriteria Classification Krzysztof Dembczyński 1, Salvatore Greco 2, Wojciech Kotłowski 1 and Roman Słowiński 1,3 1 Institute of Computing Science, Poznań

More information

Propositional and Predicate Logic - II

Propositional and Predicate Logic - II Propositional and Predicate Logic - II Petr Gregor KTIML MFF UK WS 2016/2017 Petr Gregor (KTIML MFF UK) Propositional and Predicate Logic - II WS 2016/2017 1 / 16 Basic syntax Language Propositional logic

More information

Abstract model theory for extensions of modal logic

Abstract model theory for extensions of modal logic Abstract model theory for extensions of modal logic Balder ten Cate Stanford, May 13, 2008 Largely based on joint work with Johan van Benthem and Jouko Väänänen Balder ten Cate Abstract model theory for

More information