D EPENDENCIES IN K NOWLEDGE B ASE By: Akhil Kapoor Manandeep Singh Bedi.

Slides:



Advertisements
Similar presentations
Protein Secondary Structure Prediction Using BLAST and Relaxed Threshold Rule Induction from Coverings Leong Lee Missouri University of Science and Technology,
Advertisements

5.4 Basis And Dimension.
Introduction The concept of transform appears often in the literature of image processing and data compression. Indeed a suitable discrete representation.
_ Rough Sets. Basic Concepts of Rough Sets _ Information/Decision Systems (Tables) _ Indiscernibility _ Set Approximation _ Reducts and Core _ Rough Membership.
Copyright © Cengage Learning. All rights reserved.
CmpE 104 SOFTWARE STATISTICAL TOOLS & METHODS MEASURING & ESTIMATING SOFTWARE SIZE AND RESOURCE & SCHEDULE ESTIMATING.
Copyright © Cengage Learning. All rights reserved.
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
Instructor: Hayk Melikya
(CSC 102) Discrete Structures Lecture 14.
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
Fuzzy Sets and Fuzzy Logic Theory and Applications
_ Rough Sets. Basic Concepts of Rough Sets _ Information/Decision Systems (Tables) _ Indiscernibility _ Set Approximation _ Reducts and Core.
Chap3 Reduction of Knowledge - Dongyi Jia - CS267 ID:104 - Fall 2008.
1 Chapter 2 Imprecise Categories, Approximations and Rough Sets #6 ChenKuang(Andy) Yang.
Uncertainty Measure and Reduction in Intuitionistic Fuzzy Covering Approximation Space Feng Tao Mi Ju-Sheng.
Copyright © Cengage Learning. All rights reserved.
Chapter 7 Reasoning about Knowledge by Neha Saxena Id: 13 CS 267.
Conceptual modelling. Overview - what is the aim of the article? ”We build conceptual models in our heads to solve problems in our everyday life”… ”By.
1 Set Theory. Notation S={a, b, c} refers to the set whose elements are a, b and c. a  S means “a is an element of set S”. d  S means “d is not an element.
Unsupervised Rough Set Classification Using GAs Reporter: Yanan Yean.
1 Set Theory. Notation S={a, b, c} refers to the set whose elements are a, b and c. a  S means “a is an element of set S”. d  S means “d is not an element.
Relations Chapter 9.
Set theory Sets: Powerful tool in computer science to solve real world problems. A set is a collection of distinct objects called elements. Traditionally,
On Applications of Rough Sets theory to Knowledge Discovery Frida Coaquira UNIVERSITY OF PUERTO RICO MAYAGÜEZ CAMPUS
PROBABILITY AND STATISTICS FOR ENGINEERING Hossein Sameti Department of Computer Engineering Sharif University of Technology Independence and Bernoulli.
CSE & CSE6002E - Soft Computing Winter Semester, 2011 More Rough Sets.
Basic Concepts of Discrete Probability (Theory of Sets: Continuation) 1.
1 2. Independence and Bernoulli Trials Independence: Events A and B are independent if It is easy to show that A, B independent implies are all independent.
Chapter 3 – Set Theory  .
Week 15 - Wednesday.  What did we talk about last time?  Review first third of course.
Chapter 9. Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations.
Theory and Applications
Set, Combinatorics, Probability & Number Theory Mathematical Structures for Computer Science Chapter 3 Copyright © 2006 W.H. Freeman & Co.MSCS Slides Set,
CS 103 Discrete Structures Lecture 10 Basic Structures: Sets (1)
Slide 1 Propositional Definite Clause Logic: Syntax, Semantics and Bottom-up Proofs Jim Little UBC CS 322 – CSP October 20, 2014.
Relations, Functions, and Matrices Mathematical Structures for Computer Science Chapter 4 Copyright © 2006 W.H. Freeman & Co.MSCS Slides Relations, Functions.
Copyright © Cengage Learning. All rights reserved. CHAPTER 8 RELATIONS.
CompSci 102 Discrete Math for Computer Science
Copyright © Cengage Learning. All rights reserved.
Relations, Functions, and Matrices Mathematical Structures for Computer Science Chapter 4 Copyright © 2006 W.H. Freeman & Co.MSCS Slides Relations, Functions.
Section 2.1. Section Summary Definition of sets Describing Sets Roster Method Set-Builder Notation Some Important Sets in Mathematics Empty Set and Universal.
A Logic of Partially Satisfied Constraints Nic Wilson Cork Constraint Computation Centre Computer Science, UCC.
1 Introduction to Abstract Mathematics Sets Section 2.1 Basic Notions of Sets Section 2.2 Operations with sets Section 2.3 Indexed Sets Instructor: Hayk.
2.1 Sets 2.2 Set Operations –Set Operations –Venn Diagrams –Set Identities –Union and Intersection of Indexed Collections 2.3 Functions 2.4 Sequences and.
Chapter 9. Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations.
Copyright © Cengage Learning. All rights reserved. CHAPTER 8 RELATIONS.
1 Set Theory Second Part. 2 Disjoint Set let A and B be a set. the two sets are called disjoint if their intersection is an empty set. Intersection of.
Presented by Kyumars Sheykh Esmaili Description Logics for Data Bases (DLHB,Chapter 16) Semantic Web Seminar.
Basic Probability. Introduction Our formal study of probability will base on Set theory Axiomatic approach (base for all our further studies of probability)
The Basic Concepts of Set Theory. Chapter 1 Set Operations and Cartesian Products.
Chapter 2 1. Chapter Summary Sets (This Slide) The Language of Sets - Sec 2.1 – Lecture 8 Set Operations and Set Identities - Sec 2.2 – Lecture 9 Functions.
Rough Sets, Their Extensions and Applications 1.Introduction  Rough set theory offers one of the most distinct and recent approaches for dealing with.
More Rough Sets.
Relations Chapter 9 Copyright © McGraw-Hill Education. All rights reserved. No reproduction or distribution without the prior written consent of McGraw-Hill.
The Relation Induced by a Partition
Set Theory.
Equivalence Relations
Chapter 11 Chi-Square Tests.
Set, Combinatorics, Probability & Number Theory
Chapter 3 The Real Numbers.
Chapter 2 Sets and Functions.
V11 Metabolic networks - Graph connectivity
Chapter 11 Chi-Square Tests.
Chapter 3 The Real Numbers.
Rough Sets (Theoretical Aspects of Reasoning about Data)
Number Talk What is a Number Talk?
V11 Metabolic networks - Graph connectivity
V11 Metabolic networks - Graph connectivity
Chapter 11 Chi-Square Tests.
Presentation transcript:

