teoria informacji a semantyka sytuacyjna

Idea semantyki sytuacyjnej (Barwise, Perry)Logika i informacja - Keith Devlin

Rozwój teorii informacji w ramach semantyki sytuacyjnej

Filozofia Informacji, Wykład X - Teoria informacjia semantyka sytuacyjna

Artur Machlarz

17 stycznia 2014

Artur Machlarz Filozofia Informacji, Wykład X - Teoria informacji a semantyka sytuacyjna



Plan wykładu1 Idea semantyki sytuacyjnej (Barwise, Perry)

O czym teraz nie m[Pleaseinsertintopreamble]wimy?Sformułowanie problemuCharakterystyka agentaPodstawowe kategorie semantyczneRegularności i prawidłowości a znaczenieInformacja

2 Logika i informacja - Keith DevlinCzym jest informacja?Infon - definicja i własnościTypy i parametryArchitektura przepływu informacji. Pojęcie ograniczeniaJeszcze raz o informacji ogólnie - podsumowanie

3 Rozwój teorii informacji w ramach semantyki sytuacyjnejFormalny model przepływu informacji Barwise’a i SeligmanaTeoria Luciano Floridiego - przypomnienie




O czym teraz nie mówimy?Sformułowanie problemuCharakterystyka agentaPodstawowe kategorie semantyczneRegularności i prawidłowości a znaczenieInformacja

Semantyka sytuacyjna Suszki

Semantyka sytuacyjna często w Polsce jest identyfikowana zniefregowską logiką Romana Suszko. W logice tej wprowadza się noweznaczenie funktora równości (inaczej niż w logice fregowskiejnieidentycznego z równoważnością). Odwołując się do Traktatu... L.Wittgensteina Suszko wprowadził do logiki pojęcie sytuacji jakosemantycznego korelatu zdania.





Czym jest semantyka sytuacyjna?

Semantyka sytuacyjna oznacza dla nas:

a semantykę, w której korelatami semantycznymi zdań będą sytuacje(z silnym naciskiem na zależność interpretacji od kontekstu użyciawypowiedzi),

b teorię, której istotnym celem jest wyjaśnienie zdolności języka doprzenoszenia informacji.






Semantyka sytuacyjna oznacza dla nas:c teorię, która przyjmuje kilka pewników odnośnie (wszelkich) języków

(sześć uniwersaliów Barwise’a i Perry’ego):nadrzędność informacji (priority of information),produktywność języka (productivity of language),wydajność języka (efficiency of language),wieloznaczność języka (ambiguity of language),perspektywiczną względność języka (perspective relativity oflanguage),“umysłowe znaczenie” języka (mental significance of language).






Interesuje nas zatem taka semantyka sytuacyjna, która wyłożona zostaław:

Jon Barwise and John Perry, Situations and Attitudes, 1983. MITPress,





Sformułowanie problemu

Semantyka sytuacyjna: dąży do zdefiniowania funkcji semantycznych wtaki sposób, żeby wyjaśnić fakt, że znaki mogą być używane jako nośnikiinformacji o świecie zewnętrznym i o stanach agenta. Punktem wyjściasemantyki sytuacyjnej jest formalny opis sytuacji świata zewnętrznego, doktórych mogą odnosić się znaki. Ten opis pozwoli bowiem na opisaspektów faktów decydujących o interpretacji wyrażeń.Problem zasadniczy - wyjaśnienie w jaki sposób jedna sytuacja możewskazywać inną sytuację - musi uwzględniać całe potencjalnezróżnicowanie sytuacji i szeroki kontekst interpretacyjny orazzróżnicowanie systemów językowych.





Uniwersalny charakter semantyki sytuacyjnej

Teoria, o której mówimy ma mieć charakter ogólny i uniwersalny:

jest teorią pozwalającą na opis wszelkich sytuacji,

jest teorią abstrahującą (w pewnych zakresie, o tym za chwilę) odzróżnicowania agentów,

jest teorią abstrahującą od zróżnicowania systemów reprezentacji,koncentrując się na inwariantnym charakterze znaczeń.

Model przepływu informacji oparty na semantyce sytuacyjnej równieżbędzie opisywał zasady przepływu informacji niezależnie od całegozróżnicowania agentów i form reprezentacji. Problem, który stawiamy toproblem o warunki możliwości takiego przepływu (albo znaczenia).





Agent - definicja

Agent: część rzeczywistości, która posiada zdolność do percepcji i dodziałania.





Zachowanie organizmu w środowisku

