1 granular computing: formal theory & applications tsau young (‘t. y.’) lin grc society and...
TRANSCRIPT
![Page 1: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/1.jpg)
11
Granular Computing:Granular Computing:Formal Theory & Applications
Tsau Young (‘T. Y.’) LinGrC Society
andComputer Science Department,
San Jose State UniversitySan Jose, CA 95192, USA
![Page 2: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/2.jpg)
22
OutlineOutline1. Introduction
2. GrC on the web
3. Formal Theory
4. Applications
5. Conclusions• Scope of GrC
![Page 3: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/3.jpg)
33
A Bit HistoryA Bit HistoryZadeh’s GrM granular mathematics
T.Y. Lin 1996-97
GrC Granular Computing
(Zadeh, L.A. (1998) Some reflections on soft computing, granular computing and their roles in the conception, design and utilization of information/intelligent systems, Soft Computing, 2, 23-25.)
![Page 4: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/4.jpg)
44
GrC GrC on theon the Web WebWeb Page is
a linearly ordered Text.
5th GrC Model
![Page 5: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/5.jpg)
55
1. Wall Street is a symbol for American
financial industry. Most of the computer systems for those financial institute have employed information flow security policy.
2. Wall Street is a shorthand for US financial industry. Its E-security has applied security policy that was based on the ancient intent of Chinese wall.
3. Wall Street represents an abstract concept of financial industry. Its information security policy is Chinese wall.
![Page 6: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/6.jpg)
66
Granular Structure(GrS)Granular Structure(GrS)
Wall StreetInformation Security
Finance Industry
2-tuples are generalized equivalence classes of size 2
![Page 7: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/7.jpg)
77
1. Wall Street is a symbol for American
finance industry. Most of the computer systems for those financial institute have employed information flow security policy.
2. Wall Street is a shorthand for US finance industry. Its E-security has applied security policy that was based on the ancient intent that was based on the ancient intent ofof Chinese wall.
3. Wall Street represents an abstract concept of finance industry. Its information security policy isis Chinese wall.
![Page 8: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/8.jpg)
88
Granular Structure(GrS)Granular Structure(GrS)
4-tuples are generalized equivalence classes
security policy China wall
Wall Street Finance Industry
![Page 9: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/9.jpg)
99
GrC GrC model for the Web model for the Web
U = a set of keywords
GrS= a collection of • 1-ary relation: frequent keywords
• 2-ary relation: freq keyword pairs
. . .
![Page 10: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/10.jpg)
1010
Geometric ViewGeometric View
• tuples Simplexes
• GrS Simplicial Complex
• an amazing fact!
![Page 11: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/11.jpg)
1111
It is derived from
Data Mining: Apriori principle =geometry: Closed condition
Is it God’s will?
![Page 12: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/12.jpg)
1212
Concept AnalysisConcept Analysis
• Simplex, as an ordered keyword set, represents
• a Concept in the web
![Page 13: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/13.jpg)
1313
Concept: 1-simplexConcept: 1-simplex
Wall Street
Wall Street is a simplex
represents the concept of financial industry
![Page 14: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/14.jpg)
1414
Concept: 1-simplexConcept: 1-simplex
Finance Industry
Finance Industry (Stemming)
![Page 15: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/15.jpg)
1515
Concept: 3-simplexConcept: 3-simplex
Wall
China
Security
Policy
![Page 16: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/16.jpg)
1616
Concept AnalysisConcept Analysis
• The Concepts on the web forms a simplicial complex
• So we can use geometry to analyze the knowledge structure of the web
![Page 17: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/17.jpg)
1717
Knowledge Structure Knowledge Structure Simplicial Complex Simplicial Complex
a
b
c
d
x
z
y
w
h
f g
e
Open tetrahedron 1
Open tetrahedron 2
![Page 18: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/18.jpg)
1818
Knowledge Structure Knowledge Structure Indexing the ConceptsIndexing the Concepts
• by indexing the concepts . . . we are building
• Knowledge Based Search Engine
![Page 19: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/19.jpg)
1919
• Google and etc
index only the keyword, which is 0-dimensional subcomplex of the simplicial complex!
![Page 20: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/20.jpg)
2020
• The output will be clustered
by primitive concepts
• T. Y. LIN – Tung Yen Lin– Tsau Young Lin . . .
![Page 21: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/21.jpg)
2121
Formal Theory
![Page 22: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/22.jpg)
2222
Formal TheoryFormal Theory• Use Category Theory
• to formalize the universe of discourse
![Page 23: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/23.jpg)
2323
Model in Category TheoryModel in Category Theory
GrC Model (U, β)U = a set of objects Ui i=1, 2,
… in abstract category
β=a set of relation objects
![Page 24: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/24.jpg)
2424
Non Commutative Granules:Non Commutative Granules:
Category of
• Sets (5th GrC): the Web
• Functions (6th GrC)
• Turing machines(7th GrC)
![Page 25: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/25.jpg)
2525
Other Applications
![Page 26: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/26.jpg)
2626
Other ApplicationsOther Applications2. Information Flow Security
• Solve 30 years outstanding Problem; IEEE SMC 2009
• 3rd GrC Model
![Page 27: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/27.jpg)
2727
Other ApplicationsOther Applications3. In the category of Turing machines
• Expressing DNA sequences by finite automata
• 7th GrC Model
![Page 28: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/28.jpg)
2828
Other ApplicationsOther Applications3. In the category of Turing machines
• Identify authorship by expressing the stops words by finite automata
• 7th GrC Model
![Page 29: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/29.jpg)
2929
Other ApplicationsOther Applications4. In the category of Functions
• Patterns in numerical sequences (1999)
• 6th GrC Model
![Page 30: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/30.jpg)
3030
Conclusions
![Page 31: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/31.jpg)
3131
Scope of GrCScope of GrC
Ltofi Zadeh: “TFIG...1.mathematical in
nature1.Zadeh, L.A. (1997) ‘Toward a theory of fuzzy information granulation and its centrality in
human reasoning and fuzzy logic’, Fuzzy Sets and Systems, Vol. 90, pp.111–127.
![Page 32: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/32.jpg)
3232
John von Neumann (1941):
”organisms ... made up of parts” (granulation)
Axiomatic Method 1. von Neumann J(1941): The General and Logical Theory of Automata in: Cerebral
Mechanisms in Behavior, pp. 1-41, Wiley, 1941. The World of Mathematics (ed J Newman) 2070-2098, 1956
![Page 33: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/33.jpg)
3333
Scope of GrCScope of GrCMathematically
o incorrect
o un-substantiated opinions are not considered(verbally add. . .
![Page 34: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/34.jpg)
3434
Scope of GrCScope of GrCRough set /computing (RS) has been
a guide for GrC, but
2. GrC beyond RS
![Page 35: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/35.jpg)
3535
Scope of GrCScope of GrCThe time for “BS” theory has
gone
Please Read the Fallacies in
GrC2008
![Page 36: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/36.jpg)
3636
Thanks !
![Page 37: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/37.jpg)
3737
Thanks !
![Page 38: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/38.jpg)
3838
Thanks !
![Page 39: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/39.jpg)
3939
Key Components (skip)Key Components (skip)
1. GrC Model (U, β):
2. Two Operations: (skip)
• Granulation
• Integration (Important in DB) (IBM Almaden Project)
![Page 40: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/40.jpg)
4040
Key ComponentsKey Components
3. Three Semantic Views on β• Knowledge Engineering (This talk)• Uncertainty Theory Zadeh and Lin’s initial idea • How-to-solve/compute-it
Polya 1945
![Page 41: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/41.jpg)
4141
Key ComponentsKey Components4. Four Structures• Granular structure/variable (Zadeh)• Quotient Structure (QS - Zhang) • Knowledge Structure (KS - Pawlak) • Linguistic Structure/variable(Zadeh)http://xanadu.cs.sjsu.edu/~grc/grcinfo_center/1Linabs_william.pdf(From TY Lin’s home page granular computing conference 2009 GrC Information
Center Click here for a formal theory in First paragraph.)
![Page 42: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/42.jpg)
4242
Two Important StructuresTwo Important Structures
Quotient Structure (QS)
• Each granule a point
• Interactions are axiomatized
![Page 43: 1 Granular Computing: Formal Theory & Applications Tsau Young (‘T. Y.’) Lin GrC Society and Computer Science Department, San Jose State University San](https://reader035.vdocument.in/reader035/viewer/2022062713/56649f475503460f94c6944e/html5/thumbnails/43.jpg)
4343
Knowledge StructureKnowledge Structure
• Each point a concept
• Concept interactions QS
• Concepts are attribute values in Rough Set Theory (RS)