手法を比較

	知識空間理論	認知診断モデル（DINA / G-DINA）	形式概念分析 (FCA)	知識追跡
分野	教育アナリティクス	心理測定学	ソフトコンピューティング	教育アナリティクス
系統	Machine learning	Latent structure	Machine learning	Machine learning
提唱年	1985	2011	1982	1994
提唱者	Jean-Paul Doignon & Jean-Claude Falmagne	Jimmy de la Torre	Rudolf Wille & Bernhard Ganter	Albert Corbett & John Anderson
種類	Combinatorial knowledge assessment framework	Latent variable diagnostic classification model	Lattice-based knowledge representation / concept mining	Probabilistic student modeling
原典	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.	Corbett, A. T., & Anderson, J. R. (1994). Knowledge tracing: Modeling the acquisition of procedural knowledge. User Modeling and User-Adapted Interaction, 4(4), 253–278.
別名	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	BKT, Bayesian Knowledge Tracing, Deep Knowledge Tracing, Bilgi İzleme
関連	3	2	3	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.	Knowledge Tracing (KT) is a student-modeling technique that estimates, at each moment in time, the probability that a learner has mastered a target knowledge component. Introduced by Corbett and Anderson in 1994, the classical Bayesian Knowledge Tracing (BKT) model treats skill acquisition as a two-state Hidden Markov Model driven by four interpretable parameters: prior knowledge, learning rate, slip, and guess. Deep variants (DKT, DKVMN, AKT) later replaced HMMs with recurrent and transformer architectures.