Wydawca: Wydawnictwo Uniwersytetu Łódzkiego Kategoria: Nauka i nowe technologie Język: polski Rok wydania: 2016

Wielowartościowość w logikach modalnych i w lingwistyce formalnej ebook

Szymon Frankowski  

(0)

Ebooka przeczytasz na:

komputerze PDF
Czytaj w chmurze®
w aplikacjach Legimi.
Dlaczego warto?
Czytaj i słuchaj w chmurze®
w aplikacjach Legimi.
Dlaczego warto?

Pobierz fragment dostosowany na:

Zabezpieczenie: watermark Przeczytaj fragment ebooka

Opis ebooka Wielowartościowość w logikach modalnych i w lingwistyce formalnej - Szymon Frankowski

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 obu 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 rozdziałó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.

Opinie o ebooku Wielowartościowość w logikach modalnych i w lingwistyce formalnej - Szymon Frankowski