Inhaltsverzeichnis
7 Beziehungen: A*-Algorithmus, Disjunktionsterm, Horn-Formel, Induktive logische Programmierung, Maschinelles Lernen, Nada LavraÄ, Prädikatenlogik.
A*-Algorithmus
Der A*-Algorithmus („A Stern“ oder englisch „a star“, auch A*-Suche) gehört zur Klasse der informierten Suchalgorithmen.
Sehen Progol und A*-Algorithmus
Disjunktionsterm
Ein Disjunktionsterm (auch als Disjunktionsglied oder Klausel bezeichnet) ist eine Boolesche Funktion, die ausschließlich durch die disjunktive Verknüpfung von Literalen gebildet wird.
Sehen Progol und Disjunktionsterm
Horn-Formel
Horn-Formeln sind eine wichtige Art prädikatenlogischer Formeln.
Sehen Progol und Horn-Formel
Induktive logische Programmierung
Die Induktive logische Programmierung (ILP) ist ein Bereich des maschinellen Lernens, in dem Verfahren zur automatischen Erstellung von logischen Programmen aus Beispielen untersucht werden.
Sehen Progol und Induktive logische Programmierung
Maschinelles Lernen
Maschinelles Lernen (ML) ist ein Oberbegriff für die „künstliche“ Generierung von Wissen aus Erfahrung: Ein künstliches System lernt aus Beispielen und kann diese nach Beendigung der Lernphase verallgemeinern.
Sehen Progol und Maschinelles Lernen
Nada LavraÄ
Nada LavraÄ (* 7. Juli 1953 in Ljubljana, Slowenien) ist eine slowenische Wissenschaftlerin, die sich hauptsächlich mit künstlicher Intelligenz befasst.
Sehen Progol und Nada LavraÄ
Prädikatenlogik
Die Prädikatenlogiken (auch Quantorenlogiken) bilden eine Familie logischer Systeme, die es erlauben, in der Praxis und in der Theorie vieler Wissenschaften wichtige Bereiche durch Argumente zu formalisieren und sie auf ihre Gültigkeit zu überprüfen.