ソフトウェア開発における協調支援環境Vela : (5)ソフトウェア・プロセスの実行機構
スポンサーリンク
概要
- 論文の詳細を見る
実際の開発活動を分析、形式化して得られた知識(ソフトウエアプロセスのルール表現)には、以下のような問題がある。(1)ルールの条件部の値が正確に特定できず、複数のルールが競合する。(2)ルールのアクション部で変数にユニファイされる値(中間生成物)が必ずしも正しいものとは限らない。本稿では、(1)知的バックトラック機構により、過去のルール選択のやり直しをサポートし、非決定性に対処する。(2)Truth Maintenance Systemに基づく仮説推論により、作られる「もの」の質や理解の程度などの不確実なことがらに対して仮説を立て、いきづまった時にこの原因として仮説を変更することによって対処する。という二つの機構をプロセスの実行系に組み込む方法について述べる。
- 一般社団法人情報処理学会の論文
- 1990-09-04
著者
関連論文
- DODDLE:計算機可読型辞書を利用した領域オントロジー構築支援環境 (1) : 概念階層構築支援
- DODDLE:計算機可読型辞書を利用した領域オントロジー構築支援環境 (2) : 概念定義構築支援
- 第15回機械学習国際会議
- 協調作業におけるエージエシト間の相互作用のモデル化
- パネル討論会 : CASE環境の夢物語 : 革新的将来像 : 「CASE環境」シンポジウム
- パネル討論会 : 明日のソフトウェア工学 (<特集>ソフトウェア工学の現状と動向)
- 座談会「人工知能の理論と実際」 : 1991年4月17日(於:オーム社) (「人工知能と理論の実際」)
- I-3 少年剣士のフォーム矯正のためのイメージデータマイニング(画像処理,I.画像認識・メディア理解)
- 第4回太平洋アジア地域知識発見とデータマイニング国際会議の報告
- 組み合わせ最適化問題における遺伝的アルゴリズムの適用可能性
- 分類システムに基づくドリル異状診断ルールの学習
- 汎用オントロジーとソートタキソノミーを利用した法的オントロジーの構築支援環境
- パネル討論「機械学習の理論と実際」 : 1991年6月28日第5回人工知能学会全国大会(於:学習院大学大講堂)にて (「機械学習の理論と実際」)
- 第13回欧州人工知能会議報告
- 分散協調型ESにおけるタスク構造の学習について
- ソフトウェア開発における協調支援環境Vela : (4)事例ベースの構成法
- オントロジーを利用したソフトウェアプロセス生成検査システム
- ルール洗練化機構とルールインダクションの統合について
- ECADO : 領域オントロジーに基づくECエージェントの実現
- オントロジーに基づく情報統合機能を持つECエージェントの構成
- 固定されたタスク構造における知識洗練化システム
- ソフトウェア開発における協調支援環境Vela : (3)ソフトウェアプロセスの分析と形式化
- 異種診断型ESの相互作用機構における推論構造変換支援
- 法的オントロジーとしての法律専門辞書構築支援環境
- 第5回環太平洋人工知能国際会議(PRICAI '98)報告
- CAMLET:帰納的学習システム構築支援環境(1) : 仕様と実装の対応付け
- 遺伝アルゴリズムに基づく信号データ解釈システムの構成法
- CAMLET:帰納的学習システム構築支援環境(2) : 超並列計算機による仕様の探索
- ソフトウェア開発における協調支援環境Vela : (5)ソフトウェア・プロセスの実行機構
- ソフトウェア開発における協調支援環境Vela : (6)TMSの利用実験と評価