制約評価機構付き仮説推論システムとその回路ブロック設計への応用
スポンサーリンク
概要
- 論文の詳細を見る
The hypothetical reasoning, which is one of non-monotonic reasoning schemes, is a method for handling incomplete knowledge in knowledge base. It also provides us a practical framework for building diagnosis and design systems. In this paper, we present a hypothetical reasoning system with constraint handling mechanism which is indispensable for pruning search space in design problems. Then, we describe a circuit-block design system constructed on this framework. Although the concept of applying this reasoning system to design problems has been reported previously, there has been no its practical application to design problem. In response to the specification of behavior and some constraints given to the system, our system can synthesize a circuit which satisfies the specification and constraints by combining function blocks given in advance as design components. This system differs from existing rule-based design expert systems, since the system builder of this system is only required to write down basic knowledge and doesn't need to write heuristic knowledge for guiding the inference process. Instead of using such heuristic knowledge,a constraint-guided inference process implemented in the hypothetical reasoning becomes the main power for synthesizing new design patterns. Thus the knowledge acquisition burden is greatly lessen and the scope of competence of the knowledge-base can be broaden by allowing incomplete knowledge in the knowledge-base. This paper shows how a practical design system can be effectively implemented using the framework of the hypothetical reasoning system.
- 社団法人人工知能学会の論文
- 1990-09-01
著者
関連論文
- 手形状の認識に基づき実時間で反応する人物表情の動画像合成
- 指サインおよび環境データに基づき動作するデフォーマブル金魚像の実時間合成
- 環境の変化に対し頑健性に有する実時間動画像並列認識システム
- 高次ヒューマンインターフェイスとしての並列処理によるビジュアル・ソフトウェアエージェント
- 並列トランスピュータによる画像処理システムVIT
- 多項式時間仮説推論を達成するネットワーク化バブル伝播アルゴリズム
- Prolog-ELF:ファジィ論理を組み込んだ Prolog
- 座談会 「人工知能研究の現状と問題点」
- クラス概念によるモデリングを用いた知識型3次元ビジョンシステム
- 評価基づく探索肢選択による再設計を含むアルゴリズムレベル回路設計
- 優先権機能を有するランダムアクセスパケット交換構内計算機網
- 推論パスネットワーク上での類推による高速仮説推論システム
- ディザ法を用いた静止画無線伝送装置
- ディジタル画像処理装置入力用テレビジョン信号シェーディング補正器
- 家庭用VTRを利用するディジタル画像ファイル
- 7-9 家庭用VTRを用いるデータ・ファイルにおける誤り訂正
- 制約判定機能を付加した仮説推論システムの流通計画問題への適用
- 単眼視連続画像からの奧行きと運動パラメータの反復計算手法
- 推論パスネットワークによる高速仮説推論システム
- 東京大学生産技術研究所第3部石塚研究室
- ビジュアル・ソフトウェア・エージェントのためのボーン構造ソリッドモデラ
- 仮説推論システムの拡張知識表現と概念学習機構
- 経験に基づく学習による仮説推論の高速化
- 制約評価機構付き仮説推論システムとその回路ブロック設計への応用
- RETEアルゴリズム利用による高速無矛盾性検査機構を備えた仮説推論システム
- 仮説推論による回路設計システムにおける制約式に基づく効率的推論法
- 仮説推論による機能ブロック図設計システム
- 述語論理知識を扱う高速仮説推論システム
- 述語論理知識ベースに適用できる高速仮説推論システム
- 14-6 ルール化された知識に基づく輪郭形状の解釈
- 3Dビジョンにおけるトランスピュータによる並列探索