Logo
Unionpedia
Kommunikation
Jetzt bei Google Play
Neu! Laden Sie Unionpedia auf Ihrem Android™-Gerät herunter!
Installieren
Schneller Zugriff als Browser!
 

Induktive logische Programmierung

Index 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.

71 Beziehungen: Atom, Aussagenlogik, Australien, Belgien, Bled, Bonn, Brasilien, Bulgarien, C4.5, Corvallis (Oregon), Data-Mining, Deutschland, Disjunktionsterm, Dubrovnik, England, Ferrara, Florenz, Frankreich, Greedy-Algorithmus, Hintergrundwissen, Induktion (Philosophie), Interpretation (Logik), Italien, Iterative Dichotomiser 3, Japan, Katholieke Universiteit Leuven, Kroatien, Kyōto, Löwen, Logische Programmierung, London, Madison (Wisconsin), Maschinelles Lernen, Michèle Sebag, Nada Lavrač, Nancy, Oregon, Oregon State University, Orléans, Plowdiw, Porto, Portugal, Prag, Prädikatenlogik, Progol, Rio de Janeiro, Santiago de Compostela, Schweden, Slowenien, Spanien, ..., Stefan Wrobel, Stockholm, Straßburg, Sydney, Szeged, Tokio, Tschechien, Ungarn, Vereinigte Staaten, Vereinigtes Königreich, Viana do Castelo, Windsor Castle, Wisconsin, 2014, 2015, 2016, 2017, 2018, 2019, 2021, 2022. Erweitern Sie Index (21 mehr) »

Atom

kugelsymmetrisch. kovalenten Radius Atome (von „unteilbar“) sind die Bausteine, aus denen alle festen, flüssigen und gasförmigen Stoffe bestehen.

Neu!!: Induktive logische Programmierung und Atom · Mehr sehen »

Aussagenlogik

Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird.

Neu!!: Induktive logische Programmierung und Aussagenlogik · Mehr sehen »

Australien

Australien (amtlicher deutscher Name;, deutsch veraltet Australischer Bund) ist ein Staat auf der Südhalbkugel der Erde, der das Festland des australischen Kontinents, die ihr südlich vorgelagerte Insel Tasmanien, die subantarktische Macquarieinsel mit ihren Nebeninseln und als Außengebiete die pazifische Norfolkinsel, die Kokosinseln, die Weihnachtsinsel, die Ashmore- und Cartierinseln sowie Heard und die McDonaldinseln im Indischen Ozean umfasst.

Neu!!: Induktive logische Programmierung und Australien · Mehr sehen »

Belgien

Belgien (amtlich Königreich Belgien) ist ein föderaler Staat in Westeuropa.

Neu!!: Induktive logische Programmierung und Belgien · Mehr sehen »

Bled

Der Luftkurort Bled, Hauptort der Gemeinde Bled (deutsch: Veldes oder Feldes), liegt am Bleder See („Veldeser See“, slowenisch Blejsko jezero) im nordwestlichen Teil Sloweniens.

Neu!!: Induktive logische Programmierung und Bled · Mehr sehen »

Bonn

Offizielles Logo der Bundesstadt Bonn Das Palais Schaumburg war der Amtssitz des Bundeskanzlers (Foto von 1950). Die Skyline des Bonner Bundesviertels aus Beuel gesehen Platz der Vereinten Nationen Die Bundesstadt Bonn ist eine kreisfreie Großstadt im Regierungsbezirk Köln im Süden des Landes Nordrhein-Westfalen und Zweitregierungssitz der Bundesrepublik Deutschland.

Neu!!: Induktive logische Programmierung und Bonn · Mehr sehen »

Brasilien

Brasilien (gemäß Lautung des brasilianischen Portugiesisch), amtlich die Föderative Republik Brasilien, ist der Fläche nach der fünftgrößte und mit rund 214 Millionen Einwohnern der Bevölkerung nach der siebtgrößte Staat der Erde.

Neu!!: Induktive logische Programmierung und Brasilien · Mehr sehen »

Bulgarien

Bulgarien (amtliche Bezeichnung seit 1990 Republik Bulgarien, bulgarisch Република България) ist eine Republik in Südosteuropa mit etwa 6,5 Millionen Einwohnern.

Neu!!: Induktive logische Programmierung und Bulgarien · Mehr sehen »

C4.5

C4.5 ist ein Algorithmus des maschinellen Lernens, der verwendet wird, um aus Trainingsdaten einen Entscheidungsbaum zu erzeugen, mit dem Datensätze klassifiziert werden können.

