Abstract: Nowadays the research on intelligent systems for Problem solving in education has had lots of practical applications. A system based on ECOKB model and a specification language can process ...