Wissensverarbeitung

Im Zeitalter der Informationstechnologien haben sich die Anforderungen an die Informatik und ihre Modellierungswerkzeuge stark gewandelt - im gleichen Maß verändern sich die Inhalte der Ausbildung zur Informatik: Moderne Methoden der Wissensverarbeitung haben sich einen festen Platz im Studium der Informatik erobert. Dieses Buch gibt eine Einführung in die wichtigsten Begriffe und Methoden der Wissensverarbeitung. Es vermittelt verschiedene Formalismen zur adäquaten und problembezogenen Darstellung von Wissen und behandelt Problemlösungsmethoden, die es ermöglichen, aus Wissensbeständen neues Wissen abzuleiten. Nach der Darstellung von Suchverfahren und Constrainttechniken als wichtige Problemlösungsmethoden werden folgende Arten der Wissensverarbeitung behandelt: Logik- und regelbasierte Verfahren, Begründungsverwaltung, unsicheres Wissen, Fuzzy Logik, die Verarbeitung zeitlichen Wissens und Planungsverfahren. Das Buch richtet sich an Lehrende und Lernende an Universitäten und Fachhochschulen. Außer elementaren Grundkenntnissen der Mathematik wird dabei kein Spezialwissen vorausgesetzt. Eine Vielzahl von Beispielen und Übungsaufgaben sorgt für eine anschauliche Darstellung des Stoffes. Für alle wichtigen Verfahren werden Algorithmen angegeben.