Several Problems of Semantic Engineering A Case Study of Humanoid Resolving the Primary Mathematics Application Problems

In this paper, the problems, such as engineering model, semantic description, basic algorithm, heuristic resolving and platform of semantic engineering are discussed. Taking the humanoid resolving of mathematical application problem as an example, the semantic instances’ aggregation, clause as semantic unit, formula variable's labels matching and space search methods are proposed; the scene's semantic description frame is used to describe context semantics, and the common data pool which includes the word segmentation chain, scene frame database, formula knowledge database and resolving rule database are designed; The basic algorithms such as scene frame matching, correspondence between data elements and formula variables, formula variable constraint algorithm and resolving operation mechanism are established; The common semantic description and selection of problems are realized, and the accelerated operation mechanism of heuristic resolving is also developed; The semantic data platform is built. Finally, the paper summarizes the general semantic ideas of humanoid resolving the primary mathematical application problems, and puts forward the next improvement plan.