Springe direkt zu Inhalt

Softwareprojekt Logik-Software

Beweisen und rationales Argumentieren bilden die eine wichtige Grundlage in mehreren wissenschaftliche Disziplinen. Formalisierungen von Beweisen und rationalen Argumenten werden durch die Formate des TPTP-Projekts  unterstützt. Dies schließt das Herleiten von neuem Wissen und das automatische Führen von Beweisen durch sogenannte automatische Theorembeweiser (ATPs) mit ein. Im TPTP-Kontext gibt es viele Möglichkeiten, die automatisiertes Theorembeweisen um praktische Werkzeuge zu ergänzen und damit den Einsatz dieser Systeme ansprechender gestalten und ihre Einsatzmöglichkeiten erweitern.

(19317212)

Dozent/inChristoph Benzmüller
InstitutionDahlem Center for Machine Learning and Robotics
Anmeldemodalität

Module zu dieser LV

RaumArnimallee 7 SR031
Beginn27.02.2019 | 09:00
Ende01.03.2019 | 17:00
Zeit

Blockveranstaltung nach Ende WS18/19.

Vorbesprechungstermin wird  noch bekannt gegeben.

Links auf Kursbeschreibung