This HTML5 document contains 36 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n20http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n21http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
n5http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
dctermshttp://purl.org/dc/terms/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n15http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/
n13http://linked.opendata.cz/resource/domain/vavai/subjekt/
n19http://linked.opendata.cz/ontology/domain/vavai/
n11http://linked.opendata.cz/ontology/domain/vavai/cep/kategorie/
n12http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n10http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n9http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n16http://linked.opendata.cz/resource/domain/vavai/projekt/GAP202%2F10%2F1826/
n6http://linked.opendata.cz/resource/domain/vavai/soutez/
n18http://linked.opendata.cz/ontology/domain/vavai/cep/statusZobrazovaneFaze/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
n3http://linked.opendata.cz/ontology/domain/vavai/cep/
n17http://linked.opendata.cz/resource/domain/vavai/aktivita/
n4http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:GAP202%2F10%2F1826
rdf:type
n19:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GAP202/10/1826
dcterms:description
Matematická fuzzy logika je symbolická (matematická) logika se stupňovitým pojmem pravdy, kterou je třeba rozlišovat od fuzzy logiky v širokém smyslu, což je vysoce aplikovaná oblast užívající pojem fuzzy množin. Matematická výroková a predikátová logika má přesné pojmy formulí, axiomů a důkazů, sémantiku (standardní, jejíž množinou pravdivostních hodnot je jednotkový reálný interval, a obecnou algebraickou sémantiku). Od Hájkovy monografie z roku 1998 se matematická fuzzy logika intenzívně mezinárodně rozvíjela a naše česká skupina hrála v tomto rozvoji velmi důležitou roli. Nynější projekt bude pokračovat v tomto rozvoji a v mezinárodní spolupráci s důrazem jak na čistě teoretické logické studium, tak jeho aplikaci v informatice. Budou zejména vyšetřovány následující oblasti: teorie důkazů  a teorie modelů fuzzy logiky, souvislost s jinými logickými systémy, výpočetní a aritmetická složitost, fuzzy logika v sémantickém webu (deskripční logika) a řada dalších logik významných v informatice (epistemická, deontická, dynamická, atd.). Mathematical fuzzy logic is a symbolic (mathematical) logic with a graded notion of truth, to be distinguished from fuzzy logic in broad sense which is a highly applied domain using the notion of fuzzy sets. Mathematical propositional and predicate logics have exact notions of formulas, axioms, proofs, semantics (standard with the real unit interval as the set of truth values and general algebraic semantics). Since Hajek's 1998 monograph, mathematical logic has been under intensive international development, in which our Czech group has played a very important role. The present project will continue this development and international cooperation, stressing the purely theoretical logical study as well as its application in computer science. In particular, the following topics will be investigated: proof theory and model theory of fuzzy logic, its relation to other logical systems, computational and arithmetical complexity; fuzzy logic in the semantic web (description logic) and several other logics of importance for computer science (epistemic, deontic, dynamic, etc.).
dcterms:title
Mathematical Fuzzy Logic in Computer Science Matematická fuzzy logika v informatice
skos:notation
GAP202/10/1826
n3:aktivita
n17:GA
n3:celkovaStatniPodpora
n16:celkovaStatniPodpora
n3:celkoveNaklady
n16:celkoveNaklady
n3:datumDodatniDoRIV
2015-04-23+02:00
n3:druhSouteze
n21:VS
n3:duvernostUdaju
n12:S
n3:fazeProjektu
n10:100780580
n3:hlavniObor
n9:IN
n3:kategorie
n11:ZV
n3:klicovaSlova
mathematical fuzzy logic computer science non-classical logics graded notions epistemic logic dynamic logic temporal logic description logic computational complexity arithmetical hierarchy
n3:oduvodneniPrubehuReseni
Deferred Final Report Odložená závěrečná zpráva
n3:partnetrHlavni
n13:ico%3A67985807
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
0
n3:pocetVysledkuRIV
46
n3:pocetZverejnenychVysledkuVRIV
46
n3:posledniUvolneniVMinulemRoce
2014-03-31+02:00
n3:prideleniPodpory
n15:P202-10-1826
n3:sberDatUcastniciPoslednihoRoku
n4:2015
n3:sberDatUdajeProjZameru
n4:2015
n3:soutez
n6:SGA02010GA-ST
n3:statusZobrazovaneFaze
n18:DRP
n3:typPojektu
n20:P
n3:ukonceniReseni
2016-12-31+01:00
n3:vedlejsiObor
n9:BA
n3:zahajeniReseni
2010-01-01+01:00
n3:zivotniCyklusProjektu
n5:ZBBBKP