About: Matematická fuzzy logika v informatice

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

About: Matematická fuzzy logika v informatice 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=GAP202/10/1826
Description	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.). (en) 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.).
Title	Matematická fuzzy logika v informatice Mathematical Fuzzy Logic in Computer Science (en)
skos:notation	GAP202/10/1826
http://linked.open...avai/cep/aktivita	Standard projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GAP202%2F10%2F1826/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GAP202%2F10%2F1826/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2015-04-23 (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	100780580
http://linked.open...ai/cep/hlavniObor	IN - Informatika
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	mathematical fuzzy logic computer science non-classical logics graded notions epistemic logic dynamic logic temporal logic description logic computational complexity arithmetical hierarchy (en)
http://linked.open...neniPrubehuReseni	Deferred Final Report (en) Odložená závěrečná zpráva (cs)
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	46 (xsd:int)
http://linked.open...enychVysledkuVRIV	46 (xsd:int)
http://linked.open...lneniVMinulemRoce	2014-03-31 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/P202-10-1826
http://linked.open...iciPoslednihoRoku	2015
http://linked.open...atUdajeProjZameru	2015
http://linked.open.../vavai/cep/soutez	SGA02010GA-ST
http://linked.open...usZobrazovaneFaze	DRP
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	2016-12-31 (xsd:date)
http://linked.open.../cep/vedlejsiObor	BA - Obecná matematika
http://linked.open...ep/zahajeniReseni	2010-01-01 (xsd:date)
http://linked.open...tniCyklusProjektu	ZBBBKP
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GAP202%2F10%2F1826/2015/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GAP202%2F10%2F1826/2016/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GAP202%2F10%2F1826/2010/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GAP202%2F10%2F1826/2011/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GAP202%2F10%2F1826/2012/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GAP202%2F10%2F1826/2013/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GAP202%2F10%2F1826/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, 47 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software