SlideShare ist ein Scribd-Unternehmen logo

Przeplyw informacji w systemach rozproszonych

•
•
Artur Machlarz
Artur Machlarz

Przeplyw informacji w systemach rozproszonych

Bildung
1 von 47
Downloaden Sie, um offline zu lesen
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszonych Artur Machlarz 10 maja 2016 Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Plan wykładu 1 Temat wykładu Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji 2 Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Temat wykładu Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Gdzie jest...? Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Którędy dojdę do...? Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Informacja naturalna Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Sformułowanie problemu Co możemy osiągnąć dzięki wiedzy naukowej? 1 wykonać opis procesów fizycznych, biologicznych na różnych poziomach 2 opisać psychiczne procesy regulujące zachowanie ludzi w reakcji na otrzymywane sygnały itp. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Sformułowanie problemu Czy to wszystko, czego potrzebujemy? Naszym celem jest: Uzyskanie pełnej wiedzy na temat powiązań między różnymi elementami sytuacji przepływu informacji. Barwise i Seligman przyjmują, że istnieją specyficzne prawa przepływu informacji w systemach rozproszonych, które to prawa należy zrekonstruować. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji 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ów pewnego rodzaju a a1, ..., an są przedmiotami, które są odpowiednie jako argumenty relacji P. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji 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ów pewnego rodzaju a a1, ..., an są przedmiotami, które są odpowiednie jako argumenty relacji P. Przypomnienie: ta definicja odnosi się do informacji w pojęciowym sensie (a przynajmniej do takich agentów, którzy przystosowują się do środowiska wytwarzając behawioralne mechanizmy redukcji form analogowych do cyfrowych w sensie Dretskego) Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Infon - definicja Infon - podstawowy, elementarny nośnik informacji. Pojęcie wprowadzone przez K. Devlina. Infon jest sytuacją zawierającą informację o innej sytuacji. Nie ograniczamy możliwych rodzajów nośnika. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Infon - definicja Infon - podstawowy, elementarny nośnik informacji. Pojęcie wprowadzone 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ówi infon: s |= φ - sytuacja wspiera infon relacja |= jest tu rozumiana analogicznie do relacji między modelem i zdaniem w rachunku pierwszego rzędu. Infon σ jest faktem (jest prawdziwy) wtw świat jest taki, jak mówi. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Infon - dwie uwagi Infony zatem są relatywne do sytuacji. Infony nie są znakami w sensie językowym i nie są tym samym relatywne językowo. To uniezależnia wartości informacyjne od konkretnych systemów językowych. Z takim “relatywizmem” mieliśmy do czynienia w BHC. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Typy Każdy przedmiot może być przyporządkowany przynajmniej jednego typowi: TIM - typ lokalizacji czasowej IND - typ indywiduum SIT - typ sytuacji RELn - typ n-argumentowej relacji x : T - przedmiot x jest typu T. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Parametry Każdy z tych typów zawiera nieskończoną ilość podstawowych parametrów (tzn. zmiennych przebiegających zbiory przedmiotów pewnego typu): a∗ - parametry indywiduów s∗ - parametry sytuacji t∗ - parametry lokalizacji czasowej. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Typy i parametry - wykorzystanie Dzięki pojęciu typu i parametru możemy wprowadzić pewne zmienne do sytuacji (tzn. uogólnić je): [s∗ |s∗ |= φ] - typ sytuacji wspierający infon. Dowolna sytuacja należy do tego typu, jeśli wspiera infon φ. [x∗ |s1 |= człowiek, x∗ , Sibiu, 2000, TAK ] - typ takich przedmiotów x, które są ludźmi, dla których sytuacja s1 wspiera infon. Ten infon nie zawiera tylko przedmiotów, ale zawiera także zmienne (parametric infon) Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Informacja - rozwinięcie definicji P z ogólnej definicji podanej na początku można teraz wyrazić jako zdanie: ∃s(s |= ∃y ( Jest-zdjęciem, x, y, t; 1 ∧ Ma-złamaną-nogę, y, t; 1 )[f ]) f - anchor zbioru podstawowych parametrów, jest to funkcja przypisująca każdemu parametrowi jednego infonu przedmiot określonego typu. W tym przypadku funkcja ta przyporządkowuje do x konkretną osobę lub zwierzę oraz określony moment do czasu t. P jest zatem zdaniem mówiącym, że pewien stan rzeczy i inny stan rzeczy są rzeczywiste. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Zasada xero - K. Devlin Podstawowe (intuicyjne) prawo - zasada xero: Jeśli istnieje ograniczenie C takie, że s niesie informację, że b jest F (względnie do C) i istnieje ograniczenie C’ takie, że fakt, że b jest F niesie infomrację, że Q (względnie do C’), to istnieje ograniczenie C” takie, że s niesie informację, że Q (względnie do C”). Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji 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 albo różnego ograniczenia. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji System rozproszony Przykłady systemów rozproszonych: internet, sieci telefoniczne, sieć P2P Wszystkie śystemy”umożliwiające przepływ informacji, w których mamy moduły działające na odmiennych zasadach, w ramach innej logiki. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Klasyfikacja - definicja Klasyfikacja: Klasyfikacja A = A, ΣA |=A składa się ze zbioru A przedmiotów, które podlegają klasyfikacji (tokenów A), zbioru ΣA przedmiotów używanych do klasyfikacji tokenów (typy A) i binarnej relacji |=A między A oraz ΣA, która mówi jaki token jest klasyfikowany pod jaki typ. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Klasyfikacja - przykład 1 Sytuacja 1: indywidua podlegające klasyfikacji to dźwięk heksów w określonym czasie; typy, względem których dokonywana jest klasyfikacja: HAŁAS, CISZA; relacja przyporządkowuje indywidua w określonym momencie wskazanym typom Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Klasyfikacja - przykład 1 Sytuacja 1: indywidua podlegające klasyfikacji to dźwięk heksów w określonym czasie; typy, względem których dokonywana jest klasyfikacja: HAŁAS, CISZA; relacja przyporządkowuje indywidua w określonym momencie wskazanym typom Przykład 1: ht |=A CISZA - w danym momencie nie słyszymy charakterystycznego dźwięku heksów. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Klasyfikacja - przykład 2 Sytuacja 2: indywidua podlegające klasyfikacji to np. punkty na mapie w danym momencie; typy, względem których dokonywana jest klasyfikacja: NA WSCHÓD, NA ZACHÓD, NA PÓŁNOC, NA POŁUDNIE, AKTUALNA LOKALIZACJA; relacja przyporządkowuje indywidua wskazanym typom Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Klasyfikacja - przykład 2 Sytuacja 2: indywidua podlegające klasyfikacji to np. punkty na mapie w danym momencie; typy, względem których dokonywana jest klasyfikacja: NA WSCHÓD, NA ZACHÓD, NA PÓŁNOC, NA POŁUDNIE, AKTUALNA LOKALIZACJA; relacja przyporządkowuje indywidua wskazanym typom Przykład 2: pt |=A NAWSCHOD - w danym momencie wskazany punkt p zlokalizowany jest w kierunku wschodnim względem naszego położenia. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Formalna definicja ograniczenia (constraint) Pojęcie ograniczenia wykorzystuje relację konsekwencji: Γ α (α jest konsekwencją zdania lub zbioru zdań Γ). Ograniczenie (constraint): Załóżmy, że A jest klasyfikacją a para uporządkowana zbiorów typów Γ, ∆ jest logiczną konsekwencją klasyfikacji A. Token a należący do A spełnia Γ, ∆ oznacza, że jeśli a jest typu α dla dowolnego α ∈ Γ, to a jest typu α dla pewnego α ∈ ∆. ∆ jest w tym sensie konsekwencją Γ w kontekście klasyfikacji A. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Formalna definicja ograniczenia (constraint) Ograniczenie (constraint): Jeśli Γ A ∆, to para Γ, ∆ jest nazywana ograniczeniem w ramach klasyfikacji A. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Formalna definicja ograniczenia (constraint) Ograniczenie (constraint): Jeśli Γ A ∆, to para Γ, ∆ jest nazywana ograniczeniem w ramach klasyfikacji A. Zbiór wszystkich ograniczeń będzie nazywany teorią pewnej klasyfikacji, będzie to zbiór wszystkich regularności zachodzących w danym systemie. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Typologia ograniczeń 1 wynikanie - α β 2 konieczność - β 3 przypadki wyczerpujące - α, β 4 typy niekompatybilne - α, β 5 typy niespójne - α Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Typologia ograniczeń - przykłady Analiza przykładów - na wykładzie. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Definicja infomorfizmu (nieformalnie) Infomorfizm jest relacją między klasyfikacjami, która to relacja pozwala przyporządkować tokeny (czyli indywidua podlegające klasyfikacji) oraz typy jednej klasyfikacji, tokenom i typom drugiej klasyfikacji. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Definicja infomorfizmu Infomorfizm: Jeśli A = A, ΣA |=A i C = C, ΣC |=C są klasyfikacjami, to infomorfizm jest parą funkcji f = ˇf , ˆf spełniających dla wszystkich tokenów c należących do C i wszystkich typów α z A warunek: ˇf (c) |=A α wtw c |=C ˆf (α) Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Infomorfizm - przykład 1 Sytuacja 1: Znajdujemy się w punkcie A. Poszukujemy punktu B. Słyszymy dźwięk, który identyfikujemy jako dźwięk sprzętu wspinaczkowego. Idziemy w kierunku, z którego dochodził dźwięk. Proszę pokazać klasyfikacje, które tu się pojawiają i wyjaśnić zależności między nimi. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Infomorfizm - przykład 2 Sytuacja 2: Znajdujemy się w punkcie A. Poszukujemy punktu B. Mamy do dyspozycji mapę. Kontrola położenia na mapie pozwala nam stwierdzić, jak odległy jest punkt B od punktu A oraz ustalić kierunek marszu. Proszę pokazać klasyfikacje, które tu się pojawiają i wyjaśnić zależności między nimi. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Połączenie klasyfikacji Dowolne klasyfikacje A i C mogą być ze sobą połączone w jedną klasyfikację A + C. Taka klasyfikacja będzie miała następujące własności: jej tokeny to pary tokenów z obu klasyfikacji, jeśli zawierają te same typy, do indeksujemy je, tak, żeby zaznaczyć, że jeden typ pochodzi z klasyfikacji A, drugi zaś z B. Np. para a, b będzie typu NAWSCHODA w A + B wtw a jest typu NAWSCHÓD w klasyfikacji A. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Kanał informacyjny - definicja Kanał informacyjny: Kanał informacyjny składa się z indeksowalnej rodziny infomorfizmów C = {fi : Ai ↔ C}(i ∈ I) z pewnym wspólnym uniwersum C zwanym rdzeniem kanału. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Kanał informacyjny - przykład 1 Niech ruch wspinacza powodujący brzęczenie heksów będzie rdzeniem kanału. Proszę przedstawić całą sytuację w kategoriach sieci infomorfizmów między kilkoma klasyfikacjami. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Kanał informacyjny - przykład 2 Niech koncentracja uwagi osoby A na mapie będzie rdzeniem kanału. Proszę przedstawić całą sytuację w kategoriach sieci infomorfizmów między kilkoma klasyfikacjami. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Klasyfikacja i teoria Załóżmy, że token a jest tokenem typu α. Fakt, że a jest α niesie informację, że b jest typu β, wględnie do kanału C wtw a i b są połączone w kanale C. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Klasyfikacja i teoria Załóżmy, że token a jest tokenem typu α. Fakt, że a jest α niesie informację, że b jest typu β, wględnie do kanału C wtw a i b są połączone w kanale C. Problem: czy to oznacza, że musimy znać kompletną teorię Th(C), gdzie C jest rdzeniem jest kanału C. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Pierwsza zasada przepływu informacji Przepływ informacji wynika z regularności w systemie rozproszonym. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Druga zasada przepływu informacji Przepływ informacji dotyczy zarówno typów jak i indywiduów (por. F. Dretske i wątpliwości R. Millikan). Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Trzecia zasada przepływu informacji Na mocy regularności występujących między połączeniami informacje o pewnych komponentach systemu rozproszonego mogą nieść informacje o innych komponentach. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Czwarta zasada przepływu informacji Regularności danego systemu rozproszonego są względne do jego analizy w terminach kanału informacyjnego. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Logika lokalna, prosty system rozproszony, uzupełnienia CDN... Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Literatura Literatura: Keith Devlin, Logic and Information, Cambridge 1995, Jon Barwise and John Perry, Situations and Attitudes, 1983. MIT Press Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Dziękuję za uwagę i zapraszam do stawiania pytań! Artur Machlarz e-mail: artur.machlarz@uni.opole.pl www: http://www.uni.opole.pl/∼machlarz Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo

Empfohlen

Problem niepewnosci w teoriach informacji
Problem niepewnosci w teoriach informacjiProblem niepewnosci w teoriach informacji
Problem niepewnosci w teoriach informacjiArtur Machlarz
 
Problem relewancji poznawczej
Problem relewancji poznawczejProblem relewancji poznawczej
Problem relewancji poznawczejArtur Machlarz
 
Teoria informacji a semantyka sytuacyjna
Teoria informacji a semantyka sytuacyjnaTeoria informacji a semantyka sytuacyjna
Teoria informacji a semantyka sytuacyjnaArtur Machlarz
 
Teoria informacji pragmatycznej
Teoria informacji pragmatycznejTeoria informacji pragmatycznej
Teoria informacji pragmatycznejArtur Machlarz
 
Filozofia informacji F. Dretskego
Filozofia informacji F. DretskegoFilozofia informacji F. Dretskego
Filozofia informacji F. DretskegoArtur Machlarz
 
Filozofia Informacji - wprowadzenie, teoria C. E. Shannona
Filozofia Informacji - wprowadzenie, teoria C. E. ShannonaFilozofia Informacji - wprowadzenie, teoria C. E. Shannona
Filozofia Informacji - wprowadzenie, teoria C. E. ShannonaArtur Machlarz
 
