Henze, N.; Nejdl, W.: ¬A logical characterization of adaptive educational hypermedia (2004)
0.01
0.013476291 = product of:
0.026952581 = sum of:
0.026952581 = product of:
0.053905163 = sum of:
0.053905163 = weight(_text_:systems in 5711) [ClassicSimilarity], result of:
0.053905163 = score(doc=5711,freq=4.0), product of:
0.16037072 = queryWeight, product of:
3.0731742 = idf(docFreq=5561, maxDocs=44218)
0.052184064 = queryNorm
0.33612844 = fieldWeight in 5711, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
3.0731742 = idf(docFreq=5561, maxDocs=44218)
0.0546875 = fieldNorm(doc=5711)
0.5 = coord(1/2)
0.5 = coord(1/2)
- Abstract
- Currently, adaptive educational hypermedia systems (AEHSs) are described using nonuniform methods, depending on the specific view of the system, the application, or other parameters. There is no common language for expressing the functionality of AEHSs, hence these systems are difficult to compare and analyze. In this paper we investigate how a logical description can be employed to characterize adaptive educational hypermedia. We propose a definition of AEHSs based on first-order logic, characterize some AEHSs resulting from this formalism, and discuss the applicability of this approach.
