摘要：Intelligent educational systems are knowledge-based systems (KBS) they can be developed by a generic knowledge-based system development methodology. In this paper, we present an ontology-based approach for formalizing different knowledge types. The formalism is based upon conceptual graphs. A priority concern to all research work in adaptive education is that of finding an appropriate representation for pedagogical knowledge. For implementation, we use the CoGITaNT environment (Conceptual Graphs Integrated Tools allowing Nested Typed graphs), a library of C++ classes (open-sources, developed by LIRMM CNRS, France) allowing the development of applications based on the CG knowledge representation scheme.
