Imagen del editor

Learning Search Heuristics for Automated Deduction,

Matthias Fuchs

ISBN 10: 3860646230 / ISBN 13: 9783860646236
Editorial: Verlag Dr. Kovac, Hamburg, 1997
Nuevos Condición: neu Encuadernación de tapa blanda
Librería: Verlag Dr. Kovac GmbH (Hamburg, Alemania)

Librería en AbeBooks desde: 24 de enero de 2011 Valoración librería Valoración 4 estrellas

Cantidad disponible: 5

Comprar nuevo
Precio: EUR 65,45 Convertir moneda
Gastos de envío: EUR 9,95 De Alemania a Estados Unidos de America Destinos, gastos y plazos de envío
Añadir al carrito

Descripción

Forschungsergebnisse zur Informatik, Band 34 220 pages. Viele Probleme in der Informatik, speziell im Teilgebiet der Künstlichen Intelligenz (KI), werden mit Verfahren bearbeitet, die auf Suche basieren. Zu diesen Suchproblemen zählt auch die automatische Deduktion. Probleme aus diesem Bereich gehören zu den schwierigsten Suchproblemen. Gerade hier ist es unbestritten, dass die oftmals eigentlich unintelligenten Suchmethoden (Suchstrategien bzw. Suchheuristiken) Schwächen haben, die auch schnelle Rechner und ausgeklügelte Implementierungstechniken nur ansatzweise kompensieren können. In Anlehnung an menschliches Problemlöseverhalten wurde schon früh erkannt, dass Lernen eine zentrale Rolle bei allen intelligenzbasierten Problemlösungsvorgängen spielt. Hier herrscht bei der automatischen Deduktion allerdings ein Defizit, während in anderen Bereichen der KI der Einsatz von Techniken des maschinellen Lernens beeindruckende Resultate produziert hat. Die vorliegende Arbeit stellt Lernverfahren vor, die sich auch bei der Deduktion profitabel einsetzen lassen. Das Grundprinzip der Lernverfahren besteht in der rein heuristischen Ausnutzung des Wissens, das aus gelösten Problemen stammt. Dies bedeutet, dass das Wissen zur Verbesserung von Suchheuristiken bzw. zur Generierung verbesserter Suchheuristiken verwandt wird. Diese Vorgehensweise hat einige entscheidende Vorteile gegenüber den Lernverfahren, die auf einen vorzugsweise deterministischen analogen Wissenstransfer ohne Suche bauen. Die Leistungsfähigkeit der vorgestellten Verfahren wurde empirisch überprüft. Die Ergebnisse haben gezeigt, daß nicht nur enorme Geschwindigkeitssteigerungen möglich sind, sondern auch eine Reihe von Problemen gelöst werden können, die ohne Lernen nicht bewältigt werden konnten. Darüberhinaus behandelt die Arbeit Ansätze zu Verfahren, um anwendbares Wissen automatisch zu entdecken und auch zum Teil ungeeignetes Wissen erfolgreich einzusetzen. Damit wird eine weitgehende Unabhängigkeit vom Benutzer und somit seine Entlastung angestrebt. Die Grundprinzipien der vorgestellten Verfahren sind nicht nur in der automatischen Deduktion anwendbar und daher grundsätzlich für eine Vielzahl von Suchproblemen interessant. N° de ref. de la librería x623

Hacer una pregunta a la librería

Detalles bibliográficos

Título: Learning Search Heuristics for Automated ...

Editorial: Verlag Dr. Kovac, Hamburg

Año de publicación: 1997

Encuadernación: Softcover

Condición del libro: neu

Edición: 1. Auflage.

Descripción de la librería

Ver la página web de la librería

Condiciones de venta:

Rückgabebelehrung

Rückgaberecht
Sie können die erhaltene Ware ohne Angabe von Gründen innerhalb
von 14 Tagen durch Rücksendung der Ware zurückgeben. Die Frist
beginnt nach Erhalt dieser Belehrung in Textform (z. B. als
Brief, Fax, E-Mail), jedoch nicht vor Eingang der Ware beim
Empfänger (bei der wiederkehrenden Lieferung gleichartiger Waren
nicht vor Eingang der ersten Teillieferung) und auch nicht vor
Erfüllung unserer Informationspflichten gemäß Artikel 246 § 2 in
Verbindung mit § 1 Absatz 1 ...

Más información
Condiciones de envío:

Die Versandkostenpauschalen basieren auf Sendungen mit einem durchschnittlichen Gewicht. Falls das von Ihnen bestellte Buch besonders schwer oder sperrig sein sollte, werden wir Sie informieren, falls zusätzliche Versandkosten anfallen.


Información detallada sobre el vendedor

Todos los libros de esta librería

Métodos de pago
aceptados por la librería

Visa Mastercard American Express Carte Bleue