Oscar Slotosch - Analogieschlüsse beim automatischen Beweisen
Lieferung & Versand
Für diesen Artikel wurde keine geeignete Versandart ermittelt. Bitte melden Sie sich bei uns.
- Zahlungsarten:
Über das Buch
Zum Inhalt
Was macht den Menschen intelligenter als die Maschine?
Einer von vielen Gründen ist: der Mensch kann richtige Analogien erkennen und ausnützen und somit analoge Probleme ohne den analogen Aufwand lösen. Der Autor bezweckt, dieses Defizit aus Maschinensicht zu verringern. Hauptziel ist es, den sprachlichen Analogiebegriff so zu konkretisieren, daß er von der Maschine verwendet werden kann. Die Sprachphilosophie sagt über die Bedeutung (Intension) der Analogie: Analogie bezeichnet die Übereinstimmung hinsichtlich gewisser Merkmale. Ausgehend von dieser Intension läßt sich der Umfang des Begriffs nicht festlegen, da nicht klar ist, was “gewisse Merkmale” sind. Dies ist ein generelles Problem von sprachlichen Definitionen. Deshalb wird zuerst der Umfang des Analogiebegriffs untersucht.
Slotosch klassifiziert Analogien, um sie beim automatischen Beweisen vorteilhaft einzusetzen und führt dazu einen Analogiebegriff ein, der sowohl die Struktur von Teilen, als auch ihren Zusammenhang berücksichtigt. Mit Hilfe von Bewertungsfunktionen bildet dieser Analogiebegriff eine Ordnung auf allen Aussagenpaaren. Damit läßt sich zu einer beweisenden Aussage die analogste Aussage und deren Beweis aus einer Datenbank finden. Dieser wird beim analogiegeleiteten Beweisen als Leitfaden für das Finden des neuen Beweises verwendet. Die Klassifikation der bekannten Analogien erfolgt auch in den beiden Stufen: Struktur der Teile und Zusammenhang der Teile.
Grundlage für den Analogiebegriff ist eine einheitliche Darstellung der Aussagen in Klauselform und der dadurch festgelegte Konnektionsgraph. Diese Strukturen werden von Ähnlichkeitsfunktionen verglichen und so zum Berechnen des Analogiewertes zweier Aussagen verwendet. Diese Berechnung erfolgt in polynomieller Zeit. [...]
Schlagworte
automatisches Beweisen, Analogie, Bewertungsfunktion, Klassifikation, Konnektions-Methode, Ähnlichkeitsfunktion, Prädikatenlogik, Algorithmen, Informatik
-
SchriftenreiheForschungsergebnisse zur Informatik
-
ISSN1435-6260
-
Band6
Zahlungsarten
Sie können via Paypal, Kreditkartenzahlung oder Vorkasse bezahlen. Firmenkunden können auf Rechnung kaufen.
Lieferzeit
Die Lieferzeit innerhalb Deutschlands beträgt üblicherweise 2 bis 3 Werktage ab Zahlungseingang. Bei Bestellungen an Wochenenden und Feiertagen verzögert sich die Auslieferung entsprechend.
Paket-Versand
Einige Artikel werden aufgrund ihrer Größe, Menge und/oder ihres Gewichtes als Paket versendet.
Verzögerungen
Sollten einige Artikel kurzfristig nicht lieferbar sein oder sich die versprochene Lieferzeit verzögern, werden Sie per E-Mail von uns darüber informiert.
Logistikpartner
Die bestellten Artikel werden von uns schnellstmöglich verpackt und unserem Logistikpartner versandfertig übergeben. Bitte beachten Sie, dass wir auf Verzögerungen, die von unserem Logistikpartner verursacht sind, keinen Einfluss haben.
Sendungsverfolgung
Anhand Ihrer Paket-Identnummer/Sendungsnummer können Sie jederzeit den aktuellen Sendungsstatus Ihres Paketes erfahren. Weitere Informationen zur Sendungsverfolgung erhalten Sie in Ihrer Lieferbestätigung per eMail.
Kontakt
Sie erreichen unseren Kundenservice telefonisch unter 040 398880 0 sowie per E-Mail unter shop@verlagdrkovac.de.