可能世界の順序に基づいた定性的意思決定モデルの構築

2000 Fiscal Year Annual Research Report

• Project/Area Number: 11878067
• Research Institution: Hokkaido University
• Principal Investigator: 佐藤 健 北海道大学, 大学院・工学研究科, 助教授 (00271635)
• Keywords: 選好 / 優先順位 / 極小限定 / 柔らかい制約 / 線形計画法 / 整数計画法

Research Abstract

本研究の目的は,今まで行って来た定性的確率および定性的効用関数の研究を融合し,定性的な意思決定理論を構築することである.今年度の成果は以下である.
優先順位つき極小限定における最選好モデルの新しい計算手法の提案および実装 前年度提案した最選好モデルの計算手法では,線形計画法を1回解くことによって,極小モデルを1つづつ計算することができるが,極小モデルが少なくなるにつれて,計算時間が増大するという問題点があった.この問題点を解決するために,Nerodeらの方法を修正することによって,優先順位の各階層の計算を順に求めて行くことで,その計算時間の増大を緩和する手法を提案した.これによって,より実現性の高い意志決定エンジンのモデルを構築できた.
ソフトウェアの要求工学への応用 決定理論の応用として,ソフトウェアの要求工学に関する検討を行ない,ソフトウェアが変更されたときに,優先順位にしたがって,どの部分の変更が必要であるかを決定する理論を構築した.

Research Products

• [Publications] Satoh, K.: "Computing Circumscriptive Databases by Integer Programming : Revisited"Proc.of AAAI-2000. 429-435 (2000)
• [Publications] Satoh, K.: "Formalizing Prioritized Consistency Management in Requirement Engineering"Proc.of Interenational Symposium on Principles of Software Evolution. 189-193 (2000)