OU Portal
  • Log In
  • Welcome
  • Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
{}
Zavřít
Publikační činnost


preloading...   Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu * : stať ve sborníku (D)
Domácí pracoviště * : Ústav pro výzkum a aplikace fuzzy modelování (94410)
Název * : INFERENCE METHODS FOR FUZZY PREDICATE LOGIC BASED ON RESOLUTION PRINCIPLE
Citace : Habiballa, H. INFERENCE METHODS FOR FUZZY PREDICATE LOGIC BASED ON RESOLUTION PRINCIPLE. In: Proc. of International Conference Aplimat 2007. Bratislava: Slovenská Technická Univerzita, 2007. Slovenská Technická Univerzita, 2007. s. 525-534. ISBN 80-967305-4-1.
Podnázev :
Rok * : 2007
Obor * : Obecná matematika
Počet stran * : 10
Strana od * : 525
Strana do * : 534
Forma vydání * :
Kód ISBN * : 80-967305-4-1
Kód ISSN :
Název sborníku * : Proc. of International Conference Aplimat 2007
Sborník :
Název nakladatele * : Slovenská Technická Univerzita
Místo vydání * : Bratislava
Stát vydání : Sborník vydaný v zahraničí
Název konference : Aplimat 2007
Místo konání konference * : Bratislava
Datum zahájení konference * :
Typ akce podle státní
příslušnosti účastníků akce * :
Evropská akce
Kód UT WoS :
EID :
Klíčová slova anglicky * :
Fuzzy inference systems, Non-classical logics, Automated theorem proving, Non-clausal resolution.
Popis v původním jazyce * :
The 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 v anglickém jazyce * :
The 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.
Typ zdroje financování výsledku * : Projekty CEP/Záměry CEZ
Seznam projektů :
ID Projektu Název projektu
Seznam ohlasů : 
Ohlas
R01: RIV/61988987:17610/07:A1000KCO

© 2019 Centre for Information Technology

  • Technická podpora :
  • Mgr. Olga Blahutová (phone: +420 597 091 129, phone flap for UO: 1129)
  • Ing. Lucie Svitaneková (phone: +420 597 091 108, phone flap for UO: 1108)
Complementary Content
  • ${title}${badge}
${loading}