Średnia Ocena:
Wielowartościowość w logikach modalnych i w lingwistyce formalnej
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 obydwu 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 epizodó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.
Szczegóły | |
---|---|
Tytuł | Wielowartościowość w logikach modalnych i w lingwistyce formalnej |
Autor: | Frankowski Szymon |
Rozszerzenie: | brak |
Język wydania: | polski |
Ilość stron: | |
Wydawnictwo: | Wydawnictwo Uniwersytetu Łódzkiego |
Rok wydania: | 2016 |
Tytuł | Data Dodania | Rozmiar |
---|
Wielowartościowość w logikach modalnych i w lingwistyce formalnej PDF Ebook podgląd:
Jesteś autorem/wydawcą tej książki i zauważyłeś że ktoś wgrał jej wstęp bez Twojej zgody? Nie życzysz sobie, aby pdf był dostępny w naszym serwisie? Napisz na adres [email protected] a my odpowiemy na skargę i usuniemy zgłoszony dokument w ciągu 24 godzin.
Wgraj PDF
To Twoja książka? Dodaj kilka pierwszych stronswojego dzieła, aby zachęcić czytelników do zakupu!