Neu!!: Induktive logische Programmierung und C4.5 · Mehr sehen »

Corvallis (Oregon)

Corvallis ist eine Stadt im Benton County im US-Bundesstaat Oregon.

Neu!!: Induktive logische Programmierung und Corvallis (Oregon) · Mehr sehen »

Data-Mining

Unter Data-Mining (von, aus ‚Daten‘ und ‚graben‘, ‚abbauen‘, ‚fördern‘) versteht man die systematische Anwendung statistischer Methoden auf große Datenbestände (insbesondere „Big Data“ bzw. Massendaten) mit dem Ziel, neue Querverbindungen und Trends zu erkennen.

Neu!!: Induktive logische Programmierung und Data-Mining · Mehr sehen »

Deutschland

Deutschland (Vollform des Staatennamens seit 1949: Bundesrepublik Deutschland) ist ein Bundesstaat in Mitteleuropa.

Neu!!: Induktive logische Programmierung und Deutschland · Mehr sehen »

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.

Neu!!: Induktive logische Programmierung und Disjunktionsterm · Mehr sehen »

Dubrovnik

Lage der Stadt in der Gespanschaft Dubrovnik Dubrovnik (lat. Rausium später Ragusium; italienisch und deutsch Ragusa, älter auch Ragus) ist eine Stadt im südlichen Kroatien an der Adriaküste.

Neu!!: Induktive logische Programmierung und Dubrovnik · Mehr sehen »

England

England ist der größte und am dichtesten besiedelte Landesteil im Vereinigten Königreich im Nordwesten Europas.

Neu!!: Induktive logische Programmierung und England · Mehr sehen »

Ferrara

Ferrara ist eine oberitalienische Stadt in der östlichen Po-Ebene in der Region Emilia-Romagna, Hauptstadt der gleichnamigen Provinz Ferrara und Erzbischofssitz.

Neu!!: Induktive logische Programmierung und Ferrara · Mehr sehen »

Florenz

Florenz ist eine italienische Großstadt mit Einwohnern (Stand). Nach Einwohnern ist sie die achtgrößte Stadt Italiens.

Neu!!: Induktive logische Programmierung und Florenz · Mehr sehen »

Frankreich

Frankreich (französisch, amtlich la République française) ist ein demokratischer, interkontinentaler Einheitsstaat in Westeuropa mit Überseegebieten.

Neu!!: Induktive logische Programmierung und Frankreich · Mehr sehen »

Greedy-Algorithmus

Greedy-Algorithmen oder gierige Algorithmen bilden eine spezielle Klasse von Algorithmen in der Informatik.

Neu!!: Induktive logische Programmierung und Greedy-Algorithmus · Mehr sehen »

Hintergrundwissen

Hintergrundwissen sind Informationen, die zum Verständnis einer Situation oder eines Problems notwendig sind.

Neu!!: Induktive logische Programmierung und Hintergrundwissen · Mehr sehen »

Induktion (Philosophie)

Schematische Darstellung des Zusammenhangs von Theorie, Empirie, Induktion und Deduktion, wie er klassisch vertreten wird Induktion (‚herbeiführen‘, ‚veranlassen‘, ‚einführen‘) bedeutet seit Aristoteles die abstrahierende Schlussfolgerung aus beobachteten Phänomenen auf eine allgemeinere Erkenntnis, etwa einen allgemeinen Begriff oder ein Naturgesetz.

Neu!!: Induktive logische Programmierung und Induktion (Philosophie) · Mehr sehen »

Interpretation (Logik)

Eine Interpretation (von) im Sinn der Modelltheorie ist eine Struktur, die auf eine logische Formel bezogen wird.

Neu!!: Induktive logische Programmierung und Interpretation (Logik) · Mehr sehen »

Italien

Italien (italienisch Italia, amtlich Italienische Republik, italienisch Repubblica Italiana) ist ein Staat in Südeuropa.

Neu!!: Induktive logische Programmierung und Italien · Mehr sehen »

Iterative Dichotomiser 3

Iterative Dichotomiser 3 (ID3) ist ein Algorithmus, der zur Entscheidungsfindung dient.

Neu!!: Induktive logische Programmierung und Iterative Dichotomiser 3 · Mehr sehen »

Japan

Japan (amtlicher deutscher Name; japanisch 日本, ausgesprochen als Nihon oder Nippon) ist ein 14.125 Inseln umfassender ostasiatischer Staat im Pazifik, der indirekt im Norden und Nordwesten an Russland, im Westen an Nord- und Südkorea und im Südwesten an Taiwan und China grenzt, flächenmäßig der viertgrößte und bevölkerungsmäßig der zweitgrößte Inselstaat der Welt.

