A General - Purpose Reasoning Assistant System EUODHILOS -Basic Features and Potential Usefulness- Every universe of discourse has its logical structure. S. K. Langer (1925)

• Item type: Journal(1)
• 公開日: 1995-03-15
• タイトル: A General - Purpose Reasoning Assistant System EUODHILOS -Basic Features and Potential Usefulness- Every universe of discourse has its logical structure. S. K. Langer (1925)
• タイトル / 言語: en
• タイトル: A General - Purpose Reasoning Assistant System EUODHILOS -Basic Features and Potential Usefulness- Every universe of discourse has its logical structure. S. K. Langer (1925)
• 言語: eng
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: 知識処理
• 著者所属: Institute for Social Information Science FUJITSU LABORATORIES Ltd
• 著者所属: Institute for Social Information Science FUJITSU LABORATORIES LTD
• 著者所属: Software Laboratory FUJITSU LABORATORIES Ltd
• 著者所属: Software Laboratory FUJITSU LABORATORIES Ltd
• 著者所属(英): en
• 著者所属(英): Institute for Social Information Science, FUJITSU LABORATORIES Ltd
• 著者所属(英): en
• 著者所属(英): Institute for Social Information Science, FUJITSU LABORATORIES LTD
• 著者所属(英): en
• 著者所属(英): Software Laboratory, FUJITSU LABORATORIES Ltd
• 著者所属(英): en
• 著者所属(英): Software Laboratory, FUJITSU LABORATORIES Ltd
• 著者名: Hajime, Sawamura; Toshiro, Minami; Kaoru, Yokota; Kyoko, Ohashi
• 著者名(英): Hajime, Sawamura; Toshiro, Minami; Kaoru, Yokota; Kyoko, Ohashi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: Much work has been devoted to special-purpose reasoning assistant systems whose under-lying logics are fixed. In contrast to such a trend this paper is devoted to a new dimension of computer-assisted reasoning research that is a general-purpose reasoning assistant system that allows a user to define his or her own logical system relevant for the intended problem domain and to reason about it. In the first half of the paper the need significance and design principle of EUODHILOS : a general-purpose system for computer-assisted reasoning is discussed then the system overview is described placing emphases on the following three points : (1) an expressive and tractable framework for representing a logic (2) a powerful and flexible proof construction facility and (3) a visual reasoning-oriented human-computer interface for ease of use. In the latter half the potential and usefulness of EUODHILOS are demonstrated through experiments and experiences of its use by a number of logics and proof examples therein which have been used or devised in computer science artificial intelligence and so on.
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Much work has been devoted to special-purpose reasoning assistant systems whose under-lying logics are fixed. In contrast to such a trend, this paper is devoted to a new dimension of computer-assisted reasoning research, that is, a general-purpose reasoning assistant system that allows a user to define his or her own logical system relevant for the intended problem domain and to reason about it. In the first half of the paper, the need, significance and design principle of EUODHILOS : a general-purpose system for computer-assisted reasoning, is discussed, then the system overview is described, placing emphases on the following three points : (1) an expressive and tractable framework for representing a logic, (2) a powerful and flexible proof construction facility, and (3) a visual reasoning-oriented human-computer interface for ease of use. In the latter half, the potential and usefulness of EUODHILOS are demonstrated through experiments and experiences of its use by a number of logics and proof examples therein, which have been used or devised in computer science, artificial intelligence and so on.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 36, 号 3, p. 542-560, 発行日 1995-03-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764