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.2796431 = sum of:
     0.2796431 = product of:
       0.7767863 = sum of:
         0.023825366 = weight(abstract_txt:system in 3210) [ClassicSimilarity], result of:
           0.023825366 = score(doc=3210,freq=3.0), product of:
             0.052210957 = queryWeight, product of:
               3.3723085 = idf(docFreq=4123, maxDocs=44218)
               0.01548226 = queryNorm
             0.45632887 = fieldWeight in 3210, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.3723085 = idf(docFreq=4123, maxDocs=44218)
               0.078125 = fieldNorm(doc=3210)
         0.038228545 = weight(abstract_txt:discusses in 3210) [ClassicSimilarity], result of:
           0.038228545 = score(doc=3210,freq=3.0), product of:
             0.07155837 = queryWeight, product of:
               1.1707102 = boost
               3.947996 = idf(docFreq=2318, maxDocs=44218)
               0.01548226 = queryNorm
             0.53422886 = fieldWeight in 3210, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.947996 = idf(docFreq=2318, maxDocs=44218)
               0.078125 = fieldNorm(doc=3210)
         0.04198301 = weight(abstract_txt:structure in 3210) [ClassicSimilarity], result of:
           0.04198301 = score(doc=3210,freq=2.0), product of:
             0.08719295 = queryWeight, product of:
               1.2922896 = boost
               4.3579993 = idf(docFreq=1538, maxDocs=44218)
               0.01548226 = queryNorm
             0.48149544 = fieldWeight in 3210, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.3579993 = idf(docFreq=1538, maxDocs=44218)
               0.078125 = fieldNorm(doc=3210)
         0.037048664 = weight(abstract_txt:human in 3210) [ClassicSimilarity], result of:
           0.037048664 = score(doc=3210,freq=1.0), product of:
             0.10107041 = queryWeight, product of:
               1.3913333 = boost
               4.692005 = idf(docFreq=1101, maxDocs=44218)
               0.01548226 = queryNorm
             0.3665629 = fieldWeight in 3210, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.692005 = idf(docFreq=1101, maxDocs=44218)
               0.078125 = fieldNorm(doc=3210)
         0.063100494 = weight(abstract_txt:activity in 3210) [ClassicSimilarity], result of:
           0.063100494 = score(doc=3210,freq=1.0), product of:
             0.14414431 = queryWeight, product of:
               1.6615672 = boost
               5.6033173 = idf(docFreq=442, maxDocs=44218)
               0.01548226 = queryNorm
             0.43775916 = fieldWeight in 3210, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6033173 = idf(docFreq=442, maxDocs=44218)
               0.078125 = fieldNorm(doc=3210)
         0.2149533 = weight(abstract_txt:intelligent in 3210) [ClassicSimilarity], result of:
           0.2149533 = score(doc=3210,freq=6.0), product of:
             0.17959242 = queryWeight, product of:
               1.8546551 = boost
               6.2544694 = idf(docFreq=230, maxDocs=44218)
               0.01548226 = queryNorm
             1.1968952 = fieldWeight in 3210, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.2544694 = idf(docFreq=230, maxDocs=44218)
               0.078125 = fieldNorm(doc=3210)
         0.042700477 = weight(abstract_txt:problems in 3210) [ClassicSimilarity], result of:
           0.042700477 = score(doc=3210,freq=1.0), product of:
             0.12718266 = queryWeight, product of:
               1.9115196 = boost
               4.297489 = idf(docFreq=1634, maxDocs=44218)
               0.01548226 = queryNorm
             0.33574134 = fieldWeight in 3210, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.297489 = idf(docFreq=1634, maxDocs=44218)
               0.078125 = fieldNorm(doc=3210)
         0.06370781 = weight(abstract_txt:systems in 3210) [ClassicSimilarity], result of:
           0.06370781 = score(doc=3210,freq=5.0), product of:
             0.10688682 = queryWeight, product of:
               2.0234675 = boost
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.01548226 = queryNorm
             0.5960306 = fieldWeight in 3210, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.078125 = fieldNorm(doc=3210)
         0.25123867 = weight(abstract_txt:solving in 3210) [ClassicSimilarity], result of:
           0.25123867 = score(doc=3210,freq=1.0), product of:
             0.49145073 = queryWeight, product of:
               4.8509765 = boost
               6.543596 = idf(docFreq=172, maxDocs=44218)
               0.01548226 = queryNorm
             0.5112184 = fieldWeight in 3210, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.543596 = idf(docFreq=172, maxDocs=44218)
               0.078125 = fieldNorm(doc=3210)
       0.36 = coord(9/25)
   

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

   0.2771622 = sum of:
     0.2771622 = product of:
       0.989865 = sum of:
         0.009628908 = weight(abstract_txt:system in 4259) [ClassicSimilarity], result of:
           0.009628908 = score(doc=4259,freq=1.0), product of:
             0.052210957 = queryWeight, product of:
               3.3723085 = idf(docFreq=4123, maxDocs=44218)
               0.01548226 = queryNorm
             0.18442312 = fieldWeight in 4259, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.3723085 = idf(docFreq=4123, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4259)
         0.044919115 = weight(abstract_txt:human in 4259) [ClassicSimilarity], result of:
           0.044919115 = score(doc=4259,freq=3.0), product of:
             0.10107041 = queryWeight, product of:
               1.3913333 = boost
               4.692005 = idf(docFreq=1101, maxDocs=44218)
               0.01548226 = queryNorm
             0.44443387 = fieldWeight in 4259, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.692005 = idf(docFreq=1101, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4259)
         0.06142802 = weight(abstract_txt:intelligent in 4259) [ClassicSimilarity], result of:
           0.06142802 = score(doc=4259,freq=1.0), product of:
             0.17959242 = queryWeight, product of:
               1.8546551 = boost
               6.2544694 = idf(docFreq=230, maxDocs=44218)
               0.01548226 = queryNorm
             0.34204128 = fieldWeight in 4259, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2544694 = idf(docFreq=230, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4259)
         0.05978067 = weight(abstract_txt:problems in 4259) [ClassicSimilarity], result of:
           0.05978067 = score(doc=4259,freq=4.0), product of:
             0.12718266 = queryWeight, product of:
               1.9115196 = boost
               4.297489 = idf(docFreq=1634, maxDocs=44218)
               0.01548226 = queryNorm
             0.47003788 = fieldWeight in 4259, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               4.297489 = idf(docFreq=1634, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4259)
         0.039887402 = weight(abstract_txt:systems in 4259) [ClassicSimilarity], result of:
           0.039887402 = score(doc=4259,freq=4.0), product of:
             0.10688682 = queryWeight, product of:
               2.0234675 = boost
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.01548226 = queryNorm
             0.3731742 = fieldWeight in 4259, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4259)
         0.24661972 = weight(abstract_txt:problem in 4259) [ClassicSimilarity], result of:
           0.24661972 = score(doc=4259,freq=10.0), product of:
             0.31970653 = queryWeight, product of:
               4.629445 = boost
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.01548226 = queryNorm
             0.7713941 = fieldWeight in 4259, product of:
               3.1622777 = tf(freq=10.0), with freq of:
                 10.0 = termFreq=10.0
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4259)
         0.5276012 = weight(abstract_txt:solving in 4259) [ClassicSimilarity], result of:
           0.5276012 = score(doc=4259,freq=9.0), product of:
             0.49145073 = queryWeight, product of:
               4.8509765 = boost
               6.543596 = idf(docFreq=172, maxDocs=44218)
               0.01548226 = queryNorm
             1.0735587 = fieldWeight in 4259, product of:
               3.0 = tf(freq=9.0), with freq of:
                 9.0 = termFreq=9.0
               6.543596 = idf(docFreq=172, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4259)
       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.25313184 = sum of:
     0.25313184 = product of:
       0.90404224 = sum of:
         0.022008931 = weight(abstract_txt:system in 2887) [ClassicSimilarity], result of:
           0.022008931 = score(doc=2887,freq=1.0), product of:
             0.052210957 = queryWeight, product of:
               3.3723085 = idf(docFreq=4123, maxDocs=44218)
               0.01548226 = queryNorm
             0.42153856 = fieldWeight in 2887, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.3723085 = idf(docFreq=4123, maxDocs=44218)
               0.125 = fieldNorm(doc=2887)
         0.03531402 = weight(abstract_txt:discusses in 2887) [ClassicSimilarity], result of:
           0.03531402 = score(doc=2887,freq=1.0), product of:
             0.07155837 = queryWeight, product of:
               1.1707102 = boost
               3.947996 = idf(docFreq=2318, maxDocs=44218)
               0.01548226 = queryNorm
             0.4934995 = fieldWeight in 2887, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.947996 = idf(docFreq=2318, maxDocs=44218)
               0.125 = fieldNorm(doc=2887)
         0.0804866 = weight(abstract_txt:automatic in 2887) [ClassicSimilarity], result of:
           0.0804866 = score(doc=2887,freq=1.0), product of:
             0.12393047 = queryWeight, product of:
               1.540665 = boost
               5.1955976 = idf(docFreq=665, maxDocs=44218)
               0.01548226 = queryNorm
             0.6494497 = fieldWeight in 2887, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.1955976 = idf(docFreq=665, maxDocs=44218)
               0.125 = fieldNorm(doc=2887)
         0.1404069 = weight(abstract_txt:intelligent in 2887) [ClassicSimilarity], result of:
           0.1404069 = score(doc=2887,freq=1.0), product of:
             0.17959242 = queryWeight, product of:
               1.8546551 = boost
               6.2544694 = idf(docFreq=230, maxDocs=44218)
               0.01548226 = queryNorm
             0.7818087 = fieldWeight in 2887, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2544694 = idf(docFreq=230, maxDocs=44218)
               0.125 = fieldNorm(doc=2887)
         0.045585603 = weight(abstract_txt:systems in 2887) [ClassicSimilarity], result of:
           0.045585603 = score(doc=2887,freq=1.0), product of:
             0.10688682 = queryWeight, product of:
               2.0234675 = boost
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.01548226 = queryNorm
             0.4264848 = fieldWeight in 2887, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.125 = fieldNorm(doc=2887)
         0.17825828 = weight(abstract_txt:problem in 2887) [ClassicSimilarity], result of:
           0.17825828 = score(doc=2887,freq=1.0), product of:
             0.31970653 = queryWeight, product of:
               4.629445 = boost
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.01548226 = queryNorm
             0.5575685 = fieldWeight in 2887, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.125 = fieldNorm(doc=2887)
         0.40198186 = weight(abstract_txt:solving in 2887) [ClassicSimilarity], result of:
           0.40198186 = score(doc=2887,freq=1.0), product of:
             0.49145073 = queryWeight, product of:
               4.8509765 = boost
               6.543596 = idf(docFreq=172, maxDocs=44218)
               0.01548226 = queryNorm
             0.8179495 = fieldWeight in 2887, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.543596 = idf(docFreq=172, maxDocs=44218)
               0.125 = fieldNorm(doc=2887)
       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.19277489 = sum of:
     0.19277489 = product of:
       0.80322874 = sum of:
         0.019257816 = weight(abstract_txt:system in 1781) [ClassicSimilarity], result of:
           0.019257816 = score(doc=1781,freq=1.0), product of:
             0.052210957 = queryWeight, product of:
               3.3723085 = idf(docFreq=4123, maxDocs=44218)
               0.01548226 = queryNorm
             0.36884624 = fieldWeight in 1781, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.3723085 = idf(docFreq=4123, maxDocs=44218)
               0.109375 = fieldNorm(doc=1781)
         0.030899767 = weight(abstract_txt:discusses in 1781) [ClassicSimilarity], result of:
           0.030899767 = score(doc=1781,freq=1.0), product of:
             0.07155837 = queryWeight, product of:
               1.1707102 = boost
               3.947996 = idf(docFreq=2318, maxDocs=44218)
               0.01548226 = queryNorm
             0.43181205 = fieldWeight in 1781, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.947996 = idf(docFreq=2318, maxDocs=44218)
               0.109375 = fieldNorm(doc=1781)
         0.05978067 = weight(abstract_txt:problems in 1781) [ClassicSimilarity], result of:
           0.05978067 = score(doc=1781,freq=1.0), product of:
             0.12718266 = queryWeight, product of:
               1.9115196 = boost
               4.297489 = idf(docFreq=1634, maxDocs=44218)
               0.01548226 = queryNorm
             0.47003788 = fieldWeight in 1781, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.297489 = idf(docFreq=1634, maxDocs=44218)
               0.109375 = fieldNorm(doc=1781)
         0.039887402 = weight(abstract_txt:systems in 1781) [ClassicSimilarity], result of:
           0.039887402 = score(doc=1781,freq=1.0), product of:
             0.10688682 = queryWeight, product of:
               2.0234675 = boost
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.01548226 = queryNorm
             0.3731742 = fieldWeight in 1781, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.109375 = fieldNorm(doc=1781)
         0.155976 = weight(abstract_txt:problem in 1781) [ClassicSimilarity], result of:
           0.155976 = score(doc=1781,freq=1.0), product of:
             0.31970653 = queryWeight, product of:
               4.629445 = boost
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.01548226 = queryNorm
             0.48787242 = fieldWeight in 1781, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.109375 = fieldNorm(doc=1781)
         0.49742714 = weight(abstract_txt:solving in 1781) [ClassicSimilarity], result of:
           0.49742714 = score(doc=1781,freq=2.0), product of:
             0.49145073 = queryWeight, product of:
               4.8509765 = boost
               6.543596 = idf(docFreq=172, maxDocs=44218)
               0.01548226 = queryNorm
             1.0121608 = fieldWeight in 1781, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.543596 = idf(docFreq=172, maxDocs=44218)
               0.109375 = fieldNorm(doc=1781)
       0.24 = coord(6/25)
   

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

   0.14773299 = sum of:
     0.14773299 = product of:
       1.2311083 = sum of:
         0.07062804 = weight(abstract_txt:discusses in 4045) [ClassicSimilarity], result of:
           0.07062804 = score(doc=4045,freq=1.0), product of:
             0.07155837 = queryWeight, product of:
               1.1707102 = boost
               3.947996 = idf(docFreq=2318, maxDocs=44218)
               0.01548226 = queryNorm
             0.986999 = fieldWeight in 4045, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.947996 = idf(docFreq=2318, maxDocs=44218)
               0.25 = fieldNorm(doc=4045)
         0.35651657 = weight(abstract_txt:problem in 4045) [ClassicSimilarity], result of:
           0.35651657 = score(doc=4045,freq=1.0), product of:
             0.31970653 = queryWeight, product of:
               4.629445 = boost
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.01548226 = queryNorm
             1.115137 = fieldWeight in 4045, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.25 = fieldNorm(doc=4045)
         0.8039637 = weight(abstract_txt:solving in 4045) [ClassicSimilarity], result of:
           0.8039637 = score(doc=4045,freq=1.0), product of:
             0.49145073 = queryWeight, product of:
               4.8509765 = boost
               6.543596 = idf(docFreq=172, maxDocs=44218)
               0.01548226 = queryNorm
             1.635899 = fieldWeight in 4045, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.543596 = idf(docFreq=172, maxDocs=44218)
               0.25 = fieldNorm(doc=4045)
       0.12 = coord(3/25)