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ě * : Katedra informatiky a počítačů (31400)
Název * : Reasoning in Fuzzy Graph-Based Clausal Form Logic
Citace : Žáček, M. a Miarka, R. Reasoning in Fuzzy Graph-Based Clausal Form Logic. In: Proceeding of 12th Conference on Applied Mathematics. Bratislava: Slovak University of Technology in Bratislava, Publishing House of STU, 2013. Slovak University of Technology in Bratislava, Publishing House of STU, 2013. s. 1-12. ISBN 978-80-227-3865-1.
Podnázev :
Rok * : 2013
Obor * : Informatika
Počet stran * : 12
Strana od * : 1
Strana do * : 12
Forma vydání * : Paměťový nosič
Kód ISBN * : 978-80-227-3865-1
Kód ISSN :
Název sborníku * : Proceeding of 12th Conference on Applied Mathematics
Sborník : Mezinárodní
Název nakladatele * : Slovak University of Technology in Bratislava, Publishing House of STU
Místo vydání * : Bratislava
Stát vydání : Sborník vydaný v zahraničí
Název konference : APLIMAT 2013
Místo konání konference * : Bratislava, Slovenská republika
Datum zahájení konference * :
Typ akce podle státní
příslušnosti účastníků akce * :
Evropská akce
Kód UT WoS :
EID : 2-s2.0-84902675015
Klíčová slova anglicky * :
Clausal Form Logic, formal system, graph, Graph-based Clausal Form Logic, RDF model, Fuzzy logic, Fuzzy predicate logic.
Popis v původním jazyce * :
This paper follows the work of T. Richards specialization Clausal Form Logic (CFL) formal system of the first order logic. The paper presents also the way of using graph-based clausal form statements in the frame of fuzzy semantic networks. The goal of our research is to follow the direction towards graph-based clausal form knowledge representation shaped by Richards and build up a fuzzy graph-based formal system. The new formal system Fuzzy Graph-based Clausal Form Logic (FGCFL) has its own graph-based language with the expressivity similar to that one of CFL and enriched Fuzzy logic (implementation of fuzzy logic increases expressivity). The idea of the FGCFL graph-based approach is also useful in the frame of the fuzzy RDF model especially in its graph version.
Popis v anglickém jazyce * :
Typ zdroje financování výsledku * : Specifický výzkum
Seznam projektů :
ID Projektu Název projektu
Seznam ohlasů : 
Ohlas
R01: RIV/61988987:17310/13:A13016WF

© 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}