Teorie modelů v kategoriích fuzzy množin

Poskytovatel

Akademie věd České republiky

Program

Granty výrazně badatelského charakteru zaměřené na oblast výzkumu rozvíjeného v současné době zejména v AV ČR

Veřejná soutěž

—

Hlavní účastníci

Ostravská univerzita / Centrum excelence IT4Innovations, divize OU, Ústav pro výzkum a aplikace fuzzy modelování

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

—

Název projektu anglicky

Model theory in categories of fuzzy sets

Anotace anglicky

Fuzzy sets theory represents a possible tool for basic mathematical constructions. By using this theory classical mathematical structures (e.g. groups, topological spaces, etc.) are constructed. But with the exception of some results from fuzzy logic there do not exist research results dealing with model theory properties of fuzzy sets categories. The proposed project will be then oriented on the research of model theory properties of various categories of fuzzy sets and, especially, on possibilitiesofalgebraic systems constructions in these categories. Special conditions will be investigated under which these categories of fuzzy sets are topoi and the research of internal logic of these topoi will be done. Moreover, since the internal logic of topoiis basedd on Heyting algebras only, the research of conditions will be undertaken, under which also a fuzzy logic theory based on more general residue lattices can be interpreted in these categories of fuzzy sets.

Kategorie VaV

—

CEP - hlavní obor

BA - Obecná matematika

CEP - vedlejší obor

—

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10101 - Pure mathematics

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Identifikace objektů v kategoriích fuzzy množin nad MV-algebrami, které mohou sloužit jako zobecnění objektů identifikovaných pomocí podobjektových klasifikátorů, výzkum vlastností kategorií fuzzy automatů. Vlastností modelů fuzzy logiky.

Zahájení řešení

1. 1. 1999

Ukončení řešení

1. 1. 2001

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

—

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP/2002/AV0/AV02IA/U/N/7:3

Datum dodání záznamu

15. 1. 2007

Celkové uznané náklady

1 653 tis. Kč

Výše podpory ze státního rozpočtu

685 tis. Kč

Ostatní veřejné zdroje financování

1 388 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč