- Treffer 1 von 1
Heuristische Methoden zur Ermittlung einer optimalen Konfiguration von E-KRHyper
Heuristic methods to determine an optimal preconfiguration of E-KRHyper
- Diese Arbeit behandelt verschiedene Ansätze zur Ermittlung einer Heuristik, welche zur Bestimmung einer optimalen Konfiguration des Theorembeweisers E-KRHyper eingesetzt werden soll. Es wird erläutert, wie der Beweiser durch eine angepasste Voreinstellung optimiert werden kann und die erarbeiteten Ansätze zur Ermittlung dieser Voreinstellung werden vorgestellt. Anhand der erzielten Ergebnisse werden die Ansätze anschließend bewertet und für eines der vorgestellten Verfahren wird außerdem eine Idee zur Implementierung vorgestellt.
Verfasserangaben: | Timo Eifler |
---|---|
URN: | urn:nbn:de:kola-4596 |
Betreuer: | Ulrich Furbach, Björn Pelzer |
Dokumentart: | Studienarbeit |
Sprache: | Deutsch |
Datum der Fertigstellung: | 12.11.2010 |
Datum der Veröffentlichung: | 12.11.2010 |
Veröffentlichende Institution: | Universität Koblenz-Landau, Campus Koblenz, Universitätsbibliothek |
Titel verleihende Institution: | Universität Koblenz, Fachbereich 4 |
Datum der Freischaltung: | 12.11.2010 |
Freies Schlagwort / Tag: | E-KRHyper; Heuristiken; Prädikatenlogik |
GND-Schlagwort: | Automatisches Beweisverfahren; Computational logic; Klausellogik; Tableau <Logik> |
Institute: | Fachbereich 4 / Institut für Informatik |
DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Lizenz (Deutsch): | Es gilt das deutsche Urheberrecht: § 53 UrhG |