UNIVERSITÄTSBIBLIOTHEK

Implementation issues in Inductive Logic Programming

  • We propose several algorithms for efficient Testing of logical Implication in the case of ground objects. Because the problem of Testing a set of propositional formulas for (un)satisfiability is \(NP\)-complete there's strong evidence that there exist examples for which every algorithm which solves the problem of testing for (un)satisfiability has a runtime that is exponential in the length of the input. So will have our algorithms. We will therefore point out classes of logic programs for which our algorithms have a lower runtime. At the end of this paper we will give an outline of an algorithm for theory refinement which is based on the algorithms described above.

Metadaten exportieren

Weitere Dienste

Teilen auf Twitter Suche bei Google Scholar
Metadaten
Verfasserangaben:Robert Kolter
URN (Permalink):urn:nbn:de:hbz:386-kluedo-49800
Schriftenreihe (Bandnummer):Interner Bericht des Fachbereich Informatik (325)
Dokumentart:Bericht
Sprache der Veröffentlichung:Englisch
Veröffentlichungsdatum (online):27.10.2017
Jahr der Veröffentlichung:2003
Veröffentlichende Institution:Technische Universität Kaiserslautern
Datum der Publikation (Server):27.10.2017
Seitenzahl:40
Fachbereiche / Organisatorische Einheiten:Fachbereich Informatik
DDC-Sachgruppen:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Lizenz (Deutsch):Creative Commons 4.0 - Namensnennung, nicht kommerziell, keine Bearbeitung (CC BY-NC-ND 4.0)