推論型システム記述言語 MENDEL
スポンサーリンク
概要
- 論文の詳細を見る
知識プログラミング・システムはオブジェクト指向や,知識ベースなどを統合化したマルチパラダイム型言語であるが,その適用分野として,単にエキスパート・システムの記述以外に,シミュレータ記述,ソフトウェア仕様記述などに有効性が見いだされている.ソフトウェアの部品検索,プロトタイピング・ツールおよび知識ベースの効率的な検索への適用を主たる目的として論理型プログラミング言語を基底とした,並列型オブジェクト指向言語である推論型システム記述言語MENDEL(MEta iNferential system DEscription Language)を開発した.MENDELは,分散協調型問題解決システムや知識主導型シミュレータの記述も可能とする知識プログラミング・システムを目指したものである.その特徴は,(1)メタ推論機能,(2)オブジェクト間の並列性,(3)C言語とのリンク,(4)時制論理の表現である.MENDELの実現に際しては,開発の容易性を高めるために中間言語としてProlog にモジュールの並列性などを付加したD-Prolog (Distributed Prolog)もあわせて開発した.MENDELの適用として,ソフトウェア・プロトタイピング・ツールおよびエキスパート・システムについて示している.
- 一般社団法人情報処理学会の論文
- 1986-02-15
著者
関連論文
- 8. オブジェクト指向分析・設計の実際と評価 ( オブジェクト指向分析・設計)
- 電力系統監視制御システムへのオブジェクト指向分析適用の試行
- CSTソリューションコンペティション2007及び2008の総括(ペトリネット,離散事象システム,一般)
- AI-2-1 CSTソリューションコンペティション2008 : 総括(AI-2.CSTソリューションコンペティション2008:表彰式・シンポジウム,ソサイエティ企画)
- AK-2-3 マルチカーエレベータ群管理アルゴリズムに関する研究動向 : CSTソリューションコンペティション2007の活動を通じて(AK-2.基礎・境界分野の研究最前線,ソサイエティ特別企画,ソサイエティ企画)
- CSTソリューションコンペティション2007 : 評価実験の詳細報告(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- AI-1-5 CSTソリューションコンペティション2007(総括)(AI-1. CSTソリューションコンペティション2007:表彰式・シンポジウム,依頼シンポジウム,ソサイエティ企画)
- 組込み機器向け知的移動エージェントμPlangentを用いた電力系統巡視システム
- エージェントフレームワークを用いたコンテクストアウェアなテレマティクスサービスの構築(インタラクション/インタフェース応用, ソフトウェアエージェントとその応用論文)
- 同期型待ち行列ネットワークのボトルネックに対する定性的なパラメータチューニング法
- 定性推論と定量推論を導入した待ち行列ネットワークのボトルネック診断と改善法
- 知識工学的手法による待ち行列ネットワークのボトルネック診断
- ドメイン分析に基づく仕様再利用手法
- AS-3-4 CSTソリューションコンペティション2010の概要 : マルチカーエレベータの最適制御(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- A-12-8 CSTソリューションコンペティション2007 : 課題と評価ツール(A-12.コンカレント工学,一般講演)
- AP-2-5 CSTソリューションコンペティション2007(概要)(AP-2.コンカレント技術研究の方向性,パネル討論,ソサイエティ企画)
- TA-2-2 高水準ペトリネットによるソフトウェア設計法(TA-2. 高水準ペトリネットのシステムとソフトウェア開発への応用,チュートリアル講演)
- 代数的仕様と時制論理によるリアルタイムSAとオブジェクト指向設計の融合手法
- 仕様記述過程モデル化のための実験と分析
- 時相論理とその応用 (<特集>非標準論理とその応用)
- 時制論理に基づく仕様記述とそのデバッグ環境
- ペトリネットは便利な道具
- オブジェクト指向・エージェント技術の動向
- 携帯電話上で記述・即時動作可能なネットワークスクリプトの開発
- セマンティック Web サービスマッチメーカーの公開実験に基づく評価
- 放送番組に対してパブリックオピニオンメタデータを生成する視聴支援エージェントの開発 : ネットコミュニティからの雰囲気成分の抽出とユーザ間での流通による洗練化(インタラクション/インタフェース応用, ソフトウェアエージェントとその応用論文)
- ユビキタス環境において動的なコンテクストに応じて知識情報をフィルタリングする推論エージェントの開発(インタラクション/インタフェース応用, ソフトウェアエージェントとその応用論文)
- ユビキタス環境のためのエージェント指向ソフトウェアの開発と応用(ユビキタス社会の実現特集号)
- 開放型分散環境におけるプランニングモバイルエージェントアーキテクチャの提案
- モバイルエージェントの効率的利用
- シミュレーション手法に基づいた並行処理ソフトウェアのプロトタイピング手法
- 知識工学手法による待ち行列ネットワークのボトルネック診断
- C-Prologコンパイラの開発(2) : 内部構造について
- C-Prologコンパイラの開発(1) : 設計思想について
- 産業界におけるソフトウェア・エンジニアリングの動向(ソフトウェアの品質保証について)
- 不確実な電力事業環境下における発電設備投資計画法
- 不確実な環境下における発電設備の投資計画の一手法(電力のOR)
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- 5ZC-6 並行プログラムに関するテスト・デバッグ方式
- 組込み制御用ソフトウェア次世代テスト・デバッグシステム
- モバイルエージェントの生態を探る : その技術と応用の最新動向
- モバイルエージェントの生態を探る : その技術と応用の最新動向
- 高水準ペトリネットによるソフトウェア開発方法論
- 製造業のサービス事業化の課題と設計支援技術
- 時制論理とペトリネット(AIの推論とOR)
- マルチエージェントフレームワークBee-gentを用いた電力系統作業停止計画向け分散スケジューリングシステムの開発
- Bee-gent:移動型仲介エージェントによる既存システムの柔軟な活用を目的としたマルチエージェントフレームワーク
- マルチエージェントフレームワークBee-gentを用いた分散システムにおけるデザインパラダイムの分類と評価
- 既存システムの柔軟な結合を可能にするエージェントフレームワークBe-gentの提案
- モバイルエージェントを用いた分散制約充足問題へのアプローチ : 分散協調型電力系統設備作業停止計画支援システムの開発
- ユビキタス環境におけるContext-Awareなパーソナルエージェントの構築とその実証実験(ソフトウェアエージェントとその応用論文)
- AP-4-3 コンカレント技術ロードマッピングへの招待(AP-4.コンカレント技術の現在・過去・未来,パネル討論,ソサイエティ企画)
- ネット指向戦略シナリオ・プランニング手法の提案
- 代数的仕様を用いたソフトウェア開発支援環境 : Metis-AS
- Metis-AS における代数的仕様の検証手続き
- 等式論理の帰納的定理を証明する手続き
- 代数仕様によるプラント機器保護論理の記述と検証
- 代数的仕様のΔ拡張
- リアルタイムシステムにおけるプロトタイピングの一手法
- 複合ビューポイントに基づく仕様化プロセスの分析
- 製品ライフサイクルでの高信頼化技術の動向 : 仕様と実装と環境のギャップを監視・検出・修正するヘルスマネジメント
- 製品ライフサイクルでの高信頼化技術の動向 : 仕様と実装と環境のギャップを監視・検出・修正するヘルスマネジメント
- 製造業のサービスイノベーションのための知識処理技術(サービスイノベーションとAI)
- コンカレント工学における技術ロードマッピングに関する考察(コンカレントシステム, 一般)
- 3. 制御用プログラムの試験 (<特集>「並行処理におけるプログラム試験」)
- 離散事象システムの網羅的シミュレーション
- シ-ケンス制御プログラムの検証技術
- 特集「仕様獲得と知識獲得 : ソフトウェアシステムの視点から」の編集にあたって
- 様相論理による並行プログラムの積重ね式検証法
- 大規模有向グラフの効率的記憶法 : アニーリング法を利用したラベル付け
- 代数的仕様記述と図式仕様記述の相補的役割について : 複眼的システムモデル
- 診断型エキスパート・システム (エキスパート・システム)
- 1. オブジェクト指向分析・設計 ( オブジェクト指向分析・設計)
- CSTソリューションコンペティション2010 : マルチカーエレベータの最適制御(CSTソリューションコンペティション2010,コンカレントシステム及び一般)
- コンカレント工学研究会の活動を振り返って : 歴代委員長からのメッセージ(一般,コンカレントシステム及び一般)
- 3. 応用分野の最前線 3.4 制御分野における自動プログラミング (自動プログラミング)
- 代数仕様技術によるオブジェクト指向分析設計の検証支援
- 特集「ネット指向パラダイムを求めて」の編集にあたって
- 推論型システム記述言語 MENDEL
- 1-D-7 医療・介護サービスにおける音声つぶやきコミュニケーションによる連携業務のモデル化(特別セッション サービスサイエンス)
- 仮想フィールドを用いた看護・介護サービスにおける音声つぶやきコミュニケーションの評価実験について (システム数理と応用)
- 看護・介護サービスのための時空間を越えたコラボレーション支援
- 看護・介護サービスにおける複雑なプロセスのモデル化にむけて(グラフ,ペトリネット,ニューラルネット,及び一般)
- 看護・介護サービスにおける複雑なプロセスのモデル化にむけて(グラフ,ペトリネット,ニューラルネット,及び一般)
- 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
- 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
- 制約処理パターンを用いたオブジェクト思考ソフトウェア開発
- 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
- 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
- 仮想フィールドを用いた看護・介護サービスにおける音声つぶやきコミュニケーションの評価実験について
- 看護・介護サービスにおける複雑なプロセスのモデル化にむけて
- 看護・介護サービスにおける複雑なプロセスのモデル化にむけて
- A-12-13 節電と経済活性化を両立させるサービス設計(A-12.システム数理と応用,一般セッション)
- 音声つぶやきによる看護・介護の時空間コラボレーション支援 : システムの概要と試行評価結果
- 音声つぶやきによる看護・介護の時空間コラボレーション支援 : システムの概要と試行評価結果
- イベントログに基づいた行動型サービスの分析(システムと信号処理及び一般)
- イベントログに基づいた行動型サービスの分析(システムと信号処理及び一般)
- イベントログに基づいた行動型サービスの分析(システムと信号処理及び一般)
- イベントログに基づいた行動型サービスの分析(システムと信号処理及び一般)