WEKO3
アイテム
汎用論証支援システムEUODHILOSの応用と評価
https://ipsj.ixsq.nii.ac.jp/records/14462
https://ipsj.ixsq.nii.ac.jp/records/14462f55fda7e-f6ee-4a85-ad32-f3e2e5b65fe3
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL3405001.pdf (1.4 MB)
|
Copyright (c) 1993 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1993-05-15 | |||||||
| タイトル | ||||||||
| タイトル | 汎用論証支援システムEUODHILOSの応用と評価 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Application and Evaluation of General - Purpose Reasoning Assistant System EUODHILOS | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| その他タイトル | ||||||||
| その他のタイトル | 人工知能 | |||||||
| 著者所属 | ||||||||
| （株）富士通研究所国際情報社会科学研究所 | ||||||||
| 著者所属 | ||||||||
| （株）富士通研究所国際情報社会科学研究所 | ||||||||
| 著者所属 | ||||||||
| （株）富士通研究所国際情報社会科学研究所 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| International Institute for Advanced Study of Social Information Science (IIAS), Fujitsu Laboratories Ltd | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| International Institute for Advanced Study of Social Information Science (IIAS), Fujitsu Laboratories Ltd | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| International Institute for Advanced Study of Social Information Science (IIAS), Fujitsu Laboratories Ltd | ||||||||
| 著者名 |
沢村, 一
× 沢村, 一
|
|||||||
| 著者名(英) |
Hajime, Sawamura
× Hajime, Sawamura
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 問題領域に適した論理系の定義ができ、定義された論理系での論証が行える汎用の論証支援システムEUODHILOSが開発された。このシステムは次の三つの特徴をもつ：（1）記述性が高く、扱いやすい論理記述のための枠組み、（2）強力で柔軟性のある証明構築機能、（3）使いやすく、論証に適したインタフェース。本論文では、まずEUODHILOSの特徴的な機能を簡単に紹介する。次に、計算機科学、人工知能などの分野で考案され使われてきたさまざまな論理系を用いて、EUODHILOSの諭理定義法、および定義された諭理系での証明例を示し、EUODHILOSの使用経験に基づく評価を与える。 | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116647 | |||||||
| 書誌情報 |
情報処理学会論文誌 巻 34, 号 5, p. 809-819, 発行日 1993-05-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7764 | |||||||
