知識処理システム構築のための問題向き推論プログラム自動生成手法
スポンサーリンク
概要
- 論文の詳細を見る
The generic task method is a powerful route to easier construction of knowledge processing systems. The problem solving process is regarded as an information processing task, and the knowledge processing system is constructed by adding task implementation knowledge to the generic task, which is a pre-defined building block of an expert tool for a specific information processing task. The weak point of the method is that the collection of problem solving methods is not systematic. According to the characteristics of a problem to solved, users select a best-fit generic task and adjust formalization of the problem solving method to this selected generic task. In most cases, the load of the adjusting process is not negligible. Systematic classification of problem solving methods is the key to enhancement of the expert system tool. In order to construct the knowledge processing system more easily, we propose an expert tool which has a problem-directed inference program generation function. With the proposed expert tool, users then construct a knowledge processing system in the following way. (1) Users divide the process into search modules. (2) Users formalize search module as a search, (3) Users input the search strategy by selecting the classification items of the search classification tree, which the tool has prepared. (4) The tool produce the problem-directed inference program by setting appropriate program parts in the template of the general search algorithm. The program parts are prepared as an abstract data type in the tool. (5) The tool adds task implementation knowledge to the problem-directed inference program, and completes the search module. (6) The tool integrates each search module and completes the knowledg processing system. The tool is applied to construction of three types of scheduling systems. They are a maintenance scheduling system, construction scheduling system, and job-shop scheduling system. By using the proposed tool, problem-directed inference programs are produced. Comparing the inference programs implemented by using a conventional tool, equivalent performance and a two-thirds reduction in program step numbers required as the programmers' input are realized.
- 社団法人人工知能学会の論文
- 1991-07-01
著者
-
小林 康弘
日立製作所
-
山田 直之
日立製作所
-
山田 直之
(株)日立製作所電力・電機開発本部
-
小林 康弘
(株)日立製作所日立研究所
-
笠原 孝保
(株)日立製作所電力・電機開発本部
-
笠原 孝保
日立製作所エネルギー研究所
-
笠原 孝保
日立製作所 電力・電機開発本部
関連論文
- 24pYF-3 財務データ分析に基づく企業工ージェントモデル(経済物理,領域11(統計力学,物性基礎論,応用数学,力学,流体物理))
- 知識工学的手法を応用した変電所レイアウト・システム(4) : レイアウト・システムの機能
- 知識工学的手法を応用した変電所レイアウト・システム(3) : 推論手法の特徴
- 時間資源配分アプローチによるプロジェクトスケジューリング手法
- B-24 投資リスクを最小とする開発プロジェクトスケジューリング手法(研究開発トラック,持続的発展価値を実現する戦略開発プロジェクト・プログラムマネジメント)
- 段階的開発プロジェクトの価値評価手法
- EBLとSBLを併用した変電所最適母線構成の設計
- 機械学習を用いた変電所機器構成設計システムの開発
- 機械学習法の変電所機器構成の設計への適用
- 時間協調を含むシーケンス制御回路の設計検証システム(2) : 検証手法及び検証例
- 時間協調を含むシーケンス制御回路の設計検証システム(1) : システム構成
- シーケンス制御回路の設計検証システム(2) : 検証手法及び検証例
- シーケンス制御回路の設計検証システム(1) : システム構成
- 資源山積み平準化のための大規模工程計画作成手法
- 制約条件を効率的に処理する推論方式の開発と計画問題への応用
- 工程計画の資源山積みを平準化する0-12次計画アルゴリズム
- 作業期間を可変とする工程平準化アルゴリズム(スケジューリング)
- 知識処理システム構築のための問題向き推論プログラム自動生成手法
- モジュール型知識情報処理システム(2) : 対象知識の入力支援法
- モジュール型知識情報処理システム(1) : 情報処理モジュール構成法
- 知識処理応用による設計支援システムの高度化
- 記号処理による設計検証(2)
- 区間開閉器情報を用いた分散型電源発電量把握手法の実測評価
- 在庫機能を持たないサプライチェーン運用のリスク管理手法 : 需要リスクの下での運用計画最適化
- 2-B-3 供給不足リスク制約の下での生産・調達計画手法(5)(数理計画(2))
- 供給不足リスク制約の下での生産・調達計画手法(4)(ケース・スタディ)
- 供給不足リスク制約の下での生産・調達計画手法(3)(生産管理)
- 供給不足リスク制約の下での生産・調達計画手法(2)(生産管理(2))
- 供給不足リスク制約の下での生産・調達計画手法(モデリング(1))
- 遺伝的アルゴリズムを用いた最適な放射状系統の作成手法
- タブー探索法の改良とスケジューリング問題を用いた評価
- 電力需給運用における発電機運転計画作成(ORの適用事例)
- ニューラルネットワークとそのメタシステムによる組合せ最適化手法
- 資源山積みを目標形状に追従させる工程計画アルゴリズム(スケジューリング)
- 0-1計画問題の近似解法プログラムの開発と評価
- 多属性効用理論を応用した知識獲得方式
- プラントレイアウト設計自動検証方式の開発
- 作業順序ネットワーク自動作成方式の開発
- 12pTC-14 財務諸表分析による企業活動の確率過程モデル(経済物理, 領域 11)
- 最適ポートフォリオ決定問題向け二次計画法の適用方式
- 分数計画と半正定値計画を用いた発電所負荷配分手法
- プログラマブルコントローラ用論理図の自動レイアウトプログラム
- 発電プラント展開接続図の設計検証システムの開発 : 結線関係の検証
- 離散系シミュレータをシステムシミュレーションテストへ適用するための時刻同期手法の開発
- 天候デリバティブの価格付けへ向けた日次降水量の確率モデル化
- 太陽光発電大量導入時の需給変動を抑制するための分散蓄電池システムの容量評価手法
- 制御ソフト高信頼化設計技術の開発
- Mandrioli, D.: Generating Test Cases for Real-Time Systems from Logic Specification, ACM Trans. on Computer Systems, Vol.13, No.4, pp.365-398 (1995).
- 太陽光発電大量導入時の需給変動を抑制するための分散蓄電池システムの容量評価手法