On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F13%3A33146836" target="_blank" >RIV/61989592:15310/13:33146836 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-642-40381-1_25" target="_blank" >http://dx.doi.org/10.1007/978-3-642-40381-1_25</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-40381-1_25" target="_blank" >10.1007/978-3-642-40381-1_25</a>
Alternative languages
Result language
angličtina
Original language name
On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers
Original language description
In this paper we explain the design and preliminary implementation of a solver for the positive satisfiability problem of concepts in a fuzzy description logic over the infinite-valued product logic. This very solver also answers 1-satisfiability in quasi-witnessed models. The solver works by first performing a direct reduction of the problem to a satisfiability problem of a quantifier free boolean formula with non-linear real arithmetic properties, and secondly solves the resulting formula with an SMTsolver. We show that the satisfiability problem for such formulas is still a very challenging problem for even the most advanced SMT solvers, and so it represents an interesting problem for the community working on the theory and practice of SMT solvers.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/EE2.3.30.0041" target="_blank" >EE2.3.30.0041: POST-UP II.</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Scalable Uncertainty Management - 7th International Conference. Proceedings
ISBN
978-3-642-40380-4
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
325-330
Publisher name
Springer
Place of publication
Neuveden
Event location
Washington
Event date
Sep 16, 2013
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—