• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 11878067
Research Category

Grant-in-Aid for Exploratory Research

Allocation TypeSingle-year Grants
Research Field 社会システム工学
Research InstitutionHokkaido University

Principal Investigator

佐藤 健  北海道大学, 大学院・工学研究科, 助教授 (00271635)

Project Period (FY) 1999 – 2000
Project Status Completed (Fiscal Year 2000)
Budget Amount *help
¥1,800,000 (Direct Cost: ¥1,800,000)
Fiscal Year 2000: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 1999: ¥1,300,000 (Direct Cost: ¥1,300,000)
Keywords選好 / 優先順位 / 極小限定 / 柔らかい制約 / 線形計画法 / 整数計画法
Research Abstract

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

Report

(2 results)
  • 2000 Annual Research Report
  • 1999 Annual Research Report
  • Research Products

    (3 results)

All Other

All Publications (3 results)

  • [Publications] Satoh, K.: "Computing Circumscriptive Databases by Integer Programming : Revisited"Proc.of AAAI-2000. 429-435 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Satoh, K.: "Formalizing Prioritized Consistency Management in Requirement Engineering"Proc.of Interenational Symposium on Principles of Software Evolution. 189-193 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 岡本 英紀,佐藤 健: "0-1整数計画法を用いた優先順位付き極小限定における極小モデルの計算"人工知能学会誌. (印刷中). (2000)

    • Related Report
      1999 Annual Research Report

URL: 

Published: 1999-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi