フレーム型知識表現システムZEROにおける付加手続きとしてのProlog
スポンサーリンク
概要
- 論文の詳細を見る
This paper presents the design concept and implementation of mechanisms of the Prolog-based attached procedure for the ZERO knowledge representation system. ZERO is an extension of FMS (Frame Manipulation System), a general purpose frame-based system, ZERO and which is embedding Prolog. The ZERO system can handle a set of Prolog statements which works like Lisp-oriented attached procedure. The set of Prolog statements is called attached clauses, which is activated by a message from another frame just like as in Lisp-oriented procedural knowledge. Since the knowledge description in clauses has higher modularity, it is easy to combine those clauses which are defined at several class frames in a hierarchy to a set of attached clauses by means of an inheritance control. The inheritance on attached clauses has two different characteristics; inheritances of facts and of procedures. By combining Prolog statements and Lisp-based procedures, highly flexible knowledge based systems could be achieved in sense that users can select the suitable language for specifying the procedural knowledge according to a type of a problem. In order to represent the behavior of conceptual objects in frames, the mechanisms both for message passings and inheritance control with attached clauses are useful by describing in clauses. We have evaluated usefulness of these mechanisms representing RHEUM model. It should be stressed that ZERO is designed to achieve powerful and flexible knowledge representation system by combining strong features of a frame model and Prolog, by embedding the Prolog system within the frame system. We believe that the understandability of representing procedural knowledge and the utilization of it has been significantly improved by this way.
- 社団法人人工知能学会の論文
- 1988-05-20
著者
関連論文
- 対象モデルを用いたVHDLからの知識ベース生成システムの開発
- 医療データベース (医療情報処理)
- パネル討論会 : エキスパート・システムの課題 (エキスパート・システム)
- Japan-CIS Symposium on Knowledge-Based Software Engineerin'94(JCKBSE'94)の企画および参加報告
- プログラム理解のリバースエンジニアリングへの応用
- プログラム理解システムにおける理解法の汎用化
- 「人工知能の展望」 : 1987年7月20日 人工知能学会全国大会(於:学習院大学記念会館)にて
- プログラム理解能力向上のためのプログラムの正規化法について
- 統合型知的プログラミング支援環境に埋め込まれた知的CAIにおける教授戦略
- プログラム理解システムALPUSにおける誤りの表現法および誤りの理解メカニズム
- 知的プログラミング環境における学習者モデル構築法
- アルゴリズムの知識に基づくプログラム理解システムALPUS
- 記述の変換に基づく学習の研究 : ハードウェア記述言語VHDLからの対象モデルの自動生成法
- ハードウェア記述言語VHDLから対象モデルへの変換による知識獲得法について
- 対象モデルを用いたVHDLからの知識獲得
- シソーラス構築支援ツール : THEMSYSの開発
- 対象モデルの概念に基づくキーボードユニットの機能的モデリングの検討
- パネル討論「常識とは何か」 : 1988年7月23日人工知能学会全国大会(於:学習院大学記念会館)
- 故障挙動の知識を導入した対象モデルによるパーソナルコンピュータの診断システムの検討
- フレーム型データ構造の一論理的記述について
- 論理言語による異種DBSの統合化について
- Towards a Logical Approach to Building a Frame-Based Knowledge Representation System : Preliminary Report
- Logic Interface System on CODASYL Database SYSTEM
- 自律型人間サービスロボットアームのための知的計画とアームの制御
- フィードバック型歩行訓練装置に関する研究
- フィードバック型歩行訓練装置に関する研究 A Feedback Type Gait Training System
- C ++による汎用フレーム型知識工学環境ZEROの開発 : 知識ベースファイルの分散・共有化による協調動作
- C++による汎用フレーム型知識工学環境ZEROの開発 : ネットワーク環境におけるリアルタイム型共有知識ベース機能
- X-Windowによる汎用フレーム型知識工学環境ZEROにおけるユーザインタフェースの開発
- 構文知識に基づくガイデットエディタの試作
- 知識ベース・システム研究会と関連分野の動向
- 知識表現システムKBUS : データベース統合化のための一構造
- フレーム型知識表現による関係データベースの記述に対する検討
- フレーム型知識表現システムFKBUSにおけるデータベースの統合利用について
- データベース結合のためのフレーム型知識表現システムFKBUSについて
- レファレンスデータベース利用のための知識表現について
- フレーム型知識表現システムZEROにおける付加手続きとしてのProlog
- フレーム型知識表現言語の設計およびインプリメンテーションについて(モデル表現とその構築に関する理論と実際の研究)
- アルゴリズムアニメーションを用いたプログラミング教育システム
- C++による汎用フレーム型知識工学環境ZEROの実現
- 機能と構造に着目した組合せ回路の階層的知識モデリング
- 機能と構造に着目した組合せ回路の階層的知識モデリング
- 記述の変換に基づく知識獲得支援システム : CADデータベースからの知識獲得法とそのシステムの試作
- 異常挙動に着目したディジタル・システムの故障診断手法
- 視覚と触覚を有する自律型知能ロボットの研究 : 知的作業スケジューリング部
- 論理回路のCADデータベースから対象モデルへの変換に基づく知識獲得支援システム
- 対象モデルに基づく異常挙動のシミュレーションによるキーボードの故障診断システムの開発
- C++による汎用フレーム型知識工学環境ZEROの実現について
- 変換に基づく対象モデルの自動モデル生成システム
- デジタルシステムの設計情報を用いた対象モデルの自動生成手法
- 対象モデルによる論理回路の故障診断システム
- Internetによる産学官研究交流支援システムVRECの構想と実現
- フィードバック型歩行訓練装置に関する研究
- 特集「知識工学」の編集にあたって
- CAD機械図面の理解 : 対象構造の認識とそのルール構築について
- 利用者による拡張機能を付加した知識表現言語ZEROの実現
- プログラム理解における論理エラーの分類と意図理解への応用
- 人型アームサービスロボットHARISに関する研究
- アルゴリズム知識とプラン知識を組み合わせたプログラム理解法
- インターネットを活用した高等教育(21世紀への提言:情報通信技術による教育改革)
- 高等教育におけるインターネットを用いた遠隔教育の課題と展望
- 知的プログラミング教育環境INTELLITUTORにおけるプログラム理解システムALPUSの拡張 : 知識の改訂・追加機能
- 自律型サービスロボットにおける知能ソフトウエア工学的アプローチ
- 知的プログラミング環境における学習者モデル構築
- 知的プログラミング環境における学習者モデル構築
- プログラム理解システム汎用化のためのプログラム表現の抽象化ついて
- LCMシミュレータを用いたディジタルシステムの故障診断システムの設計
- 対象モデルに基づく故障シミュレーションシステムの開発
- 対象モデルによるカウンタ回路の故障診断エキスパートシステム
- フレーム型知識表現環境ZEROへのプロダクション・システムの付加
- 対象モデルによるフルアダーのモデリングと故障診断推論システムの試作
- 知的プログラム開発支援環境INTELLITUTORに於ける、プログラミング知識作成支援システムの設計
- 知的プログラミング環境における学生の状態の理解
- 認知科学的プログラム理解の考え方と方法