Logische redener Logische redener is een theoret-bewering voor eerst-orde logica met gelijkheid.
Download nu

Logische redener Rangschikking & Samenvatting

Logische redener Tags

calculus Theorem Prover formule representatie subsumptieresolutie stelling bewijs

Logische redener Beschrijving

Logische redener is een stellingspreiding voor eerste-orde logica met gelijkheid. Logic RemeER-software is een stellingsprover voor eerst-orderlogica met gelijkheid. De belangrijkste doelstelling die de ontwikkeling van logica-reder toont, is het creëren van een flexibele architectuur: met name het programma is ontworpen als een generieke infrastructuur voor het bewijzen van de generieke infrastructuur de basis voor een verzameling van specifieke bewijstechnieken. Deze technieken kunnen eenvoudig worden gecombineerd of vervangen om configuraties met verschillende eigenschappen te creëren. De belangrijkste technieken die momenteel worden geïmplementeerd, zijn: · Formule-weergave met perfect gedeelde DAG's en Flatterms. · Calculus op basis van bestelde resolutie met selectie en superpositie. · NEUGELIJKHEIDSMIDDEL Bestellen. · Vereenvoudigingen zoals subsumptie, demodulatie, subsumptieresolutie, enz. · Indexeren op basis van perfecte discriminatiebomen en feature-vectoren. · Beginnende algoritmen op basis van otter- en kortingslussen. Logische redener wordt geïmplementeerd in standaard C ++ en vereist BOOST, ANTLR 2.7. 7 en CPUNIT.

Logische redener Gerelateerde software