A Multi-Strategy Tableau Prover

by Serra Seca Neto, Adolfo Gustavo
State: New
£54.92
VAT included - FREE Shipping
Serra Seca Neto, Adolfo Gustavo A Multi-Strategy Tableau Prover
Serra Seca Neto, Adolfo Gustavo - A Multi-Strategy Tableau Prover

Do you like this product? Spread the word!

£54.92 incl. VAT
Only 1 items available Only 1 items available
Delivery: between Wednesday, 1 June 2022 and Friday, 3 June 2022
Sales & Shipping: Dodax

Description

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.

Contributors

Author:
Serra Seca Neto, Adolfo Gustavo

Further information

Biography Artist:
Adolfo Neto é Professor Associado do Departamento Acadêmico de Informática (DAINF) da Universidade Tecnológica Federal do Paraná (UTFPR).
Language:
English
Edition:
1/2017
Number of Pages:
164
Media Type:
Softcover
Publisher:
Novas Edicioes Academicas

Master Data

Product Type:
Paperback book
Release date:
27 June 2017
Package Dimensions:
0.22 x 0.15 x 0.009 m; 0.29 kg
GTIN:
09783330763517
DUIN:
O6KJC3NPA8N
£54.92
We use cookies on our website to make our services more efficient and more user-friendly. Therefore please select "Accept cookies"! Please read our Privacy Policy for further information.