Upload dokumentów - promocja książek - darmowy hosting pdf - czytaj fragmenty
Wielowartościowe logiki modalne (zaproponowane m.in. przez Morgana, Fittinga, Ostermana) znajdują zastosowanie zarówno w Computer Science, jak i teoriach ekonomicznych. Jednocześnie można zaobserwować ekspansję wielowartościowości w obrębie lingwistyki formalnej, szczególnie w dziedzinie systemów rozmytych. Wielowartościowość w logikach modalnych i w lingwistyce formalnej poświęcona jest obydwu tym problematykom. Zaprezentowano syntaktyczny i semantyczny opis skończenie wartościowej logiki Łukasiewicza, jak i bardziej ogólną charakterystykę struktur opartych o dowolne kraty (w szczególności algebry Heytinga). W jednym z epizodów ujęto aksjomatyzację wielowartościowej logiki multimodalnej PDL (propositional dynamic logic). W ostatnim rozdziale została przedstawiona charakterystyka wielowartościowych automatów i gramatyk probabilistycznych.
| Szczegóły | |
|---|---|
| Tytuł | Wielowartościowość w logikach modalnych i w lingwistyce formalnej |
| Autor: | Frankowski Szymon |
| Rozszerzenie: | brak |
| Język wydania: | polski |
| Ilość stron: | |
| Wydawnictwo: | Wydawnictwo Uniwersytetu Łódzkiego |
| Rok wydania: | 2016 |
| Tytuł | Data Dodania | Rozmiar |
|---|
PDF Upload - Zapytania o Książki - Dokumenty © 2018 - Wszystkie prawa zastrzeżone.