Wielowartościowość w logikach modalnych i w lingwistyce formalnej - Frankowski Szymon
- Dodał: administrator
- Data: 02:55 14-11-2018
- Kategoria: Informatyka i matematyka
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. źródło opisu: https://wydawnictwo.uni.lodz.pl/produkt/wielowarto...(?) źródło okładki: https://wydawnictwo.uni.lodz.pl/wp-content/uploads...»
| kategoria | informatyka i matematyka | ||
| język | polski | ||
| data wydania | lipiec 2016 (data przybliżona) | ||
| słowa kluczowe | logika, logiki, logika modalna, logika wielowartościowa, logika formalna, lingwistyka | ||
| ISBN | 9788380881013 | ||
| liczba stron | 146 |
Rejestracja jest za darmo i jest bardzo szybka! Kliknij tutaj aby założyć konto. Trwa to tylko 15 sekund!.
Podobne wpisy do Wielowartościowość w logikach modalnych i w lingwistyce formalnej - Frankowski Szymon
Check the Technique: Liner Notes for Hip-Hop Junkies - Brian Coleman
A Tribe Called Quest • Beastie Boys • De La Soul • Eric B. & Rakim • The Fugees • KRS-One • Pete Rock & CL Smooth • Public Enemy • The Roots • Run-DMC • Wu-Tang Clan • and twenty-five more hip-hop immortals It’s a sad fact: hip-hop album liners have...
C# in Depth, Second Edition - Jon Skeet
C# 4 is even more expressive and powerful than earlier versions. You can do amazing things with generics, lambda expressions, dynamic typing, LINQ, iterator blocks, and other features—but you first have to learn C# in depth. C# in Depth, Second Editi...
Tomb Raider: The Art of Survival
This compelling, high-quality Art Book celebrates the dynamic art style seen in the popular reimagining of the iconic Tomb Raider series. With its stunning visuals and in-depth commentary, this beautiful art book is a must have for fans and collector...
The Little Book of Batman - Paul Levitz
From his first appearance in Detective Comics No. 27 in May 1939, Batman has thrilled imaginations across the globe. This character portrait pays tribute to the World’s Greatest Detective, from his early days as a pulp-inflected comics hero to his cu...
F# Succinctly - Robert Pickering
Syncfusion and functional programming enthusiast Robert Pickering bring you F# Succinctly, your quick-start guide to the F# programming language. Starting with the classic "Hello World" program and the basics of identifiers, recursion, and operators,...
Cancer Imaging 2 vols - Hayat
With cancer related deaths projected to rise to 10.3 million people by 2020, the need to prevent, diagnose, and cure cancer is greater than ever. These two volumes present readers with the most up-to-date imaging instrumentation, general and diagnost...