Logo der Freien Universität BerlinFreie Universität Berlin

Fachbereich Mathematik und Informatik


Service-Navigation

  • Startseite
  • Personen
  • Kontakt
  • Imprint
  • Datenschutz
Hinweise zur Datenübertragung bei der Google™ Suche
Fachbereich Mathematik und Informatik/Informatik/

Dahlem Center for Machine Learning and Robotics

Menü
  • Members

    loading...

  • Open Positions

    loading...

  • Publications

    loading...

  • Teaching

    loading...

  • Theses

    loading...

  • Projekte

    loading...

  • News

    loading...

  • Videos

    loading...

  • FAQs

    loading...

Mikronavigation

  • Startseite
  • Informatik
  • Arbeitsgruppen
  • Dahlem Center for Machine Learning and Robotics
  • Publications
  • Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic

Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic

Dr. C. Benzmüller, Dr. C. Benzmüller – 2016

An embedding of many-valued logics based on SIXTEEN in classical higher-order logic is presented. SIXTEEN generalizes the four-valued set of truth degrees of Dunn/Belnap’s system to a lattice of sixteen truth degrees with multiple distinct ordering relations between them. The theoretical motivation is to demonstrate that many-valued logics, like other non-classical logics, can be elegantly modeled (and even combined) as fragments of classical higher-order logic. Equally relevant are the pragmatic aspects of the presented approach: interactive and automated reasoning in many-valued logics, which have broad applications in computer science, artificial intelligence, linguistics, philosophy and mathematics, become readily enabled with state of the art reasoning tools for classical higher-order logic.

Titel
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic
Verfasser
Dr. C. Benzmüller, Dr. C. Benzmüller
Schlagwörter
many-valued logic; non-classical logic; higher-order logic; automated theorem proving; semantic embedding; automation; meta-logical reasoning
Datum
2016-06
Kennung
DOI: http://dx.doi.org/10.12775/LLP.2016.021
Quelle/n
  • Journal link
  • Manuskript
Erschienen in
Journal of Logic and Logical Philosophy; Vol 25, No 2 (2016): June 2016
be-digital Pressekonferenz am 07.12.15Mexico Oktober 2015MiG Mexico 2015Finalisten German Open 2014Simulator-Erfinder: Professor Raul Rojas (l.) und David Dormagen von der AG Intelligente Systeme und RobotikMadeInGermany in MexicoThe Tony Sale Award winners 2014: Robert B Garner (L) and  Raul Rojas (R), Nov. 2014Able und BakerCarolo-Cup-Team2014Formalisierung und Automatisierung von Gödels GottesbeweisAutoNOMOS-Team 2011Besuch Senatorin Yzer am 22.03.13Die autonomen Fahrzeuge der AG Intelligente Systeme und RobotikArchaeocopterMulticopterEntwicklung einer Roboterbiene

Dates

spinner

News

spinner

Service-Navigation

  • Startseite
  • Personen
  • Kontakt
  • Imprint
  • Datenschutz

Diese Seite

  • Drucken
  • RSS-Feed abonnieren