ODBIERZ TWÓJ BONUS :: »

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

(ebook) (audiobook) (audiobook)
Ocena:
Bądź pierwszym, który oceni tę książkę
Stron:
144
     PDF

Ebook

darmowy

Dodaj do koszyka lub Kup na prezent Kup 1-kliknięciem

Przenieś na półkę

Do przechowalni

Czytaj fragment

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. 

0 Szymon Frankowski

Zamknij

Wybierz metodę płatności