Attributes | Values |
---|
rdf:type
| |
Description
| - Záměrem tohoto projektu je zkoumat asociativní operace a struktury z geometrického pohledu. Motivací je studium geometrie pláství, což je odvětví diferenciální geometrie. Jak už některé výsledky ukázaly, myšlenky této disciplíny je možné úspěšně přizpůsobit tak, aby charakterizovaly asociativitu úplně uspořádaných monoidů a trojúhelníkových norem názorným a intuitivním způsobem. To dává motivaci pokračovat v tomto výzkumu dále a využít jeho potenciál. Cílem projektu je výzkum charakterizace asociativních struktur, především úplně uspořádaných monoidů, které hrají důležitou roli při popisu MTL algeber. Tyto algebry tvoří sémantiky MTL logiky, což je prototypická vícehodnotová logika, která se v současné době těší zájmu velkého množství vědců. Očekávaným výstupem projektu bude nejenom hlubší porozumění nespojitým asociativním operacím ale i zobecnění geometrie pláství pro obecné případy. (cs)
- This project intends to investigate associative operations and structures from a geometrical point of view. The main motivation comes from the study of web geometry which is a branch of the differential geometry. As some results have already shown, the concepts of this discipline can be adopted successfully to characterize the associativity of totally ordered monoids and triangular norms in a very intuitive visual way. Thus, there is a good motivation to continue this research and to exploit its potential. The aim of the project is a geometric investigation of questions of structural characterization of associative structures, in particular, totally ordered monoids which play an important role in MTL algebras. These algebras represent semantics of the monoidal t-norm based logic which is a prototypical many-valued logic studied intensively nowadays by many researches. As the outcome of the project, it is expected not only a deeper understanding of associative structures but also a generalization of web geometry to a more general case. (en)
|
Title
| - Geometrie asociativních struktur (cs)
- Geometry of associative structures (en)
|
http://linked.open...vai/cislo-smlouvy
| |
http://linked.open...avai/druh-souteze
| |
http://linked.open...domain/vavai/faze
| |
http://linked.open...vavai/hlavni-obor
| |
http://linked.open...vavai/id-aktivity
| |
http://linked.open.../vavai/id-souteze
| |
http://linked.open...n/vavai/kategorie
| |
http://linked.open...vai/klicova-slova
| - associativity; fuzzy logic; level set; many-valued logic; monoid; Reidemeister closure condition (en)
|
http://linked.open...avai/konec-reseni
| |
http://linked.open...nujicich-prijemcu
| |
http://linked.open...avai/poskytovatel
| |
http://linked.open...avai/start-reseni
| |
http://linked.open...ai/statni-podpora
| |
http://linked.open...vavai/typProjektu
| |
http://linked.open...ai/uznane-naklady
| |
http://linked.open...ai/pocet-prijemcu
| |
http://linked.open...cet-spoluprijemcu
| |
http://linked.open...ai/pocet-vysledku
| |
http://linked.open...ku-zverejnovanych
| |
is http://linked.open...ain/vavai/projekt
of | |