Systém na TPTP - System on TPTP

Systém na TPTP je online rozhraní pro několik automatizované dokazování věty systémy a další automatické uvažování Umožňuje uživatelům spouštět systémy buď na problémech z nejnovějších verzí z TPTP knihovna problémů nebo na problémy zadané uživatelem v syntaxi TPTP.

Systém je udržován Geoff Sutcliffe na University of Miami. V listopadu 2010 představoval více než 50 systémů, včetně testerů vět a vyhledávačů modelů.[1] Systém na TPTP může buď spouštět systémy vybrané uživatelem, nebo vybírat systémy automaticky na základě problémových funkcí a spouštět je paralelně.[2]


Reference

  1. ^ Sutcliffe, Geoff. „Systém na TPTP“. Citováno 4. listopadu 2010.
  2. ^ Sutcliffe, Geoff; D. Seyfang (1999). Msgstr "Inteligentní paralelní selektivní soutěž ATP". Sborník příspěvků z dvanácté mezinárodní konference společnosti Florida Artificial Intelligence Research Society: 341–345.