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.5027813 = sum of:
     0.5027813 = product of:
       1.5711915 = sum of:
         0.035842564 = weight(abstract_txt:papers in 1691) [ClassicSimilarity], result of:
           0.035842564 = score(doc=1691,freq=2.0), product of:
             0.088017985 = queryWeight, product of:
               1.0245755 = boost
               5.2653174 = idf(docFreq=623, maxDocs=44421)
               0.016315594 = queryNorm
             0.40721864 = fieldWeight in 1691, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.2653174 = idf(docFreq=623, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         0.055477325 = weight(abstract_txt:program in 1691) [ClassicSimilarity], result of:
           0.055477325 = score(doc=1691,freq=3.0), product of:
             0.102884986 = queryWeight, product of:
               1.1077309 = boost
               5.6926546 = idf(docFreq=406, maxDocs=44421)
               0.016315594 = queryNorm
             0.53921694 = fieldWeight in 1691, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.6926546 = idf(docFreq=406, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         0.03429371 = weight(abstract_txt:scientists in 1691) [ClassicSimilarity], result of:
           0.03429371 = score(doc=1691,freq=1.0), product of:
             0.10767752 = queryWeight, product of:
               1.1332371 = boost
               5.823732 = idf(docFreq=356, maxDocs=44421)
               0.016315594 = queryNorm
             0.31848535 = fieldWeight in 1691, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.823732 = idf(docFreq=356, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         0.061526883 = weight(abstract_txt:graphs in 1691) [ClassicSimilarity], result of:
           0.061526883 = score(doc=1691,freq=1.0), product of:
             0.15898593 = queryWeight, product of:
               1.3770117 = boost
               7.0764947 = idf(docFreq=101, maxDocs=44421)
               0.016315594 = queryNorm
             0.3869958 = fieldWeight in 1691, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.0764947 = idf(docFreq=101, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         0.03952263 = weight(abstract_txt:computer in 1691) [ClassicSimilarity], result of:
           0.03952263 = score(doc=1691,freq=2.0), product of:
             0.118362084 = queryWeight, product of:
               1.6802719 = boost
               4.317478 = idf(docFreq=1609, maxDocs=44421)
               0.016315594 = queryNorm
             0.3339129 = fieldWeight in 1691, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.317478 = idf(docFreq=1609, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         0.093680754 = weight(abstract_txt:theories in 1691) [ClassicSimilarity], result of:
           0.093680754 = score(doc=1691,freq=1.0), product of:
             0.30347487 = queryWeight, product of:
               3.2951884 = boost
               5.6446834 = idf(docFreq=426, maxDocs=44421)
               0.016315594 = queryNorm
             0.30869362 = fieldWeight in 1691, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6446834 = idf(docFreq=426, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         1.1586071 = weight(title_txt:iccs in 1691) [ClassicSimilarity], result of:
           1.1586071 = score(doc=1691,freq=1.0), product of:
             0.623554 = queryWeight, product of:
               3.8566504 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.016315594 = queryNorm
             1.8580703 = fieldWeight in 1691, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.1875 = fieldNorm(doc=1691)
         0.09224057 = weight(abstract_txt:applications in 1691) [ClassicSimilarity], result of:
           0.09224057 = score(doc=1691,freq=1.0), product of:
             0.3561121 = queryWeight, product of:
               4.6082563 = boost
               4.7363873 = idf(docFreq=1058, maxDocs=44421)
               0.016315594 = queryNorm
             0.25902116 = fieldWeight in 1691, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.7363873 = idf(docFreq=1058, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
       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.3179873 = sum of:
     0.3179873 = product of:
       1.5899365 = sum of:
         0.05068904 = weight(abstract_txt:papers in 2378) [ClassicSimilarity], result of:
           0.05068904 = score(doc=2378,freq=1.0), product of:
             0.088017985 = queryWeight, product of:
               1.0245755 = boost
               5.2653174 = idf(docFreq=623, maxDocs=44421)
               0.016315594 = queryNorm
             0.5758941 = fieldWeight in 2378, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.2653174 = idf(docFreq=623, maxDocs=44421)
               0.109375 = fieldNorm(doc=2378)
         0.07310537 = weight(abstract_txt:engineering in 2378) [ClassicSimilarity], result of:
           0.07310537 = score(doc=2378,freq=1.0), product of:
             0.11235565 = queryWeight, product of:
               1.1575925 = boost
               5.948895 = idf(docFreq=314, maxDocs=44421)
               0.016315594 = queryNorm
             0.6506604 = fieldWeight in 2378, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.948895 = idf(docFreq=314, maxDocs=44421)
               0.109375 = fieldNorm(doc=2378)
         0.12305377 = weight(abstract_txt:graphs in 2378) [ClassicSimilarity], result of:
           0.12305377 = score(doc=2378,freq=1.0), product of:
             0.15898593 = queryWeight, product of:
               1.3770117 = boost
               7.0764947 = idf(docFreq=101, maxDocs=44421)
               0.016315594 = queryNorm
             0.7739916 = fieldWeight in 2378, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.0764947 = idf(docFreq=101, maxDocs=44421)
               0.109375 = fieldNorm(doc=2378)
         1.1586071 = weight(title_txt:iccs in 2378) [ClassicSimilarity], result of:
           1.1586071 = score(doc=2378,freq=1.0), product of:
             0.623554 = queryWeight, product of:
               3.8566504 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.016315594 = queryNorm
             1.8580703 = fieldWeight in 2378, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.1875 = fieldNorm(doc=2378)
         0.18448114 = weight(abstract_txt:applications in 2378) [ClassicSimilarity], result of:
           0.18448114 = score(doc=2378,freq=1.0), product of:
             0.3561121 = queryWeight, product of:
               4.6082563 = boost
               4.7363873 = idf(docFreq=1058, maxDocs=44421)
               0.016315594 = queryNorm
             0.5180423 = fieldWeight in 2378, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.7363873 = idf(docFreq=1058, maxDocs=44421)
               0.109375 = fieldNorm(doc=2378)
       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.24109188 = sum of:
     0.24109188 = product of:
       1.5068243 = sum of:
         0.051203657 = weight(abstract_txt:papers in 2384) [ClassicSimilarity], result of:
           0.051203657 = score(doc=2384,freq=2.0), product of:
             0.088017985 = queryWeight, product of:
               1.0245755 = boost
               5.2653174 = idf(docFreq=623, maxDocs=44421)
               0.016315594 = queryNorm
             0.58174086 = fieldWeight in 2384, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.2653174 = idf(docFreq=623, maxDocs=44421)
               0.078125 = fieldNorm(doc=2384)
         0.049204286 = weight(abstract_txt:intelligence in 2384) [ClassicSimilarity], result of:
           0.049204286 = score(doc=2384,freq=1.0), product of:
             0.10798979 = queryWeight, product of:
               1.1348791 = boost
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.016315594 = queryNorm
             0.45563832 = fieldWeight in 2384, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.078125 = fieldNorm(doc=2384)
         0.054708064 = weight(abstract_txt:artificial in 2384) [ClassicSimilarity], result of:
           0.054708064 = score(doc=2384,freq=1.0), product of:
             0.115899526 = queryWeight, product of:
               1.175707 = boost
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.016315594 = queryNorm
             0.4720301 = fieldWeight in 2384, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.078125 = fieldNorm(doc=2384)
         1.3517083 = weight(title_txt:iccs in 2384) [ClassicSimilarity], result of:
           1.3517083 = score(doc=2384,freq=1.0), product of:
             0.623554 = queryWeight, product of:
               3.8566504 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.016315594 = queryNorm
             2.1677487 = fieldWeight in 2384, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.21875 = fieldNorm(doc=2384)
       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.15155672 = sum of:
     0.15155672 = product of:
       1.2629727 = sum of:
         0.040962927 = weight(abstract_txt:papers in 6089) [ClassicSimilarity], result of:
           0.040962927 = score(doc=6089,freq=2.0), product of:
             0.088017985 = queryWeight, product of:
               1.0245755 = boost
               5.2653174 = idf(docFreq=623, maxDocs=44421)
               0.016315594 = queryNorm
             0.4653927 = fieldWeight in 6089, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.2653174 = idf(docFreq=623, maxDocs=44421)
               0.0625 = fieldNorm(doc=6089)
         0.06340266 = weight(abstract_txt:program in 6089) [ClassicSimilarity], result of:
           0.06340266 = score(doc=6089,freq=3.0), product of:
             0.102884986 = queryWeight, product of:
               1.1077309 = boost
               5.6926546 = idf(docFreq=406, maxDocs=44421)
               0.016315594 = queryNorm
             0.61624795 = fieldWeight in 6089, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.6926546 = idf(docFreq=406, maxDocs=44421)
               0.0625 = fieldNorm(doc=6089)
         1.1586071 = weight(title_txt:iccs in 6089) [ClassicSimilarity], result of:
           1.1586071 = score(doc=6089,freq=1.0), product of:
             0.623554 = queryWeight, product of:
               3.8566504 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.016315594 = queryNorm
             1.8580703 = fieldWeight in 6089, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.1875 = fieldNorm(doc=6089)
       0.12 = coord(3/25)
   

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

   0.13713104 = sum of:
     0.13713104 = product of:
       0.6856552 = sum of:
         0.07872686 = weight(abstract_txt:intelligence in 1963) [ClassicSimilarity], result of:
           0.07872686 = score(doc=1963,freq=1.0), product of:
             0.10798979 = queryWeight, product of:
               1.1348791 = boost
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.016315594 = queryNorm
             0.7290213 = fieldWeight in 1963, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.125 = fieldNorm(doc=1963)
         0.08463757 = weight(abstract_txt:programs in 1963) [ClassicSimilarity], result of:
           0.08463757 = score(doc=1963,freq=1.0), product of:
             0.11332948 = queryWeight, product of:
               1.1625984 = boost
               5.97462 = idf(docFreq=306, maxDocs=44421)
               0.016315594 = queryNorm
             0.7468275 = fieldWeight in 1963, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.97462 = idf(docFreq=306, maxDocs=44421)
               0.125 = fieldNorm(doc=1963)
         0.08753291 = weight(abstract_txt:artificial in 1963) [ClassicSimilarity], result of:
           0.08753291 = score(doc=1963,freq=1.0), product of:
             0.115899526 = queryWeight, product of:
               1.175707 = boost
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.016315594 = queryNorm
             0.7552482 = fieldWeight in 1963, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.125 = fieldNorm(doc=1963)
         0.063878216 = weight(abstract_txt:computer in 1963) [ClassicSimilarity], result of:
           0.063878216 = score(doc=1963,freq=1.0), product of:
             0.118362084 = queryWeight, product of:
               1.6802719 = boost
               4.317478 = idf(docFreq=1609, maxDocs=44421)
               0.016315594 = queryNorm
             0.5396848 = fieldWeight in 1963, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.317478 = idf(docFreq=1609, maxDocs=44421)
               0.125 = fieldNorm(doc=1963)
         0.37087962 = weight(abstract_txt:theories in 1963) [ClassicSimilarity], result of:
           0.37087962 = score(doc=1963,freq=3.0), product of:
             0.30347487 = queryWeight, product of:
               3.2951884 = boost
               5.6446834 = idf(docFreq=426, maxDocs=44421)
               0.016315594 = queryNorm
             1.2221098 = fieldWeight in 1963, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.6446834 = idf(docFreq=426, maxDocs=44421)
               0.125 = fieldNorm(doc=1963)
       0.2 = coord(5/25)