%0 Journal Article
%T PROBLEM SOLVING THROUGH OPERATOR ANALYSIS<br>利用算符分析的问题求解
%A He Qinming
%A Wang Shenkang
%A Yu Ruizhao
%A <br>何钦铭
%A 王申康
%A 俞瑞钊
%J 软件学报
%D 1994
%I 
%X olving Problems through serially removing differences is a kind of problem decomposition. The order of differences to be removed can be planned based on the analysis of operators. The main idea of this plan is to attain next subgoal without undoing the last attained subgoal. Thus, during problem decomposition, those subgoals which keep the operators most usable are chosen, some what like the least constraint propagation.When a set of hierarchic subgoals is generated, the search of initial problem is to attain a serial of subgoals in the set, during which backtracking may happen.
%K Problem decomposition
%K search
%K problem solving<br>问题分解，搜索，问题求解
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=C9C607769C181544A4A744258A2B8DE6&yid=3EBE383EEA0A6494&vid=94C357A881DFC066&iid=94C357A881DFC066&sid=D997634CFE9B6321&eid=987EDA49D8A7A635&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=3