Semantyczna teoria informacji 1
Semantyczna teoria informacji 1Semantyczna teoria informacji 1
Semantyczna teoria informacji 1Artur Machlarz
 
Teoria informacji semantycznej 3
Teoria informacji semantycznej 3Teoria informacji semantycznej 3
Teoria informacji semantycznej 3Artur Machlarz
 

Empfohlen

Problem niepewnosci w teoriach informacji
Problem niepewnosci w teoriach informacjiProblem niepewnosci w teoriach informacji
Problem niepewnosci w teoriach informacjiArtur Machlarz
 
Problem relewancji poznawczej
Problem relewancji poznawczejProblem relewancji poznawczej
Problem relewancji poznawczejArtur Machlarz
 
Teoria informacji a semantyka sytuacyjna
Teoria informacji a semantyka sytuacyjnaTeoria informacji a semantyka sytuacyjna
Teoria informacji a semantyka sytuacyjnaArtur Machlarz
 
Teoria informacji pragmatycznej
Teoria informacji pragmatycznejTeoria informacji pragmatycznej
Teoria informacji pragmatycznejArtur Machlarz
 
Filozofia informacji F. Dretskego
Filozofia informacji F. DretskegoFilozofia informacji F. Dretskego
Filozofia informacji F. DretskegoArtur Machlarz
 
