Reasoning in Fuzzy Graph-Based Clausal Form Logic

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17310%2F13%3AA13016WF" target="_blank" >RIV/61988987:17310/13:A13016WF - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Reasoning in Fuzzy Graph-Based Clausal Form Logic
Original language description
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-basedlanguage 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.
Czech name
—
Czech description
—

Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceeding of 12th Conference on Applied Mathematics
ISBN
978-80-227-3865-1
ISSN
—
e-ISSN
—
Number of pages
12
Pages from-to
1-12
Publisher name
Slovak University of Technology in Bratislava, Publishing House of STU
Place of publication
Bratislava
Event location
Bratislava, Slovenská republika
Event date
Feb 5, 2013
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—

Similar results(10)