- Aktuality
- Předmět a cíle výzkumu
- Rada Centra a výroční zprávy
- Pracoviště a kontakty
- Přednášky
- Konference a semináře
- Publikace
- Ukázky aplikací
- Zahraniční cesty
- Hosté centra
- Minulé události
- Vstup do Synergy
VYHLEDÁVÁNÍ
PRACOVIŠTĚ CENTRA
Výzkumné centrum
Data - Algoritmy - Rozhodování
Data - Algoritmy - Rozhodování
Založeno v roce 2005 s podporou MŠMT ČR (projekt 1M0572)
Přednášky
Resolution-based Inference in Fuzzy Predicate Logic with Evaluated Syntax
Přednášející:
Od:
Nov. 30 2006 10:00AM
Do:
Nov. 30 2006 11:00AM
Místo:
Ostrava
Popis:
The article presents refutational resolution theorem proving system for
the Fuzzy Predicate Logic based on the general (non-clausal) resolution
rule. 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.
the Fuzzy Predicate Logic based on the general (non-clausal) resolution
rule. 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.
Kontaktní osoba: