Das Fuhren von Terminierungsbeweisen flir rekursiv definierte Algorithmen erfordert eine gewisse Kreativitiit des (menschlichen oder automatischen) Bewei- sers, die sich im Erfinden einer Hypothese manifestiert, deren Giiltigkeit hinrei- chend flir die Terminierung eines Algorithmus ist. In dieser Arbeit wird ein Ver- fahren vorgestellt, mit dem diese KreativiUit durch ein Computerprogramm nachgebildet werden soIl. Mit diesem Verfahren konnen Terminierungsbeweise in vielen Hillen vollautomatisch, d.h. ohne jegliche ...
Read More
Das Fuhren von Terminierungsbeweisen flir rekursiv definierte Algorithmen erfordert eine gewisse Kreativitiit des (menschlichen oder automatischen) Bewei- sers, die sich im Erfinden einer Hypothese manifestiert, deren Giiltigkeit hinrei- chend flir die Terminierung eines Algorithmus ist. In dieser Arbeit wird ein Ver- fahren vorgestellt, mit dem diese KreativiUit durch ein Computerprogramm nachgebildet werden soIl. Mit diesem Verfahren konnen Terminierungsbeweise in vielen Hillen vollautomatisch, d.h. ohne jegliche menschliche Unterstutzung, gefiihrt werden. Es wird gezeigt, - wie flir einen Algorithmus eine Terminierungshypothese automatisch synthetisiert werden kann, - welches Wissen uber Algorithmen dazu erforderlich ist, - wie dieses Wissen reprasentiert wird, und - wie dieses Wissen durch eine Maschine selbst berechnet werden kann. Das hier beschriebene Verfahren lOst die gestellte Aufgabe fUr eine relevante Klasse von Algorithmen, wie etwa klassische Sortieralgorithmen und Algorith- men flir grundlegende arithmetische Operationen, die in einer rein funktionalen Programmiersprache gegeben sind. Die hier vorliegende Arbeit, die in den Jahren 1984 -1988 entstand, wurde zum Teil durch den Sonderforschungsbereich 314 "Kunstliche Intelligenz und Wissensbasierte Systeme" der Deutschen Forschungsgemeinschaft gefOrdert und von der Fakultat flir Informatik der Universitat Karlsruhe als Habilitations- schrift angenommen. Ich danke Prof. Dr. P. Deussen flir die Arbeitsmoglichkei- ten und Unterstiitzung wahrend der Jahre an seinem Institut.
Read Less
Add this copy of Automatisierung Von Terminierungsbeweisen to cart. $60.24, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1991 by Vieweg+teubner Verlag.
Add this copy of Automatisierung Von Terminierungsbeweisen to cart. $65.35, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1991 by Vieweg+teubner Verlag.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Print on demand Text in German. Trade paperback (US). Glued binding. 253 p. Contains: Unspecified, Illustrations, black & white. Künstliche Intelligenz.
Add this copy of Automatisierung Von Terminierungsbeweisen (Künstliche to cart. $92.70, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1991 by Vieweg+Teubner Verlag.
