Search (5 results, page 1 of 1)

0.07106868 = product of:
  0.14213736 = sum of:
    0.13059 = weight(_text_:logik in 2916) [ClassicSimilarity], result of:
      0.13059 = score(doc=2916,freq=2.0), product of:
        0.24834694 = queryWeight, product of:
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.036526725 = queryNorm
        0.525837 = fieldWeight in 2916, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.0546875 = fieldNorm(doc=2916)
    0.011547356 = product of:
      0.034642067 = sum of:
        0.034642067 = weight(_text_:22 in 2916) [ClassicSimilarity], result of:
          0.034642067 = score(doc=2916,freq=2.0), product of:
            0.12791036 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.036526725 = queryNorm
            0.2708308 = fieldWeight in 2916, 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=2916)
      0.33333334 = coord(1/3)
  0.5 = coord(2/4)

Abstract

Das Handbuch der Künstlichen Intelligenz bietet die umfassendste deutschsprachige Übersicht über die Disziplin "Künstliche Intelligenz". Es vereinigt einführende und weiterführende Beiträge u.a. zu folgenden Themen: - Kognition - Neuronale Netze - Suche, Constraints - Wissensrepräsentation - Logik und automatisches Beweisen - Unsicheres und vages Wissen - Wissen über Raum und Zeit - Fallbasiertes Schließen und modellbasierte Systeme - Planen - Maschinelles Lernen und Data Mining - Sprachverarbeitung - Bildverstehen - Robotik - Software-Agenten Das Handbuch bietet eine moderne Einführung in die Künstliche Intelligenz und zugleich einen aktuellen Überblick über Theorien, Methoden und Anwendungen.

Date

21. 3.2008 19:10:22

0.018655716 = product of:
  0.07462286 = sum of:
    0.07462286 = weight(_text_:logik in 4622) [ClassicSimilarity], result of:
      0.07462286 = score(doc=4622,freq=2.0), product of:
        0.24834694 = queryWeight, product of:
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.036526725 = queryNorm
        0.30047828 = fieldWeight in 4622, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.03125 = fieldNorm(doc=4622)
  0.25 = coord(1/4)

Abstract

Dieses Buch präsentiert ein breites Spektrum aktueller Methoden zur Repräsentation und Verarbeitung (un)sicheren Wissens in maschinellen Systemen in didaktisch aufbereiteter Form. Neben symbolischen Ansätzen des nichtmonotonen Schließens (Default-Logik, hier konstruktiv und leicht verständlich mittels sog. Default-Bäume realisiert) werden auch ausführlich quantitative Methoden wie z.B. probabilistische Markov- und Bayes-Netze vorgestellt. Weitere Abschnitte beschäftigen sich mit Wissensdynamik (Truth Maintenance-Systeme), Aktionen und Planen, maschinellem Lernen, Data Mining und fallbasiertem Schließen.In einem vertieften Querschnitt werden zentrale alternative Ansätze einer logikbasierten Wissensmodellierung ausführlich behandelt. Detailliert beschriebene Algorithmen geben dem Praktiker nützliche Hinweise zur Anwendung der vorgestellten Ansätze an die Hand, während fundiertes Hintergrundwissen ein tieferes Verständnis für die Besonderheiten der einzelnen Methoden vermittelt . Mit einer weitgehend vollständigen Darstellung des Stoffes und zahlreichen, in den Text integrierten Aufgaben ist das Buch für ein Selbststudium konzipiert, eignet sich aber gleichermaßen für eine entsprechende Vorlesung. Im Online-Service zu diesem Buch werden u.a. ausführliche Lösungshinweise zu allen Aufgaben des Buches angeboten.Zahlreiche Beispiele mit medizinischem, biologischem, wirtschaftlichem und technischem Hintergrund illustrieren konkrete Anwendungsszenarien. Von namhaften Professoren empfohlen: State-of-the-Art bietet das Buch zu diesem klassischen Bereich der Informatik. Die wesentlichen Methoden wissensbasierter Systeme werden verständlich und anschaulich dargestellt. Repräsentation und Verarbeitung sicheren und unsicheren Wissens in maschinellen Systemen stehen dabei im Mittelpunkt. In der vierten, verbesserten Auflage wurde die Anzahl der motivierenden Selbsttestaufgaben mit aktuellem Praxisbezug nochmals erweitert. Ein Online-Service mit ausführlichen Musterlösungen erleichtert das Lernen.

0.013191583 = product of:
  0.05276633 = sum of:
    0.05276633 = weight(_text_:logik in 666) [ClassicSimilarity], result of:
      0.05276633 = score(doc=666,freq=4.0), product of:
        0.24834694 = queryWeight, product of:
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.036526725 = queryNorm
        0.21247023 = fieldWeight in 666, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.015625 = fieldNorm(doc=666)
  0.25 = coord(1/4)

BK

31.10 / Mathematische Logik / Mengenlehre

Classification

31.10 / Mathematische Logik / Mengenlehre

0.0017857687 = product of:
  0.0071430746 = sum of:
    0.0071430746 = product of:
      0.021429224 = sum of:
        0.021429224 = weight(_text_:22 in 150) [ClassicSimilarity], result of:
          0.021429224 = score(doc=150,freq=6.0), product of:
            0.12791036 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.036526725 = queryNorm
            0.16753313 = fieldWeight in 150, product of:
              2.4494898 = tf(freq=6.0), with freq of:
                6.0 = termFreq=6.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.01953125 = fieldNorm(doc=150)
      0.33333334 = coord(1/3)
  0.25 = coord(1/4)

Classification

006.7 22

Date

7. 3.2007 19:30:22

DDC

006.7 22

8.248111E-4 = product of:
  0.0032992444 = sum of:
    0.0032992444 = product of:
      0.009897733 = sum of:
        0.009897733 = weight(_text_:22 in 1789) [ClassicSimilarity], result of:
          0.009897733 = score(doc=1789,freq=2.0), product of:
            0.12791036 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.036526725 = queryNorm
            0.07738023 = fieldWeight in 1789, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.015625 = fieldNorm(doc=1789)
      0.33333334 = coord(1/3)
  0.25 = coord(1/4)

Date

23. 3.2008 19:10:22