Bearbeite Forschungsgebiet: Regelbasiertes Schließen

Du bist aus dem folgenden Grund nicht berechtigt, diese Seite bearbeiten:

Diese Aktion ist auf Benutzer beschränkt, die der Gruppe „Benutzer“ angehören.

Name EN:	Hilfe
Beschreibung DE:	Regelbasiertes Schließen ist das allgemeine Konzept, durch die rekursive Anwendung von Regeln auf Daten neues Wissen zu schließen. Solche Regeln können in verschiedenen Formaten ausgedrückt werden und verschiedene Eigenschaften haben: Datalog Regeln verbieten den Gebrauch von Funktionen und die Einführung neuer existentiell quantifizierter Variablen, letzteres ist mit [[Existenzielle Regeln/en\|Existential Rules]] möglich, andere Logiken wie zum Beispiel Notation3 Logic erlauben die Einführung komplexerer Konstrukte, Regelbasiertes Schließen kann mit verschiedenen Strategien durchgeführt werden. Beim Forward-Reasoning wendet man sukzessive Regeln auf den gegebenen und abgeleiteten Fakten an, beim Backward-Reasoning geht man rückwärts und beginnt mit einem Ziel, für das man eine gültige Instanz finden möchte. Negation kann entweder so behandelt werden, dass alles, was nicht bewiesen werden kann, als falsch angenommen wird (Negation as Failure) oder die Negation kann eher an die Logik erster Stufe angelehnt sein, wie es bei ([[Answer Set Programming/en\|Answer Set Programming]]) der Fall ist. Diese und andere Aspekte wie zum Beispiel die praktischen Probleme, die durch die verschiedenen Mechanismen gelöst werden können, aber auch die Komplexität der verschiedenen Paradigmen bilden einen Teil unserer Forschung. Deutsche Beschreibung des Forschungsgebiets
Beschreibung EN:	Rule-based reasoning is the general concept of automatically deriving new knowledge by recursively applying rules on data. These rules can be expressed in different formats and can have different properties: Datalog rules do not support functions nor existentially quantified variables, with [[Existenzielle Regeln/en\|Existential Rules]] existentially quantified variables can be derived, and other formalisms like for example Notation3 Logic allow the introduction of more complex constructs. Rule-based reasoning can be performed with different strategies. Knowledge can be derived by successively applying all rules on data and derived knowledge (forward-reasoning) or going backwards starting from a goal (backward reasoning). Negation can be handled in different ways: everything what cannott be proven can be considered as wrong (Negation as Failure), but there are also frameworks which handle negation in a more First-Order-Logic kind of way taking different possibilities into account ([[Answer Set Programming/en\|Answer Set Programming]]). These and other aspects like for example the kind of practical problems which can be solved by the different existing approaches and the complexity different features add to the reasoning are the field of our research. Englische Beschreibung des Forschungsgebiets
Bild:	Optionen umschalten Bitte 1 oder mehr Zeichen eingeben. Datei hochladen Hilfe Dateiname. Hier kann ein symbolisches Bild zur Illustration des Forschingsgebiets hochgeladen werden, falls gewünscht.
Bildunterschrift DE:	Deutsche Unterschrift für das Bild
Bildbeschreibung EN:	Englische Unterschrift für das Bild

Zusammenfassung:

Nur Kleinigkeiten wurden verändert

Diese Seite beobachten

Abbrechen