A General-Purpose Resoning Assistant System EUODHILOS : Basic Features and Potential Usefulness

概要

論文の詳細を見る
Much work has been devoted to special-purpose reasoning assistant systems whose underlying 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.
一般社団法人情報処理学会の論文
1995-03-15