Deduktion
Oberstes Leitziel ist die Konvergenz von Methoden in der Deduktion und, im Gefolge davon, von Deduktionssystemen. Als unmittelbares Teilziel hiervon soll in der verwirrenden Vielfalt von Logiken, Formalismen, Methoden, Strategien, Repräsentationsstrukturen und Implementierungstechniken durch eingehende Vergleiche eine gewisse Sichtung, Ordnung und Vereinheitlichung geschaffen werden, die tragfähig genug ist, um als Richtungsmarkierung und Orientierung zu dienen. Aus der Erkenntnis dieser Analysen soll auf eine möglichst adäquate universelle Deduktionsmethode für eine möglichst ausdrucksstarke Logik hingearbeitet werden, die als Integration der Detailmethoden zu verstehen ist. Ein weiteres gleichrangiges Teilziel ist die Fortentwicklung bewährter, aber noch nicht ausgereifter Methoden ebenso wie bislang noch weniger beachteter Ansätze, immer mit Blick auf das Leitziel.
Alle Nachrichten aus der Kategorie: Fachgebiete
Neueste Beiträge
![](https://www.innovations-report.de/wp-content/uploads/2024/09/Recycling-360x240.jpg)
Das Potenzial alter Elektroautos nutzen
Bundesministerium für Bildung und Forschung fördert neues Graduiertenkolleg Circular E-Cars. Recycling als Chance für das Rheinische Revier. Weil in Elektroautos (E-Cars) im Vergleich zu herkömmlichen Automobilen deutlich mehr wertvolle Nichteisenmetalle…
![](https://www.innovations-report.de/wp-content/uploads/2024/09/Vewinger_Umesh-360x240.jpg)
Forscher erzeugen eindimensionales Gas aus Licht
Physiker der Universität Bonn und der Rheinland-Pfälzisch Technischen Universität Kaiserslautern-Landau (RPTU) haben ein eindimensionales Gas aus Licht erzeugt. Damit konnten sie erstmals theoretische Vorhersagen überprüfen, die für den Übergang in…
![](https://www.innovations-report.de/wp-content/uploads/2024/09/yBM-360x240.jpg)
Zwergplanet Ceres: Ursprung im Asteroidengürtel?
Hellgelbe Ablagerungen im Consus Krater zeugen von Ceres‘ kryovulkanischer Vergangenheit – und beleben die Diskussion um ihren Entstehungsort neu. Der Zwergplanet Ceres könnte seinen Ursprung im Asteroidengürtel haben – und…