@techreport{oai:ipsj.ixsq.nii.ac.jp:00051003, author = {今成, 文明 and 小川, 均 and 高玉, 圭樹 and Fumiaki, Imanari and Hitoshi, Ogawa and Keiki, Takadama}, issue = {69(1993-ICS-089)}, month = {Aug}, note = {プロダクションシステムにおける問題解決で一般に用いられている推論方法では本質的に推論が最終的に終了するまで解を得ることができない.しかしながら処理に時間のかかる計画・スケジューリング問題などでは完全な解でなくても最終的な解の近似解を実時間で得たい場合がある.そこで本論文では,このような問題に対処するため,実時間で近似的な解を導出する推論方法の提案を行なう.問題の制約という観点に注目し,まず必ず解が満足しなければならない制約 (絶対的制約) とできるだけ満たした方が良い制約 (希望的制約) に分ける.ます絶対的制約のみを考慮して実時間で近似的な解を獲得し,その後希望的制約を考慮し近似的な解を修正することで最終的な解を得る.解答の要求があったときに,その時点での解を提示すればよい.本論文ではこの推論方法の推論メカニズムの提案を行ない,また関連研究の考察を示した., As for the planning or scheduling problem, there are case where approximate results are expected to be obtained within the real time. Previous inference methods, however, cannot cope with these problems because results of the inference are basically obtained after terminating the inference comletely. This paper proposes an inference method with which an approximate result is obtained within the real time by separating constraints into absolutely-satisfied and desirable-satisfied ones. In this method, the inference is excuted by considering only absolutely-satisfied constraints, and the final result is obtained by modifying an approximate result by desirable-satisfied constraints.}, title = {実時間応答を目的とした推論方法に関する研究}, year = {1993} }