変数を共有する問題の擬似並列処理

概要

論文の詳細を見る
In the problem-reduction approach to automatic problem solving, if several sub-Problems share the same variables, then the way in which one problem is solved many affect the solution to the others. In such cases, goal-oriented methods,which assume independency of subgoals, can not be put to practical use. The authors have developed a pseudo-parallel system for solving problems of the above-mentioned type. The system consists of a scheduler, node micro-actors (NMA)(corresponding to subgoals) and variable microo-actors (NMA)(corresponding to the variables being sent from NMA to NMA). The scheduler controls two kinds of messages passing between one for search,the other for backtracking. Though the NMAs act independently, common NMAs: variables have the same value in each NMA; for NMAs directly converse with VMAs, D-graph deduction, a type of formal deduction using AND/OR graphs, has been implemented in the system.
一般社団法人情報処理学会の論文
1978-09-15