An approach for translating mathematics problems in natural language to specification language COKB of intelligent education software

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 and produce gradual guide ways for full problem solving explanation. However, these systems limit users because they require the data input and the result output both not in natural language but specification language, which few users knows how to use this language input to the systems. Therefore, to improve ability of interacting by natural language, this paper proposes a new approach for translating mathematics problems in natural language to specification language as well as bringing out the model of natural language translating method associated with knowledge base domain for effective translation. Besides, this paper shows the ability of this approach applied in different knowledge domains.