Mohlo by sa vám tiež páčiť

Viac informácií o knihe A Multi-Strategy Tableau Prover

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 140 bodov

Anotácia knihy

In this book we present the design and implementation of KEMS, a multi-strategy theorem prover based on the KE tableau inference system. A multi-strategy theorem prover is a theorem prover where we can vary the strategy without modifying the core of the implementation. Besides being multi-strategy, KEMS is capable of proving theorems in three logical systems: classical propositional logic, mbC and mCi. Some of the contributions of this work are (i) an analytic, correct and complete KE system for mbC; (ii) a correct and complete KE system for mCi; (iii) a multi-strategy prover with the following characteristics: accepts problems in three logical systems: classical propositional logic, mbC and mCi; has 6 implemented strategies for classical propositional logic, 2 for mbC and 2 for mCi; has 13 sorters to be used alongside with the strategies; implements simplification rules of classical propositional logic; provides a proof viewer with a graphical user interface; it is open source and available on the internet at https://github.com/adolfont/KEMS; benchmark results obtained by KEMS comparing its classical propositional logic strategies with several problem families.

Parametre knihy

• Celý názov: A Multi-Strategy Tableau Prover
• Podnázov: Using KE Tableau Systems for Classical and Paraconsistent Propositional Logics
• Autor: Adolfo Gustavo Serra Seca Neto
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 164
• EAN: 9783330763517
• ISBN: 3330763515
• ID: 16819317
• Nakladateľ: Novas Edicioes Academicas
• Hmotnosť: 261 g
• Rozmery: 220 × 150 × 10 mm
• Dátum vydania: 22. July 2017

Obľúbené z iného súdka

---

---

---