Sytuacje są same w sobie unikalne. Warunkiem uczynienia ichznaczącymi jest:

przyzwyczajenie organizmu do zmieniających się warunków;

przyzwyczajenie polega na rozpoznawaniu pewnych stałychelementów w zmieniającym się otoczeniu;

zadaniem semantyki sytuacyjnej jest zatem opis sytuacji obejmującyzarówno istotną odmienność sytuacji jak i istnienie pewnychinwariantów.





Agent myślący (cognitive agent) - ograniczenie teorii

Agent myślący jest zdolny do klasyfikowania sytuacji względem pewnychinwariantów - taka klasyfikacja jest dziełem agenta. Taka zdolnośćzakłada umiejętność przekroczenia poziomu czysto obserwacyjnego.

Dretske ujmuje tą zdolność jako:

umiejętność konwersji z wersji analogowej na cyfrową. Agent czyni tymsamym przestrzeń percypowaną przestrzenią pojęciową - dyskretną. Winnym przypadku nie jest możliwe poznanie pojęciowe.





Konwersja z poziomu analogowego do cyfrowego

Rysunek: Przykład: ten agent uczy się klasyfikować ludzi wg dwóch typów(swój; obcy). Uczy się redukować całe spektrum zróżnicowania danychobserwacyjnych do tych dwóch kategorii i na podstawie takiej klasyfikacjidziała. Źródło zdjęcia: http://www.szkolenie-psow.ciekawe.info/







sprawia, że coś z pierwotnych danych obserwacyjnych gubimy -świadomie bądź nieświadomie uznajemy za irrelewantne;

jest warunkiem poznania na poziomie pojęciowym;

jest warunkiem, bez spełnienia którego agent nie może działać napodstawie informacji - poznanie, przetwarzanie informacji jest opartena informacji w sensie cyfrowym.






Istotnym problemem, którego nie rozstrzygają same definicje, jestwyjaśnienie mechanizmów pozwalających na tego rodzaju digitalizacjędanych obserwacyjnych:

dostosowanie organizmu do środowiska życia możemy np. wyjaśnićdostosowaniem systemów behawioralnych i percepcyjnych

w formalnym modelu informacji, jej logiki i logiki jej transmisji,używa się pojęcia ograniczenia (constraint) wyjaśniającegomożliwość rozpoznawania pewnych inwariantów.





Agent myślący nie jest agentem racjonalnym

Agent myślący (cognitive agent) nie jest agentem racjonalnym:

agent myślący - zdolny do konwersji danych z poziomuanalogowego do cyfrowego (Dretske)

agent racjonalny (przykład definicji) - agent zdolny do określonejrewizji informacyjnych podstaw decyzji na podstawie otrzymanychnowych wiadomości (Harsanyi 1968).





Wiadomości wstępne - podsumowanie

Semantyka sytuacyjna pomyślana była jako realistyczne podejście dosemantyki.

Istnieje cały szereg wypowiedzi, które nie odwołują się do wartościprawdziwościowych jak w logice Fregego, ale do sytuacji.

Agent myślący i jego zdolności interpretacyjne są istotne z punktuwidzenia semantyki sytuacyjnej.

Keith Devlin - włącza semantykę sytuacyjną do teorii informacji.Później w tym modelu skonstruowany jest formalny model przepływuinformacji Barwise’a i Seligmana.





Podstawowe kategorie semantyczne

Sytuacja - rzeczywistość składa się z sytuacji. Indywidua mają własności istoją wobec siebie w relacjach czasowych i przestrzennych:

indywidua - a, b, c...

relacje - P, Q, R...

miejsca w przestrzeni (spatial locations) - l , l ′, l ′′

miejsca w czasie -t, t ′, t ′′

sytuacje - s, s ′, s ′′

wartości prawdziwościowe - 1, 0.






regiony czasu i przestrzeni mogą występować w pewnychpodstawowych relacjach:

l ◦ l ′ - zdarzenia pokrywają się w przestrzenil ∼ l ′ - sytuacja poprzedza inną sytuacjęt@t′ - sytuacje pokrywają się w czasie.






Wszystkie kategorie traktowane są jako inwarianty względem realnychkonkretnych sytuacji. Te same indywidua mogą pojawiać się w różnychlokalizacjach i odwrotnie: różne indywidua w tych samych lokalizacjach.

Przykład sytuacji:

Aladar Pege gra dziś koncert w Sibiu.

Proszę o podanie opisu ze wskazaniem na różne kategorie.





Definicje kategorii

