This paper proposes an approach for functional knowledge representation based on problem reduction,which represents the organization of problem-solving activities in two levels:reduction and reasoning.The former makes...This paper proposes an approach for functional knowledge representation based on problem reduction,which represents the organization of problem-solving activities in two levels:reduction and reasoning.The former makes the functional plans for problem-solving while the latter constructs functional units, called handlers,for executing subproblems designated by these plans.This approach emphasizes that the representation of domain knowledge should be closely combined with(rather than separated from)its use therefore provides a set of reasoning-level primitives to construct handlers and formulate the control strate- gies for executing them.As reduction-level primitives,handlers are used to construct handler-associative networks,which become the executable representation of problem-reduction graphs,in order to realize the problem-solving methods suited to domain features.Besides,handlers and their control slots can be used to focus the attention of knowledge acquisition and reasoning control.展开更多
publishes only papers of the highest quality. All papers submitted are sent to referees familiar with the respective subjects for advice as to their eligibility for publication and needed improvement. The Editors make...publishes only papers of the highest quality. All papers submitted are sent to referees familiar with the respective subjects for advice as to their eligibility for publication and needed improvement. The Editors make the final decision on publication in the light of such advice. Non-native English-speaking authors are advised to seek necessary linguistic assistance before submission of their manuscripts,although the Editors are prepared to help upgrade works of exceptional excellence. In addition to full length papers of up to 5000 words, the journal welcomes reviews, correspondence and shorter communications of less than 2500 words dealing with novel research techniques, analysis of current research, new concepts, etc.展开更多
基金This research was supported by National High-tech Program(863 Program)of P.R.China.
文摘This paper proposes an approach for functional knowledge representation based on problem reduction,which represents the organization of problem-solving activities in two levels:reduction and reasoning.The former makes the functional plans for problem-solving while the latter constructs functional units, called handlers,for executing subproblems designated by these plans.This approach emphasizes that the representation of domain knowledge should be closely combined with(rather than separated from)its use therefore provides a set of reasoning-level primitives to construct handlers and formulate the control strate- gies for executing them.As reduction-level primitives,handlers are used to construct handler-associative networks,which become the executable representation of problem-reduction graphs,in order to realize the problem-solving methods suited to domain features.Besides,handlers and their control slots can be used to focus the attention of knowledge acquisition and reasoning control.
文摘publishes only papers of the highest quality. All papers submitted are sent to referees familiar with the respective subjects for advice as to their eligibility for publication and needed improvement. The Editors make the final decision on publication in the light of such advice. Non-native English-speaking authors are advised to seek necessary linguistic assistance before submission of their manuscripts,although the Editors are prepared to help upgrade works of exceptional excellence. In addition to full length papers of up to 5000 words, the journal welcomes reviews, correspondence and shorter communications of less than 2500 words dealing with novel research techniques, analysis of current research, new concepts, etc.
