WEKO3
アイテム
制約指向論理型言語に基づく対話的問題解決環境
https://ipsj.ixsq.nii.ac.jp/records/30982
https://ipsj.ixsq.nii.ac.jp/records/309827f2542de-60d2-4532-923c-68ec6b1824a2
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-PRO89029003.pdf (1.3 MB)
|
Copyright (c) 1989 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1989-05-18 | |||||||
| タイトル | ||||||||
| タイトル | 制約指向論理型言語に基づく対話的問題解決環境 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Interactive Problem Solving Environment based On Constraint Logic Programming Language | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 三菱電機（株）中央研究所 | ||||||||
| 著者所属 | ||||||||
| 三菱電機（株）中央研究所 | ||||||||
| 著者所属 | ||||||||
| 三菱電機（株）中央研究所 | ||||||||
| 著者所属 | ||||||||
| 三菱電機（株）中央研究所 | ||||||||
| 著者所属 | ||||||||
| 三菱電機（株）中央研究所 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Central Research Lab. MITSUBISHI Electric corp. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Central Research Lab. MITSUBISHI Electric corp. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Central Research Lab. MITSUBISHI Electric corp. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Central Research Lab. MITSUBISHI Electric corp. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Central Research Lab. MITSUBISHI Electric corp. | ||||||||
| 著者名 |
清水, 広之
× 清水, 広之
|
|||||||
| 著者名(英) |
Hiroyuki, Shimizu
× Hiroyuki, Shimizu
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 知識メディアステーションは多様な知識を扱う能動的メディア「知識メディア」を目指したものである．知識メディアステーションでは，知識表現，問題解決用言語として制約指向論理型言語を採用し，その実行環境としてIncremental Query Interactive Query Revisionを拡張した対話的問題解決環境を導入した．本論文では，知識メディアステーションの概要について述べ，制約指向論理型言語τ，及びそれに基づく対話的問題解決環境について述べる．制約指向論理型言語は問題に対する高い宣言的記述能力を持ち，柔軟な知識表現が可能である．この制約指向論理型言語と対話的問合せ機構とは極めて親和性が高く，Incremental Queryなどのprologをベースとした問合せモデル以上に柔軟な対話的問題解決環境を提供できる． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Knowledge Media Station aims at the active knowledge medium not only to store and apply knowledge represented by knowledge representation language, but also to generate, integrate and propagate various types of knowledge. In knowledge Media station, we adopt constraint logic programming language "τ" for knowledge representation and problem solving language. And we introduce interactive problem solving environment that has extended Incremental Query and Interactive Query Revision. In this paper, we describe the overview of Knowledge Media Station at first, and then explain this constraint logic programming language "τ", and interactive problem solving environment based on this language "τ". Constraint logic programming language has a high ability to describe problems declaratively and enables to represent knowledge flexibly. The combination between constraint logic programming language and interactive query mechanism offers more flexible and harmonious interactive problem solving environment than interactive query models based on Prolog like Incremental Query and Interactive Query Revision. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10485570 | |||||||
| 書誌情報 |
情報処理学会研究報告プログラミング（PRO） 巻 1989, 号 42(1989-PRO-029), p. 21-30, 発行日 1989-05-18 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
