The Implementation of a Product Fuzzy DPLL Solver

Ivor Uhliarik

2020

Abstract

The area of automated theorem proving in fuzzy logics has been revisited during the last decade with novel approaches, mathematical foundations, and software. However, only a few of these are capable of dealing with logics based on the product t-norm. The existing methods are usually based on (1) translations into satisfiability modulo theories, (2) evolutionary algorithms, and (3) fuzzy extensions of classical-logic procedures, such as the Davis-Putnam-Logemann-Loveland (DPLL) procedure. In this paper we present the results of our work on the first DPLL-based solver for product propositional logic extended with the Monteiro-Baaz ∆ operator and order (≺,≖) operators. Our contribution consists of the refinement and completion of our previously proposed deterministic algorithm and the working implementation of the solver. Comparing to other approaches, the essential difference of ours lies in its self-containment—it is not based on translations into other systems, which provides possibilities for feasible modifications or further optimizations. The solver yields answers to the 1-satisfiability and validity problems, and is available for download and use as free and open-source software.

Paper Citation

in Harvard Style

Uhliarik I. (2020). The Implementation of a Product Fuzzy DPLL Solver. In Proceedings of the 12th International Joint Conference on Computational Intelligence (IJCCI 2020) - Volume 1: FCTA; ISBN 978-989-758-475-6, SciTePress, pages 252-263. DOI: 10.5220/0010148802520263

in Bibtex Style

@conference{fcta20,
author={Ivor Uhliarik},
title={The Implementation of a Product Fuzzy DPLL Solver},
booktitle={Proceedings of the 12th International Joint Conference on Computational Intelligence (IJCCI 2020) - Volume 1: FCTA},
year={2020},
pages={252-263},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010148802520263},
isbn={978-989-758-475-6},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 12th International Joint Conference on Computational Intelligence (IJCCI 2020) - Volume 1: FCTA
TI - The Implementation of a Product Fuzzy DPLL Solver
SN - 978-989-758-475-6
AU - Uhliarik I.
PY - 2020
SP - 252
EP - 263
DO - 10.5220/0010148802520263
PB - SciTePress