Neu!!: Induktive logische Programmierung und Japan · Mehr sehen »

Katholieke Universiteit Leuven

Buch zum 25. Jahrestag der Gründung der Katholischen Universität von Louvain am 3. November 1859. Die Katholieke Universiteit Leuven (Katholische Universität Löwen) oder KU Leuven (lateinischer Name im Wappen Universitas catholica Lovaniensis) ist eine niederländischsprachige Universität mit Sitz in Löwen (niederländisch Leuven, französisch Louvain) in der belgischen Region Flandern.

Neu!!: Induktive logische Programmierung und Katholieke Universiteit Leuven · Mehr sehen »

Kroatien

Kroatien (amtlich Republik Kroatien, kroatisch) ist ein Staat in der Übergangszone zwischen Mittel- und Südosteuropa.

Neu!!: Induktive logische Programmierung und Kroatien · Mehr sehen »

Kyōto

Kyōto, im Deutschen meist Kyoto oder Kioto geschrieben, ist eine der geschichtlich und kulturell bedeutendsten Städte Japans.

Neu!!: Induktive logische Programmierung und Kyōto · Mehr sehen »

Löwen

Löwen ist eine belgische Stadt in der Region Flandern.

Neu!!: Induktive logische Programmierung und Löwen · Mehr sehen »

Logische Programmierung

Logische Programmierung (Prädikative Programmierung, Logikprogrammierung) ist ein Programmierparadigma, das auf der mathematischen Logik beruht.

Neu!!: Induktive logische Programmierung und Logische Programmierung · Mehr sehen »

London

London (deutsche Aussprache oder gelegentlich, englische Aussprache) ist zugleich die Hauptstadt des Vereinigten Königreiches und Englands.

Neu!!: Induktive logische Programmierung und London · Mehr sehen »

Madison (Wisconsin)

Madison ist die Hauptstadt des US-Bundesstaates Wisconsin und Verwaltungssitz des Dane County im Süden Wisconsins.

Neu!!: Induktive logische Programmierung und Madison (Wisconsin) · Mehr sehen »

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.

Neu!!: Induktive logische Programmierung und Maschinelles Lernen · Mehr sehen »

Michèle Sebag

Michèle Sebag Michèle Sebag ist eine französische Informatikerin und Forschungsdirektorin am CNRS.

Neu!!: Induktive logische Programmierung und Michèle Sebag · Mehr sehen »

Nada Lavrač

Nada Lavrač (* 7. Juli 1953 in Ljubljana, Slowenien) ist eine slowenische Wissenschaftlerin, die sich hauptsächlich mit künstlicher Intelligenz befasst.

Neu!!: Induktive logische Programmierung und Nada Lavrač · Mehr sehen »

Nancy

Lofts umgebauter Kornspeicher am Canal de la Marne au Rhin Nancy (deutsch veraltet Nanzig, luxemburgisch Nanzeg) ist eine französische Stadt mit Einwohnern (Stand) in der Region Grand Est (bis 2015 Lothringen).

Neu!!: Induktive logische Programmierung und Nancy · Mehr sehen »

Oregon

Bei Astoria mündet der Columbia in den Pazifik Oregon (engl. Aussprache) ist ein Bundesstaat der Vereinigten Staaten von Amerika.

Neu!!: Induktive logische Programmierung und Oregon · Mehr sehen »

Oregon State University

Memorial Union Oregon State University in Corvallis, Oregon Die Oregon State University (kurz OSU) hat ihren Sitz in Corvallis, Oregon, USA.

Neu!!: Induktive logische Programmierung und Oregon State University · Mehr sehen »

Orléans

Orléans ist eine Großstadt und eine Gemeinde (commune) in der Region Centre-Val de Loire, Frankreich.

Neu!!: Induktive logische Programmierung und Orléans · Mehr sehen »

Plowdiw

Plowdiw (gebräuchliche Transliteration Plovdiv,;; in älteren Publikationen auch im Deutschen: Philippopel) ist mit 347.851 Einwohnern die zweitgrößte Stadt Bulgariens.

Neu!!: Induktive logische Programmierung und Plowdiw · Mehr sehen »

Porto

Porto ist eine Stadt im Norden Portugals mit 238.000 Einwohnern.

Neu!!: Induktive logische Programmierung und Porto · Mehr sehen »

Portugal

Portugal (portugiesisch Portugal, amtlich Portugiesische Republik, portugiesisch República Portuguesa) ist ein europäischer Staat im Westen der Iberischen Halbinsel.

