Möbus, Claus (1987) Logic Programs as a Specification and Description Tool in the Design Process of an Intelligent Tutoring System. In: Abridged Proceedings of the HCI International. HCI International, West Lafayette, Indiana 47907, USA, p. 119.
|
- Published Version
Volltext (365Kb) |
Official URL: http://www.hci.international/index.php?module=conf...
Abstract
We propose the use of logic programs when designing intelligent tutoring systems. With their help we specified the small-step semantics of the learning curriculum, designed the graphical user interface, derived instructions and modelled students' knowledge.
| Item Type: | Book Section |
|---|---|
| Uncontrolled Keywords: | logic programs, Formal Specification, specification of elearning, Intelligent Tutoring Systems, small-step semantics, learning curriculum, Graphical User Interface, instructions, student model |
| Subjects: | Generalities, computers, information > Computer science, internet Philosophy and psychology > Psychology |
| Divisions: | School of Computing Science, Business Administration, Economics and Law > Department of Computing Science |
| Date Deposited: | 02 Oct 2015 08:39 |
| Last Modified: | 02 Oct 2015 08:39 |
| URI: | https://oops.uni-oldenburg.de/id/eprint/2458 |
| URN: | urn:nbn:de:gbv:715-oops-25395 |
| DOI: | 10.13140/RG.2.1.4430.7045 |
| Nutzungslizenz: |
Actions (login required)
 |
View Item |
