Document (#23107)

Author

Ohsuga, S.

Title

Toward truly intelligent information systems : from expert systems in automatic programming

Source

Knowledge-based systems. 10(1998) no.6, S.363-396

Year

1998

Abstract

Discusses a way of designing intelligent systems that assure autonomy, generality and practicality in problem solving to the greatest extent and can solve complex problems. There are various types of problem solving, depending on the object and often more than 1 subjects concern the same problem with different roles in complex problem solving. Discusses a new architecture for the system and a new modelling scheme for representing problems including human activity, as well as a way of generating problem-specific problem solving systems. New concepts include: a multi-level function structure and its corresponding knowledge structure, multiple meta-level operations and a multi-strata model to represent problems including human activity. The system realizes not only the generality but also the practicality of problem solving by enabling automatic programming

Similar documents (content)

1. Ohsuga, S.: ¬A way of designing knowledge based systems (1995) 0.28

   0.27950293 = sum of:
     0.27950293 = product of:
       0.776397 = sum of:
         0.023853345 = weight(abstract_txt:system in 3278) [ClassicSimilarity], result of:
           0.023853345 = score(doc=3278,freq=3.0), product of:
             0.052265037 = queryWeight, product of:
               3.372775 = idf(docFreq=4140, maxDocs=44421)
               0.015496152 = queryNorm
             0.45639202 = fieldWeight in 3278, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.372775 = idf(docFreq=4140, maxDocs=44421)
               0.078125 = fieldNorm(doc=3278)
         0.03830311 = weight(abstract_txt:discusses in 3278) [ClassicSimilarity], result of:
           0.03830311 = score(doc=3278,freq=3.0), product of:
             0.07166951 = queryWeight, product of:
               1.1710126 = boost
               3.9495623 = idf(docFreq=2325, maxDocs=44421)
               0.015496152 = queryNorm
             0.5344408 = fieldWeight in 3278, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.9495623 = idf(docFreq=2325, maxDocs=44421)
               0.078125 = fieldNorm(doc=3278)
         0.042016078 = weight(abstract_txt:structure in 3278) [ClassicSimilarity], result of:
           0.042016078 = score(doc=3278,freq=2.0), product of:
             0.0872608 = queryWeight, product of:
               1.2921233 = boost
               4.3580413 = idf(docFreq=1545, maxDocs=44421)
               0.015496152 = queryNorm
             0.48150006 = fieldWeight in 3278, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.3580413 = idf(docFreq=1545, maxDocs=44421)
               0.078125 = fieldNorm(doc=3278)
         0.036823027 = weight(abstract_txt:human in 3278) [ClassicSimilarity], result of:
           0.036823027 = score(doc=3278,freq=1.0), product of:
             0.10068508 = queryWeight, product of:
               1.38796 = boost
               4.681277 = idf(docFreq=1118, maxDocs=44421)
               0.015496152 = queryNorm
             0.36572474 = fieldWeight in 3278, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.681277 = idf(docFreq=1118, maxDocs=44421)
               0.078125 = fieldNorm(doc=3278)
         0.06307508 = weight(abstract_txt:activity in 3278) [ClassicSimilarity], result of:
           0.06307508 = score(doc=3278,freq=1.0), product of:
             0.14414205 = queryWeight, product of:
               1.6606944 = boost
               5.6011486 = idf(docFreq=445, maxDocs=44421)
               0.015496152 = queryNorm
             0.43758973 = fieldWeight in 3278, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6011486 = idf(docFreq=445, maxDocs=44421)
               0.078125 = fieldNorm(doc=3278)
         0.21514335 = weight(abstract_txt:intelligent in 3278) [ClassicSimilarity], result of:
           0.21514335 = score(doc=3278,freq=6.0), product of:
             0.17974369 = queryWeight, product of:
               1.854476 = boost
               6.25473 = idf(docFreq=231, maxDocs=44421)
               0.015496152 = queryNorm
             1.1969452 = fieldWeight in 3278, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.25473 = idf(docFreq=231, maxDocs=44421)
               0.078125 = fieldNorm(doc=3278)
         0.04283313 = weight(abstract_txt:problems in 3278) [ClassicSimilarity], result of:
           0.04283313 = score(doc=3278,freq=1.0), product of:
             0.12747817 = queryWeight, product of:
               1.9127486 = boost
               4.300847 = idf(docFreq=1636, maxDocs=44421)
               0.015496152 = queryNorm
             0.33600366 = fieldWeight in 3278, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.300847 = idf(docFreq=1636, maxDocs=44421)
               0.078125 = fieldNorm(doc=3278)
         0.06371675 = weight(abstract_txt:systems in 3278) [ClassicSimilarity], result of:
           0.06371675 = score(doc=3278,freq=5.0), product of:
             0.10692384 = queryWeight, product of:
               2.0227706 = boost
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.015496152 = queryNorm
             0.59590775 = fieldWeight in 3278, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.078125 = fieldNorm(doc=3278)
         0.25063315 = weight(abstract_txt:solving in 3278) [ClassicSimilarity], result of:
           0.25063315 = score(doc=3278,freq=1.0), product of:
             0.49078488 = queryWeight, product of:
               4.8451805 = boost
               6.5366817 = idf(docFreq=174, maxDocs=44421)
               0.015496152 = queryNorm
             0.51067823 = fieldWeight in 3278, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5366817 = idf(docFreq=174, maxDocs=44421)
               0.078125 = fieldNorm(doc=3278)
       0.36 = coord(9/25)
   

2. Li, L.X.; Xu, L.D.: Knowledge-based problem solving (2002) 0.28

   0.2767999 = sum of:
     0.2767999 = product of:
       0.98857105 = sum of:
         0.009640214 = weight(abstract_txt:system in 5259) [ClassicSimilarity], result of:
           0.009640214 = score(doc=5259,freq=1.0), product of:
             0.052265037 = queryWeight, product of:
               3.372775 = idf(docFreq=4140, maxDocs=44421)
               0.015496152 = queryNorm
             0.18444863 = fieldWeight in 5259, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.372775 = idf(docFreq=4140, maxDocs=44421)
               0.0546875 = fieldNorm(doc=5259)
         0.044645544 = weight(abstract_txt:human in 5259) [ClassicSimilarity], result of:
           0.044645544 = score(doc=5259,freq=3.0), product of:
             0.10068508 = queryWeight, product of:
               1.38796 = boost
               4.681277 = idf(docFreq=1118, maxDocs=44421)
               0.015496152 = queryNorm
             0.44341767 = fieldWeight in 5259, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.681277 = idf(docFreq=1118, maxDocs=44421)
               0.0546875 = fieldNorm(doc=5259)
         0.06148233 = weight(abstract_txt:intelligent in 5259) [ClassicSimilarity], result of:
           0.06148233 = score(doc=5259,freq=1.0), product of:
             0.17974369 = queryWeight, product of:
               1.854476 = boost
               6.25473 = idf(docFreq=231, maxDocs=44421)
               0.015496152 = queryNorm
             0.34205556 = fieldWeight in 5259, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.25473 = idf(docFreq=231, maxDocs=44421)
               0.0546875 = fieldNorm(doc=5259)
         0.05996639 = weight(abstract_txt:problems in 5259) [ClassicSimilarity], result of:
           0.05996639 = score(doc=5259,freq=4.0), product of:
             0.12747817 = queryWeight, product of:
               1.9127486 = boost
               4.300847 = idf(docFreq=1636, maxDocs=44421)
               0.015496152 = queryNorm
             0.47040516 = fieldWeight in 5259, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               4.300847 = idf(docFreq=1636, maxDocs=44421)
               0.0546875 = fieldNorm(doc=5259)
         0.039892994 = weight(abstract_txt:systems in 5259) [ClassicSimilarity], result of:
           0.039892994 = score(doc=5259,freq=4.0), product of:
             0.10692384 = queryWeight, product of:
               2.0227706 = boost
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.015496152 = queryNorm
             0.37309727 = fieldWeight in 5259, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.0546875 = fieldNorm(doc=5259)
         0.24661396 = weight(abstract_txt:problem in 5259) [ClassicSimilarity], result of:
           0.24661396 = score(doc=5259,freq=10.0), product of:
             0.3197824 = queryWeight, product of:
               4.627599 = boost
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.015496152 = queryNorm
             0.771193 = fieldWeight in 5259, product of:
               3.1622777 = tf(freq=10.0), with freq of:
                 10.0 = termFreq=10.0
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.0546875 = fieldNorm(doc=5259)
         0.52632964 = weight(abstract_txt:solving in 5259) [ClassicSimilarity], result of:
           0.52632964 = score(doc=5259,freq=9.0), product of:
             0.49078488 = queryWeight, product of:
               4.8451805 = boost
               6.5366817 = idf(docFreq=174, maxDocs=44421)
               0.015496152 = queryNorm
             1.0724243 = fieldWeight in 5259, product of:
               3.0 = tf(freq=9.0), with freq of:
                 9.0 = termFreq=9.0
               6.5366817 = idf(docFreq=174, maxDocs=44421)
               0.0546875 = fieldNorm(doc=5259)
       0.28 = coord(7/25)
   

3. Aptagiri, D.V.; Gopinath, M.A.; Prasad, A.R.D.: ¬A frame based knowledge representation paradigm for automating POPSI (1995) 0.25

   0.25294068 = sum of:
     0.25294068 = product of:
       0.9033596 = sum of:
         0.022034777 = weight(abstract_txt:system in 2955) [ClassicSimilarity], result of:
           0.022034777 = score(doc=2955,freq=1.0), product of:
             0.052265037 = queryWeight, product of:
               3.372775 = idf(docFreq=4140, maxDocs=44421)
               0.015496152 = queryNorm
             0.42159688 = fieldWeight in 2955, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.372775 = idf(docFreq=4140, maxDocs=44421)
               0.125 = fieldNorm(doc=2955)
         0.0353829 = weight(abstract_txt:discusses in 2955) [ClassicSimilarity], result of:
           0.0353829 = score(doc=2955,freq=1.0), product of:
             0.07166951 = queryWeight, product of:
               1.1710126 = boost
               3.9495623 = idf(docFreq=2325, maxDocs=44421)
               0.015496152 = queryNorm
             0.4936953 = fieldWeight in 2955, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.9495623 = idf(docFreq=2325, maxDocs=44421)
               0.125 = fieldNorm(doc=2955)
         0.08055167 = weight(abstract_txt:automatic in 2955) [ClassicSimilarity], result of:
           0.08055167 = score(doc=2955,freq=1.0), product of:
             0.1240286 = queryWeight, product of:
               1.5404773 = boost
               5.1956835 = idf(docFreq=668, maxDocs=44421)
               0.015496152 = queryNorm
             0.64946043 = fieldWeight in 2955, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.1956835 = idf(docFreq=668, maxDocs=44421)
               0.125 = fieldNorm(doc=2955)
         0.14053103 = weight(abstract_txt:intelligent in 2955) [ClassicSimilarity], result of:
           0.14053103 = score(doc=2955,freq=1.0), product of:
             0.17974369 = queryWeight, product of:
               1.854476 = boost
               6.25473 = idf(docFreq=231, maxDocs=44421)
               0.015496152 = queryNorm
             0.7818413 = fieldWeight in 2955, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.25473 = idf(docFreq=231, maxDocs=44421)
               0.125 = fieldNorm(doc=2955)
         0.04559199 = weight(abstract_txt:systems in 2955) [ClassicSimilarity], result of:
           0.04559199 = score(doc=2955,freq=1.0), product of:
             0.10692384 = queryWeight, product of:
               2.0227706 = boost
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.015496152 = queryNorm
             0.42639688 = fieldWeight in 2955, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.125 = fieldNorm(doc=2955)
         0.17825413 = weight(abstract_txt:problem in 2955) [ClassicSimilarity], result of:
           0.17825413 = score(doc=2955,freq=1.0), product of:
             0.3197824 = queryWeight, product of:
               4.627599 = boost
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.015496152 = queryNorm
             0.5574232 = fieldWeight in 2955, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.125 = fieldNorm(doc=2955)
         0.40101308 = weight(abstract_txt:solving in 2955) [ClassicSimilarity], result of:
           0.40101308 = score(doc=2955,freq=1.0), product of:
             0.49078488 = queryWeight, product of:
               4.8451805 = boost
               6.5366817 = idf(docFreq=174, maxDocs=44421)
               0.015496152 = queryNorm
             0.8170852 = fieldWeight in 2955, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5366817 = idf(docFreq=174, maxDocs=44421)
               0.125 = fieldNorm(doc=2955)
       0.28 = coord(7/25)
   

4. Thimbleby, H.: Designing user interfaces for problem solving, with application to hypertext and creative writing (1994) 0.19

   0.19255213 = sum of:
     0.19255213 = product of:
       0.8023006 = sum of:
         0.019280428 = weight(abstract_txt:system in 1849) [ClassicSimilarity], result of:
           0.019280428 = score(doc=1849,freq=1.0), product of:
             0.052265037 = queryWeight, product of:
               3.372775 = idf(docFreq=4140, maxDocs=44421)
               0.015496152 = queryNorm
             0.36889726 = fieldWeight in 1849, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.372775 = idf(docFreq=4140, maxDocs=44421)
               0.109375 = fieldNorm(doc=1849)
         0.030960038 = weight(abstract_txt:discusses in 1849) [ClassicSimilarity], result of:
           0.030960038 = score(doc=1849,freq=1.0), product of:
             0.07166951 = queryWeight, product of:
               1.1710126 = boost
               3.9495623 = idf(docFreq=2325, maxDocs=44421)
               0.015496152 = queryNorm
             0.43198338 = fieldWeight in 1849, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.9495623 = idf(docFreq=2325, maxDocs=44421)
               0.109375 = fieldNorm(doc=1849)
         0.05996639 = weight(abstract_txt:problems in 1849) [ClassicSimilarity], result of:
           0.05996639 = score(doc=1849,freq=1.0), product of:
             0.12747817 = queryWeight, product of:
               1.9127486 = boost
               4.300847 = idf(docFreq=1636, maxDocs=44421)
               0.015496152 = queryNorm
             0.47040516 = fieldWeight in 1849, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.300847 = idf(docFreq=1636, maxDocs=44421)
               0.109375 = fieldNorm(doc=1849)
         0.039892994 = weight(abstract_txt:systems in 1849) [ClassicSimilarity], result of:
           0.039892994 = score(doc=1849,freq=1.0), product of:
             0.10692384 = queryWeight, product of:
               2.0227706 = boost
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.015496152 = queryNorm
             0.37309727 = fieldWeight in 1849, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.109375 = fieldNorm(doc=1849)
         0.15597236 = weight(abstract_txt:problem in 1849) [ClassicSimilarity], result of:
           0.15597236 = score(doc=1849,freq=1.0), product of:
             0.3197824 = queryWeight, product of:
               4.627599 = boost
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.015496152 = queryNorm
             0.48774529 = fieldWeight in 1849, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.109375 = fieldNorm(doc=1849)
         0.49622834 = weight(abstract_txt:solving in 1849) [ClassicSimilarity], result of:
           0.49622834 = score(doc=1849,freq=2.0), product of:
             0.49078488 = queryWeight, product of:
               4.8451805 = boost
               6.5366817 = idf(docFreq=174, maxDocs=44421)
               0.015496152 = queryNorm
             1.0110914 = fieldWeight in 1849, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.5366817 = idf(docFreq=174, maxDocs=44421)
               0.109375 = fieldNorm(doc=1849)
       0.24 = coord(6/25)
   

5. Weed, L.L.: Knowledge coupling (1989) 0.15

   0.14751603 = sum of:
     0.14751603 = product of:
       1.2293003 = sum of:
         0.0707658 = weight(abstract_txt:discusses in 4113) [ClassicSimilarity], result of:
           0.0707658 = score(doc=4113,freq=1.0), product of:
             0.07166951 = queryWeight, product of:
               1.1710126 = boost
               3.9495623 = idf(docFreq=2325, maxDocs=44421)
               0.015496152 = queryNorm
             0.9873906 = fieldWeight in 4113, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.9495623 = idf(docFreq=2325, maxDocs=44421)
               0.25 = fieldNorm(doc=4113)
         0.35650826 = weight(abstract_txt:problem in 4113) [ClassicSimilarity], result of:
           0.35650826 = score(doc=4113,freq=1.0), product of:
             0.3197824 = queryWeight, product of:
               4.627599 = boost
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.015496152 = queryNorm
             1.1148463 = fieldWeight in 4113, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.25 = fieldNorm(doc=4113)
         0.80202615 = weight(abstract_txt:solving in 4113) [ClassicSimilarity], result of:
           0.80202615 = score(doc=4113,freq=1.0), product of:
             0.49078488 = queryWeight, product of:
               4.8451805 = boost
               6.5366817 = idf(docFreq=174, maxDocs=44421)
               0.015496152 = queryNorm
             1.6341704 = fieldWeight in 4113, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5366817 = idf(docFreq=174, maxDocs=44421)
               0.25 = fieldNorm(doc=4113)
       0.12 = coord(3/25)