Neu!!: Induktive logische Programmierung und Portugal · Mehr sehen »

Prag

Moldau Prag ist die Hauptstadt und zugleich bevölkerungsreichste Stadt der Tschechischen Republik.

Neu!!: Induktive logische Programmierung und Prag · Mehr sehen »

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.

Neu!!: Induktive logische Programmierung und Prädikatenlogik · Mehr sehen »

Progol

Progol ist ein System zum maschinellen Lernen, das 1995 von Stephen Muggleton publiziert wurde.

Neu!!: Induktive logische Programmierung und Progol · Mehr sehen »

Rio de Janeiro

Rio de Janeiro, amtlich, ist nach São Paulo die zweitgrößte Stadt Brasiliens und Hauptstadt des gleichnamigen Bundesstaates.

Neu!!: Induktive logische Programmierung und Rio de Janeiro · Mehr sehen »

Santiago de Compostela

Santiago de Compostela (galicisch) ist die Hauptstadt der spanischen Autonomen Gemeinschaft Galicien und hat rund 96.000 Einwohner.

Neu!!: Induktive logische Programmierung und Santiago de Compostela · Mehr sehen »

Schweden

Das Königreich Schweden (oder einfach Sverige) ist eine parlamentarische Monarchie in Skandinavien.

Neu!!: Induktive logische Programmierung und Schweden · Mehr sehen »

Slowenien

Slowenien (amtlich Republik Slowenien, slowenisch Republika Slovenija) ist ein demokratischer Staat in Europa mit rund 2 Millionen Einwohnern, der an Italien, Österreich, Ungarn und Kroatien grenzt.

Neu!!: Induktive logische Programmierung und Slowenien · Mehr sehen »

Spanien

Spanien (amtlich Königreich Spanien, spanisch IPA) ist ein Staat auf der Iberischen Halbinsel im Südwesten Europas, mit den Balearischen Inseln im Mittelmeer, den Kanarischen Inseln im Atlantik und zwei Exklaven in Nordafrika.

Neu!!: Induktive logische Programmierung und Spanien · Mehr sehen »

Stefan Wrobel

Stefan Wrobel (2016) Stefan Wrobel ist ein deutscher Informatiker, Lehrstuhlinhaber an der Universität Bonn und Leiter des Fraunhofer-Instituts für Intelligente Analyse- und Informationssysteme IAIS.

Neu!!: Induktive logische Programmierung und Stefan Wrobel · Mehr sehen »

Stockholm

Die Insel ''Riddarholmen'', dahinter Stockholms Altstadt ''Gamla stan'' und andere Merkmale Stockholms Stockholm (schwedische Aussprache; vom altschwedischen stokker und holmber, entsprechend „Baumstamm, Warenbestand“ und holme „kleine Insel“) ist die Hauptstadt Schwedens und mit 949.761 (Gemeinde Stockholm), 1,59 Millionen (tätort Stockholm) beziehungsweise 2.308.143 Einwohnern (Groß-Stockholm) die größte Stadt in Skandinavien.

Neu!!: Induktive logische Programmierung und Stockholm · Mehr sehen »

Straßburg

Straßburg (im Straßburger Dialekt Schdroosburi Deutsches Ortsnamenbuch. Hrsg. von Manfred Niemeyer. De Gruyter, Berlin/Boston, Mass. 2012, ISBN 978-3-11-018908-7, S. 615, doi:10.1515/9783110258028 (kostenpflichtig).) ist eine Stadt im Elsass, einer Landschaft im Osten Frankreichs nahe der Grenze zur Region Baden in Deutschland.

Neu!!: Induktive logische Programmierung und Straßburg · Mehr sehen »

Sydney

Sydney ist die Hauptstadt des australischen Bundesstaates New South Wales und mit rund 4,7 Millionen Einwohnern (Stand 2021) die größte Stadt in Australien (Stand 2021).

Neu!!: Induktive logische Programmierung und Sydney · Mehr sehen »

Szeged

Rathaus von 1883 Szeged (oder Segedin) ist mit 160.766 Einwohnern (2019) die drittgrößte Stadt Ungarns.

Neu!!: Induktive logische Programmierung und Szeged · Mehr sehen »

Tokio

Tokio (auch Tokyo, ‚östliche Hauptstadt‘) ist eine Weltstadt in der Kantō-Region im Osten der japanischen Hauptinsel Honshū.

Neu!!: Induktive logische Programmierung und Tokio · Mehr sehen »

Tschechien

