About: Logic-based fuzzy mathematics

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Logic-based fuzzy mathematics Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GPP103/10/P234
Description	Logic-based fuzzy mathematics is a new approach to fuzzy set theory, enabled by recent advances in mathematical fuzzy logic. It features the rigorous methodology of formal logic, generalization of known results in fuzzy mathematics by automatic fuzzification of all defined notions, transferability of definitions and proofs from classical mathematics, and applicability of proof-theoretical and model-theoretical methods. Foundations of logic-based fuzzy mathematics, laid in the past few years by members of the Prague school of mathematical fuzzy logic and comprising mainly the theory of fuzzy sets and relations, have already attracted some interest among fuzzy mathematicians (dozens of citations, awarded papers and invited talks). The aim of the project is to advance the development of logic-based fuzzy mathematics, esp. in the areas of fuzzy functions, numbers, metrics, measures, and quantifiers, and apply the apparatus of formal fuzzy logic to gradual notions of classical mathematics. The investigation, though theoretical, is relevant to most areas of applicability of fuzzy sets. (en) Fuzzy matematika založená na formální logice je novým přístupem k teorii fuzzy množin, umožněným nedávnými pokroky matematické fuzzy logiky. Vyznačuje se zvláště rigorózní metodologií formální logiky, zobecněním výsledků tradiční fuzzy matematiky díky automatické graduálnosti definovaných pojmů i vět, snadnou přenositelností definic a vět klasické matematiky a využitelností syntaktických i sémantických metod formální logiky (např. teorie modelů a teorie důkazů). Základy takto budované fuzzy matematiky, zahrnující především teorii fuzzy množin a fuzzy relací, byly vybudovány zejména pražskou skupinou matematických fuzzy logiků během několika posledních let a získaly již v teoretické fuzzy matematice jistý ohlas (desítky citací, oceněné příspěvky, vyžádané přednášky). Cílem projektu je pokračovat ve výstavbě formální fuzzy matematiky, zejména v oblasti teorie fuzzy funkcí, čísel, metrik, měr a kvantifikátorů, včetně aplikací aparátu fuzzy logiky na graduální pojmy klasické matematiky. Výsledky tohoto teoretického zkoumání lze využít ve většině oblastí aplikovatelnosti fuzzy množin.
Title	Logic-based fuzzy mathematics (en) Fuzzy matematika s logickými základy
skos:notation	GPP103/10/P234
http://linked.open...avai/cep/aktivita	Post-graduate (doctorate) grants
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GPP103%2F10%2FP234/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GPP103%2F10%2FP234/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2014-07-15 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	100240307
http://linked.open...ai/cep/hlavniObor	BA - Obecná matematika
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	fuzzy mathematics formal fuzzy logic higher-order fuzzy logic fuzzy set (en)
http://linked.open...ep/partnetrHlavni	Ústav informatiky AV ČR, v.v.i.
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	4 (xsd:int)
http://linked.open...enychVysledkuVRIV	4 (xsd:int)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/P103-10-P234
http://linked.open...iciPoslednihoRoku	2014
http://linked.open...atUdajeProjZameru	2014
http://linked.open.../vavai/cep/soutez	SGA02010GA1PD
http://linked.open...usZobrazovaneFaze	DRRVK
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2014-12-31 (xsd:date)
http://linked.open.../cep/vedlejsiObor	IN - Informatika
http://linked.open...ep/zahajeniReseni	2010-01-01 (xsd:date)
http://linked.open...tniCyklusProjektu	ZBK.K
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GPP103%2F10%2FP234/2010/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GPP103%2F10%2FP234/2011/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GPP103%2F10%2FP234/2012/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GPP103%2F10%2FP234/2013/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GPP103%2F10%2FP234/2014/ico%3A67985807

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software