Filozofia Informacji - wprowadzenie, teoria C. E. Shannona
Filozofia Informacji - wprowadzenie, teoria C. E. ShannonaFilozofia Informacji - wprowadzenie, teoria C. E. Shannona
Filozofia Informacji - wprowadzenie, teoria C. E. ShannonaArtur Machlarz
 
Semantyczna teoria informacji 1
Semantyczna teoria informacji 1Semantyczna teoria informacji 1
Semantyczna teoria informacji 1Artur Machlarz
 
Teoria informacji semantycznej 3
Teoria informacji semantycznej 3Teoria informacji semantycznej 3
Teoria informacji semantycznej 3Artur Machlarz
 
Strukturalizm de Saussure
Strukturalizm de SaussureStrukturalizm de Saussure
Strukturalizm de SaussureArtur Machlarz
 
Relatywizm językowy
Relatywizm językowyRelatywizm językowy
Relatywizm językowyArtur Machlarz
 
Krytyka hermeneutyki
Krytyka hermeneutykiKrytyka hermeneutyki
Krytyka hermeneutykiArtur Machlarz
 
Zwrot jezykowy
Zwrot jezykowyZwrot jezykowy
Zwrot jezykowyArtur Machlarz
 
Wprowadzenie do filozofii I
Wprowadzenie do filozofii IWprowadzenie do filozofii I
Wprowadzenie do filozofii IArtur Machlarz
 
Wolna informacja
Wolna informacjaWolna informacja
Wolna informacjaArtur Machlarz
 
Semantyczna teoria informacji 2
Semantyczna teoria informacji 2Semantyczna teoria informacji 2
Semantyczna teoria informacji 2Artur Machlarz
 
Sceptycyzm filozofia średniowieczna
Sceptycyzm filozofia średniowiecznaSceptycyzm filozofia średniowieczna
Sceptycyzm filozofia średniowiecznaArtur Machlarz
 
Platońska teoria idei
Platońska teoria ideiPlatońska teoria idei
Platońska teoria ideiArtur Machlarz
 
Kartezjusz
KartezjuszKartezjusz
KartezjuszArtur Machlarz
 
Immanuel Kant
Immanuel KantImmanuel Kant
Immanuel KantArtur Machlarz
 
Filozofia podział filozofii filozofia archaiczna
Filozofia podział filozofii filozofia archaicznaFilozofia podział filozofii filozofia archaiczna
Filozofia podział filozofii filozofia archaicznaArtur Machlarz
 
Filozofia Eleatów i Demokryta
Filozofia Eleatów i DemokrytaFilozofia Eleatów i Demokryta
Filozofia Eleatów i DemokrytaArtur Machlarz
 
