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

Wielowartościowość w logikach modalnych i w lingwistyce formalnej
4.00 Oceń książkę!

Autor: Frankowski Szymon

 Wydawnictwo: Wydawnictwo Uniwersytetu Łódzkiego
ISBN: 9788380881006
EAN: 9788380881006
Format: 240 x 170 x 8
Oprawa: Miękka
Stron: 144
Data wydania: 2016
Gdzie kupić tanią książkę?
Selkar
książka
41.47zł
Kup książkę
Książka w Twoim domu w ciągu 48h
Jedną z najbardziej udanych prób tego rodzaju są wielowartościowe logiki modalne (zaproponowane m.in. przez Morgana, Fittinga, Ostermana), które 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 lingwistyce formalnej poświęcona jest obu tym problematykom. Zaprezentowano opis (syntaktyczny i semantyczny) 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. Książka stanowi pierwszy krok w kierunku opisania związków łączących wielowartościowe logiki modalne z wielowartościową lingwistyką, analogicznych do tych, jakie zachodzą pomiędzy pewnymi (bardziej złożonymi niż podstawowa) logikami modalnymi a automatami i gramatykami klasycznymi.

Książka "Wielowartościowość w logikach modalnych i w lingwistyce formalnej"
Frankowski Szymon