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 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.
- Kategorie:
- ISBN: 978-83-8088-101-3
- ISBN druku: 978-83-8088-100-6
- Liczba stron: 144
-
Sposób dostarczenia produktu elektronicznegoProdukty elektroniczne takie jak Ebooki czy Audiobooki są udostępniane online po opłaceniu zamówienia kartą lub przelewem na stronie Twoje konto > Biblioteka.Pliki można pobrać zazwyczaj w ciągu kilku-kilkunastu minut po uzyskaniu poprawnej autoryzacji płatności, choć w przypadku niektórych publikacji elektronicznych czas oczekiwania może być nieco dłuższy.Sprzedaż terytorialna towarów elektronicznych jest regulowana wyłącznie ograniczeniami terytorialnymi licencji konkretnych produktów.
-
Ważne informacje techniczneMinimalne wymagania sprzętowe:procesor: architektura x86 1GHz lub odpowiedniki w pozostałych architekturachPamięć operacyjna: 512MBMonitor i karta graficzna: zgodny ze standardem XGA, minimalna rozdzielczość 1024x768 16bitDysk twardy: dowolny obsługujący system operacyjny z minimalnie 100MB wolnego miejscaMysz lub inny manipulator + klawiaturaKarta sieciowa/modem: umożliwiająca dostęp do sieci Internet z prędkością 512kb/sMinimalne wymagania oprogramowania:System Operacyjny: System MS Windows 95 i wyżej, Linux z X.ORG, MacOS 9 lub wyżej, najnowsze systemy mobilne: Android, iPhone, SymbianOS, Windows MobilePrzeglądarka internetowa: Internet Explorer 7 lub wyżej, Opera 9 i wyżej, FireFox 2 i wyżej, Chrome 1.0 i wyżej, Safari 5Przeglądarka z obsługą ciasteczek i włączoną obsługą JavaScriptZalecany plugin Flash Player w wersji 10.0 lub wyżej.Informacja o formatach plików:
- PDF - format polecany do czytania na laptopach oraz komputerach stacjonarnych.
- EPUB - format pliku, który umożliwia czytanie książek elektronicznych na urządzeniach z mniejszymi ekranami (np. e-czytnik lub smartfon), dając możliwość dopasowania tekstu do wielkości urządzenia i preferencji użytkownika.
- MOBI - format zapisu firmy Mobipocket, który można pobrać na dowolne urządzenie elektroniczne (np.e-czytnik Kindle) z zainstalowanym programem (np. MobiPocket Reader) pozwalającym czytać pliki MOBI.
- Audiobooki w formacie MP3 - format pliku, przeznaczony do odsłuchu nagrań audio.
Rodzaje zabezpieczeń plików:- Watermark - (znak wodny) to zaszyfrowana informacja o użytkowniku, który zakupił produkt. Dzięki temu łatwo jest zidentyfikować użytkownika, który rozpowszechnił produkt w sposób niezgodny z prawem. Ten rodzaj zabezpieczenia jest zdecydowanie bardziej przyjazny dla użytkownika, ponieważ aby otworzyć książkę zabezpieczoną Watermarkiem nie jest potrzebne konto Adobe ID oraz autoryzacja urządzenia.
- Brak zabezpieczenia - część oferowanych w naszym sklepie plików nie posiada zabezpieczeń. Zazwyczaj tego typu pliki można pobierać ograniczoną ilość razy, określaną przez dostawcę publikacji elektronicznych. W przypadku zbyt dużej ilości pobrań plików na stronie WWW pojawia się stosowny komunikat.
Wstęp 7 1.1 Logiki wielowartościowe i logiki modalne 7 1.2 Wielowartościowe logiki modalne 8 1 Preliminaria matematyczno-logiczne 15 1.1 Teoria mnogości 15 1.2 Algebra 19 1.3 Konsekwencja logiczna 21 1.4 Logiki modalne 24 2 Logiki modalne oparte o wielowartościową logikę Łukasiewicza 37 2.1 Wprowadzenie 37 2.2 Prezentacja języka i logiki 38 2.3 Logika Kn zbazowana na logice Łn 41 2.4 Logiki KDn, Tn, K4n, KBn 48 2.5 Skończenie wartościowa logika Łukasiewicza Denn 50 2.6 Pozostałe wielowartościowe logiki Łukasiewicza KD’n, KDCn, T’n, 4’n, KB’n, K5’n 51 2.7 Krata wielowartościowych logik modalnych Łukasiewicza 53 2.8 Warunki specjalne dla skończenie wartościowych logik Łukasiewicza 54 2.9 Filtracja w skończenie wartościowych logikach Łukasiewicza 56 2.10 Obliczanie ilości relacji przechodnich 59 3 O pewnych zastosowaniach wielowartościowych logik Łukasiewicza 63 3.1 Klasyczna PDL 63 3.2 Wielowartościowa PDL 64 3.3 Wielowartościowe logiki Łukasiewicza a logika Nelsona 72 4 Uogólnione modele Kripkego 81 4.1 Sumy rozłączne i podmodele generowane 83 4.2 Homomorfizmy i bisymulacje 84 4.3 Bisymulacja w sensie H.P. Gumma i T. Schrödera 90 5 Topologiczne A-modele Kripkego 93 5.1 Semantyka topologiczna dla logik modalnych 93 5.2 Semantyka topologiczna dla wielowartościowych logik modalnych 94 6 Macierze kratowe 105 6.1 Zastosowania algebr liniowych w teorii krat 105 6.2 Modele Kripkego i bisymulacje 110 6.3 Przykład 115 7 Ekspresyjność wielowartościowych automatów i gramatyk 121 7.1 Związki logik modalnych z automatami skończonymi. Gramatyki 122 7.2 BL-automaty 124 7.3 Gramatyki probabilistyczne 129 Zakończenie 135 Od redakcji 145