Indywidua - inwarianty utrzymujące się w ciągach zdarzeń, mającepewne własności, utrzymujące jakieś powiązania z innymi, mogąmieć części. Mogą to być np. zdania, słowa.

Własności - np. miejsca itp.

Abstrakcyjne sytuacje - np. X gra dziś koncert w Sibiu, wczorajteż grał. Te dwie sytuacje łączy pewien typ sytuacyjny: funkcjan-elementowej relacji n-indywiuów (np. jednego indywiuum) dowartości prawdy (TAK, 1) lub fałszu (NIE, 0). Przykład: σ (szczeka,X ); TAK.

Typy sytuacji - są one szczegółowe, związane z konkretnymkontekstem sytuacyjnym.





Definicje kategorii

Ciąg zdarzeń (course of events) - szczegółowa funkcja od lokalizacjido typu sytuacji. Jeśli ciąg zdarzeń definiuje tylko jedną jedynąlokację, to mówimy o stanie rzeczy.

Przykład: w ciągu zdarzeń e:w Sibiu 2000 l; gra koncert, X; TAKw Sibiu 2000 l’ (dzień później); otrzymuje nagrodę, X;TAKw Sibiu 2000 l”’ (dzień później); wyjeżdża, X; TAKw Sibiu 2000 l””; gra koncert, X; NIE





Warunki sensowności - agent

Warunkiem tego, żeby sytuacja (np. znak językowy) była sensowna jestistnienie prawidłowości wiążących dwie sytuacje: znaczącą i oznaczaną:

agent musi być zdolny do klasyfikowania sytuacji,

agenci klasyfikują sytuacje w zróżnicowany sposób,

akt klasyfikowania sytuacji jest wynikiem wysiłku agentaprzystosowującego się do efektywnego działania w środowisku przezrozpoznawanie podobieństw w sytuacjach względem pewnychustalonych inwariantów.





Czym jest znaczenie?

Czym jest znaczenie - próba definicji.

Sytuacja s może zawierać informację o s1 wtw gdy istniejesystematyczna relacja M utrzymująca się między sytuacjamiposiadającymi wspólne konfiguracje inwariantów z s i sytuacjamiposiadającymi wspólne (inne) konfiguracje inwariantów z s1.

Relacja M pozwala powiedzieć, że s oznacza s1. Znaczeniekonstytuuje zatem relacja M między różnymi typami sytuacji.





Znaczenie - własności

Własności zdefiniowanego w powyższy sposób znaczenia:

różni agenci (zależnie od stanu wiedzy) rozpoznają różne znaczenia,

znaczenie jest inwariantne komunikacyjnie i translacyjnie,

każda specyficzna sytuacja oznacza coś konkretnego (eventmeaning),

pewne x-typy sytuacji mogą oznaczać y -typy sytuacji,

relacja M powinna być traktowana jako warunki prawdziwościwyrażenia językowego.

Tak zdefiniowane znaczenie warunkuje możliwość transmisji informacjimiędzy różnymi typami reprezentacji.





Przykłady różnych rodzajów funkcji znaczeniowej (Barwise,Perry)

Przykłady relacji między znakiem i znaczeniem (Barwise, Perry):

Rysunek: Dym oznacza ogień - znaczenie naturalne, oparte na prawie przyrodyale jednocześnie na pewnej wiedzy agenta; nie wymaga pośrednictwa znakówkonwencjonalnych







Rysunek: Czy X kiedykolwiek dotknął Y ? Tak, X pocałował Y.X pocałował Yoznacza, że X dotknął Y







Rysunek: Dzwonek oznacza koniec lekcji: pewien typ dźwięku w pewne dni jestsystematycznie skorelowany z pewnym typem sytuacji - relacja konwencjonalna







Rysunek: Słowo ciasteczko oznacza ciasteczko - jest to relacja konwencjonalna,w różnych sytuacjach może dochodzić do jej zaburzenia; słowo ciasteczko jestinwariantem sytuacyjnym - występuje w różnych sytuacjach. Uczymy sięrozpoznawać ten inwariant w różnych sytuacjach (przykład dziecka - płacze,reaguje jednak odpowiednio, gdy opiekun pyta “a może chcesz ciasteczko?”).





Formalna analiza przykładu

Znaczenie jest konstytuowane przez relację między wyrażeniem aopisywaną przez nie sytuacją:

u [jem ciasteczko] σ: (wyrażenie u jest prawdziwe wtw gdy jestwspierane przez sytuację σ);innymi słowy: istnieją lokalizacja l i indywiduum a, takie że:

w u; w l, a mówi; TAKw σ; w l ; a je ciasteczko; TAK.

Użyte w konkretnej sytuacji wyrażenie językowe ogranicza opisywanąsytuację do jednej z możliwych interpretacji.





Informacja - podstawowe własności. Podsumowanie.

Informacja nie jest czymś generowanym przez odbiorcę, ale czymśistniejącym w świecie zewnętrznym, co może zostać odnalezionealbo nie.

Symbole i zdania służą tylko ekstrakcji informacji, wyrażeniu jej -informacja jednak wyprzedza wyrażenia językowe, jest czymślogicznie pierwotnym.

Problem opisu informacji prowadzi nas do ontologii - tzn. problemyopisu obiektów będących nośnikami informacji.

Semantyka sytuacyjna w teorii informacji będzie ontologią jednostekinformacji, tzw. infonów. Będzie teorią infonów i ich logicznejstruktury - żeby ją stworzyć potrzebujemy ontologii opisującejstrukturę rzeczywistości skorelowanej ze strukturą infonów.

informacja nie może być skorelowana z żadnym z konkretnychsystemów reprezentacji, z żadnym określonym językiem




Czym jest informacja?Infon - definicja i własnościTypy i parametryArchitektura przepływu informacji. Pojęcie ograniczeniaJeszcze raz o informacji ogólnie - podsumowanie

Informacja - (bardzo) ogólna definicja

Informacja - (bardzo) ogólna definicja

przedmioty a1, ..., an są/nie są w relacji P.

P jest tu pewną własnością, która odnosi się do n lub więcej przedmiotówpewnego rodzaju a a1, ..., an są przedmiotami, które są odpowiednie jakoargumenty relacji P.

Uwaga: ta definicja odnosi się do informacji w pojęciowym sensie (aprzynajmniej do takich agentów, którzy przystosowują się do środowiskawytwarzając behawioralne mechanizmy redukcji form analogowych docyfrowych w sensie Dretskego)





Infon - definicja

Infon - podstawowy, elementarny nośnik informacji. Pojęciewprowadzone przez K. Devlina. Infon jest sytuacją zawierającą informacjęo innej sytuacji. Nie ograniczamy możliwych rodzajów nośnika.

Sytuacja może “wspierać” infon (support), gdy jest taka, jak mówiinfon:

s |= φ - sytuacja wspiera infon

relacja |= jest tu rozumiana analogicznie do relacji między modelemi zdaniem w rachunku pierwszego rzędu.

Infon σ jest faktem (jest prawdziwy) wtw świat jest taki, jak mówi.





Infon - dwie uwagi

Infony zatem są relatywne do sytuacji.

Infony nie są znakami w sensie językowym i nie są tym samym relatywnejęzykowo. To uniezależnia wartości informacyjne od konkretnychsystemów językowych. Z takim “relatywizmem” mieliśmy do czynienia wBHC.





Typy

Każdy przedmiot może być przyporządkowany przynajmniej jednegotypowi:

TIM - typ lokalizacji czasowej

IND - typ indywiduum

SIT - typ sytuacji

RELn - typ n-argumentowej relacji

x : T - przedmiot x jest typu T.





Parametry

Każdy z tych typów zawiera nieskończoną ilość podstawowychparametrów (tzn. zmiennych przebiegających zbiory przedmiotówpewnego typu):

a∗ - parametry indywiduów

s∗ - parametry sytuacji

t∗ - parametry lokalizacji czasowej.





Typy i parametry - wykorzystanie

Dzięki pojęciu typu i parametru możemy wprowadzić pewne zmienne dosytuacji (tzn. uogólnić je):

[s∗|s∗ |= φ] - typ sytuacji wspierający infon. Dowolna sytuacjanależy do tego typu, jeśli wspiera infon φ.

[x∗|s1 |=� człowiek, x∗, Sibiu, 2000, TAK �] - typ takichprzedmiotów x, które są ludźmi, dla których sytuacja s1 wspierainfon.

Ten infon nie zawiera tylko przedmiotów, ale zawiera także zmienne(parametric infon)





Architektura przepływu informacji - przykład

Rysunek: Kierujący pojazdem...





Architektura przepływu informacji - przykład

Załóżmy, że jako kierowcy/kursanci agenci A, B, C są zdolni do podjęcia“informed decision”. Interesuje nas zatem tylko poziom cyfrowy. Agenci:

potrafią wydobywać odpowiednie informacje ze środowiska,