Tschechische administrative Gliederung und Landschaften Tschechien (amtliche Vollform Tschechische Republik, tschechisch Česká republika) ist ein Binnenstaat in Mitteleuropa mit rund 10,5 Millionen Einwohnern.

Neu!!: Induktive logische Programmierung und Tschechien · Mehr sehen »

Ungarn

Ungarn ist ein Binnenstaat in Mitteleuropa mit rund 9,6 Millionen Einwohnern.

Neu!!: Induktive logische Programmierung und Ungarn · Mehr sehen »

Vereinigte Staaten

Die Vereinigten Staaten von Amerika (abgekürzt USA), auch Vereinigte Staaten (englisch United States; abgekürzt US) oder umgangssprachlich einfach Amerika (englisch America) genannt, sind eine demokratische, föderal aufgebaute Republik in Nordamerika und mit einigen Inseln auch in Ozeanien.

Neu!!: Induktive logische Programmierung und Vereinigte Staaten · Mehr sehen »

Vereinigtes Königreich

Das Vereinigte Königreich Großbritannien und Nordirland, kurz Vereinigtes Königreich (englisch Audio, internationale Abkürzung: UK), ist ein auf den Britischen Inseln vor der Nordwestküste Kontinentaleuropas gelegener europäischer Staat und bildet den größten Inselstaat Europas.

Neu!!: Induktive logische Programmierung und Vereinigtes Königreich · Mehr sehen »

Viana do Castelo

Praça da República, einer der romantischsten Plätze Portugals, mit dem Renaissancebrunnen Viana do Castelo ist eine Stadt in Portugal und die Hauptstadt des gleichnamigen Distrikts.

Neu!!: Induktive logische Programmierung und Viana do Castelo · Mehr sehen »

Windsor Castle

Windsor Castle bei Sonnenuntergang Windsor Castle, Blick durch den Oberen Hof auf den Südflügel Empfang des Emirs von Kuwait durch die Königin mit der Household Cavalry Windsor Castle, auf Deutsch auch Schloss Windsor, liegt in der englischen Stadt Windsor im Süden Englands in der Grafschaft Berkshire.

Neu!!: Induktive logische Programmierung und Windsor Castle · Mehr sehen »

Wisconsin

Wisconsin ist ein Bundesstaat der Vereinigten Staaten von Amerika.

Neu!!: Induktive logische Programmierung und Wisconsin · Mehr sehen »

2014

Das Jahr 2014 war international vom Beginn des Kriegs Russlands in der Ukraine, den anhaltenden Konflikten im Nahen Osten, verschärft durch das staatenübergreifende Auftreten der terroristischen Organisation Islamischer Staat, sowie von der Ebolafieber-Epidemie in Westafrika geprägt.

Neu!!: Induktive logische Programmierung und 2014 · Mehr sehen »

2015

Das Jahr 2015 war in Europa von einer Flüchtlingskrise und von Terroranschlägen in Paris auf „Charlie Hebdo“ im Januar und auf mehrere Orte im November geprägt.

Neu!!: Induktive logische Programmierung und 2015 · Mehr sehen »

2016

Das Jahr 2016 war geprägt vor allem durch verschiedene Terroranschläge, unter anderem in Brüssel, Nizza und Berlin, durch das Brexit-Referendum, die Wahl Donald Trumps zum Präsidenten der Vereinigten Staaten sowie den Tod zahlreicher Musiker und Schauspieler.

Neu!!: Induktive logische Programmierung und 2016 · Mehr sehen »

2017

International war das Jahr durch den Amtsantritt von Donald Trump als 45.

Neu!!: Induktive logische Programmierung und 2017 · Mehr sehen »

2018

Prägend für das Jahr 2018 waren vor allem ein ungewöhnlich warmer Sommer mit einer lang anhaltenden Dürreperiode, ein Gipfeltreffen zwischen Donald Trump und Kim Jong-un und die Protestaktionen der Gelbwesten in Frankreich.

Neu!!: Induktive logische Programmierung und 2018 · Mehr sehen »

2019

International prägend für das Jahr war unter anderem der anhaltende Diskurs um die Klimakrise.

Neu!!: Induktive logische Programmierung und 2019 · Mehr sehen »

2021

Das Jahr 2021 war weiterhin von der Corona-Pandemie geprägt, welche weitere Einschränkungen im öffentlichen Leben mit sich brachte.

Neu!!: Induktive logische Programmierung und 2021 · Mehr sehen »

2022

Das Jahr 2022 war insbesondere geprägt von dem am 24.

Neu!!: Induktive logische Programmierung und 2022 · Mehr sehen »

AusgehendeEingehende
Hallo! Wir sind auf Facebook! »