Filozofia Arystotelesa
Filozofia ArystotelesaFilozofia Arystotelesa
Filozofia ArystotelesaArtur Machlarz
 
August Comte i program pozytywizmu
August Comte i program pozytywizmuAugust Comte i program pozytywizmu
August Comte i program pozytywizmuArtur Machlarz
 
Wprowadzenie do filozofii nowożytnej
Wprowadzenie do filozofii nowożytnejWprowadzenie do filozofii nowożytnej
Wprowadzenie do filozofii nowożytnejArtur Machlarz
 

Weitere ähnliche Inhalte

Mehr von Artur Machlarz

Strukturalizm de Saussure
Strukturalizm de SaussureStrukturalizm de Saussure
Strukturalizm de SaussureArtur Machlarz
 
Wprowadzenie do filozofii I
Wprowadzenie do filozofii IWprowadzenie do filozofii I
Wprowadzenie do filozofii IArtur Machlarz
 
Semantyczna teoria informacji 2
Semantyczna teoria informacji 2Semantyczna teoria informacji 2
Semantyczna teoria informacji 2Artur Machlarz
 
Sceptycyzm filozofia średniowieczna
Sceptycyzm filozofia średniowiecznaSceptycyzm filozofia średniowieczna
Sceptycyzm filozofia średniowiecznaArtur Machlarz
 
Platońska teoria idei
Platońska teoria ideiPlatońska teoria idei
Platońska teoria ideiArtur Machlarz
 
Filozofia podział filozofii filozofia archaiczna
Filozofia podział filozofii filozofia archaicznaFilozofia podział filozofii filozofia archaiczna
Filozofia podział filozofii filozofia archaicznaArtur Machlarz
 
Filozofia Eleatów i Demokryta
Filozofia Eleatów i DemokrytaFilozofia Eleatów i Demokryta
Filozofia Eleatów i DemokrytaArtur Machlarz
 
Filozofia Arystotelesa
Filozofia ArystotelesaFilozofia Arystotelesa
Filozofia ArystotelesaArtur Machlarz
 
August Comte i program pozytywizmu
August Comte i program pozytywizmuAugust Comte i program pozytywizmu
August Comte i program pozytywizmuArtur Machlarz
 
Wprowadzenie do filozofii nowożytnej
Wprowadzenie do filozofii nowożytnejWprowadzenie do filozofii nowożytnej
Wprowadzenie do filozofii nowożytnejArtur Machlarz
 

Mehr von Artur Machlarz (16)

Strukturalizm de Saussure
Strukturalizm de SaussureStrukturalizm de Saussure
Strukturalizm de Saussure
 
Relatywizm językowy
Relatywizm językowyRelatywizm językowy
Relatywizm językowy
 
Krytyka hermeneutyki
Krytyka hermeneutykiKrytyka hermeneutyki
Krytyka hermeneutyki
 
Zwrot jezykowy
Zwrot jezykowyZwrot jezykowy
Zwrot jezykowy
 
Wprowadzenie do filozofii I
Wprowadzenie do filozofii IWprowadzenie do filozofii I
Wprowadzenie do filozofii I
 
Wolna informacja
Wolna informacjaWolna informacja
Wolna informacja
 
Semantyczna teoria informacji 2
Semantyczna teoria informacji 2Semantyczna teoria informacji 2
Semantyczna teoria informacji 2
 
Sceptycyzm filozofia średniowieczna
Sceptycyzm filozofia średniowiecznaSceptycyzm filozofia średniowieczna
Sceptycyzm filozofia średniowieczna
 
Platońska teoria idei
Platońska teoria ideiPlatońska teoria idei
Platońska teoria idei
 
Kartezjusz
KartezjuszKartezjusz
Kartezjusz
 
Immanuel Kant
Immanuel KantImmanuel Kant
Immanuel Kant
 
Filozofia podział filozofii filozofia archaiczna
Filozofia podział filozofii filozofia archaicznaFilozofia podział filozofii filozofia archaiczna
Filozofia podział filozofii filozofia archaiczna
 
Filozofia Eleatów i Demokryta
Filozofia Eleatów i DemokrytaFilozofia Eleatów i Demokryta
Filozofia Eleatów i Demokryta
 
Filozofia Arystotelesa
Filozofia ArystotelesaFilozofia Arystotelesa
Filozofia Arystotelesa
 
August Comte i program pozytywizmu
August Comte i program pozytywizmuAugust Comte i program pozytywizmu
August Comte i program pozytywizmu
 
Wprowadzenie do filozofii nowożytnej
Wprowadzenie do filozofii nowożytnejWprowadzenie do filozofii nowożytnej
Wprowadzenie do filozofii nowożytnej
 

