(context) (concept lattices) (base) (base) (attribution exploration) [ ] 1.3 ConExp 2000 KPI Tatyana Taran SourceForge [5] 2

Size: px

Start display at page:

Download "(context) (concept lattices) (base) (base) (attribution exploration) [ ] 1.3 ConExp 2000 KPI Tatyana Taran SourceForge [5] 2"

こうしょわくや
7 years ago
Views:

1 Concept Explorer ConExp documentation team (Kuroda, Kow) First Japanese version: 2017/03/30; Revisions: 2017/04/ Concept Explorer (ConExp) 1.3 (FCA) Darmstadt Rudolf Wille 1980 (FCA ) ConExp BSD license.txt ConExp X.jar X.license X.readme ConExp [1] 1.2 ConExp : Concept Explorer. The User Guide. (September 12, 2006) ( comp.dit.ie/pbrowne/compfund2/userguide.pdf) (Kuroda, Kow) Google Translation Toolkit [... ] Web documentation/ 1

2 (context) (concept lattices) (base) (base) (attribution exploration) [ ] 1.3 ConExp 2000 KPI Tatyana Taran SourceForge [5] 2

3 2 ConExp 2.1 ConExp Java Runtime Environment (JRE) 1.4 JRE ( 1.5.0) URL : zip.tar.gz Java ( java -version Java Java Java ) 3

4 3 Concept Explorer 3.1 (Windows conexp.bat Unix conexp.sh ) Unix conexp.sh [ Terminal chmod +X conexp.sh ] java -jar conexp.jar Windows Java javaw -jar conexp.jar ConExp 1.3 1) ConExp 1.3.cex ( ) : (1) ConExp : java -Dfile.encoding=utf-8 -jar conexp.jar (2) OS X ConExp property list 3.2 Concept Explorer ConExp : Manu ( ) Main toolbar ( ): : Create new document ( ) Open ( ) Save ( ) Compute the 1) 4

5 number of concepts ( ) Compute concept lattice ( ) Perform attribute exploration ( ) Calculate Duquenne-Guigues set of implications ( Duquenne- Guigues ) Calculate association rules ( ) ( ) : Main pane ( ): Main pane (Document tree) (Layout options) (View pane) Document tree ( ): ( ( ) ) Option pane: View pane Status bar: [ ] 5

6 3.3 ConExp ( ) ConExp ConImp [3] :.cex: ConExp XML.cxt: ConImp :.csv: : [ ] (;) ( attr1 attr2 ;attr1;attr2 ) 0 1 [ ] 1 [= ] X.oal: - : obj1 attr2 attr3 obj1 obj1:attr2;attr3 File Reopen 6

7 3.4 File Save Save as Save file ConExp 3.5 (Undo) / (Redo) undo ( )/ redo ( ) Context Editor Undo last action Redo last action properties Object count Attribute count Context Editor Add object Add attribute Context Editor Remove object(s) Remove attribute(s) Context Editor Compressed X Show arrow relation parameter show arrow relation ( [2] 7

8 x. X : Fill selection: X Clear selection: Inverse selection: Context Editor : object clarification ( ): ( ) Contect Editor Clarify objects attribute clarification ( ): Context Editor Clarify attributes object set reduction ( = ): 8

9 clarification ( ) : (isomorphic) Context Editor Reduce objects attribute set reduction ( ): Context Editor Reduce attributes context reduction ( ): Context Editor Reduce context transposition ( ): Context Editor Transpose context 3.7 [= ] Main toolbar Build lattice ( ) : (Hasse diagram) = 2) (Hasse diagram) (line diagram) (top) (bottom) 2) 9

10 ( ) : (O, A) : O A i) A O ii) O A O ( ) (O, A) A ( ) (O, A) O ( ) (O, A) A ( ) (O, A) (reduced labeling) A C A C ( ) [= ] O C O C ( ) : scroll mode ( ): fit to screen mode: 10

11 Scale picture to fit into the image : Grab and Drag ( ): pan X pan Grab and Drag Zoom in, Zoom out, No zoom: Drawing options : Attribs: : Don t show: Show labels: Show multi-labels: Objects: : Don t show: Show labels: Show multi-labels: Show own objects: ( ) ( ) 11

12 Object count: ( ) Stability ( ): Draw node: : to own objects: fixed radius: Node radius of object extent: Stability ( ): ( Stability ) Draw edge: : one pixel: 1 no: object: of object extent connection: Highlight: : 12

13 Filter and ideal: ( ) ( ) Selected: Neighbors: Ideal: Filter: No: Label font size: Grid size x: x x Grid size y: y y Node radius: : 13

14 Properties Layout options : Minimal intersections ( ): Chain decomposition ( ): M. Skorsky chain decomposition (additive line diagrams) (ideal node movement strategy) : Representation i) ii) Placement i) ii) iii) Rotate left, Rotate right: : Freese layout: Ralph Freese [4] : Attraction: Repulsion: 14

15 Angle: Freese Force layout: ConExp - ( - ) ConExp : Ideal node movement mode: Toggle node movement mode Align nodes to grid: 8 x Lattice line digram Store preferences as default ConExp Lattice line diagram 15

16 Save lattice image PNG JPEG ConExp ( ) Select all attributes ( Select all objects : snapshot snapshot snapshot ( ) Store current lattice as a view : Concept count: Edge count: 16

17 Lattice height: [top= ] [bottom= ] Lattice width estimation: ( ) < > < > Duquenne-Guigues Duquenne-Guigues Main toolbar Calculate Calculate Duquenne-Guigues base of implications Duquenne- Guigues Implication sets ( ) : No < > ==> [ ] No < > f g : 17

18 3.8.2 : : (Duquenne-Guigues base) ( Luxenburger base ) ConExp Calculate association rules : No < > =[ ]=> < > Yes 18

19 Start attribute exploration No 19

20 4 Mailing list Con- Exp ConExp : [email protected] 5 ConExp : Dr. Serhiy Yevtushenko Tim Kaiser Julian Tane Dr. Sergei Objedkov : Joachim Hereth-Correia Heiko Reppe [1] Serhiy A. Yevtushenko. System of data analysis Concept Explorer. (In Russian). Proceedings of the 7th national conference on Artificial Intelligence KII-2000, p , Russia, [2] B. Ganter and R. Wille. Formal Concept Analysis:Mathematical Foundations, Springer-Verlag, 1999 [3] ComImp: [4] [5] 20

ProVisionaire Control V3.0セットアップガイド

ProVisionaire Control V3.0セットアップガイド ProVisionaire Control V3 1 Manual Development Group 2018 Yamaha Corporation JA 2 3 4 5 NOTE 6 7 8 9 q w e r t r t y u y q w u e 10 3. NOTE 1. 2. 11 4. NOTE 5. Tips 12 2. 1. 13 3. 4. Tips 14 5. 1. 2. 3.