[開設 01/17/08]
形式概念分析の適用例

四角形の分類

“Quadrilateral” (Wikipedia) より

対象

属性

quadrilateral : 四角形
complex : 交わっている対辺がある
simple : どの対辺も交わらない
concave : 変形四角形（180° より大きい角をもつ）
convex : 凸四角形（すべての角が180° 未満）
tangential : 内接円をもつ
trapezium : 台形（少なくとも1組の対辺が平行）
cyclic : 外接円をもつ
kite : 凧形（共有する辺のない2組の隣り合った2辺の長さが等しい）
parallelogram : 平行四辺形（2組のの対辺が平行）
right-angled trapezium : 直角台形（直角を持つ台形）
isosceles trapezium : 等脚台形（1組の対辺が平行で，平行な辺それぞれについて両端の角の大きさが等しい）
rhombus : 菱形（4辺の長さが等しい）
bicentric : 内接円と外接円をもつ
rectangle : 長方形（4角がすべて直角）
3-sides-equal trapezium : 3辺の長さが等しい等脚台形
square : 正方形（4辺の長さが等しく，4角がすべて直角）

文脈表

	quadrilateral	complex	simple	concave	convex	tangential	trapezium	cyclic	kite
1	1	1	0	0	0	0	0	0	0
2	1	0	1	1	0	0	0	0	0
3	1	0	1	0	1	0	0	0	0
4	1	0	1	0	1	1	0	0	0
5	1	0	1	0	1	0	1	0	0
6	1	0	1	0	1	0	0	1	0
7	1	0	1	0	1	1	0	0	1
8	1	0	1	0	1	0	1	0	0
9	1	0	1	0	1	0	1	0	0
10	1	0	1	0	1	0	1	1	0
11	1	0	1	0	1	1	1	0	1
12	1	0	1	0	1	1	0	1	0
13	1	0	1	0	1	0	1	1	0
14	1	0	1	0	1	0	1	1	0
15	1	0	1	0	1	1	1	1	1

	parallelogram	right-angled trapezium	isosceles trapezium	rhombus	bicentric	rectangle	3-sides-equal trapezium	square
1	0	0	0	0	0	0	0	0
2	0	0	0	0	0	0	0	0
3	0	0	0	0	0	0	0	0
4	0	0	0	0	0	0	0	0
5	0	0	0	0	0	0	0	0
6	0	0	0	0	0	0	0	0
7	0	0	0	0	0	0	0	0
8	1	0	0	0	0	0	0	0
9	0	1	0	0	0	0	0	0
10	0	0	1	0	0	0	0	0
11	1	0	0	1	0	0	0	0
12	0	0	0	0	1	0	0	0
13	1	1	1	0	0	1	0	0
14	0	0	1	0	0	0	1	0
15	1	1	1	1	1	1	1	1

概念束

上図から最小元を削除すると， “Quadrilateral” の分類階層図http://upload.wikimedia.org/wikipedia/commons/f/f1/Quadrilateral_hierarchy.png と同じものになる．

Concept Explorer データファイル

quadrilateral.cex (19KB：右クリックでダウンロードしてください)

形式概念分析の適用事例

murofusi "at mark "dot" c "dot" titech "dot" ac "dot" jp ("at mark" -> @ / "dot" -> .)