38.9
Nauka o literaturze
Wydawnictwo Uniwersytetu Łódzkiego
Wielowartościowość w logikach modalnych i w lingwistyce formalnej
Wydawnictwo:
Wydawnictwo Uniwersytetu Łódzkiego
Oprawa: Miękka
Opis
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.
Szczegóły
Tytuł
Wielowartościowość w logikach modalnych i w lingwistyce formalnej
Autor
Wydawnictwo
Rok wydania
2016
Oprawa
Miękka
Ilość stron
144
Format
17.0x24.0cm
Języki
polski
ISBN
9788380881006
Rodzaj
Książka
EAN
9788380881006
Data premiery
2016-06-10
Kraj produkcji
PL
Producent
Wydawnictwo Uniwersytetu Łódzkiego
Dodałeś produkt do koszyka
Wielowartościowość w logikach modalnych i w lingwistyce formalnej
38,90 zł
Rabaty do 45% non stop
Ponad 200 tys. produktów
Bezpieczne zakupy
Recenzje