Publ3 search

Error:

Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.

Publikační činnost

Probíhá načítání, čekejte prosím...

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

Complementary Content

${loading}