Resolution Principle in Fuzzy Predicate Logic.

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F06%3A00000105" target="_blank" >RIV/61988987:17610/06:00000105 - isvavai.cz</a>
Alternative codes found
RIV/61988987:17310/06:00000090
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Resolution Principle in Fuzzy Predicate Logic.
Original language description
. The article presents refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule. There is also presented an unification algorithm handling existentiality withoutskolemization. Its idea follows from the general resolution with existentiality for the first-order logic. When the prover is constructed it provides the deductive system, where existing resolution strategies may be used with some limitations arising from specific properties of the FPL.
Czech name
Resolution Principle in Fuzzy Predicate Logic.
Czech description
The article presents refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule. There is also presented an unification algorithm handling existentiality without skolemization. Its idea follows from the general resolution with existentiality for the first-order logic. When the prover is constructed it provides the deductive system, where existing resolution strategies may be used with some limitations arising fromspecific properties of the FPL.

Publication year
2006
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)