ATMSのラベル遅延更新アルゴリズム
スポンサーリンク
概要
- 論文の詳細を見る
解法をアルゴリズムとして定式化することが困難な問題解決にとっては,探索が本質的である.仮説推論は仮説的な状況を明示的に取り扱うことにより,探索を効率良く制御することができる,de Kleerが提唱したATMS(Assumption-based Truth Maintenance System)は,仮説推論を現在までのところ最も適切に定式化した枠組である.ATMSは多重世界の扱い方に基づいて平行型と巡回型に大きく2つに分類することができる.前者は特定の世界に注目することなく全ての世界を一括して取り扱う,後者は単一の世界に注目して個々の世界を巡回し,問題解決は巡回中の世界のみで行う.de KleerによるDDB-Guided ATMSは巡回型として分類することができる.ATMSベースの問題解決システムの性能が良いといえるための前提の一つに,ATMSを用いることによるオーバーヘッドよりも,ATMSを用いることによって回避できるようになった探索のパスの負荷が大きいということがあげられる.設計型のエキスパートシステムなどといった,問題解決器が消費するCPU時間が極めて大きい問題では,この前提が成立するため,ATMSを用いることが有利であると言える.しかし,この前提は多くの問題解決にとって必ずしも成立するものではない.例えば,音声理解システムにおいては,問題解決器の一つのコンシューマが消費するCPU時間は少なく,ATMSの消費するCPU時間が全実行時間の半分を越えるようなこともまれではない.このような問題においてはATMS自身の性能がシステム全体の性能を左右するといえる.特に,ATMSはその実行時間の大半をラベル更新に費やしていることから,効率的なラベル再計算のアルゴリズムを与えることは問題解決システム全体の性能向上にとっても重要である.本稿では,ATMSにおけるラベルの取り扱いに着目することにより,効率的なラベル更新のためのアルゴリズムを提案する.
- 一般社団法人情報処理学会の論文
- 1989-10-16
著者
関連論文
- 目的指向プロセスのオントロジー的共通性に基づいた人工物機能とモバイルユーザ行動のモデリングとその応用(オントロジーの進化と普及(後編))
- オントロジーに基づく学習教授活動のデザイン(学習支援環境のシステマティックなデザイン:学習の工学を目指して)
- 授業案の内省的な設計支援に向けて--オントロジー工学的モデリングによるケーススタディ (eラーニング環境のデザインとHRD(Human Resource Development)/一般)
- 理論の組織化とその利用への内容指向アプローチ : オントロジー工学による学習・教授理論の組織化とTheory-awareオーサリングシステムの実現(AIフロンティア論文)
- オントロジーを基盤としたICT活用授業設計支援
- 方略指向の整理による学習・教授理論の理解の深化に向けて
- モバイルサービスのタスク指向型メニュー搭載を目指して : ユーザ行動モデル記述方式とその利用についての一考察(日常生活行動コンピューティング)
- 学習・教授理論の構造化による理解と活用の支援
- メタ認知活動の困難さに関するフレームワークの提案
- オントロジー工学とXML技術に基づく技術知識統合管理プラットフォームの構築 : 人工物の機能的知識の外化・共有・共創支援基盤の実現
- 機能発揮・製造プロセス知識統合的記述枠組みに基づくナノテク材料設計支援システムの開発
- オントロジーを基盤としたメタデータ記述による課題解決力育成を目的とした学習指導案検索支援(学習オブジェクト・学習データの活用と集約)
- 知的活動支援のためのオントロジー工学的アプローチ
- 知識成長過程を指向した設計意図知識管理システムの構築
- 相互運用性を指向した機能・不具合知識の統合とその概念写像に基づく知識変換
- ロール理論におけるインスタンス生成・消滅問題
- モバイルサービスのタスク指向型メニュー搭載を目指して : ユーザ行動モデル記述方式とその利用についての一考察(セッション2:しっかり/かっちりインタラクション(2),テーマ:「しっかり/かっちりインタラクション」および一般)
- オントロジー工学と自然言語処理の融合による機能分解木記述支援の枠組み(言語理解とオントロジーシンポジウム)
- 2405 設計知識の分節化のための人工物プロセスに関するオントロジー工学的考察(OS10 設計マネジメント(1:設計知識マネジメント),未来社会を支えるものづくりとひとづくり(設計・システムから))
- オントロジー工学とセマンティックWebにおける意味表現(セマンティックコンピューティング)
- 深い知識に基づく知識コンパイラの基本設計
- 音声理解システムにおける知識ベースの拡充
- 知的訓練システムSmartTrainerの設計と実現
- 訓練システムSmartTrainer構築用オーサリングツール
- 訓練システム作成支援環境 SmartTrainer/AT のインタフェース設計
- オントロジーに基づくオーサリング環境
- 概念間関係に関するオントロジー的考察 : is-a, part-of, identity
- 電力系統訓練のためのオーサリングシステム
- 適応的訓練教材の構成原理について
- 技術ドキュメントからの教材作成支援
- 知的訓練システムSmartTrainerにおける適応的訓練教材の構成
- タスクオントロジーに基づく訓練システムのオーサリング環境
- 知的訓練システムSmart Trainerにおける訓練タスクオントロジー : 訓練課題の構成とその動的制御
- 信号解釈エキスパートシステムシェルの開発
- 汎用DBMSを用いた知的マン・マシンインタフェースの実現 : 音声データベースSPEECH-DBに関して
- 計算機援助型相談システム"CONSULTANT"の構成とその設計思想
- 実践・教育複合型協調学習場の設計支援に向けたオントロジー工学的アプローチ
- 「人工知能学事典」編集四方山話
- 性質データの相互運用のための性質・属性・特性に関する考察 : ナノテク材料分野の性質記述を例として
- オントロジー工学に基づくナノテク材料の機能・製造プロセス知識統合的記述システムの開発(セッション : 一般(知識処理とオントロジー), 「社会システムにおける知能」及び一般)
- オントロジー工学に基づくナノテク材料の機能・製造プロセス知識統合的記述システムの開発
- オントロジー工学に基づくナノテク材料の機能・製造プロセス知識統合的記述システムの開発(一般(知識処理とオントロジー), 「社会システムにおける知能」及び一般)
- オントロジー工学に基づくナノテク材料の機能・製造プロセス知識統合的記述システムの開発
- オントロジーに基づくモデリングにおける設計パターンの表現と利用 : 訓練システムオーサリング環境SmartTrainer/ATを例にして
- 3U-9 オントロジー構築のための設計パターンに関する基礎的検討
- 「AIマップ-形式と内容-内容指向人工知能研究の勧め-」へのコメントと回答
- 音声理解システムのためのパーザASPにおけるオブジェクト指向型プログラミング環境
- 言語処理システムにおけるATMSの利用法について
- 音声理解における主題情報の役割とその利用 (「音声の知的処理」)
- 音声理解システムのための言語処理方式 : 並列処理へのフレームワークの拡張
- 汎用音声出力インタフェースにおける概念表現からの音声合成
- ロボット分野アカデミック・ロードマップの統括
- 222 オントロジー工学的考察に基づく人工物の統合的機能構造モデリング(Design知識)
- コンテキスト依存性に基づくロール概念組織化の枠組み
- オントロジー構築ツールの現状
- タスク・ドメインロールに基づくオントロジー構築ガイドシステムの設計と開発 : 石油精製プラントを例として
- オントロジー構築・利用環境「法造」の開発と利用 : 実規模プラントのオントロジーを例として
- 「ロール」および「関係」に関する基礎的考察に基づくオントロジー記述環境の開発
- オントロジー構築利用環境「法造」における「関係」および「ロール」の取り扱い
- 3J-5 オントロジー構築過程におけるロール概念の抽出と整理の方法
- オントロジー構築利用環境「法造」の設計と試作
- ニーズ順応型コンテンツ上流設計支援システム : コンピテンシーを中核とした HRD 設計モデル
- 人的資源におけるオントロジーの有用性
- 人的資源におけるオントロジーの有用性
- 企業における技術知識の伝承を目指して
- 発話の動機に基づく話題の予測
- 発話予測のための発話の動機に関する考察
- 発話の動機に関する知識の整理
- 知的医薬品設計エキスパートシステム IDDEX
- スクラップ&ビルド法に基づく新薬設計支援システムIDDEXの開発(IDDEX:Intelligent Drug Desigh EXpert)
- 概念表現からの対話文生成における文脈情報とその影響
- 非単調性の定式化に基づく学習者モデル構築方式
- IDDEX(Intelligent Drug Design EXpert)における医薬品設計知識の獲得とその利用
- ITSのための汎用フレームワークFITSにおける教授戦略の運用法
- 対象モデルと故障モデルに基づく知識コンパイラIIの構築と評価
- 教育戦略の観点から見た教材知識の分類
- 設計知識獲得システム : ISAK
- 知識コンパイラ(KCII)のDST化
- インタビューに基づくデータベース論理設計支援エキスパートシステム
- 深い知識に基づく知識コンパイラの評価
- メタレベルのプログラミング機能を持つ高速推論システム-SPIRE
- 次世代プラント用ヒューマンインタフェースの研究開発 (ヒューマンメディア特集号)
- 設計意図を考慮した生産工程再設計システムの検討
- 生産工程のモデル化と改善支援に関する検討
- 対象モデルに基づく故障診断エキスパートシステムKCIII
- 機能モデル記述のためのドメインオントロジーとその説明への応用に関する検討
- 知的アクセス機能をもつ音声データベース「SPEECH-DB」
- Competency Explorer : 概念の切り出しと体系化を支援する
- ニーズに基づく人的資源開発設計の支援システム : コンテンツ設計を中心として
- 認識誤りを含む音韻候補列を効率的に解析する方法
- 故障オントロジーの考察に基づく故障診断方式 : 網羅的故障仮説生成
- セマンティックWeb技術に基づく情報教育支援(先進的学習システム/一般)
- オントロジー理論に基づく情報教育目標の体系的記述(基礎理論)(先進的教育・学習支援システム構築のための基礎理論論文)
- 教科「情報」の各科目における情報教育目標の分析
- 「哲学とAIにおける対象世界モデリング」の企画にあたって
- モデルに基づく問題解決のための流体系と時間のオントロジーの構築とその評価
- 3J-1 体系化された機能知識に基づく機能達成方式再構成システムの概念設計
- 機能レベル推論のための機能オントロジーに関する考察
- 設計意図抽出を目的とした機能構造の導出に関する考察
- 体系化された機能概念に基づいた動的システムの機能理解 : 化学プラントを例題として