Psychologiczna adekwatność modelu identyfikowalności w granicy
|
|
- Henryk Adamski
- 7 lat temu
- Przeglądów:
Transkrypt
1 Nina Gierasimczuk Psychologiczna adekwatność modelu identyfikowalności w granicy W jaki sposób człowiek uczy się swego pierwszego języka? Jak to możliwe, że korzystając ze szczątkowych i często wadliwych danych udaje mu się wykryć strukturę języka na tyle poprawnie, by móc się skutecznie porozumiewać? W jaki sposób zdobywa umiejętność konstruowania zdań, z którymi nigdy wcześniej się nie zetknął? Jak wreszcie opisać fragment umysłu odpowiadający za zdolności językowe, aby wyjaśnić fakt, że człowiek równie dobrze może jako pierwszego języka nauczyć się chińskiego jak i polskiego? Z tymi pytaniami mierzył się w swoich badaniach Noam Chomsky twórca współczesnego paradygmatu badań nad językiem. Postulował on istnienie wrodzonego mechanizmu umysłowego, umożliwiającego nabywanie zdolności językowych. W pracach Syntactic Structures oraz The Logical Stucture of Linguistic Theory zaproponował generatywistyczny model języka, który umożliwia analizowanie składni. 1. Lingwistyka Chomsky ego Istotne z naszego punktu widzenia cechy lingwistyki Chomsky ego można określić następująco: rozróżnienie na semantykę i składnię w badaniach nad językiem oraz podkreślenie związków językoznawstwa z psychologią i filozofią umysłu. Rozróżnienie na semantykę i składnię w badaniach nad językiem Rozróżnienie na semantykę i składnię wprowadzone zostało do językoznawstwa przez Chomsky ego. We wczesnym stadium rozwoju językoznawstwa semantyka i syntaktyka albo nie były rozróżniane albo granica pomiędzy nimi nie była wyznaczona (Lyons 1977). Noam Chomsky właściwie nie zajmował się zagadnieniami semantyki języka naturalnego. Ścisłe zdefiniowanie pojęć składni pozwoliło jednak na precyzyjne wyznaczenie obszaru syntaktyki i w ten sposób oddzielenie go od kwestii znaczeń językowych. Wprowadzenie ścisłego, matematycznego 1
2 aparatu służącego badaniom składni stworzyło możliwość ujmowania języka naturalnego jako zbioru (przynajmniej potencjalnie) nieskończonego. Pozostając w zgodzie z poprawnością gramatyczną można bowiem dowolnie wydłużać zdania języka naturalnego, np.: (1) Genji popatrzył na swoich ludzi. (2) Piękny Genji popatrzył na swoich ludzi. (3) (... ), posępny, piękny Genji popatrzył na swoich ludzi. albo: (4) Posępny, piękny Genji popatrzył na swoich ludzi, którzy spali (... ). W ten sposób uzyskamy nieskończony zbiór poprawnie zbudowanych zdań. Istnieją oczywiście praktyczne ograniczenia na długość zdań. W ogólnym przypadku nie wiadomo jednak, w którym miejscu granicę tę umieścić. Dlatego, do opisu języka potrzebujemy narzędzia, które (potencjalnie) będzie produkować nieskończony zbiór zdań. Takim narzędziem jest gramatyka, która określa dopuszczalne sposoby łączenia elementów słownika. Dla potrzeb modelu zakładamy, że słownik jest ustalony, skończony i niezmienny. Model ten nie wyjaśnia więc zjawisk związanych z ewolucją języków w tym paradygmacie zawsze badamy język w pewnym jego stadium. Przyjmujemy ponadto, że do opisu języka wystarcza skończenie wiele podstawowych reguł gramatycznych o charakterze rekurencyjnym. Wszak zdania 1 3 powstają wskutek powtarzania wciąż tej samej operacji rozszerzania frazy rzeczownikowej przez dodanie przymiotnika z lewej strony. Podkreślenie związków z psychologią, epistemologią i filozofią umysłu Zainicjowany przez Chomsky ego przełom można wyrazić w stwierdzeniu: lingwistyka jest częścią psychologii, bowiem badania nad językiem przyczyniają się do głębszego zrozumienia procesów umysłowych (zob. np. (Chomsky 1968)). Moduł umysłu, który umożliwia posługiwanie się językiem cechuje się dużą dostępnością badawczą. Język jako zewnętrzny wytwór procesów umysłowych staje się ważnym przedmiotem dociekań psychologicznych (zob. (Pinker 2000), (Macnamara 1986)). W swej teorii języka Noam Chomsky wyraża przekonanie, że jesteśmy wyposażeni w szereg swoistych zdolności (którym nadajemy nazwę umysłu ), odgrywających istotną rolę w przyswajaniu wiedzy i umożliwiających nam działania dowolne, niezdeterminowane przez zewnętrzne bodźce (choć podlegające pewnym wpływom z ich strony) (Chomsky 1965). Jedną z tych zdolności ma być możliwość przyswojenia języka, aktywowania tzw. kompetencji językowej. Warunkiem uaktywnienia tej wrodzonej potencjalności jest 2
3 obecność odpowiedniego bodźca. W jednej ze swych prac cytuje Leibniza: idee i prawdy są nam wrodzone jako skłonności, dyspozycje, nawyki i naturalne potencjalności, od siebie dodaje: doświadczenie służy wydobywaniu, a nie formowaniu tych wrodzonych struktur (Chomsky 1959). Jednym z celów lingwistyki Chomsky ego jest odkrycie struktury ludzkiej kompetencji językowej wraz z jej wrodzonymi elementami. Teza o wrodzoności pewnych zdolności językowych wspierana jest następującymi argumentami. Po pierwsze, językiem posługujemy się w sposób twórczy. Ze względu na nieskończony zbiór zdań, który może być generowany przez człowieka, języka nie można traktować ściśle behawiorystycznie, jako nawyku lub zbioru dyspozycji do reagowania. Zbiór zdań używanych przez człowieka nie zawiera się w zbiorze zdań wcześniej przez niego zasłyszanych. Jak już wcześniej wspomnieliśmy, postulowana przez Chomsky ego kompetencja językowa ma postać zbioru reguł rekurencyjnych. Podmiot, wyposażony w zestaw takich reguł jest w stanie stwierdzać poprawność wyrażeń lub tworzyć nowe wyrażenia, bez względu na to, czy zetknął się z nimi wcześniej czy nie. Ten aspekt lingwistyki Chomsky ego sprawił, że określa się ją mianem generatywnej. Po drugie, według Chomsky ego, struktura języka ma charakter uniwersalny. Chomsky twierdzi, że tzw. struktury głębokie są bardzo podobne w różnych językach, a reguły rządzące przekształceniami struktur głębokich w struktury powierzchniowe dają się zamknąć w wąskiej klasie operacji formalnych (Chomsky 1995). Zjawisko to początkowo wyjaśniane jest przez odwołanie się do wrodzonego mechanizmu nabywania kompetencji językowej (Chomsky 1965). W późniejszych pracach Chomsky zakłada istnienie podstawowego zrębu wszystkich gramatyk, obecnego w każdym umyśle. Ten podstawowy zbiór reguł nazywa gramatyką uniwersalną (Chomsky 1995). Chomsky odrzuca inne możliwe przyczyny strukturalnego podobieństwa języków: postulat maksymalnej prostoty, do której mogły dążyć języki podczas swojego rozwoju, postulat powszechnej logiczności oraz koncepcję wspólnego pochodzenia wszystkich języków ludzkich. Nie tylko fakt podobieństwa różnych istniejących języków naturalnych jest dla niego zastanawiający. Równie zaskakujące jest podobieństwo występujące wśród zdolności językowych poszczególnych użytkowników tego samego języka. [... ] dany schemat gramatyki określa klasę możliwych hipotez; metoda interpretacji umożliwia testowanie każdej hipotezy na danych wejścia; miara ewaluacyjna wybiera najwyżej ocenianą gramatykę zgodną z danymi. Od momentu, gdy hipoteza [... ] zostanie wybrana, uczący się zna język przez nią definiowany. W szczególności [... ] [jest 3
4 on w stanie generować] nieskończony zbiór zdań z którymi nigdy się nie zetknął. (Chomsky 1967) Wrodzonym elementem kompetencji językowej ma więc być według Chomsky ego aparat służący nabywaniu zdolności językowej, LAD (skrót od Language Acquisition Device)(Chomsky 1965). Problem opisu LAD podjął E. M. Gold w pracy Identification in the Limit. Zaproponował tam model nabywania wiedzy składniowej, zwany identyfikacją w granicy. Postulowane przez niego rozwiązanie ma charakter hipotetyczny, jest jedną z możliwych odpowiedzi na problem postawiony przez Chomsky ego. Jednocześnie propozycja Golda jest bardzo ogólna modeluje wyuczalność wskazując na jej ograniczenia, bez odwołania do poszczególnych praktycznych realizacji algorytmów uczących się. Model ten nie wywarł wpływu ani na współczesną psychologię poznawczą ani epistemologię. Stało się tak prawdopodobnie dlatego, że wykorzystuje on zaawansowany matematycznie zestaw narzędzi. Propozycja ta spotkała się z potężnym odzewem w informatyce teoretycznej, językoznawstwie komputerowym i badaniach nad sztuczną inteligencją. Jej aspekt psycholingwistyczny pozostał praktycznie niezbadany. 2. Podstawowe definicje Poniżej wprowadzam terminologię potrzebną do dalszych rozważań. Alfabet to skończony i niepusty zbiór symboli. Na przykład: A = {a, b} alfabet binarny; Słowo to skończony ciąg symboli wybranych z pewnego alfabetu. Na przykład: ciąg aaabbbaababaa jest słowem nad alfabetem A. Jeśli A jest alfabetem, to przez A k oznaczamy zbiór słów długości k nad alfabetem A. Na przykład {a, b} 2 = {aa, ab, ba, bb}. Dla dowolnego alfabetu A mamy A 0 = {λ}. Zbiór wszystkich słów nad alfabetem A oznaczamy przez A, np. {a, b} = {λ, a, b, aa, ab, ba, bb, aaa,...}. Innymi słowy A = n ω An. Dowolny zbiór słów wybranych z A, dla pewnego alfabetu A, nazywamy językiem. Jeśli A jest alfabetem oraz L A, to mówimy, że L jest językiem nad A. Definicja 1. Gramatyka G jest to struktura postaci (A, Σ, S, P ), gdzie: A jest alfabetem (alfabetem terminalnym); Σ jest zbiorem zmiennych (alfabetem nieterminalnym); S Σ jest symbolem początkowym; P jest skończonym zbiorem par postaci α i β i dla i = 1,..., n oraz α i, β i (A Σ). 4
5 Definicja 2. Dla dowolnych γ, γ (A Σ) powiemy, że γ jest w gramatyce G bezpośrednio wyprowadzalna z γ, czyli γ G γ wtedy i tylko wtedy, gdy istnieją η 1, η 2 oraz i = 1,..., n, takie, że γ = η 1 α i η 2 oraz γ = η 1 β i η 2. Definicja 3. γ jest w gramatyce G wyprowadzalna z γ, czyli γ G γ wtedy i tylko wtedy, gdy istnieje ciąg γ 1,..., γ m (A Σ) taki, że γ = γ 1, γ = γ m oraz γ i G γ i+1, dla i = 1,..., m 1. Definicja 4. Język generowany przez gramatykę G jest to zbiór: L(G) = {γ A : S G γ}. Hierarchia języków Język L jest rekurencyjnie przeliczalny wtedy i tylko wtedy, gdy istnieje maszyna Turinga e taka, że α L {e}(α), dla dowolnego α A, czyli: maszyna Turinga e zatrzymuje się tylko na słowach należących do języka L. Język L jest rekurencyjny wtedy i tylko wtedy, gdy istnieje maszyna Turinga M licząca funkcję χ L taką, że dla dowolnego α L: 0 jeśli α / L χ L (α) = 1 jeśli α L. Język L jest pierwotnie rekurencyjny wtedy i tylko wtedy, gdy jego funkcja charakterystyczna jest pierwotnie rekurencyjna (w sprawie pojęć teorii rekursji zob. (Shoenfield 1991), (Cutland 1980)). Języki kontekstowe są postaci L(G), gdzie wszystkie produkcje gramatyki G są postaci: η 1 Y η 2 G η 1 βη 2, dla Y Σ, η 1, η 2, β (A Σ). Języki bezkontekstowe są postaci L(G), gdzie wszystkie produkcje gramatyki G są postaci: Y G β, dla Y Σ, β (A Σ). Języki regularne są postaci L(G), gdzie wszystkie produkcje gramatyki G są postaci: Y G αz lub Y G α, dla Y, Z Σ, α A. 5
6 3. Identyfikowalność w granicy Jak wcześniej zaznaczyłam, człowiek nie uczy się pierwszego języka poprzez zapamiętywanie reguł gramatycznych podanych explicite. Odbywa się to przez pewien rodzaj generalizacji zasłyszanych elementów języka. Od algorytmu uczącego się oczekujemy tego samego przyswajania zbioru reguł gramatycznych na podstawie szczątkowych danych, przypadkowych elementów języka. Model identyfikowalności w granicy (Gold 1967) ukazuje możliwy przebieg tego procesu. Model działa dla ustalonej klasy języków. Zostaje z niej wybrany jeden język. Uczeń otrzymuje informacje na jego temat. Ukazane są one na jeden z możliwych sposobów według przyjętej metody prezentacji danych. Zadanie ucznia polega na odgadnięciu nazwy wybranego języka. Nazwami języków są ich opisy, na przykład gramatyki. Model identyfikacji w granicy polega więc na wyszukiwaniu odpowiedniej gramatyki opisującej zaprezentowany ciąg informacji dotyczącej wybranego języka. W każdym kolejnym kroku procedury uczniowi prezentowana jest jednostka danych dotycząca nieznanego języka. Każdorazowo uczeń ma więc do dyspozycji tylko skończony zbiór danych. W każdym kroku uczeń wybiera nazwę języka. Ta procedura przebiega w nieskończoność. Język jest identyfikowany w granicy, gdy po pewnym czasie uczeń wybiera poprawnie ciągle tę samą nazwę (gramatykę). Właściwa identyfikowalność dotyczy klas języków. Cała klasa języków jest identyfikowalna w granicy, gdy istnieje algorytm zgadujący (uczeń) taki, że identyfikuje on w granicy dowolny język z tej klasy. Warto zaznaczyć, że uczeń nie ma dostępu do informacji, kiedy jego zgadnięcia są prawidłowe. Przetwarza informacje w nieskończoność, ponieważ nie może stwierdzić, czy w kolejnym kroku nie dostanie informacji, która zmusi go do zmiany wyboru. Identyfikowalność zależy trzech czynników: wybranej klasy języków, metody prezentacji danych dotyczących języka oraz przyjętej relacji nazywania. Najważniejszą częścią modelu jest zaś algorytm zgadujący (uczeń). Klasa języków Zanim uruchomimy procedurę uczenia się należy wybrać pewną klasę języków Ω = {L : L A }. Będziemy w pracy rozważać klasy języków skończonych, regularnych, bezkontekstowych, kontekstowych, pierwotnie rekurencyjnych, rekurencyjnych i rekurencyjnie przeliczalnych. Klasy te zostały zdefiniowane wcześniej. Z ustalonej klasy wybieramy jeden język, dla ustalenia uwagi L 44. Zadaniem ucznia będzie odszukanie nazwy opisującej L 44. Wybierać będzie spośród udostępnionego mu zbioru nazw wszystkich języków z klasy Ω. 6
7 Metoda prezentacji danych Informacja o języku może być prezentowanana uczniowi na dwa sposoby: jako tekst lub jako informant. Zdefiniowane poniżej ciągi danych nazywamy inaczej ciągami treningowymi. Definicja 5. TEKST dla L jest ω ciągiem I słów α 1, α 2,... L, takim, że każde słowo α L pojawia się przynajmniej raz w I. Tekst dla danego języka L składa się z elementów L. Dla każdego języka jest ciągiem nieskończonym, ponieważ dopuszczamy powtarzanie się jego elementów. Identyfikowalność przy pomocy tekstu nazywana jest też identyfikowalnością z danych pozytywnych. W zależności od sposobu wyliczenia i tego elementu tekstu wyróżniamy następujące rodzaje tekstu: arbitralny, to taki, którego i ty element wyliczany jest przez dowolną funkcję; rekurencyjny, to taki, którego i ty element wyliczany jest przez dowolną rekurencyjną funkcję od numeru kroku w którym element się pojawia; pierwotnie rekurencyjny, to taki, którego i ty element jest wyliczany przez dowolną pierwotnie rekurencyjną funkcję od numeru kroku w którym element się pojawia. Definicja 6. INFORMANT dla L jest ω ciągiem I elementów z (A {0, 1}), takim, że dla każdego α A : (α, 1) I jeśli α L (α, 0) I jeśli α L. Informant to uporządkowanie wszystkich możliwych ciągów nad danym alfabetem wraz z informacjami, czy elementy te należą, czy nie należą do danego języka. Tak więc, I jest identyczna z funkcją charakterystyczną χ L zbioru L względem zbioru A. Identyfikowalność przy pomocy informantu nazywana jest też identyfikowalnością poprzez dane pozytywne i negatywne. W zależności od sposobu wyliczenia i tego ciągu wyróżniamy następujące rodzaje informantu: arbitralny, to taki, którego i ty element jest wyliczany przez dowolną funkcję, o ile każdy ciąg z A pojawia się w informancie przynajmniej raz; metodyczny, to taki, który jest apriorycznym uporządkowaniem A, zaś i ty element to element w porządku o numerze i; żądający, to taki, którego i ty element wybierany jest przez ucznia w kroku i na podstawie dotychczasowych danych. 7
8 Relacja nazywania Uczeń może używać dwóch tzw. relacji nazywania, czyli dwóch sposobów decydowania o adekwatności danej nazwy dla poszukiwanego języka: Definicja 7. Generator dla L jest Maszyną Turinga e taką, że: L = {α A : {e}(α) }. Jak już wspomnieliśmy nazwy mają charakter opisowy. Z gramatyki nazwy opisowej danego języka, łatwo otrzymujemy maszynę Turinga będącą generatorem. Nazywanie przebiega poprzez generowanie z wybranej gramatyki odpowiednich ciągów oraz porównywanie ich z otrzymanymi wcześniej danymi. Jeśli są zgodne, uczeń decyduje się na wybór tej maszyny Turinga. Jeśli nie, wybiera inną i z nią postępuje tak samo. Definicja 8. Tester dla L jest Maszyną Turinga, która oblicza funkcję χ L taką, że dla każdego α A : 0 jeśli α / L χ L (α) = 1 jeśli α L. Nazywanie przebiega w tym przypadku poprzez sprawdzanie wybranym testerem przynależności do języka wszystkich elementów otrzymanego ciągu danych. Jeśli dla wszystkich elementów odpowiedź testera była pozytywna, uczeń wybiera ten tester. Jeśli dla któregoś wynik postępowania był negatywny, uczeń odrzuca tę hipotezę i wybiera inny tester. Algorytm zgadujący Algorytmowi zgadującemu odpowiada funkcja Zg : I N, gdzie I jest zbiorem wszystkich możliwych skończonych ciągów informacji, N jest zbiorem wszystkich nazw języków z danej klasy. Definicja 9. Niech I L = i 1, i 2, i 3,... będzie ω ciągiem treningowym dla L. Wtedy: L jest identyfikowany w granicy przez funkcję Zg względem ciągu I L istnieje nazwa N języka L taka, że k u k Zg(i 1,..., i u ) = N. Definicja 10. Niech Ω będzie klasą par postaci (L, N), gdzie N jest nazwą języka L. Wtedy: Ω jest identyfikowalna w granicy dowolny język L z klasy Ω jest identyfikowany w granicy (oczywiście względem odpowiedniego systemu nazw). Z reguły ważniejsze klasy języków mają pewne kanoniczne systemy nazw, na przykład: języki regularne można nazywać za pomocą automatów skończonych, gramatyk regularnych lub wyrażeń regularnych. Odpowiednie systemy nazw są tutaj wzajemnie efektywnie przekładalne. Nie ma więc znaczenia, 8
9 który system wybieramy. Podobne systemy nazw mają języki bezkontekstowe (gramatyki bezkontekstowe lub automaty ze stosem), języki pierwotnie rekurencyjne (termy definiujące pierwotnie rekurencyjne funkcje charakterystyczne). Maszyny Turinga liczące funkcje charakterystyczne są kanonicznym systemem nazw dla języków rekurencyjnych. W tym przypadku sam system nazw nie jest jednak rekurencyjny. W pracach poświęconych teorii uczenia przyjmuje się, że każda z tych podstawowych klas języków zadana jest wraz z odpowiadającym jej kanonicznym systemem nazw. Klasy języków rozpatrywane z punktu widzenia wyuczalności muszą być reprezentowane wraz z odpowiednim systemem nazw, czyli przyporządkowaniem każdemu językowi zbioru jego nazw lub, równoważnie, należy rozpatrywać klasy par (L, N), gdzie N jest nazwą języka L. Przypomnijmy, że nazwa zawiera skończony opis odpowiedniego języka. Przyjęte jest, że tam, gdzie istnieje taki kanoniczny system nazw pomija się go w opisie odpowiedniej klasy języków. Tak więc, mówimy po prostu o wyuczalności klas języków regularnych, bezkontekstowych, kontekstowych, pierwotnie rekurencyjnych, rekurencyjnych, milcząco zakładając, że określony jest odpowiedni kanoniczny system nazw. Przyjmując powyższy aparat możemy udowodnić następujące twierdzenia (Gold 1967): Twierdzenie 1. Następujące warunki są równoważne: 1. klasa języków jest identyfikowalna w granicy przy pomocy arbitralnego informantu; 2. klasa języków jest identyfikowalna w granicy przy pomocy metodycznego informantu; 3. klasa języków jest identyfikowalna w granicy przy pomocy żądającego informantu. Twierdzenie 2. Klasa języków rekurencyjnych nie jest identyfikowalna w granicy przez metodyczny informant z generatorem. Twierdzenie 3. Klasa języków skończonych jest identyfikowalna w granicy przez arbitralny tekst z testerem. Twierdzenie 4. Żadna klasa języków zawierająca wszystkie języki skończone i przynajmniej jeden nieskończony (tzw. nadskończona klasa języków) nie jest identyfikowalna w granicy przez rekurencyjny tekst z generatorem. Poniżej znajduje się zestawienie dotyczące wyuczalności w modelu identyfikowalności w granicy. 9
10 Pierwotnie rekurencyjny tekst z generatorem Informant Tekst rekurencyjnie przeliczalne rekurencyjne pierwotnie rekurencyjne kontekstowe bezkontekstowe regularne nadskończona języki skończonej mocy Tabela 1. Wyuczalność i niewyuczalność klas języków w modelu Golda 4. Psycholingwistyczna analiza modelu Golda Przejdźmy teraz do wyodrębnienia i analizy podstawowych założeń modelu Golda. Porównamy je z naturalnym procesem przyswajania zdolności językowych. Uczenie jest procesem nieskończonym Założenie to odpowiada intuicji na temat nabywania zdolności językowych. Nie tylko w dzieciństwie rozwijamy zdolności lingwistyczne. Edukacja językowa nie kończy się w jakimś ustalonym momencie, że wciąż dowiadujemy się nowych rzeczy na temat języka. Z czasem dane językowe coraz rzadziej są istotne dla rozwoju naszej kompetencji językowej. Nawet jeśli uznamy, że proces nabywania wiedzy składniowej jest skończony i upływa wraz z np. trzynastym rokiem życia (zob. (Kurcz 2000)), to wciąż nieskończony model identyfikacji możemy z powodzeniem odnosić do procesu przyswajania semantycznej wiedzy językowej. Ponadto tak jak w naturalnym procesie tak i w modelu Golda uczeń nigdy nie wie, kiedy gramatyka, którą się posługuje jest prawidłowa. Wciąż istnieje bowiem możliwość, że niektóre z danych językowych spowodują zmiany w przyswojonej gramatyce. Efektem uczenia się jest ustabilizowanie ciągu wyników na jednej, poprawnej odpowiedzi Założenie to można osłabić oczekując jedynie stabilizacji odpowiedzi na jednym języku, dopuszczając wahania w identyfikacji konkretnej gramatyki. Osłabienie definicji identyfikowalności w granicy może zmienić własności wyuczalności. Co więcej, niewykluczone, że może doprowadzić do nowych wyników w dziedzinie teorii uczenia się. Ponadto, uznajemy czyjąś znajomość języka na podstawie sprawnego porozumiewania się. Na drugi plan schodzi wtedy kwestia, jaką gramatyką dany osobnik się posługuje. Nie musimy zakładać, że język naturalny posiada jeden prawidłowy opis gramatyczny i że właśnie ten opis jest standardowo 10
11 przyswajany przez wszystkich użytkowników języka. Co więcej, nie musimy nawet zakładać, że pojedynczy człowiek ustala swą wiedzę językową raz na zawsze. Stabilizacja ta nie jest konieczna, o ile jej brak nie zakłóca sprawnego porozumiewania się. Takie złagodzenie warunku przyswojenia języka nie jest zgodne ze stanowiskiem Chomsky ego. Według niego język posiada jedną prawidłową strukturę gramatyczną, która każdorazowo podlega wyuczeniu (Chomsky 1995) (por. (Quine 1990), (Gierasimczuk 2004)). Pojęcie identyfikowalności dotyczy określonych klas języków Jeżeli uczenie miałoby przebiegać na zasadzie identyfikacji języka wybranego z pewnej określonej klasy, mielibyśmy poszlakę w postaci górnej granicy złożoności języka naturalnego. Na przykład, jeśli mechanizm uczenia umożliwia wyuczalność tylko klasy języków kontekstowych, to górnym ograniczeniem na złożoność struktury języka naturalnego byłaby właśnie kontekstowość. W drugą stronę ta zależność nie zachodzi. Przyjmijmy, że udało się przeanalizować dostępne języki naturalne pod kątem ich struktury składniowej, a następnie wydać sąd na temat górnego ograniczenia ich złożoności. Wciąż możliwe jest to, że mechanizm wyuczalności działa również dla języków z wyższych klas. Co więcej możliwe, że ten sam mechanizm wyuczalności stosuje się do rozmaitych umiejętności pozajęzykowych. Uczymy się przecież nie tylko języka, lecz także gestykulacji, mimiki czy prowadzenia samochodu. Aktywności tego rodzaju mogą mieć dowolną złożoność, której nie jesteśmy w stanie w tej chwili oszacować. Daleko nam bowiem do zrozumienia i matematycznego opisania zasad rządzących tymi zdolnościami. Dlatego możliwe, że mechanizm wyuczalności jest silniejszy niż oczekiwalibyśmy, gdyby dotyczył tylko uczenia się języka naturalnego. Uczeń posiada umiejętność testowania ciągów za pomocą automatów i generowania ciągów za pomocą gramatyk Jest to założenie dotyczące struktury algorytmu zgadującego (relacji nazywania), które można rozważyć w kontekście wrodzonych mechanizmów poznawczych. Nie wydaje się ono zbyt kontrowersyjne. Można je bez większych zastrzeżeń akceptować. Zaletą propozycji Golda jest fakt, że model ten nie wymaga istnienia jakichkolwiek wrodzonych uczniowi struktur gramatycznych. Struktura gramatyczna jest w całości przyswajana z próbek językowych przez pewnego rodzaju uogólnienie. Przyjmując model Golda pomija się więc kwestię wspólnego zrębu wszystkich języków ludzkich tzw. gramatyki uniwersalnej. W założeniu miałaby ona być tym, co łączy wszystkie języki ludzkie, a zarazem wszystkie ludzkie umysły w aspekcie kompetencji językowej (Chomsky 1995). 11
12 Ciekawym wynikiem pracy Identification in the Limit jest twierdzenie 4. Głosi ono, że żadna klasa, która mogłaby zawierać język naturalny, nie jest wyuczalna z danych pozytywnych (tekstu). Język naturalny zwykle umieszcza się w hierarchii na wysokości języków bezkontekstowych, niekiedy kontekstowych (zob. (Partee et al. 1993)). Przyjęcie modelu Golda jako trafnie opisującego mechanizm nabywania języka daje niebanalny wynik istotny dla psychologii poznawczej, epistemologii, językoznawstwa, jak również badań nad sztuczną inteligencją. Okazuje się bowiem, że dla identyfikacji (wyuczalności) języka naturalnego potrzeba czegoś więcej niż tylko danych pozytywnych. Wymaga ona informacji na temat granic wyuczanego języka w postaci informacji negatywnej: to zdanie nie należy do poszukiwanego języka. Czy wynik ten zgodny jest ze świadectwami empirycznymi dotyczącymi naturalnego przyswajania języka? Niektórzy uważają, że informacja negatywna jest znikoma i ignorowana przez dziecko (Chomsky 1965). Badacze wciąż spierają się na ten temat, proponując nowe ograniczenia na model wyuczalności tak, aby rozszerzyć identyfikowalność z danych pozytywnych na klasy języków wyższe niż skończone (zob. np. (Angluin 1980)). Ograniczenie wynikające z twierdzenia 4 nie wydaje nam się kontrowersyjnie. Dziecko we wczesnym stadium lingwistycznym otrzymuje dane pozytywne w postaci zasłyszanych zdań, negatywne zaś w postaci korekt pochodzących od nauczyciela. Pojawia się tutaj pytanie o nieodzowność udziału nauczyciela w procesie przyswajania języka. 5. Uczenie się semantyki Dotychczas zastanawialiśmy się jedynie nad wyuczalnością składniowego aspektu języka. Naturalnym kierunkiem dalszych rozważań jest kwestia uczenia się semantyki języka 1. Problem ten jest stosunkowo słabo zbadany. Jako przykład konstrukcji semantycznych badanych pod względem wyuczalności podać można konstrukcje kwantyfikatorowe. Problem wyuczalności konstrukcji kwantyfikatorowych po raz pierwszy podjęty został przez Johana van Benthema (van Benthem 1986), a następnie rozważany w kilku innych pracach (zob. (Clark 1996), (Florêncio 2002), (Tiede 1999)). Były to próby zastosowania modelu uczenia się składni zaprezentowanego w niniejszej pracy do problemu uczenia się semantyki języka. W jaki sposób przyswajamy znaczenie wyrażeń kwantyfikatorowych w języku naturalnym? Znaczenie wyrażeń języka naturalnego można utożsamić z procedurami rozpoznawania ich ekstensji (Moschovakis 1994), (Szymanik 1 Zagadnienie wyuczalności semantyki obliczniowej potraktowane zostało tutaj skrótowo. Więcej szczegółów znajdzie czytelnik w (Gierasimczuk 2007). 12
13 2004). Rozsądnym wydaje się przyjęcie, że przyswajanie znaczenia wyrażeń kwantyfikatorowych odbywa się poprzez uczenie się procedur wyznaczania ich denotacji. Opierając się na definicji kwantyfikatora monadycznego zaproponowanej przez Lindströma (Lindström 1966), możemy zakodować klasy modeli skończonych odpowiadających danemu kwantyfikatorowi. Takie klasy modeli skończonych mogą być reprezentowane przez odpowiednie języki (Mostowski 1998). Jako takie, mogą podlegać wyuczalności w tym samym sensie, co języki w ujęciu składniowym. Poniżej znajduje się kilka faktów dotyczących klas kwantyfikatorów monadycznych i modeli obliczeń rozpoznających te klasy. Kwantyfikator Q jest definiowalny w logice pierwszego rzędu L Q jest akceptowany przez pewien acykliczny automat skończony (van Benthem 1986). Monadyczny kwantyfikator Q jest definiowalny w logice podzielności F O(D ω ) L Q jest akceptowany przez pewien automat skończony (Mostowski 1998). W języku naturalnym istnieje wiele kwantyfikatorów niedefiniowalnych środkami gramatyk bezkontekstowych. Oto kilka rezultatów połączenia idei kodowania konstrukcji kwantyfikatorowych oraz wyuczalności składniowej. Klasy F O, F O(D ω ) oraz półliniowych kwantyfikatorów nie są identyfikowalne w granicy z danych pozytywnych, ale są identyfikowalne w granicy z danych pozytywnych i negatywnych. Istnieją podklasy klas wymienionych powyżej, które są identyfikowalne w granicy przy pomocy tekstu, np. zbiór kwantyfikatorów left upward monotone (Tiede 1999). Kwestia adekwatności narzędzi teorii uczenia się składni do opisu uczenia się semantyki jest oczywiście dyskusyjna. Wątpliwości mogą dotyczyć adekwatności tego aparatu do kształtowania kompetencji semantycznej. W obrębie tej kompetencji wyróżnić można kilka powiązanych ze sobą mechanizmów: zdolność do sprawdzania wartości logicznej zdania w danym modelu, zdolność do rozpoznawania relacji wynikania pewnego zdania z innych zdań oraz zdolność do generowania adekwatnych opisów, czyli zdań prawdziwych w danym modelu (Mostowski 1994), (Bucholc 2004), (Mostowski Wojtyniak 2004). Można więc kompetencję semantyczną przedstawić w następujący sposób. Faktem jest, że rozpatrywane wcześniej modele wyuczalności nie są wrażliwe na rozróżnienie pomiędzy rozpoznawaniem a generowaniem adekwatnych opisów. Można argumentować, że istnieje wzajemny przekład pomiędzy automatami a gramatykami (zob. (Hopcroft et al. 2001)). Nie wydaje 13
14 zdolność sprawdzania wartości logicznej wejście: model M oraz zdanie ϕ; Czy M = ϕ? zdolność do rozpoznawania Kompetencja relacji wynikania semantyczna wejście: zdania ϕ, ψ; Czy ϕ = ψ? zdolność do generowania adekwatnych opisów wejście: model M; znajdź zdanie ϕ takie, że M = ϕ Rysunek 1. Kompetencja semantyczna się jednak aby taka redukcja poprawnie zdawała sprawę z procesu przyswajania konstrukcji semantycznych. Wydaje się, że najpierw człowiek rozumie konstrukcje semantyczne, a dopiero później sam zaczyna je konstruować. Generowanie opisów jest prawdopodobnie bardziej skomplikowane niż testowanie ich trafności (zob. (Bates 1995), (Benedict 1979), (Clark 1993), (Fraser 1979), (Goldin-Meadow 1976), (Layton 1979)). 6. Podsumowanie W konfrontacji z naturalnym procesem przyswajania języka model identyfikacji w granicy szczególnie dobrze oddaje to, że uczeń nigdy nie dowiaduje się kiedy przyswojona przez niego gramatyka jest prawidłowa. Inną zaletą metodologiczną modelu Golda jest fakt, że pojęcie identyfikowalności dotyczy określonych klas języków. Założenie to pozwala wnioskować o strukturze języka naturalnego (jego miejscu w hierarchii języków) na podstawie struktury kompetencji językowej. Ważną cechą zaprezentowanego modelu jest to, że nie zakłada on istnienia wrodzonego zrębu wszystkich gramatyk, w sensie gramatyki uniwersalnej postulowanej przez Chomsky ego. Okazuje się więc, że przyjęcie algorytmicznego modelu kompetencji językowej nie wymaga postulowania części wspólnej wszystkich języków naturalnych. Ich podobieństwo może być spowodowane przynależnością do takiej klasy, którą wrodzony mechanizm uczenia się jest w stanie identyfikować, na przykład klasy wszystkich języków bezkontekstowych. Zagadnieniem ściśle wiążącym się z wyuczalnością składni języka jest wyuczalność semantyki. Algorytmiczna teoria znaczenia stwarza możliwość zredukowania problemu przyswajania znaczeń konstrukcji semantycznych do 14
15 problemu przyswajania odpowiadających tym konstrukcjom języków. Języki te uzyskiwane są poprzez kodowanie modeli skończonych, w których zdanie z odpowiednią konstrukcją jest prawdziwe. Dzięki takiemu zabiegowi możemy stosować narzędzia formalnej teorii uczenia się, powstałej na potrzeby badań składniowych, do problemu uczenia się semantyki. Przykładem takiego narzędzia może być model identyfikacji w granicy. Pozostaje jednak pytanie o adekwatność takiego podejścia wobec złożoności naturalnego procesu przyswajania znaczeń z jednej strony, a z drugiej złożoności postulowanego modelu kompetencji semantycznej. Literatura Angluin, D. (1980). Inductive inference of formal languages from positive data. Information and Control 45. van Benthem, J. (1986). Essays in logical semantics. Dordrecht: Reidel Publishing Company. Bates, E., P.S. Dale and D. Thal (1995). Individual Differences and their Implications, W: P. Fletcher, B. MacWhinney (red.), The Handbook of Child Language. Oxford: Blackwell. Benedict, H. (1979). Early Lexical Development: Comprehension and Production. Journal of Child Language 6. Bucholc, P. (2004). Kompetencja logiczna a poprawność logiczna. Analiza na przykładzie terminów pustych, W: J. Szymanik, M. Zajenkowski (red.), Kognitywistyka. O umyśle umyślnie i nieumyślnie. Warszawa: Koło Filozoficzne przy Kolegium MISH. Chomsky, N. (1959). Review of Verbal Behavior by B.F. Skinner. Language 35/1. (1965). Aspects of the theory of syntax. Cambridge: The M.I.T. Press. (1965). Cartesian linguistics. Nowy Jork: Harper & Row. (1968). Language and mind. Nowy Jork: Harcourt Brace. (1967). Recent contributions to the theory of innate ideas. In Syntheses 17. (1995). The minimalist program. Cambridge: The MIT Press. Clark, E.V. (1993). The Lexicon in Acquisition. Cambridge: Cambridge University Press. Clark, R. (1996). Learning first order quantifiers denotations. An essay in semantic learnability. IRCS Technical Report, University of Pennsylvania. Cutland, N. (1980). Computability. An introduction to recursive function theory. Cambridge: Cambridge University Press. Fraser, C., U. Bellugi (1979). Control of Grammar in Imitation, Production, and Comprehension. Journal of Verbal Learning and Verbal Behaviour 2. Florêncio, C. C. (2002). Learning generalized quantifiers. Proceedings of Seventh ESSLLI Student Session. Gierasimczuk, N. (2004). Teoretyczny model nabywania języka według Quine a, W: J. Szymanik, M. Zajenkowski (red.), Kognitywistyka. O umyśle umyślnie i nieumyślnie. Warszawa: Koło Filozoficzne przy Kolegium MISH. 15
16 (2007). The Problem of Learning the Semantics of Quantifiers, W: B. ten Cate, H. Zeevat (red.), Proceedings of the Tbilisi Symposium on Language, Logic and Computation 2005, Lectures Notes in Artificial Intelligence Gold, E. M. (1967). Language identification in the limit. Information and Control 10. Goldin-Meadow, S., M.E.P. Seligman (1976). Language in the Two Year Old. Cognition 4. Hopcroft, J., R. Motwani, J. Ullman (2001). Introduction to automata theory, languages, and computation. Nowy Jork: Addison-Wesley. Kurcz, I. (2000). Psychologia języka i komunikacji. Warszawa: Wydawnictwo Naukowe Scholar. Layton, T.L., S.L. Stick (1979). Comprehension and Production of Comparatives and Superlatives. Journal of Child Language 6. Lindström, P. (1966). First order predicate logic with generalized quantifiers. Theoria 32. Lyons, J. (1977). Semantics. Cambridge: Cambridge University Press. Macnamara, J. (1986). A Border dispute. The place of logic in psychology. Cambridge: The MIT Press. Moschovakis (1994). Sense and denotation as algorithm and value, W: J. Oikkonen, J. Väänänen (red.), Lecture Notes in Logic 2. Berlin: Springer Verlag. Mostowski, M. (1994). Kwantyfikatory rozgałęzione a problem formy logicznej, W: M. Omyła (red.), Nauka i język. Warszawa: Biblioteka Myśli Semiotycznej. (1998). Computational semantics for monadic quantifiers. Journal of Applied Non-Classical Logics 8. Mostowski, M., D. Wojtyniak (2004). Computational Complexity of the Semantics of Some Natural Language Constructions. Annals of Pure and Applied Logic 127. Partee, B., A. ter Meulen, R. E. Wall (1993). Mathematical methods in linguistics. Dordrecht: Kluwer Academic Publishers. Pinker, S. (2000). The language instinct. The new science of language and mind. London: Penguin Books. Quine, W. V. O. (1990). Pursuit of Truth. Cambridge: Harvard University Press. Shoenfield, J. R. (1991). Recursion theory. Berlin: Springer Verlag. Szymanik, J. (2004). Semantyka obliczeniowa dla kwantyfikatorów monadycznych w języku naturalnym, Praca magisterska w Instytucie Filozofii UW, promotor: prof. Marcin Mostowski. Tiede, H. J. (1999). Identifiability in the limit of context free generalized quantifiers. Journal of Language and Computation 1. 16
Algorytmiczne podejście do problemu uczenia się języka
Uniwersytet Warszawski Wydział Filozofii i Socjologii Nina Gierasimczuk Nr albumu: 189173 Algorytmiczne podejście do problemu uczenia się języka Praca magisterska na kierunku Filozofia w zakresie Logika
Algorytmiczny model uczenia się języka Prezentacja
Nina Gierasimczuk& Jakub Szymanik Algorytmiczny model uczenia się języka Prezentacja Forum Filozoficzne, Lublin 15 maja 2004 Spis treści 1. Wprowadzenie... 2 1.1. Filozoficznyproblemuczeniasię... 2 1.2.
2.2. Gramatyki, wyprowadzenia, hierarchia Chomsky'ego
2.2. Gramatyki, wyprowadzenia, hierarchia Chomsky'ego Gramatyka Gramatyką G nazywamy czwórkę uporządkowaną G = gdzie: N zbiór symboli nieterminalnych, T zbiór symboli terminalnych, P zbiór
Gramatyki, wyprowadzenia, hierarchia Chomsky ego. Gramatyka
Gramatyki, wyprowadzenia, hierarchia Chomsky ego Teoria automatów i języków formalnych Dr inŝ. Janusz Majewski Katedra Informatyki Gramatyka Gramatyką G nazywamy czwórkę uporządkowaną gdzie: G =
Umysł-język-świat 2012
Umysł-język-świat 2012 Wykład II: Od behawioryzmu lingwistycznego do kognitywizmu w językoznawstwie Język. Wybrane ujęcia [Skinner, Watson i behawioryzm] Język jest zespołem reakcji na określonego typu
Języki formalne i automaty Ćwiczenia 1
Języki formalne i automaty Ćwiczenia Autor: Marcin Orchel Spis treści Spis treści... Wstęp teoretyczny... 2 Wprowadzenie do teorii języków formalnych... 2 Gramatyki... 5 Rodzaje gramatyk... 7 Zadania...
Hierarchia Chomsky ego Maszyna Turinga
Hierarchia Chomsky ego Maszyna Turinga Języki formalne i automaty Dr inż. Janusz Majewski Katedra Informatyki Gramatyka Gramatyką G nazywamy czwórkę uporządkowaną gdzie: G = V skończony zbiór
Z punktu widzenia kognitywisty: język naturalny
Z punktu widzenia kognitywisty: język naturalny Wykład I: Czym jest język? http://konderak.eu/pwk13.html Piotr Konderak kondorp@bacon.umcs.lublin.pl p. 205, Collegium Humanicum konsultacje: czwartki, 11:10-12:40
OBLICZENIOWY MODEL ROZUMIENIA
OBLICZENIOWY MODEL ROZUMIENIA KWANTYFIKATORÓW W ŚWIETLE BADAŃ NEUROPSYCHOLOGICZNYCH 3 marca 2007 STRESZCZENIE McMillan et al. (2005) mierzyli aktywność mózgu. Zadania polegały na ocenianiu prawdziwość
Matematyczne Podstawy Informatyki
Matematyczne Podstawy Informatyki dr inż. Andrzej Grosser Instytut Informatyki Teoretycznej i Stosowanej Politechnika Częstochowska Rok akademicki 2013/2014 Automat ze stosem Automat ze stosem to szóstka
Obliczenia inspirowane Naturą
Obliczenia inspirowane Naturą Wykład 01 Modele obliczeń Jarosław Miszczak IITiS PAN Gliwice 05/10/2016 1 / 33 1 2 3 4 5 6 2 / 33 Co to znaczy obliczać? Co to znaczy obliczać? Deterministyczna maszyna Turinga
Matematyczne Podstawy Informatyki
Matematyczne Podstawy Informatyki dr inż. Andrzej Grosser Instytut Informatyki Teoretycznej i Stosowanej Politechnika Częstochowska Rok akademicki 2013/2014 Gramatyki bezkontekstowe I Gramatyką bezkontekstową
JAO - Wprowadzenie do Gramatyk bezkontekstowych
JAO - Wprowadzenie do Gramatyk bezkontekstowych Definicja gramatyki bezkontekstowej Podstawowymi narzędziami abstrakcyjnymi do opisu języków formalnych są gramatyki i automaty. Gramatyka bezkontekstowa
Elementy kognitywistyki:
Wykład I: Elementy kognitywistyki: język naturalny Kognitywistyka, poznanie, język. Uwagi wprowadzające. Po raz pierwszy w historii można coś napisać o instynkcie uczenia się, mówienia i rozumienia języka.
Maszyna Turinga. Algorytm. czy program???? Problem Hilberta: Przykłady algorytmów. Cechy algorytmu: Pojęcie algorytmu
Problem Hilberta: 9 Czy istnieje ogólna mechaniczna procedura, która w zasadzie pozwoliłaby nam po kolei rozwiązać wszystkie matematyczne problemy (należące do odpowiednio zdefiniowanej klasy)? 2 Przykłady
Wprowadzenie: języki, symbole, alfabety, łańcuchy Języki formalne i automaty. Literatura
Wprowadzenie: języki, symbole, alfabety, łańcuchy Języki formalne i automaty Dr inŝ. Janusz Majewski Katedra Informatyki Literatura Aho A. V., Sethi R., Ullman J. D.: Compilers. Principles, Techniques
Jaki język zrozumie automat?
Jaki język zrozumie automat? Wojciech Dzik Instytut Matematyki Uniwersytet Śląski Katowice wojciech.dzik@us.edu.pl 7. Forum Matematyków Polskich, 12-17 września 2016, Olsztyn Prosty Automat do kawy Przemawiamy
Maszyna Turinga języki
Maszyna Turinga języki Teoria automatów i języków formalnych Dr inż. Janusz Majewski Katedra Informatyki Maszyna Turinga (1) b b b A B C B D A B C b b Q Zależnie od symbolu obserwowanego przez głowicę
Kognitywistyka, poznanie, język. Uwagi wprowadzające.
Wykład I: Elementy kognitywistyki: język naturalny Kognitywistyka, poznanie, język. Uwagi wprowadzające. Po raz pierwszy w historii można coś napisać o instynkcie uczenia się, mówienia i rozumienia języka.
Matematyczne podstawy informatyki Mathematical Foundations of Computational Sciences. Matematyka Poziom kwalifikacji: II stopnia
Nazwa przedmiotu: Kierunek: Rodzaj przedmiotu: obowiązkowy dla wszystkich specjalności Rodzaj zajęć: wykład, ćwiczenia Matematyczne podstawy informatyki Mathematical Foundations of Computational Sciences
Przedstawiony tu obraz sytuacji metodologicznej w lingwistyce ma
BARBARA STANOSZ logicznej teorii Przedstawiony tu obraz sytuacji metodologicznej w lingwistyce ma waniu tematu czych niek nych punktach charakter hipotez. zachowania. 196 BARBARA STANOSZ. Opis ten nie
Informacja w perspektywie obliczeniowej. Informacje, liczby i obliczenia
Informacja w perspektywie obliczeniowej Informacje, liczby i obliczenia Cztery punkty odniesienia (dla pojęcia informacji) ŚWIAT ontologia fizyka UMYSŁ psychologia epistemologia JĘZYK lingwistyka nauki
Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 1 - Logika zdaniowa Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 30 Plan wykładu 1 Język
Logika dla socjologów Część 2: Przedmiot logiki
Logika dla socjologów Część 2: Przedmiot logiki Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Działy logiki 2 Własności semantyczne i syntaktyczne 3 Błędy logiczne
Logika Matematyczna (1)
Logika Matematyczna (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 4 X 2007 Jerzy Pogonowski (MEG) Logika Matematyczna (1) 4 X 2007 1 / 18 Plan konwersatorium Dzisiaj:
Języki formalne i automaty Ćwiczenia 2
Języki formalne i automaty Ćwiczenia 2 Autor: Marcin Orchel Spis treści Spis treści... 1 Wstęp teoretyczny... 2 Metoda brute force... 2 Konwersja do postaci normalnej Chomskiego... 5 Algorytm Cocke a-youngera-kasamiego
Języki, automaty i obliczenia
Języki, automaty i obliczenia Wykład 12: Gramatyki i inne modele równoważne maszynom Turinga. Wstęp do złożoności obliczeniowej Sławomir Lasota Uniwersytet Warszawski 20 maja 2015 Plan 1 Gramatyki 2 Języki
INTUICJE. Zespół norm, wzorców, reguł postępowania, które zna każdy naukowiec zajmujący się daną nauką (Bobrowski 1998)
PARADYGMAT INTUICJE Zespół norm, wzorców, reguł postępowania, które zna każdy naukowiec zajmujący się daną nauką (Bobrowski 1998) PIERWSZE UŻYCIA językoznawstwo: Zespół form deklinacyjnych lub koniugacyjnych
Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu.
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu. 1 Logika Klasyczna obejmuje dwie teorie:
Dowód pierwszego twierdzenia Gödela o. Kołmogorowa
Dowód pierwszego twierdzenia Gödela o niezupełności arytmetyki oparty o złożoność Kołmogorowa Grzegorz Gutowski SMP II rok opiekun: dr inż. Jerzy Martyna II UJ 1 1 Wstęp Pierwsze twierdzenie o niezupełności
Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 2 - Logika modalna Część 2 Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 27 Plan wykładu
Języki, automaty i obliczenia
Języki, automaty i obliczenia Wykład 10: Maszyny Turinga Sławomir Lasota Uniwersytet Warszawski 29 kwietnia 2015 Plan Maszyny Turinga (Niedeterministyczna) maszyna Turinga M = (A, Q, q 0, F, T, B, δ) A
Wyuczalność w teorii modeli
Wyuczalność w teorii modeli Nina Gierasimczuk Instytut Filozofii UW & Institute for Logic, Language, and Computation UvA Forum Kognitywistyczne 26 IV 2008 Nina Gierasimczuk (IF UW, ILLC UvA) Wyuczalność
Hierarchia Chomsky ego
Hierarchia Chomsky ego Gramatyki nieograniczone Def. Gramatyką nieograniczoną (albo typu 0) nazywamy uporządkowaną czwórkę G= gdzie: % Σ - skończony alfabet symboli końcowych (alfabet, nad którym
EFEKTY UCZENIA SIĘ JĘZYKOZNAWSTWO
EFEKTY UCZENIA SIĘ JĘZYKOZNAWSTWO Filologia portugalska- I stopień PODSTAWY JĘZYKOZNAWSTWA Student ma podstawową wiedzę o miejscu, znaczeniu i powiązaniach językoznawstwa z innymi dyscyplinami naukowymi
KATEDRA INFORMATYKI TECHNICZNEJ. Ćwiczenia laboratoryjne z Logiki Układów Cyfrowych. ćwiczenie 204
Opracował: prof. dr hab. inż. Jan Kazimierczak KATEDA INFOMATYKI TECHNICZNEJ Ćwiczenia laboratoryjne z Logiki Układów Cyfrowych ćwiczenie 204 Temat: Hardware'owa implementacja automatu skończonego pełniącego
Wprowadzenie. Teoria automatów i języków formalnych. Literatura (1)
Wprowadzenie Teoria automatów i języków formalnych Dr inŝ. Janusz Majewski Katedra Informatyki Literatura (1) 1. Aho A. V., Sethi R., Ullman J. D.: Compilers. Principles, Techniques and Tools, Addison-Wesley,
ZAKŁADANE EFEKTY KSZTAŁCENIA. 1. Odniesienie efektów obszarowych do efektów kierunkowych
Załącznik do uchwały nr 404 Senatu Uniwersytetu Zielonogórskiego z dnia 28 stycznia 2015 r. ZAKŁADANE EFEKTY KSZTAŁCENIA 1. Odniesienie efektów obszarowych do efektów kierunkowych Objaśnienie: symbole
GRAMATYKI BEZKONTEKSTOWE
GRAMATYKI BEZKONTEKSTOWE PODSTAWOWE POJĘCIE GRAMATYK Przez gramatykę rozumie się pewien układ reguł zadający zbiór słów utworzonych z symboli języka. Słowa te mogą być i interpretowane jako obiekty językowe
komputery? Andrzej Skowron, Hung Son Nguyen Instytut Matematyki, Wydział MIM, UW
Czego moga się nauczyć komputery? Andrzej Skowron, Hung Son Nguyen son@mimuw.edu.pl; skowron@mimuw.edu.pl Instytut Matematyki, Wydział MIM, UW colt.tex Czego mogą się nauczyć komputery? Andrzej Skowron,
LOGIKA I TEORIA ZBIORÓW
LOGIKA I TEORIA ZBIORÓW Logika Logika jest nauką zajmującą się zdaniami Z punktu widzenia logiki istotne jest, czy dane zdanie jest prawdziwe, czy nie Nie jest natomiast istotne o czym to zdanie mówi Definicja
O badaniach nad SZTUCZNĄ INTELIGENCJĄ
O badaniach nad SZTUCZNĄ INTELIGENCJĄ Jak określa się inteligencję naturalną? Jak określa się inteligencję naturalną? Inteligencja wg psychologów to: Przyrodzona, choć rozwijana w toku dojrzewania i uczenia
Ontogeneza aktów mowy
Ontogeneza aktów mowy Jerome Bruner Konrad Juszczyk 2010 Seminarium REMAT+ dla doktorantów IJ 1 Any subject can be taught effectively in some intellectually honest form to any child at any stage of development.
Opis efektów kształcenia dla programu kształcenia (kierunkowe efekty kształcenia) WIEDZA. rozumie cywilizacyjne znaczenie matematyki i jej zastosowań
TABELA ODNIESIEŃ EFEKTÓW KSZTAŁCENIA OKREŚLONYCH DLA PROGRAMU KSZTAŁCENIA DO EFEKTÓW KSZTAŁCENIA OKREŚLONYCH DLA OBSZARU KSZTAŁCENIA I PROFILU STUDIÓW PROGRAM KSZTAŁCENIA: POZIOM KSZTAŁCENIA: PROFIL KSZTAŁCENIA:
6. Zagadnienia źródła poznania I Psychologiczne zagadnienie źródła poznania
6. Zagadnienia źródła poznania I Psychologiczne zagadnienie źródła poznania Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl Wstęp do filozofii Materiały do wykładu 2015/2016 Dwa zagadnienia źródła poznania
166 Wstęp do statystyki matematycznej
166 Wstęp do statystyki matematycznej Etap trzeci realizacji procesu analizy danych statystycznych w zasadzie powinien rozwiązać nasz zasadniczy problem związany z identyfikacją cechy populacji generalnej
Wstęp do Matematyki (4)
Wstęp do Matematyki (4) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Liczby kardynalne Jerzy Pogonowski (MEG) Wstęp do Matematyki (4) Liczby kardynalne 1 / 33 Wprowadzenie
3.4. Przekształcenia gramatyk bezkontekstowych
3.4. Przekształcenia gramatyk bezkontekstowych Definicje Niech będzie dana gramatyka bezkontekstowa G = G BK Symbol X (N T) nazywamy nieużytecznym w G G BK jeśli nie można w tej gramatyce
11 Probabilistic Context Free Grammars
11 Probabilistic Context Free Grammars Ludzie piszą i mówią wiele rzeczy, a ich wypowiedzi mają zawsze jakąś określoną strukture i regularność. Celem jest znalezienie i wyizolowanie tego typu struktur.
Logika Matematyczna (1)
Logika Matematyczna (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Wprowadzenie Jerzy Pogonowski (MEG) Logika Matematyczna (1) Wprowadzenie 1 / 20 Plan konwersatorium
O badaniach nad SZTUCZNĄ INTELIGENCJĄ
O badaniach nad SZTUCZNĄ INTELIGENCJĄ Wykład 7. O badaniach nad sztuczną inteligencją Co nazywamy SZTUCZNĄ INTELIGENCJĄ? szczególny rodzaj programów komputerowych, a niekiedy maszyn. SI szczególną własność
JAKIEGO RODZAJU NAUKĄ JEST
JAKIEGO RODZAJU NAUKĄ JEST INFORMATYKA? Computer Science czy Informatyka? Computer Science czy Informatyka? RACZEJ COMPUTER SCIENCE bo: dziedzina ta zaistniała na dobre wraz z wynalezieniem komputerów
Rachunek logiczny. 1. Język rachunku logicznego.
Rachunek logiczny. Podstawową własnością rozumowania poprawnego jest zachowanie prawdy: rozumowanie poprawne musi się kończyć prawdziwą konkluzją, o ile wszystkie przesłanki leżące u jego podstaw były
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 5. Wprowadzenie do semantyki teoriomodelowej cz.5. Wynikanie logiczne 1 Na poprzednim wykładzie udowodniliśmy m.in.:
Chomsky. Syntactic Structures
Chomsky. Syntactic Structures język: instrument wyrażania znaczeń twórczy charakter zdolności językowych język kompetencja i korpus wykonanie poddawanie idealizacji surowych danych intuicja rodzimego użytkownika
Elementy kognitywistyki III: Modele i architektury poznawcze
Elementy kognitywistyki III: Modele i architektury poznawcze Wykład II: Modele pojęciowe Gwoli przypomnienia: Kroki w modelowaniu kognitywnym: teoretyczne ramy pojęciowe (modele pojęciowe) przeformułowanie
Teoria obliczeń czyli czego komputery zrobić nie mogą
Teoria obliczeń czyli czego komputery zrobić nie mogą Marek Zaionc Uniwersytet Jagielloński Materiały do wykładu: P. Odifreddi, Classical Recursion Theory, North Holland 1989. J.H. Hopcroft, J.D. Ullman
Języki programowania zasady ich tworzenia
Strona 1 z 18 Języki programowania zasady ich tworzenia Definicja 5 Językami formalnymi nazywamy każdy system, w którym stosując dobrze określone reguły należące do ustalonego zbioru, możemy uzyskać wszystkie
WIEDZA. Odniesien ie efektów do obszaru wiedzy. Efekty kształcenia na kierunku. Opis kierunkowych efektów kształcenia
I.2 Matryca efektów kształcen Efekty kształcenia na kierunku Opis kierunkowych efektów kształcenia Odniesien ie efektów do obszaru wiedzy Biblioteka jako instytucja kultury WIEDZA W Ć K L FP1_W01 FP1_W02
Automat ze stosem. Języki formalne i automaty. Dr inż. Janusz Majewski Katedra Informatyki
Automat ze stosem Języki formalne i automaty Dr inż. Janusz Majewski Katedra Informatyki Automat ze stosem (1) dno stosu Stos wierzchołek stosu Wejście # B B A B A B A B a b b a b a b $ q i Automat ze
CZY INFORMATYKOM MUSI WYSTARCZYĆ NIESKOŃCZONOŚĆ POTENCJALNA?
Filozofia w matematyce i informatyce, Poznań, 9-10 grudnia 2016 CZY INFORMATYKOM MUSI WYSTARCZYĆ NIESKOŃCZONOŚĆ POTENCJALNA? Paweł Stacewicz Politechnika Warszawska Nieskończoność a granice informatyki
JAO - lematy o pompowaniu dla jezykow bezkontekstowy
JAO - lematy o pompowaniu dla jezykow bezkontekstowych Postać normalna Chomsky ego Gramatyka G ze zbiorem nieterminali N i zbiorem terminali T jest w postaci normalnej Chomsky ego wtw gdy każda produkcja
dr hab. Maciej Witek, prof. US MODELE UMYSŁU rok akademicki 2016/2017, semestr letni
dr hab. Maciej Witek, prof. US http://kognitywistyka.usz.edu.pl/mwitek MODELE UMYSŁU rok akademicki 2016/2017, semestr letni Temat 2: Gramatyki Chomsky'ego jako modele umysłu Narodziny kognitywistyki 1957:
Gramatyki rekursywne
Gramatyki bezkontekstowe, rozbiór gramatyczny eoria automatów i języków formalnych Dr inŝ. Janusz Majewski Katedra Informatyki Gramatyki rekursywne Niech będzie dana gramatyka bezkontekstowa G =
Elementy Teorii Obliczeń
Wykład 2 Instytut Matematyki i Informatyki Akademia Jana Długosza w Częstochowie 10 stycznia 2009 Maszyna Turinga uwagi wstępne Maszyna Turinga (1936 r.) to jedno z najpiękniejszych i najbardziej intrygujacych
Symbol EKO S2A_W01 S2A_W02, S2A_W03, S2A_W03 S2A_W04 S2A_W05 S2A_W06 S2A_W07 S2A_W08, S2A_W09 S2A_W10
Załącznik do uchwały nr 73 Senatu Uniwersytetu Zielonogórskiego z dnia 30 stycznia 2013 r. Opis zakładanych efektów kształcenia Nazwa kierunku studiów: Administracja 1. Odniesień efektów kierunkowych do
Rekurencyjna przeliczalność
Rekurencyjna przeliczalność Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Funkcje rekurencyjne Jerzy Pogonowski (MEG) Rekurencyjna przeliczalność Funkcje rekurencyjne
TEORETYCZNE PODSTAWY INFORMATYKI
1 TEORETYCZNE PODSTAWY INFORMATYKI 16/01/2017 WFAiS UJ, Informatyka Stosowana I rok studiów, I stopień Repetytorium złożoność obliczeniowa 2 Złożoność obliczeniowa Notacja wielkie 0 Notacja Ω i Θ Rozwiązywanie
EFEKTY KSZTAŁCENIA DLA KIERUNKU SOCJOLOGIA STUDIA DRUGIEGO STOPNIA PROFIL OGÓLNOAKADEMICKI
EFEKTY KSZTAŁCENIA DLA KIERUNKU SOCJOLOGIA STUDIA DRUGIEGO STOPNIA PROFIL OGÓLNOAKADEMICKI Symbol efektu kierunkowego K_W01 K_W02 K_W03 K_W04 K_W05 K_W06 K_W07 K_W08 K_W09 K_W10 Po ukończeniu studiów absolwent:
Epistemologia. #00 Abstrakty prac. Paweł Łupkowski. Instytut Psychologii UAM
Epistemologia #00 Abstrakty prac Paweł Łupkowski Instytut Psychologii UAM 1 / 13 Abstrakt imię i nazwisko autora, numer indeksu, tytuł pracy, adres e-mail do kontaktu, abstrakt (około 250 słów), zestaw
Adam Meissner.
Instytut Automatyki i Inżynierii Informatycznej Politechniki Poznańskiej Adam Meissner Adam.Meissner@put.poznan.pl http://www.man.poznan.pl/~ameis SZTUCZNA INTELIGENCJA Podstawy logiki pierwszego rzędu
Języki, automaty i obliczenia
Języki, automaty i obliczenia Wykład 9: Własności języków bezkontekstowych Sławomir Lasota Uniwersytet Warszawski 27 kwietnia 2016 Plan 1 Pompowanie języków bezkontekstowych 2 Własności domknięcia 3 Obrazy
Matematyczna wieża Babel. 4. Ograniczone maszyny Turinga o językach kontekstowych materiały do ćwiczeń
Matematyczna wieża Babel. 4. Ograniczone maszyny Turinga o językach kontekstowych materiały do ćwiczeń Projekt Matematyka dla ciekawych świata spisał: Michał Korch 4 kwietnia 2019 1 Dodajmy kontekst! Rozważaliśmy
I. Umiejscowienie kierunku w obszarze/obszarach kształcenia wraz z uzasadnieniem:
Załącznik nr 2 do uchwały nr 182/09/2013 Senatu UR z 26 września 2013 roku EFEKTY KSZTAŁCENIA DLA KIERUNKU STUDIÓW FILOLOGIA POLSKA poziom kształcenia profil kształcenia tytuł zawodowy absolwenta studia
O LICZBACH NIEOBLICZALNYCH I ICH ZWIĄZKACH Z INFORMATYKĄ
O LICZBACH NIEOBLICZALNYCH I ICH ZWIĄZKACH Z INFORMATYKĄ Jakie obiekty matematyczne nazywa się nieobliczalnymi? Jakie obiekty matematyczne nazywa się nieobliczalnymi? Najczęściej: a) liczby b) funkcje
Imię, nazwisko, nr indeksu
Imię, nazwisko, nr indeksu (kod) (9 punktów) Wybierz 9 z poniższych pytań i wybierz odpowiedź tak/nie (bez uzasadnienia). Za prawidłowe odpowiedzi dajemy +1 punkt, za złe -1 punkt. Punkty policzymy za
EFEKTY UCZENIA SIĘ - JĘZYKOZNAWSTWO FILOLOGIA RUMUŃSKA STUDIA I STOPNIA. WSTĘP DO NAUKI O JĘZYKU (I r.)
EFEKTY UCZENIA SIĘ - JĘZYKOZNAWSTWO FILOLOGIA RUMUŃSKA STUDIA I STOPNIA WSTĘP DO NAUKI O JĘZYKU (I r.) ma podstawową wiedzę o miejscu i znaczeniu językoznawstwa w systemie nauk humanistycznych oraz o specyfice
EFEKTY UCZENIA SIĘ JĘZYKOZNAWSTWO
EFEKTY UCZENIA SIĘ JĘZYKOZNAWSTWO Filologia hiszpańska- I stopień WSTĘP DO NAUKI O JĘZYKU ma podstawową wiedzę o miejscu i znaczeniu językoznawstwa w systemie nauk humanistycznych oraz o specyfice przedmiotowej
Języki formalne i automaty Ćwiczenia 9
Języki formalne i automaty Ćwiczenia 9 Autor: Marcin Orchel Spis treści Spis treści... 1 Wstęp teoretyczny... 2 Maszyna Mealy'ego... 2 Maszyna Moore'a... 2 Automat ze stosem... 3 Konwersja gramatyki bezkontekstowej
Czy architektura umysłu to tylko taka sobie bajeczka? Marcin Miłkowski
Czy architektura umysłu to tylko taka sobie bajeczka? Marcin Miłkowski Architektura umysłu Pojęcie używane przez prawie wszystkie współczesne ujęcia kognitywistyki Umysł Przetwornik informacji 2 Architektura
Teoria systemów uczacych się i wymiar Vapnika-Chervonenkisa
Systemy uczace się 2009 1 / 32 Teoria systemów uczacych się i wymiar Vapnika-Chervonenkisa Hung Son Nguyen Wydział Matematyki, Informatyki i Mechaniki Uniwersytet Warszawski email: son@mimuw.edu.pl Grudzień
Klasyczne i kwantowe podejście do teorii automatów i języków formalnych p.1/33
Klasyczne i kwantowe podejście do teorii automatów i języków formalnych mgr inż. Olga Siedlecka olga.siedlecka@icis.pcz.pl Zakład Informatyki Stosowanej i Inżynierii Oprogramowania Instytut Informatyki
Języki, automaty i obliczenia
Języki, automaty i obliczenia Wykład 11: Obliczalność i nieobliczalność Sławomir Lasota Uniwersytet Warszawski 6 maja 2015 Plan 1 Problemy częściowo rozstrzygalne 2 Problemy rozstrzygalne 3 Funkcje (częściowo)
Z punktu widzenia kognitywisty: język naturalny
Z punktu widzenia kognitywisty: język naturalny Wykład III: Język: od syntaktyki do semantyki (od gramatyki do znaczeń) Gramatyka struktur frazowych GSF to drugi, mocniejszy z trzech modeli opisu języka
Analiza semantyczna. Gramatyka atrybutywna
Analiza semantyczna Do przeprowadzenia poprawnego tłumaczenia, oprócz informacji na temat składni języka podlegającego tłumaczeniu, translator musi posiadać możliwość korzystania z wielu innych informacji
Modele Obliczeń. Wykład 1 - Wprowadzenie. Marcin Szczuka. Instytut Matematyki, Uniwersytet Warszawski
Modele Obliczeń Wykład 1 - Wprowadzenie Marcin Szczuka Instytut Matematyki, Uniwersytet Warszawski Wykład fakultatywny w semestrze zimowym 2014/2015 Marcin Szczuka (MIMUW) Modele Obliczeń 2014/2015 1 /
Zapisywanie algorytmów w języku programowania
Temat C5 Zapisywanie algorytmów w języku programowania Cele edukacyjne Zrozumienie, na czym polega programowanie. Poznanie sposobu zapisu algorytmu w postaci programu komputerowego. Zrozumienie, na czym
Kultura logiczna Wnioskowania dedukcyjne
Kultura logiczna Wnioskowania dedukcyjne Bartosz Gostkowski bgostkowski@gmail.com Kraków 25 IV 2010 Plan wykładu: Intuicje dotyczące poprawności wnioskowania Wnioskowanie dedukcyjne Reguły niezawodne a
Matematyka Dyskretna 2/2008 rozwiązania. x 2 = 5x 6 (1) s 1 = Aα 1 + Bβ 1. A + B = c 2 A + 3 B = d
C. Bagiński Materiały dydaktyczne 1 Matematyka Dyskretna /008 rozwiązania 1. W każdym z następujących przypadków podać jawny wzór na s n i udowodnić indukcyjnie jego poprawność: (a) s 0 3, s 1 6, oraz
O AKSJOMATYCZNYCH OPISACH JEZYKA NATURALNEGO 1
O AKSJOMATYCZNYCH OPISACH JEZYKA NATURALNEGO 1 JERZY POGONOWSKI Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl Współczesną lingwistykę strukturalną charakteryzuje się jako naukę zajmującą się badaniem
PRZEWODNIK PO PRZEDMIOCIE. I. KARTA PRZEDMIOTU: Metodyka seminarium licencjackie Rok III, stopień I
PRZEWODNIK PO PRZEDMIOCIE I. KARTA PRZEDMIOTU: Metodyka seminarium licencjackie Rok III, stopień I CEL PRZEDMIOTU C1 Zapoznanie się z metodami prowadzenia badań w dziedzinie dydaktyki nauczania języka
Monoidy wolne. alfabetem. słowem długością słowa monoidem wolnym z alfabetem Twierdzenie 1.
3. Wykłady 3 i 4: Języki i systemy dedukcyjne. Klasyczny rachunek zdań. 3.1. Monoidy wolne. Niech X będzie zbiorem niepustym. Zbiór ten będziemy nazywać alfabetem. Skończony ciąg elementów alfabetu X będziemy
Zadanie 1. Czy prawdziwa jest następująca implikacja? Jeśli L A jest językiem regularnym, to regularnym językiem jest też. A = (A, Q, q I, F, δ)
Zadanie 1. Czy prawdziwa jest następująca implikacja? Jeśli L A jest językiem regularnym, to regularnym językiem jest też L = {vw : vuw L dla pewnego u A takiego, że u = v + w } Rozwiązanie. Niech A =
Proces badawczy schemat i zasady realizacji
Proces badawczy schemat i zasady realizacji Agata Górny Zaoczne Studia Doktoranckie z Ekonomii Warszawa, 23 października 2016 Metodologia i metoda naukowa 1 Metodologia Metodologia nauka o metodach nauki
Proces badawczy schemat i zasady realizacji
Proces badawczy schemat i zasady realizacji Agata Górny Zaoczne Studia Doktoranckie z Ekonomii Warszawa, 14 grudnia 2014 Metodologia i metoda badawcza Metodologia Zadania metodologii Metodologia nauka
Języki i operacje na językach. Teoria automatów i języków formalnych. Definicja języka
Języki i operacje na językach Teoria automatów i języków formalnych Dr inŝ. Janusz Majewski Katedra Informatyki Definicja języka Definicja języka Niech Σ będzie alfabetem, Σ* - zbiorem wszystkich łańcuchów
M T E O T D O ZI Z E E A LG L O G R O Y R TM
O ALGORYTMACH I METODZIE ALGORYTMICZNEJ Czym jest algorytm? Czym jest algorytm? przepis schemat zestaw reguł [ ] program ALGORYTM (objaśnienie ogólne) Algorytm Pojęcie o rodowodzie matematycznym, oznaczające
SCENARIUSZ LEKCJI. Streszczenie. Czas realizacji. Podstawa programowa
Autorzy scenariusza: SCENARIUSZ LEKCJI OPRACOWANY W RAMACH PROJEKTU: INFORMATYKA MÓJ SPOSÓB NA POZNANIE I OPISANIE ŚWIATA. PROGRAM NAUCZANIA INFORMATYKI Z ELEMENTAMI PRZEDMIOTÓW MATEMATYCZNO-PRZYRODNICZYCH
Informacje ogólne. Wstęp do współczesnej semantyki. Lingwistyka komputerowa
Informacje ogólne 1. Nazwa Wstęp do współczesnej semantyki 2. Kod WWS 3. Rodzaj obowiązkowy 4. Kierunek i specjalność studiów Lingwistyka komputerowa 5. Poziom studiów I 6. Rok studiów III 7. Semestr V
PRZEWODNIK PO PRZEDMIOCIE
Nazwa przedmiotu: Kierunek: Informatyka Rodzaj przedmiotu: obowiązkowy w ramach treści wspólnych z kierunkiem Matematyka, moduł kierunku obowiązkowy Rodzaj zajęć: wykład, ćwiczenia I KARTA PRZEDMIOTU CEL