Resolution strategies for fuzzy predicate logic with evaluated syntax

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

Result language
angličtina
Original language name
Resolution strategies for fuzzy predicate logic with evaluated syntax
Original language description
The article presents refutational resolution theorem proving system for the Fuzzy Predicate Logic based on the general (non-clausal) resolution rule. The problem of automated reasoning concerning fuzzy logic requires more complex methods in contrast to classical logic. Additionally we present several inference strategies for efficient theorem proving in fuzzy logic based on Detection of Consequent Formulas algorithm. It is possible to combine it with the standard proof search techniques like breadth-first search or linear search.
Czech name
Resolution strategies for fuzzy predicate logic with evaluated syntax
Czech description
The article presents refutational resolution theorem proving system for the Fuzzy Predicate Logic based on the general (non-clausal) resolution rule. The problem of automated reasoning concerning fuzzy logic requires more complex methods in contrast to classical logic. Additionally we present several inference strategies for efficient theorem proving in fuzzy logic based on Detection of Consequent Formulas algorithm. It is possible to combine it with the standard proof search techniques like breadth-first search or linear search.

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

Similar results(10)