Document (#23076)

Author

Chein, M.
Genest, D.

Title

CGs applications : where are we 7 years after the first ICCS?

Source

Conceptual structures: logical, linguistic, and computational issues. 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000. Ed.: B. Ganter et al

Imprint

Berlin : Springer

Year

2000

Pages

S.127-139

Series

Lecture notes in computer science; vol.1867: Lecture notes on artificial intelligence

Abstract

The traditional distinction between theories (developed to tackle theoretical problems) and applications (based on theories and realized to help a user) is blurred in computer science. To experiment their theories, computer scientists often write programs. This paper focuses on the features that make such a program an application (also in its software engineering meaning). The discussion is more specifically aimed at artificial intelligence applications and especially conceptual graphs applications presented in ICCS papers, and the importance of applications for a scientific domain

Similar documents (content)

1. Conceptual structures : logical, linguistic, and computational issues. 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 (2000) 0.50

   0.5023794 = sum of:
     0.5023794 = product of:
       1.5699358 = sum of:
         0.036011573 = weight(abstract_txt:papers in 691) [ClassicSimilarity], result of:
           0.036011573 = score(doc=691,freq=2.0), product of:
             0.08826627 = queryWeight, product of:
               1.0254425 = boost
               5.2752647 = idf(docFreq=614, maxDocs=44218)
               0.016316958 = queryNorm
             0.40798795 = fieldWeight in 691, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.2752647 = idf(docFreq=614, maxDocs=44218)
               0.0546875 = fieldNorm(doc=691)
         0.055434294 = weight(abstract_txt:program in 691) [ClassicSimilarity], result of:
           0.055434294 = score(doc=691,freq=3.0), product of:
             0.10279894 = queryWeight, product of:
               1.1066447 = boost
               5.6930003 = idf(docFreq=404, maxDocs=44218)
               0.016316958 = queryNorm
             0.53924966 = fieldWeight in 691, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.6930003 = idf(docFreq=404, maxDocs=44218)
               0.0546875 = fieldNorm(doc=691)
         0.03437903 = weight(abstract_txt:scientists in 691) [ClassicSimilarity], result of:
           0.03437903 = score(doc=691,freq=1.0), product of:
             0.1078216 = queryWeight, product of:
               1.1333572 = boost
               5.830419 = idf(docFreq=352, maxDocs=44218)
               0.016316958 = queryNorm
             0.31885105 = fieldWeight in 691, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.830419 = idf(docFreq=352, maxDocs=44218)
               0.0546875 = fieldNorm(doc=691)
         0.06239572 = weight(abstract_txt:graphs in 691) [ClassicSimilarity], result of:
           0.06239572 = score(doc=691,freq=1.0), product of:
             0.1604279 = queryWeight, product of:
               1.3824642 = boost
               7.11192 = idf(docFreq=97, maxDocs=44218)
               0.016316958 = queryNorm
             0.38893312 = fieldWeight in 691, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.11192 = idf(docFreq=97, maxDocs=44218)
               0.0546875 = fieldNorm(doc=691)
         0.039495785 = weight(abstract_txt:computer in 691) [ClassicSimilarity], result of:
           0.039495785 = score(doc=691,freq=2.0), product of:
             0.1182707 = queryWeight, product of:
               1.6786784 = boost
               4.317879 = idf(docFreq=1601, maxDocs=44218)
               0.016316958 = queryNorm
             0.33394393 = fieldWeight in 691, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.317879 = idf(docFreq=1601, maxDocs=44218)
               0.0546875 = fieldNorm(doc=691)
         0.0938316 = weight(abstract_txt:theories in 691) [ClassicSimilarity], result of:
           0.0938316 = score(doc=691,freq=1.0), product of:
             0.30370355 = queryWeight, product of:
               3.2945755 = boost
               5.649515 = idf(docFreq=422, maxDocs=44218)
               0.016316958 = queryNorm
             0.30895787 = fieldWeight in 691, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.649515 = idf(docFreq=422, maxDocs=44218)
               0.0546875 = fieldNorm(doc=691)
         1.1558931 = weight(title_txt:iccs in 691) [ClassicSimilarity], result of:
           1.1558931 = score(doc=691,freq=1.0), product of:
             0.62238103 = queryWeight, product of:
               3.8508544 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.016316958 = queryNorm
             1.8572114 = fieldWeight in 691, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.1875 = fieldNorm(doc=691)
         0.09249478 = weight(abstract_txt:applications in 691) [ClassicSimilarity], result of:
           0.09249478 = score(doc=691,freq=1.0), product of:
             0.35665214 = queryWeight, product of:
               4.609155 = boost
               4.7422485 = idf(docFreq=1047, maxDocs=44218)
               0.016316958 = queryNorm
             0.25934172 = fieldWeight in 691, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.7422485 = idf(docFreq=1047, maxDocs=44218)
               0.0546875 = fieldNorm(doc=691)
       0.32 = coord(8/25)
   

2. Conceptual structures : theory, tools and applications. 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August, 10-12, 1998, Proceedings (1998) 0.32

   0.3180357 = sum of:
     0.3180357 = product of:
       1.5901785 = sum of:
         0.050928056 = weight(abstract_txt:papers in 1378) [ClassicSimilarity], result of:
           0.050928056 = score(doc=1378,freq=1.0), product of:
             0.08826627 = queryWeight, product of:
               1.0254425 = boost
               5.2752647 = idf(docFreq=614, maxDocs=44218)
               0.016316958 = queryNorm
             0.5769821 = fieldWeight in 1378, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.2752647 = idf(docFreq=614, maxDocs=44218)
               0.109375 = fieldNorm(doc=1378)
         0.073576294 = weight(abstract_txt:engineering in 1378) [ClassicSimilarity], result of:
           0.073576294 = score(doc=1378,freq=1.0), product of:
             0.11280161 = queryWeight, product of:
               1.1592352 = boost
               5.963546 = idf(docFreq=308, maxDocs=44218)
               0.016316958 = queryNorm
             0.6522628 = fieldWeight in 1378, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.963546 = idf(docFreq=308, maxDocs=44218)
               0.109375 = fieldNorm(doc=1378)
         0.12479144 = weight(abstract_txt:graphs in 1378) [ClassicSimilarity], result of:
           0.12479144 = score(doc=1378,freq=1.0), product of:
             0.1604279 = queryWeight, product of:
               1.3824642 = boost
               7.11192 = idf(docFreq=97, maxDocs=44218)
               0.016316958 = queryNorm
             0.77786624 = fieldWeight in 1378, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.11192 = idf(docFreq=97, maxDocs=44218)
               0.109375 = fieldNorm(doc=1378)
         1.1558931 = weight(title_txt:iccs in 1378) [ClassicSimilarity], result of:
           1.1558931 = score(doc=1378,freq=1.0), product of:
             0.62238103 = queryWeight, product of:
               3.8508544 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.016316958 = queryNorm
             1.8572114 = fieldWeight in 1378, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.1875 = fieldNorm(doc=1378)
         0.18498956 = weight(abstract_txt:applications in 1378) [ClassicSimilarity], result of:
           0.18498956 = score(doc=1378,freq=1.0), product of:
             0.35665214 = queryWeight, product of:
               4.609155 = boost
               4.7422485 = idf(docFreq=1047, maxDocs=44218)
               0.016316958 = queryNorm
             0.51868343 = fieldWeight in 1378, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.7422485 = idf(docFreq=1047, maxDocs=44218)
               0.109375 = fieldNorm(doc=1378)
       0.2 = coord(5/25)
   

3. Conceptual graphs for knowledge representation : 1st International Conference on Conceptual Structures, ICCS'93, Quebec, Canada, August 4-7, 1993 (1993) 0.24

   0.24080905 = sum of:
     0.24080905 = product of:
       1.5050566 = sum of:
         0.051445104 = weight(abstract_txt:papers in 1384) [ClassicSimilarity], result of:
           0.051445104 = score(doc=1384,freq=2.0), product of:
             0.08826627 = queryWeight, product of:
               1.0254425 = boost
               5.2752647 = idf(docFreq=614, maxDocs=44218)
               0.016316958 = queryNorm
             0.5828399 = fieldWeight in 1384, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.2752647 = idf(docFreq=614, maxDocs=44218)
               0.078125 = fieldNorm(doc=1384)
         0.049768448 = weight(abstract_txt:intelligence in 1384) [ClassicSimilarity], result of:
           0.049768448 = score(doc=1384,freq=1.0), product of:
             0.10877893 = queryWeight, product of:
               1.1383775 = boost
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.016316958 = queryNorm
             0.45751917 = fieldWeight in 1384, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.078125 = fieldNorm(doc=1384)
         0.055301093 = weight(abstract_txt:artificial in 1384) [ClassicSimilarity], result of:
           0.055301093 = score(doc=1384,freq=1.0), product of:
             0.116698295 = queryWeight, product of:
               1.1790879 = boost
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.016316958 = queryNorm
             0.4738809 = fieldWeight in 1384, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.078125 = fieldNorm(doc=1384)
         1.348542 = weight(title_txt:iccs in 1384) [ClassicSimilarity], result of:
           1.348542 = score(doc=1384,freq=1.0), product of:
             0.62238103 = queryWeight, product of:
               3.8508544 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.016316958 = queryNorm
             2.1667466 = fieldWeight in 1384, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.21875 = fieldNorm(doc=1384)
       0.16 = coord(4/25)
   

4. Working with conceptual structures : contributions to ICCS 2000. 8th International Conference on Conceptual Structures: Logical, Linguistic, and Computational Issues. Darmstadt, August 14-18, 2000 (2000) 0.15

   0.15124832 = sum of:
     0.15124832 = product of:
       1.2604027 = sum of:
         0.041156083 = weight(abstract_txt:papers in 5089) [ClassicSimilarity], result of:
           0.041156083 = score(doc=5089,freq=2.0), product of:
             0.08826627 = queryWeight, product of:
               1.0254425 = boost
               5.2752647 = idf(docFreq=614, maxDocs=44218)
               0.016316958 = queryNorm
             0.46627194 = fieldWeight in 5089, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.2752647 = idf(docFreq=614, maxDocs=44218)
               0.0625 = fieldNorm(doc=5089)
         0.06335348 = weight(abstract_txt:program in 5089) [ClassicSimilarity], result of:
           0.06335348 = score(doc=5089,freq=3.0), product of:
             0.10279894 = queryWeight, product of:
               1.1066447 = boost
               5.6930003 = idf(docFreq=404, maxDocs=44218)
               0.016316958 = queryNorm
             0.6162853 = fieldWeight in 5089, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.6930003 = idf(docFreq=404, maxDocs=44218)
               0.0625 = fieldNorm(doc=5089)
         1.1558931 = weight(title_txt:iccs in 5089) [ClassicSimilarity], result of:
           1.1558931 = score(doc=5089,freq=1.0), product of:
             0.62238103 = queryWeight, product of:
               3.8508544 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.016316958 = queryNorm
             1.8572114 = fieldWeight in 5089, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.1875 = fieldNorm(doc=5089)
       0.12 = coord(3/25)
   

5. Goel, A.K.: Design, analogy, and creativity (1997) 0.14

   0.13755701 = sum of:
     0.13755701 = product of:
       0.687785 = sum of:
         0.07962952 = weight(abstract_txt:intelligence in 963) [ClassicSimilarity], result of:
           0.07962952 = score(doc=963,freq=1.0), product of:
             0.10877893 = queryWeight, product of:
               1.1383775 = boost
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.016316958 = queryNorm
             0.7320307 = fieldWeight in 963, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.125 = fieldNorm(doc=963)
         0.08436219 = weight(abstract_txt:programs in 963) [ClassicSimilarity], result of:
           0.08436219 = score(doc=963,freq=1.0), product of:
             0.113047406 = queryWeight, product of:
               1.1604975 = boost
               5.9700394 = idf(docFreq=306, maxDocs=44218)
               0.016316958 = queryNorm
             0.7462549 = fieldWeight in 963, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.9700394 = idf(docFreq=306, maxDocs=44218)
               0.125 = fieldNorm(doc=963)
         0.08848175 = weight(abstract_txt:artificial in 963) [ClassicSimilarity], result of:
           0.08848175 = score(doc=963,freq=1.0), product of:
             0.116698295 = queryWeight, product of:
               1.1790879 = boost
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.016316958 = queryNorm
             0.7582094 = fieldWeight in 963, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.125 = fieldNorm(doc=963)
         0.06383482 = weight(abstract_txt:computer in 963) [ClassicSimilarity], result of:
           0.06383482 = score(doc=963,freq=1.0), product of:
             0.1182707 = queryWeight, product of:
               1.6786784 = boost
               4.317879 = idf(docFreq=1601, maxDocs=44218)
               0.016316958 = queryNorm
             0.5397349 = fieldWeight in 963, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.317879 = idf(docFreq=1601, maxDocs=44218)
               0.125 = fieldNorm(doc=963)
         0.37147677 = weight(abstract_txt:theories in 963) [ClassicSimilarity], result of:
           0.37147677 = score(doc=963,freq=3.0), product of:
             0.30370355 = queryWeight, product of:
               3.2945755 = boost
               5.649515 = idf(docFreq=422, maxDocs=44218)
               0.016316958 = queryNorm
             1.2231559 = fieldWeight in 963, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.649515 = idf(docFreq=422, maxDocs=44218)
               0.125 = fieldNorm(doc=963)
       0.2 = coord(5/25)