Przeplyw informacji w systemach rozproszonych

  • 1. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszonych Artur Machlarz 10 maja 2016 Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 2. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Plan wykładu 1 Temat wykładu Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji 2 Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 3. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Temat wykładu Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 4. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Gdzie jest...? Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 5. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Którędy dojdę do...? Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 6. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Informacja naturalna Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 7. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Sformułowanie problemu Co możemy osiągnąć dzięki wiedzy naukowej? 1 wykonać opis procesów fizycznych, biologicznych na różnych poziomach 2 opisać psychiczne procesy regulujące zachowanie ludzi w reakcji na otrzymywane sygnały itp. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 8. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Sformułowanie problemu Czy to wszystko, czego potrzebujemy? Naszym celem jest: Uzyskanie pełnej wiedzy na temat powiązań między różnymi elementami sytuacji przepływu informacji. Barwise i Seligman przyjmują, że istnieją specyficzne prawa przepływu informacji w systemach rozproszonych, które to prawa należy zrekonstruować. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 9. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji 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ów pewnego rodzaju a a1, ..., an są przedmiotami, które są odpowiednie jako argumenty relacji P. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 10. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji 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ów pewnego rodzaju a a1, ..., an są przedmiotami, które są odpowiednie jako argumenty relacji P. Przypomnienie: ta definicja odnosi się do informacji w pojęciowym sensie (a przynajmniej do takich agentów, którzy przystosowują się do środowiska wytwarzając behawioralne mechanizmy redukcji form analogowych do cyfrowych w sensie Dretskego) Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 11. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Infon - definicja Infon - podstawowy, elementarny nośnik informacji. Pojęcie wprowadzone przez K. Devlina. Infon jest sytuacją zawierającą informację o innej sytuacji. Nie ograniczamy możliwych rodzajów nośnika. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 12. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Infon - definicja Infon - podstawowy, elementarny nośnik informacji. Pojęcie wprowadzone 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ówi infon: s |= φ - sytuacja wspiera infon relacja |= jest tu rozumiana analogicznie do relacji między modelem i zdaniem w rachunku pierwszego rzędu. Infon σ jest faktem (jest prawdziwy) wtw świat jest taki, jak mówi. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 13. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Infon - dwie uwagi Infony zatem są relatywne do sytuacji. Infony nie są znakami w sensie językowym i nie są tym samym relatywne językowo. To uniezależnia wartości informacyjne od konkretnych systemów językowych. Z takim “relatywizmem” mieliśmy do czynienia w BHC. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 14. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Typy Każdy przedmiot może być przyporządkowany przynajmniej jednego typowi: TIM - typ lokalizacji czasowej IND - typ indywiduum SIT - typ sytuacji RELn - typ n-argumentowej relacji x : T - przedmiot x jest typu T. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 15. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Parametry Każdy z tych typów zawiera nieskończoną ilość podstawowych parametrów (tzn. zmiennych przebiegających zbiory przedmiotów pewnego typu): a∗ - parametry indywiduów s∗ - parametry sytuacji t∗ - parametry lokalizacji czasowej. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 16. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Typy i parametry - wykorzystanie Dzięki pojęciu typu i parametru możemy wprowadzić pewne zmienne do sytuacji (tzn. uogólnić je): [s∗ |s∗ |= φ] - typ sytuacji wspierający infon. Dowolna sytuacja należy do tego typu, jeśli wspiera infon φ. [x∗ |s1 |= człowiek, x∗ , Sibiu, 2000, TAK ] - typ takich przedmiotów x, które są ludźmi, dla których sytuacja s1 wspiera infon. Ten infon nie zawiera tylko przedmiotów, ale zawiera także zmienne (parametric infon) Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 17. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Informacja - rozwinięcie definicji P z ogólnej definicji podanej na początku można teraz wyrazić jako zdanie: ∃s(s |= ∃y ( Jest-zdjęciem, x, y, t; 1 ∧ Ma-złamaną-nogę, y, t; 1 )[f ]) f - anchor zbioru podstawowych parametrów, jest to funkcja przypisująca każdemu parametrowi jednego infonu przedmiot określonego typu. W tym przypadku funkcja ta przyporządkowuje do x konkretną osobę lub zwierzę oraz określony moment do czasu t. P jest zatem zdaniem mówiącym, że pewien stan rzeczy i inny stan rzeczy są rzeczywiste. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 18. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji Zasada xero - K. Devlin Podstawowe (intuicyjne) prawo - zasada xero: Jeśli istnieje ograniczenie C takie, że s niesie informację, że b jest F (względnie do C) i istnieje ograniczenie C’ takie, że fakt, że b jest F niesie infomrację, że Q (względnie do C’), to istnieje ograniczenie C” takie, że s niesie informację, że Q (względnie do C”). Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 19. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana Temat wykładu Sformułowanie problemu Keith Devlin - podstawowe założenia i pojęcia teorii informacji 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 albo różnego ograniczenia. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 20. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji System rozproszony Przykłady systemów rozproszonych: internet, sieci telefoniczne, sieć P2P Wszystkie śystemy”umożliwiające przepływ informacji, w których mamy moduły działające na odmiennych zasadach, w ramach innej logiki. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 21. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Klasyfikacja - definicja Klasyfikacja: Klasyfikacja A = A, ΣA |=A składa się ze zbioru A przedmiotów, które podlegają klasyfikacji (tokenów A), zbioru ΣA przedmiotów używanych do klasyfikacji tokenów (typy A) i binarnej relacji |=A między A oraz ΣA, która mówi jaki token jest klasyfikowany pod jaki typ. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 22. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Klasyfikacja - przykład 1 Sytuacja 1: indywidua podlegające klasyfikacji to dźwięk heksów w określonym czasie; typy, względem których dokonywana jest klasyfikacja: HAŁAS, CISZA; relacja przyporządkowuje indywidua w określonym momencie wskazanym typom Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 23. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Klasyfikacja - przykład 1 Sytuacja 1: indywidua podlegające klasyfikacji to dźwięk heksów w określonym czasie; typy, względem których dokonywana jest klasyfikacja: HAŁAS, CISZA; relacja przyporządkowuje indywidua w określonym momencie wskazanym typom Przykład 1: ht |=A CISZA - w danym momencie nie słyszymy charakterystycznego dźwięku heksów. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 24. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Klasyfikacja - przykład 2 Sytuacja 2: indywidua podlegające klasyfikacji to np. punkty na mapie w danym momencie; typy, względem których dokonywana jest klasyfikacja: NA WSCHÓD, NA ZACHÓD, NA PÓŁNOC, NA POŁUDNIE, AKTUALNA LOKALIZACJA; relacja przyporządkowuje indywidua wskazanym typom Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 25. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Klasyfikacja - przykład 2 Sytuacja 2: indywidua podlegające klasyfikacji to np. punkty na mapie w danym momencie; typy, względem których dokonywana jest klasyfikacja: NA WSCHÓD, NA ZACHÓD, NA PÓŁNOC, NA POŁUDNIE, AKTUALNA LOKALIZACJA; relacja przyporządkowuje indywidua wskazanym typom Przykład 2: pt |=A NAWSCHOD - w danym momencie wskazany punkt p zlokalizowany jest w kierunku wschodnim względem naszego położenia. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 26. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Formalna definicja ograniczenia (constraint) Pojęcie ograniczenia wykorzystuje relację konsekwencji: Γ α (α jest konsekwencją zdania lub zbioru zdań Γ). Ograniczenie (constraint): Załóżmy, że A jest klasyfikacją a para uporządkowana zbiorów typów Γ, ∆ jest logiczną konsekwencją klasyfikacji A. Token a należący do A spełnia Γ, ∆ oznacza, że jeśli a jest typu α dla dowolnego α ∈ Γ, to a jest typu α dla pewnego α ∈ ∆. ∆ jest w tym sensie konsekwencją Γ w kontekście klasyfikacji A. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 27. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Formalna definicja ograniczenia (constraint) Ograniczenie (constraint): Jeśli Γ A ∆, to para Γ, ∆ jest nazywana ograniczeniem w ramach klasyfikacji A. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 28. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Formalna definicja ograniczenia (constraint) Ograniczenie (constraint): Jeśli Γ A ∆, to para Γ, ∆ jest nazywana ograniczeniem w ramach klasyfikacji A. Zbiór wszystkich ograniczeń będzie nazywany teorią pewnej klasyfikacji, będzie to zbiór wszystkich regularności zachodzących w danym systemie. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 29. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Typologia ograniczeń 1 wynikanie - α β 2 konieczność - β 3 przypadki wyczerpujące - α, β 4 typy niekompatybilne - α, β 5 typy niespójne - α Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 30. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Typologia ograniczeń - przykłady Analiza przykładów - na wykładzie. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 31. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Definicja infomorfizmu (nieformalnie) Infomorfizm jest relacją między klasyfikacjami, która to relacja pozwala przyporządkować tokeny (czyli indywidua podlegające klasyfikacji) oraz typy jednej klasyfikacji, tokenom i typom drugiej klasyfikacji. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 32. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Definicja infomorfizmu Infomorfizm: Jeśli A = A, ΣA |=A i C = C, ΣC |=C są klasyfikacjami, to infomorfizm jest parą funkcji f = ˇf , ˆf spełniających dla wszystkich tokenów c należących do C i wszystkich typów α z A warunek: ˇf (c) |=A α wtw c |=C ˆf (α) Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 33. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Infomorfizm - przykład 1 Sytuacja 1: Znajdujemy się w punkcie A. Poszukujemy punktu B. Słyszymy dźwięk, który identyfikujemy jako dźwięk sprzętu wspinaczkowego. Idziemy w kierunku, z którego dochodził dźwięk. Proszę pokazać klasyfikacje, które tu się pojawiają i wyjaśnić zależności między nimi. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 34. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Infomorfizm - przykład 2 Sytuacja 2: Znajdujemy się w punkcie A. Poszukujemy punktu B. Mamy do dyspozycji mapę. Kontrola położenia na mapie pozwala nam stwierdzić, jak odległy jest punkt B od punktu A oraz ustalić kierunek marszu. Proszę pokazać klasyfikacje, które tu się pojawiają i wyjaśnić zależności między nimi. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 35. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Połączenie klasyfikacji Dowolne klasyfikacje A i C mogą być ze sobą połączone w jedną klasyfikację A + C. Taka klasyfikacja będzie miała następujące własności: jej tokeny to pary tokenów z obu klasyfikacji, jeśli zawierają te same typy, do indeksujemy je, tak, żeby zaznaczyć, że jeden typ pochodzi z klasyfikacji A, drugi zaś z B. Np. para a, b będzie typu NAWSCHODA w A + B wtw a jest typu NAWSCHÓD w klasyfikacji A. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 36. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Kanał informacyjny - definicja Kanał informacyjny: Kanał informacyjny składa się z indeksowalnej rodziny infomorfizmów C = {fi : Ai ↔ C}(i ∈ I) z pewnym wspólnym uniwersum C zwanym rdzeniem kanału. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 37. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Kanał informacyjny - przykład 1 Niech ruch wspinacza powodujący brzęczenie heksów będzie rdzeniem kanału. Proszę przedstawić całą sytuację w kategoriach sieci infomorfizmów między kilkoma klasyfikacjami. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 38. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Kanał informacyjny - przykład 2 Niech koncentracja uwagi osoby A na mapie będzie rdzeniem kanału. Proszę przedstawić całą sytuację w kategoriach sieci infomorfizmów między kilkoma klasyfikacjami. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 39. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Klasyfikacja i teoria Załóżmy, że token a jest tokenem typu α. Fakt, że a jest α niesie informację, że b jest typu β, wględnie do kanału C wtw a i b są połączone w kanale C. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 40. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Klasyfikacja i teoria Załóżmy, że token a jest tokenem typu α. Fakt, że a jest α niesie informację, że b jest typu β, wględnie do kanału C wtw a i b są połączone w kanale C. Problem: czy to oznacza, że musimy znać kompletną teorię Th(C), gdzie C jest rdzeniem jest kanału C. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 41. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Pierwsza zasada przepływu informacji Przepływ informacji wynika z regularności w systemie rozproszonym. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 42. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Druga zasada przepływu informacji Przepływ informacji dotyczy zarówno typów jak i indywiduów (por. F. Dretske i wątpliwości R. Millikan). Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 43. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Trzecia zasada przepływu informacji Na mocy regularności występujących między połączeniami informacje o pewnych komponentach systemu rozproszonego mogą nieść informacje o innych komponentach. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 44. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Czwarta zasada przepływu informacji Regularności danego systemu rozproszonego są względne do jego analizy w terminach kanału informacyjnego. Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 45. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Logika lokalna, prosty system rozproszony, uzupełnienia CDN... Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 46. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Literatura Literatura: Keith Devlin, Logic and Information, Cambridge 1995, Jon Barwise and John Perry, Situations and Attitudes, 1983. MIT Press Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo
  • 47. Temat wykładu Podstawowe pojęcia modelu Barwise’a i Seligmana System rozproszony Klasyfikacja Infomorfizm Kanał informacyjny - definicja Cztery zasady przepływu informacji Dziękuję za uwagę i zapraszam do stawiania pytań! Artur Machlarz e-mail: artur.machlarz@uni.opole.pl www: http://www.uni.opole.pl/∼machlarz Artur Machlarz Filozofia Informacji, Wykład X - Przepływ informacji w systemach rozproszo