手法を比較

	知識空間理論	認知診断モデル（DINA / G-DINA）	形式概念分析 (FCA)
分野	教育アナリティクス	心理測定学	ソフトコンピューティング
系統	Machine learning	Latent structure	Machine learning
提唱年	1985	2011	1982
提唱者	Jean-Paul Doignon & Jean-Claude Falmagne	Jimmy de la Torre	Rudolf Wille & Bernhard Ganter
種類	Combinatorial knowledge assessment framework	Latent variable diagnostic classification model	Lattice-based knowledge representation / concept mining
原典	Doignon, J.-P., & Falmagne, J.-C. (1985). Spaces for the assessment of knowledge. International Journal of Man-Machine Studies, 23(2), 175–196.	de la Torre, J. (2011). The generalized DINA model framework. Psychometrika, 76(2), 179–199.	Wille, R. (1982). Restructuring lattice theory: an approach based on hierarchies of concepts. In I. Rival (Ed.), Ordered Sets (pp. 445–470). Reidel.
別名	KST, Knowledge Structures, Competence-Based Knowledge Space Theory, Bilgi Uzayı Teorisi	Diagnostic Classification Model, Skills Assessment Model, Attribute Mastery Model, Bilişsel Tanı Modeli	FCA, concept lattice analysis, Galois lattice, biçimsel kavram analizi
関連	3	2	3
概要	Knowledge Space Theory (KST) is a combinatorial, set-theoretic framework for modeling and assessing human knowledge, introduced by Jean-Paul Doignon and Jean-Claude Falmagne in 1985. It represents a learner's competence as a subset of a problem domain, organizes all feasible competence subsets into a lattice called a knowledge space, and uses probabilistic inference to locate a learner within that space. The approach underlies adaptive testing and intelligent tutoring systems, offering a mathematically rigorous alternative to classical test theory.	Cognitive Diagnosis Models (CDMs) are a family of latent variable models designed to classify examinees according to their mastery of a set of discrete cognitive attributes or skills. The Generalized DINA (G-DINA) framework, introduced by Jimmy de la Torre in 2011, provides a unifying structure that encompasses many specific CDMs — including the DINA, DINO, ACDM, and LLM models — as special cases, enabling fine-grained diagnostic feedback beyond a single total score.	Formal concept analysis derives a hierarchy of concepts from a simple table of which objects have which attributes. Founded by Rudolf Wille in 1982 on lattice theory, it pairs each set of objects with the attributes they all share to form 'formal concepts', then organizes these into a concept lattice — a mathematically grounded, interpretable hierarchy used for knowledge discovery, ontology building, and explainable analysis of categorical data.