potrafią także użyć wydobytych informacji do wyprowadzenianowych informacji przy użyciu określonych mechanizmów:rozumowań opartych na powiązaniach między sytuacjami.





Typy powiązań między sytuacjami

Jakiego rodzaju powiązania między sytuacjami mogą występować (i staćsię podstawą wnioskowań):

prawa naturalne,

prawa logiczne,

konwencje (tak jak na przykładzie obrazu sygnalizacji świetlnej naskrzyżowaniu),

ustalenia między jednostkami (odnoszące się do pojedynczychzdarzeń),

wszelkiego rodzaju inne regularności.

Wszelkiego typu regularne powiązania między sytuacjami Devlin nazywaograniczeniami (constraints).





Ograniczenia - przykłady

Dym oznacza ogień:

Ograniczenie jest naturalnym powiązaniem C dwóch typów sytuacji:S ′ ⇒ S ′′

S ′ = [s∗| �dymi się, t∗, 1�]

S ′′ = [s∗| � pali się,t∗, 1�]






“Dym” oznacza dym.

Ograniczenie jest konwencjonalnym powiązaniem C dwóch typówsytuacji: S ′ ⇒ S ′′

S ′ = [s∗| �dymi się, t∗, 1�]

S ′′ = [s∗|(� mówiąc,a∗, t∗, 1� ∧ �wypowiada, a∗, dym, t∗, 1�)]






Wróćmy do naszego przykładu i sprawdźmy dzięki jakim ograniczeniommożemy podjąć “informed decision”:

Rysunek: Kierujący pojazdem...





Informacja - wyjaśnienie definicji

P z ogólnej definicji podanej na początku można teraz wyrazić jakozdanie:

∃′s(s ′ |= ∃y (� Jest-zdjęciem, x, y, t; 1 � ∧ �Ma-złamaną-nogę, y, t; 1 �)[f ]) f - anchor zbiorupodstawowych parametrów, jest to funkcja przypisującakażdemu parametrowi jednego infonu przedmiot określonegotypu. W tym przypadku funkcja ta przyporządkowuje do xkonkretną osobę lub zwierzę oraz określony moment do czasu t.

P jest zatem zdaniem mówiącym, że pewien stan rzeczy i inny stanrzeczy są rzeczywiste.





Zasada xero

Podstawowe (intuicyjne) prawo - zasada xero:

Jeśli istnieje ograniczenie C takie, że s niesie informację, żeb jest F (względnie do C) i istnieje ograniczenie C’ takie, żefakt, że b jest F niesie infomrację, że Q (względnie do C’), toistnieje ograniczenie C” takie, że s niesie informację, że Q(względnie do C”).





Inne zasady - wnioski

Inne intuicyjne zasady - wnioski:

informatywność jest zależna od ograniczeń;

różne fakty, przedmioty, własności itd mogą wskazywać na jedną i tąsamą zawartość informacyjną względnie do tego samego alboróżnego ograniczenia.




Formalny model przepływu informacji Barwise’a i SeligmanaTeoria Luciano Floridiego - przypomnienie

Przepływ informacji w systemach rozproszonych

W modelu Barwise’a i Seligmana zakłada się, że przepływ informacji dasię wyjaśnić przyjmując, że transmisja informacji zachodzi w systemachrozproszonych: tzn. systemach, w których występują zarównoprawidłowości jak i cechy przypadkowe ze względu na całość systemu.Istotne dla trans-misji informacji są lokalne reguły oraz prawidłowości na wyższym poziomie.

Problemu stworzenia takiego modelu nie byłoby, gdybyśmy przyjęli, żemamy do czynienia z systemem, w którym zachodzą prawidłowości tylkojednego rodzaju: na przykład, gdybyśmy mogli uznać, że wszystkieprawidłowości mają charakter przyrodniczych konieczności.





Podstawowe zasady przepływu informacji

1 Przepływ informacji jest efektem regularności w systemierozproszonym.

2 Przepływ informacji dotyczy zarówno typów jak i ich części.3 Na mocy regularności wśród połączeń informacje o pewnych

komponentach systemu niosą informacje o innych komponentach.4 Regularności w danym systemie rozproszonym są względne do ich

analizy w kategoriach kanału informacyjnego.







2 Przepływ informacji dotyczy zarówno typów jak i ich części.

3 Na mocy regularności wśród połączeń informacje o pewnychkomponentach systemu niosą informacje o innych komponentach.

