対話的制約充足手法による制約プログラミングの実現

概要

論文の詳細を見る
世の中で行なわれている事務処理は、コンピュータ化により、コストや時間の削減の面で大きな効果が期待できる。なぜなら、健康保険規則や社員給与規則等、事務処理が従うべき事務規則が明確に規定されているからである。そして、事務処理で最も要求されることは、処理要求に対して常に事務規則と整合した処理結果を生成することである。よって、事務規則をデータ間の関係を規定する制約としてとらえ、事務処理は事務処理上のデータ状態を、常に事務規則に関して整合した状態に維持管理する整合性管理である、という立場で事務処理を実現することを考える。従来、事務処理システム構築にあたっては、多くの場合、手続きフロー、ルール、トリガといった状態を遷移させる操作として、事務規則を記述していた。しかし、規則と整合した処理結果を生成する操作のみを可不足なく記述することは困難と考えられる。そこで、我々は整合性の仕様である事務規則そのものを制約として表現し、制約の記述のみで処理を実現する手法を提案する。本手法では制約の充足により、処理を実現するので、事務規則と整合した処理結果の生成が保証される。但し、制約とデータの状態から制約の充足ができない場合、ユーザとの対話により、データを制約充足状態に推移させる。このとき、ユーザとの対話、すなわち、充足に必要なデータの値の質問がユーザに負担にならないように、質問数を抑えるための幾つかのヒューリティックスを導入する。以下、2章では、提案する整合性管理システムを説明し、3章ではシステムの評価結果を述べる。4章はまとめである。
一般社団法人情報処理学会の論文
1993-09-27

対話的制約充足手法による制約プログラミングの実現

スポンサーリンク

概要

著者

関連論文

スポンサーリンク