Fuzzy Partial Logic
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 20 (SGA0201600001)
Main participants
Ostravská univerzita / Centrum excelence IT4Innovations, divize OU, Ústav pro výzkum a aplikace fuzzy modelování
Contest type
VS - Public tender
Contract ID
16-19170S
Alternative language
Project name in Czech
Fuzzy parciální logika
Annotation in Czech
Formální fuzzy logika je teoretickým základem usuzování se stupni pravdivosti, nacházejícím široké uplatnění ve mnoha oborech od řízení a rozhodování přes zpracování dat po reprezentaci znalostí. Mnoho sémantických situací je navíc komplikováno nedefinovanou pravdivostí výroků, jež je předmětem studia parciální logiky. Dosud známé formální systémy fuzzy logiky však nepřipouštějí kombinovat stupně pravdivosti s nedefinovaností. Cílem projektu je vytvoření formálních systémů fuzzy parciální logiky, umožňujících nakládat zároveň se stupni pravdivosti i nedefinovaností, a prozkoumat metamatematické vlastnosti těchto nově navržených logik. Získaný aparát budeme následně aplikovat v několika oblastech zahrnujících částečnou pravdivost i možnou nedefinovanost, zejména v logické analýze přirozeného jazyka (včetně teorie zobecněných kvantifikátorů, určitých deskripcí aj.), teorii fuzzy množin, systémech fuzzy řízení, logickém programování a zpracování dat.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
IN - Informatics
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The project team obtained results in the area of fuzzy logic in line with the submitted proposal and it can be considered fulfilled based on having achieved the proposed results.
Solution timeline
Realization period - beginning
Jan 1, 2016
Realization period - end
Jul 22, 2020
Project status
U - Finished project
Latest support payment
Apr 26, 2018
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP21-GA0-GA-U/01:1
Data delivery date
Apr 12, 2021
Finance
Total approved costs
5,076 thou. CZK
Public financial support
3,435 thou. CZK
Other public sources
1,641 thou. CZK
Non public and foreign sources
0 thou. CZK