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 * : Resolution Principle in Fuzzy Predicate Logic
Citace : Habiballa, H. Resolution Principle in Fuzzy Predicate Logic. In: In Acta facultatis paedagogicae universitatis tyrnaviensis (mathematics, physics, computer science). Trnava: Trnavská Univerzita, 2005. Trnavská Univerzita, 2005. s. 3-12. ISBN 80-8082-050-3.
Podnázev :
Rok * : 2005
Obor * : Obecná matematika
Počet stran * : 10
Strana od * : 3
Strana do * : 12
Forma vydání * :
Kód ISBN * : 80-8082-050-3
Kód ISSN :
Název sborníku * : In Acta facultatis paedagogicae universitatis tyrnaviensis (mathematics, physics, computer science)
Sborník :
Název nakladatele * : Trnavská Univerzita
Místo vydání * : Trnava
Stát vydání : Sborník vydaný v zahraničí
Název konference :
Místo konání konference * :
Datum zahájení konference * :
Typ akce podle státní
příslušnosti účastníků akce * :
Celostátní akce
Kód UT WoS :
EID :
Klíčová slova anglicky * :
Fuzzy inference systems, Non-classical logics, Automated theorem proving, Non-clausal resolution, General resolution, Unification
Popis v původním jazyce * :
The article presents refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule. There is also presented an unification algorithm handling existentiality without skolemization. Its idea follows from the general resolution with existentiality for the first-order logic. When the prover is constructed it provides the deductive system, where existing resolution strategies may be used with some limitations arising from specific properties of the FPL.
Popis v anglickém jazyce * :
The article presents refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule. There is also presented an unification algorithm handling existentiality without skolemization. Its idea follows from the general resolution with existentiality for the first-order logic. When the prover is constructed it provides the deductive system, where existing resolution strategies may be used with some limitations arising from specific properties of the FPL.
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/05:00000013

© 2019 Centre for Information Technology

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