Function algebras and ordered structures related to logic and data fusion
Public support
Provider
Ministry of Education, Youth and Sports
Programme
Promoting the mobility of researchers and workers in the framework of international cooperation in R&D
Call for proposals
—
Main participants
Univerzita Palackého v Olomouci / Přírodovědecká fakulta
Contest type
M2 - International cooperation
Contract ID
MSMT-17220/2018-2
Alternative language
Project name in Czech
Funkční algebry a uspořádané struktury v logice a fúzi dat
Annotation in Czech
Algebry funkcí a uspořádané algebraické struktury tvoří jedny z nejvíce studovaných struktur v algebře. Prvním z hlavních cílů projektu je studium klonů některých významných tříd agregačních funkcí na ohraničených svazech zejména z hlediska jejich generování a minimality příslušných generujících množin funkcí. Získané výsledky umožní hlubší pochopení příslušných tříd a přinesou nový vhled do teorie agregačních funkcí. Dalším cílem projektu je studium některých nových uspořádaných struktur v oblasti tzv. neklasických logik, speciálně pak ve vícehodnotových logikách, logikách kvantové mechaniky a jistých logikách používaných v umělé inteligenci (temporální logika, logika dynamických procesů apod.). Tyto otázky jsou těsně spjaty s řadou problémů řešených v algebře. Cílem projektu bude také nalezení univerzálního přístupu, který by mohl být aplikován pro celou řadu konkrétních problémů ve studované oblasti, zejména se zřetelem pro jejich využití v mnohem obecnější podobě pro tzv. substrukturální logiky. Jelikož v současné době existuje velmi dobře rozpracovaná teorie tzv. klasických struktur (okruhy, polookruhy, skoro-okruhy, grupy apod.), dalším cílem bude nalezení propojení mezi těmito strukturami a reziduovaností. Ukazuje se také, že uspořádané struktury lze aplikovat take v oblasti teorie agregací a speciálně tzv. Sugenova integrálu. Tato oblast bude dalším objektem zkoumání v rámci projektu. Jako aplikace našich výstupů předpokládáme dosáhnout významných výsledků v oblasti popisu nebo dokonce axiomatizace některých fyzikálních systémů, a to jak klasických, tak kvantových. Teoretické výsledky také hodláme použít v oblasti teorie automatů a fúze dat.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
10101 - Pure mathematics
OECD FORD - secondary branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - another secondary branch
10102 - Applied mathematics
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
AF - Documentation, librarianship, work with information<br>BA - General mathematics<br>BC - Theory and management systems<br>BD - Information theory<br>IN - Informatics
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
This project was being realized in the framework of the MOBILITY Activity that aims primarily on establishing and strenghtening ties with foreign research institutions. The control of particular outputs is not implemented by the evalution committee, but the correctness of allocated finances and the adequacy of their use are checked.
Solution timeline
Realization period - beginning
Jan 1, 2019
Realization period - end
Dec 31, 2021
Project status
U - Finished project
Latest support payment
Mar 3, 2021
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
CEP22-MSM-8J-U
Data delivery date
Jul 1, 2022
Finance
Total approved costs
146 thou. CZK
Public financial support
146 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK