Resolution strategies for fuzzy predicate logic with evaluated syntax
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F07%3A00000042" target="_blank" >RIV/61988987:17610/07:00000042 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/61988987:17310/07:00000057
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
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.
Klasifikace
Druh
A - Audiovizuální tvorba
CEP obor
JD - Využití počítačů, robotika a její aplikace
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
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ů
Údaje specifické pro druh výsledku
ISBN
978-80-248-1279-3
Místo vydání
Ostrava
Název nakladatele resp. objednatele
VŠB-TUO
Verze
Přednáška
Identifikační číslo nosiče
—