• česky
  • english
Přejít na obsah | Přejít na menu

Informační systém výzkumu, experimentálního vývoje a inovací
výzkum, vývoj a inovace podporované z veřejných prostředků ČR

    • Poskytovatelé podpory ve výzkumu, vývoji a inovacích (RPO)
    • Programy výzkumu, vývoje a inovací (RPG)
    • Subjekty ve výzkumu, vývoji a inovacích (RPR)
  • Veřejné soutěže ve výzkumu, vývoji a inovacích (VES)
  • Projekty výzkumu, vývoje a inovací (CEP)
  • Výzkumné záměry (CEZ)
  • Výsledky výzkumu, vývoje a inovací (RIV)

RIV/61988987:17610/07:00000066 - INFERENCE METHODS FOR FUZZY PREDICATE LOGIC BASED ON RESOLUTION PRINCIPLE (2007)

Údaje o výsledku
Identifikační kódRIV/61988987:17610/07:00000066
Název v původním jazyceINFERENCE METHODS FOR FUZZY PREDICATE LOGIC BASED ON RESOLUTION PRINCIPLE
Název českyINFERENCE METHODS FOR FUZZY PREDICATE LOGIC BASED ON RESOLUTION PRINCIPLE
DruhA(L) - Audiovizuální tvorba, elektronické dokumenty tj. dokumenty vydané pouze ve formě čitelné prostřednictvím počítače - s lokálním přístupem
Jazykeng - angličtina
OborBA - Obecná matematika
Rok uplatnění2007
Kód důvěrnosti údajůS - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
Počet výskytů výsledku2
Tvůrci výsledku
Počet tvůrců celkem1
Počet domácích tvůrců1
TvůrceHabiballa Hashim (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku)
Údaje blíže specifikující výsledek
Popis v původním jazyceThe article presents time and space efficiency results for resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule. The original technique of Detection of Consequent Formulas is presented in combination with linear and breadth-first search. The main intent is to show interesting results concerning limitations and advantages of time and space complexity of the family of linear strategies.
Popis českyThe article presents time and space efficiency results for resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule. The original technique of Detection of Consequent Formulas is presented in combination with linear and breadth-first search. The main intent is to show interesting results concerning limitations and advantages of time and space complexity of the family of linear strategies.
Klíčová slovaFuzzy inference systems, Non-classical logics, Automated theorem proving, Non-clausal resolution.
ISBN80-967305-4-1
Místo vydáníBratislava
Název nakladatele resp. objednateleSlovenská Technická Univerzita
VerzePřednáška
Údaje o tomto záznamu o výsledku
PředkladatelOstravská univerzita v Ostravě / Centrum excelence IT4Innovations, divize OU, Ústav pro výzkum a aplikace fuzzy modelování
DodavatelMSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT)
Rok sběru2007
Systémové označení dodávky datRIV07-MSM-17610___/01:1
Datum dodání24.7.2007
SpecifikaceRIV/61988987:17610/07:00000066!RIV07-MSM-17610___
Kontrolní kód[46E6E6BDED81]
Další výskyty tohoto výsledku od jiných předkladatelů
Další předkladatelOstravská univerzita v Ostravě / Přírodovědecká fakulta
Dodáno MŠMT v roce 2007Záznam s identifikačním kódem RIV/61988987:17310/07:00000067 v dodávce dat RIV07-MSM-17310___/01:1
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
Výzkumný záměrMSM6198898701 - Logické a algebraické metody pro zpracování informací zatížených neurčitostí a jejich použití ve fuzzy modelování (2005-2011, MSM)
Tuto aplikaci pro Radu pro výzkum, vývoj a inovace provozuje Výpočetní a informační centrum Českého vysokého učení technického v Praze. Vyvíjí InfoScience Praha s.r.o.. Verze aplikace 1.6.15. Datové schéma ISVAV_WEB5_00318. Podpora uživatelů na e-mailové adrese podpora (zavináč) isvav (tečka) cz nebo telefonním čísle 224 234 797 (v pracovních dnech 8-16 hod.).