D EPENDENCIES IN K NOWLEDGE B ASE By: Akhil Kapoor Manandeep Singh Bedi

R ECAP Reduct and Core – is essential part of knowledge if it suffice to define all basic concept in knowledge. Obtained by omitting some operations and relations from a given set G = {X1, X2, X3, X4} Red(G) = {X1,X2} if it able to define basic concept implied by G. Core is the most important part of knowledge. Hence, we may define :

What is R definable ? Let and R is equivalence relation, then we say X is R definable if X is union of R basic categories. What is IND(R)? IND(R) = IND (R-{ R }) where R be a family of equivalence relations and R R This means R is dispensable in R. And if the above equation doesn’t hold true then R is indispensable in R.

4.1 I NTRODUCTION Theorizing next to classification is the second most important aspect when drawing inferences about the world. Developing theories is based on inference rules of the form “if …. then….” In context we define how another knowledge can be induced from a given knowledge. More precisely, knowledge Q is derivable from knowledge P, if all elementary categories of Q can be defined in terms of some elementary categories of knowledge P. In other words, if Q is derivable from P we say that Q depends on P or P => Q. this will be considered in more detail in CH-7. More about the notion of dependency can be found in Novotny et al. (1988,1989,1990) and Pawlak (1985). And in the article of Buszkowski et al. (1986) – mainly to investigate relationship between dependencies between relational databases and those considered here.

4.2 D EPENDENCY OF K NOWLEDGE This chapter will mainly focus on semantic aspects of dependency. Formally dependency can be defined as shown below: Let K = (U,R) be a knowledge base and then we have the following : 1. Knowledge Q depends on knowledge P iff 2. Knowledge P and Q are equivalent, denoted as, iff P=>Q and Q=>P. 3. Knowledge P and Q are independent, denoted as, iff neither P=>Q nor Q=>P. Obviously, if and only if IND(P) = IND(Q).

E XAMPLE 1 The following example will demonstrate the definition dependency. Suppose we are given knowledge P and Q with the following partitions: U/P = {{1,5},{2,8,3},{4},{6},{7}} U/Q = {{1,5},{2,7,8},{3,4,6}} U/R = {{1,2,5},{7,8},{6}} U/P intersection R = {1,5},{8},{2},{7},{6},{3},{4} PUQ = {{1,5},{2,6,7,8,3,4}} Hence, and consequently P=>Q.

P ROPOSITION 4.1 The following conditions are equivalent: 1. P=>Q 2. IND(P U Q) = IND(P) 3. POSp(Q) = U 4. PX = X for all X E U/Q Where P X denotes IND(P)X. Proposition 4.1 demonstrates that if Q depends on P then knowledge Q is superfluous within the knowledge base in the sense that knowledge PUQ and P provide the same characterization of objects.

Proposition 4.2 The following are also important properties of dependencies. If P is a Reduct of Q, then P=>Q-P and IND(P) = IND(Q) Proposition 4.3 a) If P is dependent then there exists a subset such that Q is a Reduct of P. b) If and P is independent, then all basic operations in P are pair wise independent. c) If and P is independent then every subset R of P is independent

P ROPOSITION If P=>Q, and, then P’=>Q 2. If P=>Q, and then P=>Q’ 3. P=>Q and Q=>R imply P=>R 4. P=>R and Q=>R imply P U Q=>R 5. P=>R U Q imply P=>R and P=>Q 6. P=>Q and Q U R=>T imply P U R=>T 7. P=>Q and R=>T imply P U R => Q U T

P ARTIAL DEPENDENCY OF KNOWLEDGE The derivation (dependency) can also be partial, which means that only part of knowledge Q is derivable from knowledge P. the partial derivability can be defined using the notion of the positive region of knowledge. Defining the partial derivability formally. Let K = (U,R) be the knowledge base and Where knowledge Q depends in a degree k( 0= = 1) from knowledge P, symbolically P =>k Q, if and only if where card denotes cardinality of the set.

C ASES OF ‘ K ’ If k = 1 Q totally depends from P If k>0 and K<1 Q partially depends from P If k = 0 Q is independent from P More precisely: if k = 1, then all elements of the universe can be classified to elementary categories of U/Q by using knowledge P. If k!= 1, only those elements of the universe which belong to the positive region can be classified to categories of knowledge Q, employing knowledge P. if k = 0, none of the elements of the universe can be classified using knowledge P - to elementary categories of knowledge Q.

D EGREE OF D EPENDENCY : If P=> k Q, then the positive region of the partition U/Q induced by Q covers k x 100 percent of all objects in the knowledge base. On the other hand, only those objects belonging to the positive region of the partition can be uniquely classified. This means that k x 100 percent of objects can be classified into blocks of partition U/Q employing knowledge P. Thus the coefficient can be understood as a degree of dependency between Q and P The measure k of dependency does not capture how this partial dependency is actually distributed among classes U/Q.

C OEFFICIENT where X U/Q which shows how many elements of each class of U/Q can be classified by employing knowledge P. Thus the two numbers give us full information about the "classification power" of the knowledge P with respect to the classification U/Q.

Summary Dependencies, in particular partial dependencies, in a knowledge base are basic tools when drawing conclusions from basic knowledge, for they state some of the relationships between basic categories in the knowledge base.