推論型システム記述言語MENDEL

• Item type: Journal(1)
• 公開日: 1986-02-15
• タイトル: 推論型システム記述言語MENDEL
• タイトル / 言語: en
• タイトル: MENDEL : Meta Inferential System Description Language
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文（論文賞受賞）
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: ソフトウェア
• 著者所属: （株）東芝システム・ソフトウェア技術推進部
• 著者所属: （株）東芝システム・ソフトウェア技術推進部
• 著者所属: （株）東芝システム・ソフトウェア技術推進部／現在 （財）新世代コンピュータ技術開発機構
• 著者所属: （株）東芝システム・ソフトウェア技術推進部
• 著者所属(英): en
• 著者所属(英): Systems and Software Engineering Div., Toshiba Corporation
• 著者所属(英): en
• 著者所属(英): Systems and Software Engineering Div., Toshiba Corporation
• 著者所属(英): en
• 著者所属(英): Systems and Software Engineering Div., Toshiba Corporation
• 著者所属(英): en
• 著者所属(英): Systems and Software Engineering Div., Toshiba Corporation
• 著者名: 本位田真一; 内平, 直志; 大須賀, 昭彦; 粕谷利明
• 著者名(英): Shinichi, Honiden; Naoshi, Uchihira; Akihiko, OsugaToshiakiKasuya
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 知識プログラミング・システムはオブジェクト指向や 知識ベースなどを統合化したマルチパラダイム型言語であるが その適用分野として 単にエキスパート・システムの記述以外に シミュレータ記述 ソフトウェア仕様記述などに有効性が見いだされている.ソフトウェアの部品検索 プロトタイピング・ツールおよび知識ベースの効率的な検索への適用を主たる目的として論理型プログラミング言語を基底とした 並列型オブジェクト指向言語である推論型システム記述言語MENDEL(MEta iNferential system DEscription Language)を開発した.MENDELは 分散協調型問題解決システムや知識主導型シミュレータの記述も可能とする知識プログラミング・システムを目指したものである.その特徴は (1)メタ推論機能 (2)オブジェクト間の並列性 (3)C言語とのリンク (4)時制論理の表現である.MENDELの実現に際しては 開発の容易性を高めるために中間言語としてProlog にモジュールの並列性などを付加したD-Prolog (Distributed Prolog)もあわせて開発した.MENDELの適用として ソフトウェア・プロトタイピング・ツールおよびエキスパート・システムについて示している.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 27, 号 2, p. 219-227, 発行日 1986-02-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764