Hilbert: an autonomous evolutionary information system for teaching and learning logic
View/ Open
Date
2003Author
Cheng, JingdeAkimoto, Naoki
Goto, Yuichi
Koide, Masato
Nanashima, Kouichi
Nara, Sinsuke
Publisher
Department of Educational Sciences, University of CyprusPlace of publication
CY - ΛευκωσίαSource
CBLIS Conference Proceedings 2003 Volume I: New Technologies and their applications in educationGoogle Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
In order to establish a widely useful computer-based environment for teaching and learning logic, we are developing an autonomous evolutionary information system, named “HILBERT,” for teaching and learning various logic systems underlying diverse reasoning forms in scientific discovery as well as everyday logical thinking. This paper presents our basic design ideas for the system, facilities and services provided by the system, and the architecture of the system.