• Nowy

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

0,00 zł
Brutto

AutorzySzymon Frankowski

ISBN978-83-8088-101-3

Rok wydania2016

Strony144

Fragment

Języki

Nr produktu78E72AB9EB

ZabezpieczenieDL-ebwm

Format

redeem

Za ten produkt nie ma punktów lojalnościowych


local_shippingOtrzymasz nawet w ciągu 15 sekund

Ilość

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.

TematykaMatematyka

AutorzySzymon Frankowski

WydawnictwoWydawnictwo Uniwersytetu Łódzkiego

Rok wydania2016

ISBN978-83-8088-101-3

78E72AB9EB