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 * : Modeling knowledge base and derivation without predefined structure by Graph-based Clausal Form Logic
Citace : Žáček, M., Lukasová, A. a Miarka, R. Modeling knowledge base and derivation without predefined structure by Graph-based Clausal Form Logic. In: The 2013 International Conference on Advanced ICT (Information and Communication Technology) for Education: Proceedings of the 2013 International Conference on Advanced ICT and Education 2013-09-20 Sanya, China. France: Atlantis Press: AISR, 2013. Atlantis Press: AISR, 2013. s. 546-549. ISBN 978-90786-77-79-6.
Podnázev :
Rok * : 2013
Obor * : Informatika
Počet stran * : 4
Strana od * : 546
Strana do * : 549
Forma vydání * : Elektronická verze
Kód ISBN * : 978-90786-77-79-6
Kód ISSN : 1951-6851
Název sborníku * : Proceedings of the 2013 International Conference on Advanced ICT and Education
Sborník : Mezinárodní
Název nakladatele * : Atlantis Press: AISR
Místo vydání * : France
Stát vydání : Sborník vydaný v zahraničí
Název konference : The 2013 International Conference on Advanced ICT (Information and Communication Technology) for Education
Místo konání konference * : Sanya, China
Datum zahájení konference * :
Typ akce podle státní
příslušnosti účastníků akce * :
Celosvětová akce
Kód UT WoS : 000327670900110
EID :
Klíčová slova anglicky * :
Knowledge representation, modeling, knowledge base, formal system, Clausal Form Logic, graph.
Popis v původním jazyce * :
This paper follows the work of T. Rich-ards specialization Clausal Form Logic formal system of the first order logic. The paper presents also the way of using graph-based clausal form statements in the frame of semantic (associative) net-works. The goal of our research is to fol-low the direction towards graph-based clausal form knowledge representation shaped by Richards and build up a graph-based formal system. The new formal system Graph-based Clausal Form Logic has its own graph-based language with the expressivity similar to that one of CFL. As an example solution, a logical puzzle is presented.
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:A140190Q

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