Document (#30712)

Author

Henze, N.
Nejdl, W.

Title

¬A logical characterization of adaptive educational hypermedia

Source

New review of hypermedia and multimedia. 10(2004) no.1, S.77-113

Year

2004

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.

Theme

Computer Based Training
Hypertext

Similar documents (author)

1. Nejdl, W.; Risse, T.: Herausforderungen für die nationale, regionale und thematische Webarchivierung und deren Nutzung (2015) 2.06

   2.0571492 = sum of:
     2.0571492 = product of:
       4.1142983 = sum of:
         4.1142983 = weight(author_txt:nejdl in 3531) [ClassicSimilarity], result of:
           4.1142983 = score(doc=3531,freq=1.0), product of:
             0.83035713 = queryWeight, product of:
               1.2207158 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.06864193 = queryNorm
             4.954854 = fieldWeight in 3531, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.5 = fieldNorm(doc=3531)
       0.5 = coord(1/2)
   

2. Henze, V.: "SGML" - a solution for your digital library of the future? (1996) 1.41

   1.4136182 = sum of:
     1.4136182 = product of:
       2.8272364 = sum of:
         2.8272364 = weight(author_txt:henze in 3778) [ClassicSimilarity], result of:
           2.8272364 = score(doc=3778,freq=1.0), product of:
             0.55723166 = queryWeight, product of:
               8.117949 = idf(docFreq=35, maxDocs=44421)
               0.06864193 = queryNorm
             5.073718 = fieldWeight in 3778, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.117949 = idf(docFreq=35, maxDocs=44421)
               0.625 = fieldNorm(doc=3778)
       0.5 = coord(1/2)
   

3. Henze, V.: MAB2-Zeichenvorrat und -codes : Erweiterungen von MAB2 für Elektronische Publikationen (1996) 1.41

   1.4136182 = sum of:
     1.4136182 = product of:
       2.8272364 = sum of:
         2.8272364 = weight(author_txt:henze in 4344) [ClassicSimilarity], result of:
           2.8272364 = score(doc=4344,freq=1.0), product of:
             0.55723166 = queryWeight, product of:
               8.117949 = idf(docFreq=35, maxDocs=44421)
               0.06864193 = queryNorm
             5.073718 = fieldWeight in 4344, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.117949 = idf(docFreq=35, maxDocs=44421)
               0.625 = fieldNorm(doc=4344)
       0.5 = coord(1/2)
   

4. Henze, V.: Zeichensatz und elektronische Publikationen im Format MAB2 : Ergebnisse der Sitzung des MAB-Ausschusses am 28. März 1996 (1996) 1.41

   1.4136182 = sum of:
     1.4136182 = product of:
       2.8272364 = sum of:
         2.8272364 = weight(author_txt:henze in 4353) [ClassicSimilarity], result of:
           2.8272364 = score(doc=4353,freq=1.0), product of:
             0.55723166 = queryWeight, product of:
               8.117949 = idf(docFreq=35, maxDocs=44421)
               0.06864193 = queryNorm
             5.073718 = fieldWeight in 4353, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.117949 = idf(docFreq=35, maxDocs=44421)
               0.625 = fieldNorm(doc=4353)
       0.5 = coord(1/2)
   

5. Henze, V.: ¬Die Deutsche Bibliothek : 1. Ergänzungslieferung zur MAB2-Dokumentation (1996) 1.41

   1.4136182 = sum of:
     1.4136182 = product of:
       2.8272364 = sum of:
         2.8272364 = weight(author_txt:henze in 6044) [ClassicSimilarity], result of:
           2.8272364 = score(doc=6044,freq=1.0), product of:
             0.55723166 = queryWeight, product of:
               8.117949 = idf(docFreq=35, maxDocs=44421)
               0.06864193 = queryNorm
             5.073718 = fieldWeight in 6044, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.117949 = idf(docFreq=35, maxDocs=44421)
               0.625 = fieldNorm(doc=6044)
       0.5 = coord(1/2)
   

Similar documents (content)

1. Ford, N.: "Conversational" information systems : Extending educational informatics support for the web-based learner (2005) 0.16

   0.15881358 = sum of:
     0.15881358 = product of:
       0.66172326 = sum of:
         0.03165801 = weight(abstract_txt:systems in 5397) [ClassicSimilarity], result of:
           0.03165801 = score(doc=5397,freq=7.0), product of:
             0.07483233 = queryWeight, product of:
               1.2783797 = boost
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.01716032 = queryNorm
             0.42305255 = fieldWeight in 5397, product of:
               2.6457512 = tf(freq=7.0), with freq of:
                 7.0 = termFreq=7.0
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.046875 = fieldNorm(doc=5397)
         0.048601348 = weight(abstract_txt:parameters in 5397) [ClassicSimilarity], result of:
           0.048601348 = score(doc=5397,freq=1.0), product of:
             0.15120116 = queryWeight, product of:
               1.284925 = boost
               6.8572807 = idf(docFreq=126, maxDocs=44421)
               0.01716032 = queryNorm
             0.32143503 = fieldWeight in 5397, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.8572807 = idf(docFreq=126, maxDocs=44421)
               0.046875 = fieldNorm(doc=5397)
         0.008909284 = weight(abstract_txt:this in 5397) [ClassicSimilarity], result of:
           0.008909284 = score(doc=5397,freq=2.0), product of:
             0.05585326 = queryWeight, product of:
               1.352649 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.01716032 = queryNorm
             0.15951234 = fieldWeight in 5397, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.046875 = fieldNorm(doc=5397)
         0.10223334 = weight(abstract_txt:educational in 5397) [ClassicSimilarity], result of:
           0.10223334 = score(doc=5397,freq=1.0), product of:
             0.35800713 = queryWeight, product of:
               3.4245753 = boost
               6.0919957 = idf(docFreq=272, maxDocs=44421)
               0.01716032 = queryNorm
             0.2855623 = fieldWeight in 5397, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0919957 = idf(docFreq=272, maxDocs=44421)
               0.046875 = fieldNorm(doc=5397)
         0.20957306 = weight(abstract_txt:hypermedia in 5397) [ClassicSimilarity], result of:
           0.20957306 = score(doc=5397,freq=3.0), product of:
             0.40057132 = queryWeight, product of:
               3.6224365 = boost
               6.443972 = idf(docFreq=191, maxDocs=44421)
               0.01716032 = queryNorm
             0.5231854 = fieldWeight in 5397, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.443972 = idf(docFreq=191, maxDocs=44421)
               0.046875 = fieldNorm(doc=5397)
         0.26074818 = weight(abstract_txt:adaptive in 5397) [ClassicSimilarity], result of:
           0.26074818 = score(doc=5397,freq=3.0), product of:
             0.46337977 = queryWeight, product of:
               3.8960938 = boost
               6.930783 = idf(docFreq=117, maxDocs=44421)
               0.01716032 = queryNorm
             0.56270945 = fieldWeight in 5397, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.930783 = idf(docFreq=117, maxDocs=44421)
               0.046875 = fieldNorm(doc=5397)
       0.24 = coord(6/25)
   

2. Bulterman, D.C.: Ebedded video in hypermedia documents : supporting integration and adaptive control (1995) 0.15

   0.1536001 = sum of:
     0.1536001 = product of:
       0.7680005 = sum of:
         0.08332989 = weight(abstract_txt:depending in 3930) [ClassicSimilarity], result of:
           0.08332989 = score(doc=3930,freq=1.0), product of:
             0.15408403 = queryWeight, product of:
               1.2971166 = boost
               6.922344 = idf(docFreq=118, maxDocs=44421)
               0.01716032 = queryNorm
             0.54080814 = fieldWeight in 3930, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.922344 = idf(docFreq=118, maxDocs=44421)
               0.078125 = fieldNorm(doc=3930)
         0.010499692 = weight(abstract_txt:this in 3930) [ClassicSimilarity], result of:
           0.010499692 = score(doc=3930,freq=1.0), product of:
             0.05585326 = queryWeight, product of:
               1.352649 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.01716032 = queryNorm
             0.18798709 = fieldWeight in 3930, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.078125 = fieldNorm(doc=3930)
         0.11767586 = weight(abstract_txt:logical in 3930) [ClassicSimilarity], result of:
           0.11767586 = score(doc=3930,freq=1.0), product of:
             0.2443573 = queryWeight, product of:
               2.3100846 = boost
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.01716032 = queryNorm
             0.48157293 = fieldWeight in 3930, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.078125 = fieldNorm(doc=3930)
         0.20166175 = weight(abstract_txt:hypermedia in 3930) [ClassicSimilarity], result of:
           0.20166175 = score(doc=3930,freq=1.0), product of:
             0.40057132 = queryWeight, product of:
               3.6224365 = boost
               6.443972 = idf(docFreq=191, maxDocs=44421)
               0.01716032 = queryNorm
             0.5034353 = fieldWeight in 3930, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.443972 = idf(docFreq=191, maxDocs=44421)
               0.078125 = fieldNorm(doc=3930)
         0.3548333 = weight(abstract_txt:adaptive in 3930) [ClassicSimilarity], result of:
           0.3548333 = score(doc=3930,freq=2.0), product of:
             0.46337977 = queryWeight, product of:
               3.8960938 = boost
               6.930783 = idf(docFreq=117, maxDocs=44421)
               0.01716032 = queryNorm
             0.7657505 = fieldWeight in 3930, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.930783 = idf(docFreq=117, maxDocs=44421)
               0.078125 = fieldNorm(doc=3930)
       0.2 = coord(5/25)
   

3. Athukorala, K.; Glowacka, D.; Jacucci, G.; Oulasvirta, A.; Vreeken, J.: Is exploratory search different? : a comparison of information search behavior for exploratory and lookup tasks (2016) 0.14

   0.13589042 = sum of:
     0.13589042 = product of:
       0.5662101 = sum of:
         0.031401966 = weight(abstract_txt:investigate in 4150) [ClassicSimilarity], result of:
           0.031401966 = score(doc=4150,freq=1.0), product of:
             0.09328281 = queryWeight, product of:
               1.0092553 = boost
               5.38611 = idf(docFreq=552, maxDocs=44421)
               0.01716032 = queryNorm
             0.33663186 = fieldWeight in 4150, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.38611 = idf(docFreq=552, maxDocs=44421)
               0.0625 = fieldNorm(doc=4150)
         0.03190827 = weight(abstract_txt:systems in 4150) [ClassicSimilarity], result of:
           0.03190827 = score(doc=4150,freq=4.0), product of:
             0.07483233 = queryWeight, product of:
               1.2783797 = boost
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.01716032 = queryNorm
             0.42639688 = fieldWeight in 4150, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.0625 = fieldNorm(doc=4150)
         0.06435982 = weight(abstract_txt:applicability in 4150) [ClassicSimilarity], result of:
           0.06435982 = score(doc=4150,freq=1.0), product of:
             0.15051286 = queryWeight, product of:
               1.2819971 = boost
               6.8416553 = idf(docFreq=128, maxDocs=44421)
               0.01716032 = queryNorm
             0.42760345 = fieldWeight in 4150, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.8416553 = idf(docFreq=128, maxDocs=44421)
               0.0625 = fieldNorm(doc=4150)
         0.014548799 = weight(abstract_txt:this in 4150) [ClassicSimilarity], result of:
           0.014548799 = score(doc=4150,freq=3.0), product of:
             0.05585326 = queryWeight, product of:
               1.352649 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.01716032 = queryNorm
             0.26048255 = fieldWeight in 4150, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.0625 = fieldNorm(doc=4150)
         0.1401246 = weight(abstract_txt:characterize in 4150) [ClassicSimilarity], result of:
           0.1401246 = score(doc=4150,freq=1.0), product of:
             0.3185542 = queryWeight, product of:
               2.6375875 = boost
               7.0380287 = idf(docFreq=105, maxDocs=44421)
               0.01716032 = queryNorm
             0.4398768 = fieldWeight in 4150, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.0380287 = idf(docFreq=105, maxDocs=44421)
               0.0625 = fieldNorm(doc=4150)
         0.28386664 = weight(abstract_txt:adaptive in 4150) [ClassicSimilarity], result of:
           0.28386664 = score(doc=4150,freq=2.0), product of:
             0.46337977 = queryWeight, product of:
               3.8960938 = boost
               6.930783 = idf(docFreq=117, maxDocs=44421)
               0.01716032 = queryNorm
             0.61260045 = fieldWeight in 4150, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.930783 = idf(docFreq=117, maxDocs=44421)
               0.0625 = fieldNorm(doc=4150)
       0.24 = coord(6/25)
   

4. Arnets, H.C.; Bogaerts, W.F.L.: Towards an architecture for third-order hypermedia systems (1991) 0.13

   0.12529998 = sum of:
     0.12529998 = product of:
       0.62649983 = sum of:
         0.041137524 = weight(abstract_txt:difficult in 3683) [ClassicSimilarity], result of:
           0.041137524 = score(doc=3683,freq=1.0), product of:
             0.09624596 = queryWeight, product of:
               1.0251596 = boost
               5.4709864 = idf(docFreq=507, maxDocs=44421)
               0.01716032 = queryNorm
             0.4274208 = fieldWeight in 3683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.4709864 = idf(docFreq=507, maxDocs=44421)
               0.078125 = fieldNorm(doc=3683)
         0.042003404 = weight(abstract_txt:definition in 3683) [ClassicSimilarity], result of:
           0.042003404 = score(doc=3683,freq=1.0), product of:
             0.09759181 = queryWeight, product of:
               1.0323024 = boost
               5.509105 = idf(docFreq=488, maxDocs=44421)
               0.01716032 = queryNorm
             0.43039885 = fieldWeight in 3683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.509105 = idf(docFreq=488, maxDocs=44421)
               0.078125 = fieldNorm(doc=3683)
         0.03454172 = weight(abstract_txt:systems in 3683) [ClassicSimilarity], result of:
           0.03454172 = score(doc=3683,freq=3.0), product of:
             0.07483233 = queryWeight, product of:
               1.2783797 = boost
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.01716032 = queryNorm
             0.46158817 = fieldWeight in 3683, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.078125 = fieldNorm(doc=3683)
         0.014848806 = weight(abstract_txt:this in 3683) [ClassicSimilarity], result of:
           0.014848806 = score(doc=3683,freq=2.0), product of:
             0.05585326 = queryWeight, product of:
               1.352649 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.01716032 = queryNorm
             0.26585388 = fieldWeight in 3683, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.078125 = fieldNorm(doc=3683)
         0.4939684 = weight(abstract_txt:hypermedia in 3683) [ClassicSimilarity], result of:
           0.4939684 = score(doc=3683,freq=6.0), product of:
             0.40057132 = queryWeight, product of:
               3.6224365 = boost
               6.443972 = idf(docFreq=191, maxDocs=44421)
               0.01716032 = queryNorm
             1.2331597 = fieldWeight in 3683, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.443972 = idf(docFreq=191, maxDocs=44421)
               0.078125 = fieldNorm(doc=3683)
       0.2 = coord(5/25)
   

5. Petrou, C.; Martakos, D.; Hadjiefthymiades, S.: Adding semantics to hypermedia towards link's enhancements and dynamic linking (1997) 0.12

   0.124098994 = sum of:
     0.124098994 = product of:
       0.62049496 = sum of:
         0.060967907 = weight(abstract_txt:logic in 1734) [ClassicSimilarity], result of:
           0.060967907 = score(doc=1734,freq=1.0), product of:
             0.12510978 = queryWeight, product of:
               1.1688153 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.01716032 = queryNorm
             0.4873153 = fieldWeight in 1734, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.078125 = fieldNorm(doc=1734)
         0.01994267 = weight(abstract_txt:systems in 1734) [ClassicSimilarity], result of:
           0.01994267 = score(doc=1734,freq=1.0), product of:
             0.07483233 = queryWeight, product of:
               1.2783797 = boost
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.01716032 = queryNorm
             0.26649806 = fieldWeight in 1734, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.078125 = fieldNorm(doc=1734)
         0.010499692 = weight(abstract_txt:this in 1734) [ClassicSimilarity], result of:
           0.010499692 = score(doc=1734,freq=1.0), product of:
             0.05585326 = queryWeight, product of:
               1.352649 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.01716032 = queryNorm
             0.18798709 = fieldWeight in 1734, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.078125 = fieldNorm(doc=1734)
         0.12576121 = weight(abstract_txt:characterization in 1734) [ClassicSimilarity], result of:
           0.12576121 = score(doc=1734,freq=1.0), product of:
             0.20273164 = queryWeight, product of:
               1.4878563 = boost
               7.9402676 = idf(docFreq=42, maxDocs=44421)
               0.01716032 = queryNorm
             0.62033343 = fieldWeight in 1734, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.9402676 = idf(docFreq=42, maxDocs=44421)
               0.078125 = fieldNorm(doc=1734)
         0.4033235 = weight(abstract_txt:hypermedia in 1734) [ClassicSimilarity], result of:
           0.4033235 = score(doc=1734,freq=4.0), product of:
             0.40057132 = queryWeight, product of:
               3.6224365 = boost
               6.443972 = idf(docFreq=191, maxDocs=44421)
               0.01716032 = queryNorm
             1.0068706 = fieldWeight in 1734, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.443972 = idf(docFreq=191, maxDocs=44421)
               0.078125 = fieldNorm(doc=1734)
       0.2 = coord(5/25)