Resolution strategies for fuzzy predicate logic with evaluated syntax

Kód výsledku v 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>
Nalezeny alternativní kódy
RIV/61988987:17310/07:00000044 RIV/61988987:17610/07:A1000J0W
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Resolution strategies for fuzzy predicate logic with evaluated syntax
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Resolution strategies for fuzzy predicate logic with evaluated syntax
Popis výsledku anglicky
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.

Rok uplatnění
2007
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)