4 Regularności w danym systemie rozproszonym są względne do ichanalizy w kategoriach kanału informacyjnego.








komponentach systemu niosą informacje o innych komponentach.

4 Regularności w danym systemie rozproszonym są względne do ichanalizy w kategoriach kanału informacyjnego.








komponentach systemu niosą informacje o innych komponentach.4 Regularności w danym systemie rozproszonym są względne do ich

analizy w kategoriach kanału informacyjnego.





Podstawowe elementy modelu - Klasyfikacja

Klasyfikacja A = 〈A,ΣA |=A〉 składa się ze zbioru A przedmiotów, którepodlegają klasyfikacji (tokenów A), zbioru ΣA przedmiotów używanych doklasyfikacji tokenów (typy A) i binarnej relacji |=A między A oraz ΣA,która mówi jaki token jest klasyfikowany pod jaki typ.





Podstawowe elementy modelu - Infomorfizm

Infomorfizm jest relacją między klasyfikacjami:Jeśli A = 〈A,ΣA |=A〉 i C = 〈C ,ΣC |=C 〉, to infomorfizm jest parąfunkcji f = 〈f̌ , f̂ 〉 spełniających dla wszystkich tokenów c należących doC i wszystkich typów α z A warunek: f̌ (c) |=A α wtw c |=C f̂ (α)





Podstawowe elementy modelu - Kanał informacyjny

Kanał informacyjny składa się z indeksowalnej rodziny infomorfizmówC = {fi : Ai ↔ C}(i ∈ I ) z pewnym wspólnym uniwersum. Kanałinformacyjny wyraża zatem regularne własności na poziomie całegosystemu.





Podstawowe elementy modelu

Agent musi mieć wiedzę o pewnych lokalnych prawidłowościach, ale musiteż mieć wiedzę o prawidłowościach wyższego rzędu - dotyczących całegosystemu. W przeciwnym razie nie mógłby przeprowadzać wnioskowańwyprowadzając wnioski z jednej części systemu na inną część systemu.





Zasada pomiaru informatywności

Zdanie opisuje pewną sytuację. Im większa ilość dopuszczonychalternatywnych sytuacji względem sytuacji, o której informację niesiesygnał, tym mniejsza informatywność a większa semantyczna niepewność.





Teoria informacji na bazie semantyki sytuacyjnej

Wartość informacji semantycznej niesionej przez σ(γ(σ)) jest określona wteorii Floridiego przez pole powierzchni między przebiegiem funkcji ι(σ) wprzedziale wyznaczonym przez wskaźnik θ(σ) - czyli stopieńpotwierdzenia formuły przez sytuację) a osią x:

γ(σ) =θ∫0ι(σ)dx

Im większe wyznaczone pole przez przebieg funkcji ι(σ), tym większaniepewność.





Teoria informacji na bazie semantyki sytuacyjnej

Rysunek: Wartość informacyjna dla czynnika θ(σ) = 0,25. Ilustracja za: L.Floridi, Semantic Conceptions of Information, w: Stanford Encyclopedia ofPhilosophy, http://plato.stanford.edu/entries/information-semantic/





Zasada pomiaru informatywności

Miara informatywności jest w teorii Floridiego związana z większą bądźmniejszą precyzją w opisie określonej sytuacji: im większa ilośćdopuszczonych alternatywnych sytuacji względem sytuacji, o którejinformację niesie sygnał, tym mniejsza informatywność przekazu.Wskaźnik oznaczający stopień potwierdzenia danej formuły osiąga wprzypadku tautologii wartość maksymalną: 1 – dowolna sytuacja jestbowiem jej potwierdzeniem. W przypadku sytuacji dokładnieodpowiadających treści formuły, wskaźnik ten ma wartość 0: żadna innasytuacja nie jest wtedy odniesieniem treści formuły. Informatywnośćformuły jest zatem tym większa im mniej sytuacji może ją potwierdzać.Stopień informatywności Floridi oblicza jako dopełnienie do wartościmaksymalnej 1.





Literatura

Literatura:

Manuel Bremer, Daniel Cohnitz, Information and Information Flow.An Introduction., Frankfurt 2004, cz. 4 i cz. 5.

Keith Devlin, Logic and Information, Cambridge 1995,

Jon Barwise and John Perry, Situations and Attitudes, 1983. MITPress





Dziękuję za uwagę i zapraszam do stawiania pytań!

Artur Machlarz

e-mail: [email protected]: http://www.uni.opole.pl/∼machlarz


teoria informacji a semantyka sytuacyjna

Education