Search (9 results, page 1 of 1)

0.01770704 = product of:
  0.03541408 = sum of:
    0.03541408 = product of:
      0.07082816 = sum of:
        0.07082816 = weight(_text_:22 in 3142) [ClassicSimilarity], result of:
          0.07082816 = score(doc=3142,freq=2.0), product of:
            0.18306525 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.05227703 = queryNorm
            0.38690117 = fieldWeight in 3142, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.078125 = fieldNorm(doc=3142)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Date

26. 2.2008 15:58:22

0.016454415 = product of:
  0.03290883 = sum of:
    0.03290883 = product of:
      0.06581766 = sum of:
        0.06581766 = weight(_text_:research in 3137) [ClassicSimilarity], result of:
          0.06581766 = score(doc=3137,freq=2.0), product of:
            0.1491455 = queryWeight, product of:
              2.8529835 = idf(docFreq=6931, maxDocs=44218)
              0.05227703 = queryNorm
            0.44129837 = fieldWeight in 3137, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              2.8529835 = idf(docFreq=6931, maxDocs=44218)
              0.109375 = fieldNorm(doc=3137)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Source

Classification as a tool of research. Ed.: W. Gaul u. M. Schader

0.0141656315 = product of:
  0.028331263 = sum of:
    0.028331263 = product of:
      0.056662526 = sum of:
        0.056662526 = weight(_text_:22 in 1901) [ClassicSimilarity], result of:
          0.056662526 = score(doc=1901,freq=2.0), product of:
            0.18306525 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.05227703 = queryNorm
            0.30952093 = fieldWeight in 1901, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.0625 = fieldNorm(doc=1901)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Source

Knowledge organization. 22(1995) no.2, S.78-81

0.012394927 = product of:
  0.024789855 = sum of:
    0.024789855 = product of:
      0.04957971 = sum of:
        0.04957971 = weight(_text_:22 in 5095) [ClassicSimilarity], result of:
          0.04957971 = score(doc=5095,freq=2.0), product of:
            0.18306525 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.05227703 = queryNorm
            0.2708308 = fieldWeight in 5095, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.0546875 = fieldNorm(doc=5095)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Date

22. 1.2016 17:47:06

0.012394927 = product of:
  0.024789855 = sum of:
    0.024789855 = product of:
      0.04957971 = sum of:
        0.04957971 = weight(_text_:22 in 2654) [ClassicSimilarity], result of:
          0.04957971 = score(doc=2654,freq=2.0), product of:
            0.18306525 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.05227703 = queryNorm
            0.2708308 = fieldWeight in 2654, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.0546875 = fieldNorm(doc=2654)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Date

22. 1.2016 17:30:31

0.009972882 = product of:
  0.019945765 = sum of:
    0.019945765 = product of:
      0.03989153 = sum of:
        0.03989153 = weight(_text_:research in 5084) [ClassicSimilarity], result of:
          0.03989153 = score(doc=5084,freq=4.0), product of:
            0.1491455 = queryWeight, product of:
              2.8529835 = idf(docFreq=6931, maxDocs=44218)
              0.05227703 = queryNorm
            0.2674672 = fieldWeight in 5084, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              2.8529835 = idf(docFreq=6931, maxDocs=44218)
              0.046875 = fieldNorm(doc=5084)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Abstract

Logic-based networks are semantic networks that support reasoning capabilities. In this paper, knowledge processing within logicbased networks is viewed as three stages. The first stage involves the formation of concepts and relations: the basic primitives with which we wish to formulate knowledge. The second stage involves the formation of wellformed formulas that express knowledge about the primitive concepts and relations once isolated. The final stage involves efficiently processing the wffs to the desired end. Our research involves each of these steps as they relate to Sowa's conceptual structures and Wille's concept lattices. Formal Concept Analysis gives us a capability to perform concept formation via symbolic machine learning. Concept(ual) Graphs provide a means to describe relational properties between primitive concept and relation types. Finally, techniques from other areas of computer science are required to compute logic-based networks efficiently. This paper illustrates the three stages of knowledge processing in practical terms using examples from our research

0.009402524 = product of:
  0.018805047 = sum of:
    0.018805047 = product of:
      0.037610095 = sum of:
        0.037610095 = weight(_text_:research in 620) [ClassicSimilarity], result of:
          0.037610095 = score(doc=620,freq=2.0), product of:
            0.1491455 = queryWeight, product of:
              2.8529835 = idf(docFreq=6931, maxDocs=44218)
              0.05227703 = queryNorm
            0.2521705 = fieldWeight in 620, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              2.8529835 = idf(docFreq=6931, maxDocs=44218)
              0.0625 = fieldNorm(doc=620)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Source

