Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Herstellerkennzeichnung
Die Herstellerinformationen sind derzeit nicht verfügbar.
Inhaltsangabe
und Übersicht.- 0 Vorbemerkungen.- I Wissensrepräsentation und Inferenz in der Prädikatenlogik.- 1 Syntax und Semantik der Prädikatenlogik.- 2 Allgemeine deduktive Methoden.- 3 Der Spezialfall der Gleichheit, Reduktionssysteme.- 4 Prädikatenlogik und deklaratives Programmieren; Regelsysteme.- II Erweiterte Ausdrucksmöglichkeiten.- 5 Der praktische Gebrauch der logischen Zeichen.- 6 Unzulänglichkeiten der Prädikatenlogik.- 7 Prädikatenlogik höherer Stufe.- 8 Spezielle Darstellungsarten und Inferenzmechanismen.- 9 Modale Ausdrucksweisen und Graphenmodelle.- 10 Induktive Logik und Hypothesenbildung.- 11 Nichtmonotonie und Revisionsmechanismen.- 12 Die Logik von Frage und Antwort.- III Expertensysteme.- 13 Allgemeine Vorbemerkungen.- 14 Behandlung von Unsicherheit und Vagheit.- 15 Suchverfahren.- 16 Modellierung zeitlichen Verhaltens.- 17 Abstraktion und qualitatives Schließen.- 18 Erklärung.- 19 Wissensakquisition und Lernen.- 20 Analytische und synthetische Systeme.- IV Ergänzungen.- 21 Entscheidungsunterstützende Systeme.- 22 Expertensysteme und Datenbanken.- 23 KI - Programmiersprachen.- 24 Aspekte der Kognitionswissenschaften.- Stichwortverzeichnis.
und Übersicht.- 0 Vorbemerkungen.- I Wissensrepräsentation und Inferenz in der Prädikatenlogik.- 1 Syntax und Semantik der Prädikatenlogik.- 2 Allgemeine deduktive Methoden.- 3 Der Spezialfall der Gleichheit, Reduktionssysteme.- 4 Prädikatenlogik und deklaratives Programmieren; Regelsysteme.- II Erweiterte Ausdrucksmöglichkeiten.- 5 Der praktische Gebrauch der logischen Zeichen.- 6 Unzulänglichkeiten der Prädikatenlogik.- 7 Prädikatenlogik höherer Stufe.- 8 Spezielle Darstellungsarten und Inferenzmechanismen.- 9 Modale Ausdrucksweisen und Graphenmodelle.- 10 Induktive Logik und Hypothesenbildung.- 11 Nichtmonotonie und Revisionsmechanismen.- 12 Die Logik von Frage und Antwort.- III Expertensysteme.- 13 Allgemeine Vorbemerkungen.- 14 Behandlung von Unsicherheit und Vagheit.- 15 Suchverfahren.- 16 Modellierung zeitlichen Verhaltens.- 17 Abstraktion und qualitatives Schließen.- 18 Erklärung.- 19 Wissensakquisition und Lernen.- 20 Analytische und synthetische Systeme.- IV Ergänzungen.- 21 Entscheidungsunterstützende Systeme.- 22 Expertensysteme und Datenbanken.- 23 KI - Programmiersprachen.- 24 Aspekte der Kognitionswissenschaften.- Stichwortverzeichnis.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
