TY - GEN A1 - Eifler, Timo T1 - Heuristische Methoden zur Ermittlung einer optimalen Konfiguration von E-KRHyper T1 - Heuristic methods to determine an optimal preconfiguration of E-KRHyper N2 - 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. KW - Klausellogik KW - Computational logic KW - Automatisches Beweisverfahren KW - Tableau KW - Heuristiken KW - Prädikatenlogik KW - E-KRHyper Y1 - 2010 UR - https://kola.opus.hbz-nrw.de/frontdoor/index/index/docId/459 UR - https://nbn-resolving.org/urn:nbn:de:kola-4596 ER -