Behavior research methods instruments and computers. 25(1993) no.2, S.314-317

0.007051893 = product of:
  0.014103786 = sum of:
    0.014103786 = product of:
      0.028207572 = sum of:
        0.028207572 = weight(_text_:research in 691) [ClassicSimilarity], result of:
          0.028207572 = score(doc=691,freq=8.0), product of:
            0.1491455 = queryWeight, product of:
              2.8529835 = idf(docFreq=6931, maxDocs=44218)
              0.05227703 = queryNorm
            0.18912788 = fieldWeight in 691, product of:
              2.828427 = tf(freq=8.0), with freq of:
                8.0 = termFreq=8.0
              2.8529835 = idf(docFreq=6931, maxDocs=44218)
              0.0234375 = fieldNorm(doc=691)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Abstract

Computer scientists create models of a perceived reality. Through AI techniques, these models aim at providing the basic support for emulating cognitive behavior such as reasoning and learning, which is one of the main goals of the Al research effort. Such computer models are formed through the interaction of various acquisition and inference mechanisms: perception, concept learning, conceptual clustering, hypothesis testing, probabilistic inference, etc., and are represented using different paradigms tightly linked to the processes that use them. Among these paradigms let us cite: biological models (neural nets, genetic programming), logic-based models (first-order logic, modal logic, rule-based systems), virtual reality models (object systems, agent systems), probabilistic models (Bayesian nets, fuzzy logic), linguistic models (conceptual dependency graphs, language-based rep resentations), etc. One of the strengths of the Conceptual Graph (CG) theory is its versatility in terms of the representation paradigms under which it falls. It can be viewed and therefore used, under different representation paradigms, which makes it a popular choice for a wealth of applications. Its full coupling with different cognitive processes lead to the opening of the field toward related research communities such as the Description Logic, Formal Concept Analysis, and Computational Linguistic communities. We now see more and more research results from one community enrich the other, laying the foundations of common philosophical grounds from which a successful synergy can emerge. ICCS 2000 embodies this spirit of research collaboration. It presents a set of papers that we believe, by their exposure, will benefit the whole community. For instance, the technical program proposes tracks on Conceptual Ontologies, Language, Formal Concept Analysis, Computational Aspects of Conceptual Structures, and Formal Semantics, with some papers on pragmatism and human related aspects of computing. Never before was the program of ICCS formed by so heterogeneously rooted theories of knowledge representation and use. We hope that this swirl of ideas will benefit you as much as it already has benefited us while putting together this program

0.005817515 = product of:
  0.01163503 = sum of:
    0.01163503 = product of:
      0.02327006 = sum of:
        0.02327006 = weight(_text_:research in 5089) [ClassicSimilarity], result of:
          0.02327006 = score(doc=5089,freq=4.0), product of:
            0.1491455 = queryWeight, product of:
              2.8529835 = idf(docFreq=6931, maxDocs=44218)
              0.05227703 = queryNorm
            0.15602253 = fieldWeight in 5089, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              2.8529835 = idf(docFreq=6931, maxDocs=44218)
              0.02734375 = fieldNorm(doc=5089)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Abstract

The 8th International Conference on Conceptual Structures - Logical, Linguistic, and Computational Issues (ICCS 2000) brings together a wide range of researchers and practitioners working with conceptual structures. During the last few years, the ICCS conference series has considerably widened its scope on different kinds of conceptual structures, stimulating research across domain boundaries. We hope that this stimulation is further enhanced by ICCS 2000 joining the long tradition of conferences in Darmstadt with extensive, lively discussions. This volume consists of contributions presented at ICCS 2000, complementing the volume "Conceptual Structures: Logical, Linguistic, and Computational Issues" (B. Ganter, G.W. Mineau (Eds.), LNAI 1867, Springer, Berlin-Heidelberg 2000). It contains submissions reviewed by the program committee, and position papers. We wish to express our appreciation to all the authors of submitted papers, to the general chair, the program chair, the editorial board, the program committee, and to the additional reviewers for making ICCS 2000 a valuable contribution in the knowledge processing research field. Special thanks go to the local organizers for making the conference an enjoyable and inspiring event. We are grateful to Darmstadt University of Technology, the Ernst Schröder Center for Conceptual Knowledge Processing, the Center for Interdisciplinary Studies in Technology, the Deutsche Forschungsgemeinschaft, Land Hessen, and NaviCon GmbH for their generous support