Reprezentacja znaczenia
|
|
- Juliusz Sowa
- 7 lat temu
- Przeglądów:
Transkrypt
1 Reprezentacja znaczenia Różne formalizmy: rachunek predykatów pierwszego rzędu (ang. first order predicate calculus) sieci semantyczne (ang. semantic networks) diagram zależności pojęciowych (ang. conceptual dependency diagram) ramy (ang. frames). Wymagania: sprawdzalność jednoznaczna reprezentacja forma kanoniczna wnioskowanie i zmienne siła wyrazu Jan Daciuk, KISI, ETI, PG Przetwarzanie języka naturalnego 12. Reprezentacja znaczenia (287 / 301)
2 Reprezentacja znaczenia wyrażenie musi dać się obliczyć. Różne formalizmy: rachunek predykatów pierwszego rzędu (ang. first order predicate calculus) sieci semantyczne (ang. semantic networks) diagram zależności pojęciowych (ang. conceptual dependency diagram) ramy (ang. frames). Wymagania: sprawdzalność. jednoznaczna reprezentacja forma kanoniczna wnioskowanie i zmienne siła wyrazu Jan Daciuk, KISI, ETI, PG Przetwarzanie języka naturalnego 12. Reprezentacja znaczenia (288 / 301)
3 Reprezentacja znaczenia Różne formalizmy: rachunek predykatów pierwszego rzędu (ang. first order predicate calculus) sieci semantyczne (ang. semantic networks) diagram zależności pojęciowych (ang. conceptual dependency diagram) ramy (ang. frames). wyrażenie ma tylko jedną interpretację. Wymagania: sprawdzalność jednoznaczna reprezentacja. forma kanoniczna wnioskowanie i zmienne siła wyrazu Jan Daciuk, KISI, ETI, PG Przetwarzanie języka naturalnego 12. Reprezentacja znaczenia (289 / 301)
4 Reprezentacja znaczenia spośród wielu możliwych sposobów wyrażenia Różne formalizmy: znaczenia jedno musi być Wymagania: wyróżnione. rachunek predykatów pierwszego sprawdzalność rzędu (ang. first order predicate jednoznaczna reprezentacja calculus) forma kanoniczna. sieci semantyczne (ang. wnioskowanie i zmienne semantic networks) siła wyrazu diagram zależności pojęciowych (ang. conceptual dependency diagram) ramy (ang. frames). Jan Daciuk, KISI, ETI, PG Przetwarzanie języka naturalnego 12. Reprezentacja znaczenia (290 / 301)
5 Reprezentacja znaczenia Różne formalizmy: Wymagania: rachunek predykatów niepierwszego opłaca się przechowywać sprawdzalność wszystkich faktów. rzędu (ang. first order predicate jednoznaczna reprezentacja calculus) sieci semantyczne (ang. semantic networks) diagram zależności pojęciowych (ang. conceptual dependency diagram) ramy (ang. frames). forma kanoniczna wnioskowanie i zmienne. siła wyrazu Jan Daciuk, KISI, ETI, PG Przetwarzanie języka naturalnego 12. Reprezentacja znaczenia (291 / 301)
6 Reprezentacja znaczenia Różne formalizmy: rachunek predykatów pierwszego sprawdzalność rzędu (ang. zapis first powinien order predicate móc wyrazić każde jednoznaczna znaczenie. reprezentacja calculus) forma kanoniczna sieci semantyczne (ang. wnioskowanie i zmienne semantic networks) siła wyrazu. diagram zależności pojęciowych (ang. conceptual dependency diagram) ramy (ang. frames). Wymagania: Jan Daciuk, KISI, ETI, PG Przetwarzanie języka naturalnego 12. Reprezentacja znaczenia (292 / 301)
7 Struktury znaczeniowe języka Struktura znaczeniowa zdania jest zbudowana wokół orzeczenia. Wymagania składniowe czasowników (ang. subcategorization frames) określają, co jest podmiotem, dopełnieniem itp. Powodują także łączenie argumentów struktury powierzchniowej z rolami znaczeniowymi, jaki pełnią w zdaniu. Czasowniki nakładają na otaczające je słowa ograniczenia nie tylko składniowe, ale i znaczeniowe (ang. selectional restrictions). Np. czasownik czytać wymaga jako dopełnienia czegoś, co da się czytać. Wyrażenie czytam mięso lub czytam muchę, chociaż poprawne składniowo, są odbierane jako bezsensowne. Takie ograniczenia znaczeniowe nakładają na inne słowa także inne części mowy, np. rzeczowniki i przyimki. Jan Daciuk, KISI, ETI, PG Przetwarzanie języka naturalnego 12. Reprezentacja znaczenia (293 / 301)
8 Rachunek predykatów pierwszego rzędu Piotr daje Kasi książkę: dawać(piotr, książka(jacekmartinek, Lisp), Kasia) Bibliotekarz daje książkę czytelnikowi: x y z bibliotekarz(x) czytelnik(y) książka(z) dawać(x, z, y) Kocha, to poczeka: x y kocha(x, y) poczekana(x, y) Jan Daciuk, KISI, ETI, PG Przetwarzanie języka naturalnego 12. Reprezentacja znaczenia (294 / 301)
9 Reprezentacja znaczenia cechy Najprostszą techniką jest utworzenie jednoargumentowych predykatów, np.: student(jan Kowalski) Jednak jeśli chcielibyśmy np. znaleźć najlepszego studenta: najlepszy(jan Kowalski, student) niepoprawne!!! Lepiej jest reprezentować cechy jako osobne obiekty (ang. reification). Cechę jakiegoś obiektu przedstawiamy jako relację ISA (jest), która zachodzi między obiektami a ich cechami; rozszerzenie AKO (a kind of): ISA(Jan Kowalski, student) AKO(student,człowiek) Jan Daciuk, KISI, ETI, PG Przetwarzanie języka naturalnego 12. Reprezentacja znaczenia (295 / 301)
10 Reprezentacja znaczenia zdarzenia (1/2) Jadłem. Jadłem kanapkę z szynką. Jadłem kanapkę z szynką przy biurku. Jadłem przy biurku. Jadłem obiad. Jadłem kanapkę z szynką na obiad. Jadłem przy biurku kanapkę z szynką na obiad. Jedzenie 1 (Mówiący) Jedzenie 2 (Mówiący, Kanapka z szynką) Jedzenie 3 (Mówiący, Kanapka z szynką, Biurko) Jedzenie 4 (Mówiący, Biurko) Jedzenie 5 (Mówiący, Obiad) Jedzenie 6 (Mówiący, Kanapka z szynką, Obiad) Jedzenie 7 (Mówiący, Kanapka z szynką, Obiad, Biurko) Jan Daciuk, KISI, ETI, PG Przetwarzanie języka naturalnego 12. Reprezentacja znaczenia (296 / 301)
11 Reprezentacja znaczenia zdarzenia (2/2) Założenia znaczeniowe (ang. meaning postulates), np.: w,x,y,z Jedzenie 7 (w, x, y, z) Jedzenie 6 (w, x, y) w,x Jedzenie(Mówiący, w, x, Biurko) w,x Jedzenie(Mówiący, w, Obiad, x) w Jedzenie(Mówiący, w, Obiad, Biurko) Reification: w ISA(w, Posiłek) Jedzący(w, Mówiący) Jedzony(w, Kanapka z szynką) JedzonyPosiłek(w, Obiad) Jan Daciuk, KISI, ETI, PG Przetwarzanie języka naturalnego 12. Reprezentacja znaczenia (297 / 301)
12 Reprezentacja znaczenia czas Przybyłem do Warszawy i,e,w,t ISA(w, Przybycie) Przybywający(w, Mówiący) CelPodróży(w, Warszawa) PrzedziałCzasu(w, i) PunktKońcowy(i, e) Poprzedza(e, Teraz) Przybywam do Warszawy i,e,w,t ISA(w, Przybycie) Przybywający(w, Mówiący) CelPodróży(w, Warszawa) PrzedziałCzasu(w, i) NależyDo(Teraz, i) Przybędę do Warszawy i,e,w,t ISA(w, Przybycie) Przybywający(w, Mówiący) CelPodróży(w, Warszawa) PrzedziałCzasu(w, i) PunktKońcowy(e, i) Poprzedza(Teraz, e) Jan Daciuk, KISI, ETI, PG Przetwarzanie języka naturalnego 12. Reprezentacja znaczenia (298 / 301)
13 Reprezentacja znaczenia logika modalna Wierzę, że Kasia czyta książkę. u,v ISA(u, Wiara) ISA(v, Czytanie) Wierzący(u, Mówiący) Wierzony(u, v) Czytający(v, Kasia) Czytany(v, Książka) ale: ISA(v, Czytanie) Czytający(v, Kasia) Czytany(v, Książka) Wiara(Mówiący, Czytanie(Kasia, książka)) nie jest poprawnym zdaniem rachunku predykatów pierwszego rzędu Operator modalny: Wierzy(Mówiący, v ISA(v, Czytanie) Czytający(v, Kasia) Czytany(v, Książka)) Jan Daciuk, KISI, ETI, PG Przetwarzanie języka naturalnego 12. Reprezentacja znaczenia (299 / 301)
14 Reprezentacja znaczenia pułapki Jeśli interesuje cię dobra ocena, to jutro jest egzamin. InteresowaćSię(Słuchacz, DobraOcena) Czas(Egzamin, Jutro) Jeszcze jeden taki wybryk i jego kariera jest skończona. Jan Daciuk, KISI, ETI, PG Przetwarzanie języka naturalnego 12. Reprezentacja znaczenia (300 / 301)
15 Reprezentacja znaczenia ramy Wierzę, że Kasia czyta książkę. Wierzy(Mówiący, v ISA(v, Czytanie) Czytający(v, Kasia) Czytany(v, Książka)) Wiara Wierzący Wierzony Mówiący Czytanie Czytający Czytany Kasia Książka Jan Daciuk, KISI, ETI, PG Przetwarzanie języka naturalnego 12. Reprezentacja znaczenia (301 / 301)
Analiza znaczeniowa sterowana składnią
S e ISA(e, Czytanie) Czytający(e, Ola) Czytany(e, Książka) NP VP N.Ola V.czyta NP N.książkę W jaki sposób przenieść znaczenie pojedynczych słów ze słownika w odpowiednie miejsca w reprezentacji zdania?
Bardziej szczegółowoElementy kognitywistyki III: Modele i architektury poznawcze
Elementy kognitywistyki III: Modele i architektury poznawcze Wykład IV: Reprezentacje jako Modele symboliczne I: Rachunek predykatów, Sieci semantyczne Gwoli przypomnienia: Kroki w modelowaniu kognitywnym:
Bardziej szczegółowoEGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2015/2016
EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2015/2016 CZĘŚĆ 1. JĘZYK POLSKI ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ GH-P8 KWIECIEŃ 2016 Zadanie 1. (0 1) 2) wyszukuje w wypowiedzi potrzebne informacje
Bardziej szczegółowoEGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2016/2017
EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2016/2017 CZĘŚĆ 1. JĘZYK POLSKI ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ: GH-P7 KWIECIEŃ 2017 Zadanie 1. (0 1) 9) wyciąga wnioski wynikające z przesłanek
Bardziej szczegółowoEGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2018/2019
EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2018/2019 CZĘŚĆ 1. JĘZYK POLSKI ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ GH-P7 KWIECIEŃ 2019 Zadanie 1. (0 1) PF Zadanie 2. (0 1) II. Analiza i interpretacja
Bardziej szczegółowoEGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2017/2018
EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2017/2018 CZĘŚĆ 1. JĘZYK POLSKI ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ GH-P2 KWIECIEŃ 2018 Zadanie 1. (0 1) 9) wyciąga wnioski wynikające z przesłanek
Bardziej szczegółowoReprezentacja wiedzy i wnioskowanie
i wnioskowanie Dariusz Banasiak Katedra Informatyki Technicznej Wydział Elektroniki Wiedza AI to nauka o komputerowych modelach wiedzy umożliwiających rozumienie, wnioskowanie i działanie. Inteligentne
Bardziej szczegółowoEGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2015/2016
EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2015/2016 CZĘŚĆ 1. JĘZYK POLSKI ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ GH-P7 KWIECIEŃ 2016 Zadanie 1. (0 1) 9) wyciąga wnioski wynikające z przesłanek
Bardziej szczegółowoEGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2014/2015
EGZMIN W KLSIE TRZECIEJ GIMNZJUM W ROKU SZKOLNYM 2014/2015 CZĘŚĆ 1. JĘZYK POLSKI ZSDY OCENINI ROZWIĄZŃ ZDŃ RKUSZ GH-P7 KWIECIEŃ 2015 Zadanie 1. (0 1) PP Zadanie 2. (0 1) Zadanie 3. (0 1) II. naliza i interpretacja
Bardziej szczegółowoWprowadzenie. 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,
Bardziej szczegółowoWSTĘP ZAGADNIENIA WSTĘPNE
27.09.2012 WSTĘP Logos (gr.) słowo, myśl ZAGADNIENIA WSTĘPNE Logika bada proces myślenia; jest to nauka o formach poprawnego myślenia a zarazem o języku (nie mylić z teorią komunikacji czy językoznawstwem).
Bardziej szczegółowoDiagramy związków encji ERD Ćwiczenia w modelowaniu danych
Diagramy związków encji ERD Ćwiczenia w modelowaniu danych dr Lidia Stępień wykład 5 ERD ang. Entity-Relationship Diagram Diagram związków encji Proces konstruowania projektu systemu bazy danych. Abstrakcyjna
Bardziej szczegółowo*Później okazało się, że model w postaci sieci semantycznej pasuje także do reprezentacji wiedzy.
Dr Tomasz Jach Najstarszy i najbardziej ogólny typ reprezentacji wiedzy Początkowo miały być symulacją pamięci ludzkiej. Później okazało się, że model w postaci sieci semantycznej pasuje także do reprezentacji
Bardziej szczegółowoKategorie gramatyczne polszczyzny
Uniwersytet Kardynała Stefana Wyszyńskiego 1 Pojęcie kategorii gramatycznej 2 3 Pojęcie kategorii gramatycznej i jej wartości Kategoria gramatyczna swoisty (stały, regularny, obligatoryjny) podział zbioru
Bardziej szczegółowoMarek Świdziński Elementy gramatyki opisowej języka polskiego Uniwersytet Warszawski * Wydział Polonistyki Seria szósta, T. XXXIII Warszawa 1997
1 Marek Świdziński Elementy gramatyki opisowej języka polskiego Uniwersytet Warszawski * Wydział Polonistyki Seria szósta, T. XXXIII Warszawa 1997 SPIS TREŚCI WSTĘP... 1 WYKŁAD 1: WPROWADZENIE DO JĘZYKOZNAWSTWA
Bardziej szczegółowoFunkcja rzeczownika w zdaniu
Funkcja rzeczownika w zdaniu 1. Cele lekcji a) Wiadomości Uczeń: zna definicję rzeczownika, wie, jaką pełni funkcję w zdaniu, zna definicję pojęć: podmiot, przydawka, orzecznik, dopełnienie, okolicznik.
Bardziej szczegółowoSystemy ekspertowe i ich zastosowania. Katarzyna Karp Marek Grabowski
Systemy ekspertowe i ich zastosowania Katarzyna Karp Marek Grabowski Plan prezentacji Wstęp Własności systemów ekspertowych Rodzaje baz wiedzy Metody reprezentacji wiedzy Metody wnioskowania Języki do
Bardziej szczegółowoSPIS TREŚCI. Wykaz skrótów Przedmowa... 11
SPIS TREŚCI Wykaz skrótów... 9 Przedmowa... 11 1. Wprowadzenie... 13 1.1. Przedmiot i zadania składni... 13 1.2. Składniki... 14 1.3. Zależność syntaktyczna (składniowa) i jej typy... 14 1.4. Konstrukcje
Bardziej szczegółowoPoprawianie pisowni. Jan Daciuk, KISI, ETI, PG Przetwarzanie języka naturalnego 6. Korekta pisowni: odległość Levenshteina (166 / 188)
Poprawianie pisowni Błędna pisownia może być powodowana przez różne czynniki: błędy w przekazywaniu sygnałów do mięśni odpowiedzialnych za ruch palców (literówki, np litreówki); nieznajomość pisowni słów
Bardziej szczegółowoLogika 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:
Bardziej szczegółowoPoziom słownikowy. Jan Daciuk, KISI, ETI, PG Przetwarzanie języka naturalnego 2. Morfologia: łączenie morfemów (15 / 31)
Poziom słownikowy Dane słownikowe w jaki sposób jak najmniejszym wysiłkiem uzyskać wszystkie formy słów, powiązania form odmienionych z formami hasłowymi, powiązania słów z dodatkową informacją. Analiza
Bardziej szczegółowoEGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2016/2017
EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2016/2017 CZĘŚĆ 1. JĘZYK POLSKI ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ: GH-P2 KWIECIEŃ 2017 Zadanie 1. (0 1) FP Zadanie 2. (0 1) B Zadanie 3. (0 1)
Bardziej szczegółowoSpis treści tomu pierwszego
Spis treści tomu pierwszego WSTĘP.... 11 DŹWIĘK JAKO ZJAWISKO FIZYCZNE...15 CHARAKTERYSTYKA AKUSTYCZNA I AUDYTYWNA DŹWIĘKÓW MOWY.. 17 SŁUCH...20 WYŻSZE PIĘTRA UKŁADU SŁUCHOWEGO...22 EMISJE OTOAKUSTYCZNE...25
Bardziej szczegółowoJEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 18 czerwca Imię i Nazwisko:... I
JEZYKOZNAWSTWO I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 18 czerwca 2013 Imię i Nazwisko:.................................................................................. I Wybierz
Bardziej szczegółowoEGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2015/2016
EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2015/2016 CZĘŚĆ 1. JĘZYK POLSKI ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ GH-P2 KWIECIEŃ 2016 Zadanie 1. (0 1) 9) wyciąga wnioski wynikające z przesłanek
Bardziej szczegółowoEGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2017/2018
EGZAMIN W KLASIE TRZEIEJ GIMNAZJUM W ROKU SZKOLNYM 2017/2018 ZĘŚĆ 1. JĘZYK POLSKI ZASADY OENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ GH-P7 KWIEIEŃ 2018 Zadanie 1. (0 1) 9) wyciąga wnioski wynikające z przesłanek zawartych
Bardziej szczegółowoImię i nazwisko:... OBROŃCY PRAWDY
Egzamin: Logika Matematyczna, I rok JiNoI, 30 czerwca 2014 Imię i nazwisko:........................................... OBROŃCY PRAWDY Wybierz dokładnie cztery z poniższych pięciu zadań i spróbuj je rozwiazać.
Bardziej szczegółowoKLUCZ ODPOWIEDZI KONKURS HUMANISTYCZNY. Zadania zamknięte. Zadania otwarte
KLUCZ ODPOWIEDZI KONKURS HUMANISTYCZNY /etap wojewódzki/ Zadania zamknięte Zad.1. Zad.4. Zad.5. Zad.13. Zad.14. Zad.16. B C D B A B Zadania otwarte Numer zadania Zad.2. Zad.3. Odpowiedź poprawna/ dopuszczalna
Bardziej szczegółowoModelowanie danych, projektowanie systemu informatycznego
Modelowanie danych, projektowanie systemu informatycznego Modelowanie odwzorowanie rzeczywistych obiektów świata rzeczywistego w systemie informatycznym Modele - konceptualne reprezentacja obiektów w uniwersalnym
Bardziej szczegółowoZnaczenie słowa. N szkoła {Szkoła}
Znaczenie słowa N szkoła {Szkoła} Czytałem pańską książkę w szkole. Tego lata koło szkoły urządzono boisko. Szkołę jazdy żem przeszedł! Od razu widać, z jakiej szkoły wyszedł, pismak. Spór o historyczną
Bardziej szczegółowoANALIZA WYNIKÓW PRÓBNEGO EGZAMINU GIMNAZJALNEGO- ROK SZKOLNY 2016/2017 Z ZAKRESU PRZEDMIOTÓW HUMANISTYCZNYCH- JĘZYK POLSKI
ANALIZA WYNIKÓW PRÓBNEGO EGZAMINU GIMNAZJALNEGO- ROK SZKOLNY 2016/2017 Z ZAKRESU PRZEDMIOTÓW HUMANISTYCZNYCH- JĘZYK POLSKI W dniu 14.02.2017r. odbył się próbny egzamin gimnazjalny z języka polskiego. Do
Bardziej szczegółowoKlasyfikacja tradycyjna Klasyfikacja Zygmunta Saloniego Przykład analizy. Części mowy. Anna Kozłowska. Uniwersytet Kardynała Stefana Wyszyńskiego
Uniwersytet Kardynała Stefana Wyszyńskiego 1 Klasyfikacja tradycyjna 2 3 Pojęcie części mowy. Kryteria klasyfikacji Cześć mowy klasa leksemów o wspólnych cechach semantycznych / fleksyjnych / składniowych.
Bardziej szczegółowoProgramowanie deklaratywne
Programowanie deklaratywne Artur Michalski Informatyka II rok Plan wykładu Wprowadzenie do języka Prolog Budowa składniowa i interpretacja programów prologowych Listy, operatory i operacje arytmetyczne
Bardziej szczegółowoKryteria ocen z języka polskiego w klasie 4. Ocenę celującą - otrzymuje uczeń, którego wiedza znacznie przekracza poza obowiązujący program nauczania:
Kryteria ocen z języka polskiego w klasie 4 Ocenę celującą - otrzymuje uczeń, którego wiedza znacznie przekracza poza obowiązujący program nauczania: Bierze udział i osiąga sukcesy w konkursach szkolnych
Bardziej szczegółowo1. Elementy logiki matematycznej, rachunek zdań, funkcje zdaniowe, metody dowodzenia, rachunek predykatów
1. Elementy logiki matematycznej, rachunek zdań, funkcje zdaniowe, metody dowodzenia, rachunek predykatów Logika matematyczna, dział matematyki zajmujący się badaniem własności wnioskowania (dowodzenia)
Bardziej szczegółowoEGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2018/2019
EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2018/2019 CZĘŚĆ 1. JĘZYK POLSKI ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ GH-P2 KWIECIEŃ 2019 Zadanie 1. (0 1) 2) wyszukuje w wypowiedzi potrzebne informacje
Bardziej szczegółowoRekurencyjna 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
Bardziej szczegółowoPodstawy metodologiczne symulacji
Sławomir Kulesza kulesza@matman.uwm.edu.pl Symulacje komputerowe (05) Podstawy metodologiczne symulacji Wykład dla studentów Informatyki Ostatnia zmiana: 26 marca 2015 (ver. 4.1) Spirala symulacji optymistycznie
Bardziej szczegółowoMetodologia prowadzenia badań naukowych Semiotyka, Argumentacja
Semiotyka, Argumentacja Grupa L3 3 grudnia 2009 Zarys Semiotyka Zarys Semiotyka SEMIOTYKA Semiotyka charakterystyka i działy Semiotyka charakterystyka i działy 1. Semiotyka Semiotyka charakterystyka i
Bardziej szczegółowoJĘZYK POLSKI -WYMAGANIA KLASA VI
JĘZYK POLSKI -WYMAGANIA KLASA VI Uczniów obowiązują wiadomości i umiejętności nabyte w klasach IV i V. (ocenę wyższą otrzymuje uczeń, który spełnia wszystkie wymagania ocen niższych pozytywnych) OCENA
Bardziej szczegółowoPRÓBNY EGZAMIN GIMNAZJALNY Z NOWĄ ERĄ 2015/2016 JĘZYK POLSKI
PRÓBNY EGZAMIN GIMNAZJALNY Z NOWĄ ERĄ 2015/2016 JĘZYK POLSKI ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ Copyright by Nowa Era Sp. z o.o. Zadanie 1. (0 1) Wymagania szczegółowe 2) wyszukuje w wypowiedzi potrzebne
Bardziej szczegółowoCentralna Komisja Egzaminacyjna w Warszawie SPRAWDZIAN 2009. Klucz punktowania zadań testu O zwierzętach
entralna Komisja Egzaminacyjna w Warszawie SPRAWDZIAN 2009 Klucz punktowania zadań testu O zwierzętach (test dla uczniów słabo słyszących i niesłyszących) KWIEIEŃ 2009 Zadanie 1. Obszar standardów czytanie
Bardziej szczegółowoProces 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
Bardziej szczegółowoLOGIKA Klasyczny Rachunek Zdań
LOGIKA Klasyczny Rachunek Zdań Robert Trypuz trypuz@kul.pl 5 listopada 2013 Robert Trypuz (trypuz@kul.pl) Klasyczny Rachunek Zdań 5 listopada 2013 1 / 24 PLAN WYKŁADU 1 Alfabet i formuła KRZ 2 Zrozumieć
Bardziej szczegółowoANALIZA WYNIKÓW PRÓBNEGO EGZAMINU GIMNAZJALNEGO- ROK SZKOLNY 2017/2018 Z ZAKRESU PRZEDMIOTÓW HUMANISTYCZNYCH- JĘZYK POLSKI
ANALIZA WYNIKÓW PRÓBNEGO EGZAMINU GIMNAZJALNEGO- ROK SZKOLNY 2017/2018 Z ZAKRESU PRZEDMIOTÓW HUMANISTYCZNYCH- JĘZYK POLSKI W dniu 16.01.2018r. odbył się próbny egzamin gimnazjalny z języka polskiego. Do
Bardziej szczegółowoNarzędzia do automatycznego wydobywania kolokacji
Narzędzia do automatycznego wydobywania kolokacji Jan Kocoń, Agnieszka Dziob, Marek Maziarz, Maciej Piasecki, Michał Wendelberger Politechnika Wrocławska Katedra Inteligencji Obliczeniowej marek.maziarz@pwr.edu.pl
Bardziej szczegółowoWprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów
Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan na pytanie o odniesienie przedmiotowe zdań odpowiedź
Bardziej szczegółowoKurs prawa cywilnego dla tłumaczy - zagadnienia prawa materialnego i procesowego Program szczegółowy
Kurs prawa cywilnego dla tłumaczy - zagadnienia prawa materialnego i procesowego Program szczegółowy Godzina SOBOTA Godzina NIEDZIELA 19 marca 20 marca 9.30-10.00 Rejestracja uczestników i powitanie 9.30-10.00
Bardziej szczegółowoWstęp do logiki. Semiotyka cd.
Wstęp do logiki Semiotyka cd. Gramatyka kategorialna jest teorią formy logicznej wyrażeń. Wyznacza ją zadanie sporządzenia teoretycznego opisu związków logicznych takich jak wynikanie, równoważność, wzajemna
Bardziej szczegółowoLogika Matematyczna (1-3) Zadania
Logika Matematyczna (1-3) Zadania Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 24 X 2007 Jerzy Pogonowski (MEG) Logika Matematyczna (1-3) Zadania 24 X 2007 1 / 14
Bardziej szczegółowoLiczba zadań a rzetelność testu na przykładzie testów biegłości językowej z języka angielskiego
Ewaluacja biegłości językowej Od pomiaru do sztuki pomiaru Liczba zadań a rzetelność testu na przykładzie testów biegłości językowej z języka angielskiego Tomasz Żółtak Instytut Badań Edukacyjnych oraz
Bardziej szczegółowoTechniki informacyjne dla wnioskowania oraz generowania, reprezentacji i zarządzania wiedzą
Zakład Zaawansowanych Technik Informacyjnych (Z-6) Techniki informacyjne dla wnioskowania oraz generowania, reprezentacji i zarządzania wiedzą Zadanie nr 2 Relacyjne systemy dedukcyjne: teoria i zastosowania
Bardziej szczegółowoAnaliza wyników egzaminu gimnazjalnego 2016 r. Test humanistyczny język polski
Analiza wyników egzaminu gimnazjalnego 2016 r. Test humanistyczny język polski Arkusz standardowy zawierał 22 zadania, w tym 20 zadań zamkniętych i 2 zadania otwarte. Wśród zadań zamkniętych pojawiły się
Bardziej szczegółowoZnak, język, kategorie syntaktyczne
Składnia ustalone reguły jakiegoś języka dotyczące sposobu wiązania wyrazów w wyrażenia złożone. Językoznawstwo zajmuje się m.in. opisem składni poszczególnych języków, natomiast przedmiotem syntaktyki
Bardziej szczegółowoWykł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:
Bardziej szczegółowoGłówne problemy kognitywistyki: Reprezentacja
Główne problemy kognitywistyki: Reprezentacja Wykład dziesiąty Hipoteza języka myśli (LOT): źródła i założenia Andrzej Klawiter http://www.amu.edu.pl/~klawiter klawiter@amu.edu.pl Filozoficzne źródła:
Bardziej szczegółowoProjekt. Centrum matura bez barier w szkołach i. placówkach prowadzących kształcenie zawodowe. Włodzimierz Pawlicki. Skrypt do języka angielskiego
Projekt Centrum matura bez barier w szkołach i placówkach prowadzących kształcenie zawodowe. Włodzimierz Pawlicki Skrypt do języka angielskiego 1 Spis treści: Zielona Góra 2011 Wprowadzenie -strona 3 Rozdział
Bardziej szczegółowoWprowadzenie do logiki Wyrażenia jako ciągi słów. Automaty skończone
Wprowadzenie do logiki Wyrażenia jako ciągi słów. Automaty skończone Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Dzisiejsza opowieść pochodzi z Wykładów z logiki Marka Tokarza. kognitywistyka,
Bardziej szczegółowoRachunek zdań I rzędu Aksjomaty rachunku zdań, tautologie Schematy rachunku zdań Dowodzenie poprawności Metoda zerojedynkowa Skrócona metoda
Rachunek zdań I rzędu Aksjomaty rachunku zdań, tautologie Schematy rachunku zdań Dowodzenie poprawności Metoda zerojedynkowa Skrócona metoda zerojedynkowa Metoda założeniowa Rachunek zdań II rzędu Rachunek
Bardziej szczegółowoAndrzej Wiśniewski Logika II. Wykłady 10b i 11. Semantyka relacyjna dla normalnych modalnych rachunków zdań
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykłady 10b i 11. Semantyka relacyjna dla normalnych modalnych rachunków zdań 1 Struktury modelowe Przedstawimy teraz pewien
Bardziej szczegółowoZ 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
Bardziej szczegółowoProgramowanie komputerów
Programowanie komputerów Wykład 1-2. Podstawowe pojęcia Plan wykładu Omówienie programu wykładów, laboratoriów oraz egzaminu Etapy rozwiązywania problemów dr Helena Dudycz Katedra Technologii Informacyjnych
Bardziej szczegółowoEvolution 2 JĘZYK ANGIELSKI KL. 5
Evolution 2 JĘZYK ANGIELSKI KL. 5 WYMAGANIA / KRYTERIA OCENIANIA Kryteria oceniania uwzględniają środki językowe, czytanie, słuchanie, pisanie, mówienie, reagowanie oraz przetwarzanie. Kryteria obejmują
Bardziej szczegółowoLOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ
LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ Robert Trypuz Katedra Logiki KUL 18 grudnia 2013 Robert Trypuz (Katedra Logiki) Wnioskowanie 18 grudnia 2013 1 / 12 Zarys 1 Wnioskowanie Definicja Schemat wnioskowania
Bardziej szczegółowoBADANIE DIAGNOSTYCZNE W KLASIE SZÓSTEJ SZKOŁY PODSTAWOWEJ W ROKU SZKOLNYM 2014/2015 CZĘŚĆ 1. JĘZYK POLSKI I MATEMATYKA
DNIE DIGNOSTYZNE W KLSIE SZÓSTEJ SZKOŁY PODSTWOWEJ W ROKU SZKOLNYM 2014/2015 ZĘŚĆ 1. JĘZYK POLSKI I MTEMTYK ROZWIĄZNI ZDŃ I SHEMTY PUNKTOWNI RKUSZ S8 dla uczniów z upośledzeniem umysłowym w stopniu lekkim
Bardziej szczegółowoKARTA PRZEDMIOTU. 1. Informacje ogólne. 2. Ogólna charakterystyka przedmiotu. Metody drążenia danych D1.3
KARTA PRZEDMIOTU 1. Informacje ogólne Nazwa przedmiotu i kod (wg planu studiów): Nazwa przedmiotu (j. ang.): Kierunek studiów: Specjalność/specjalizacja: Poziom kształcenia: Profil kształcenia: Forma studiów:
Bardziej szczegółowoZad. 3: Układ równań liniowych
1 Cel ćwiczenia Zad. 3: Układ równań liniowych Wykształcenie umiejętności modelowania kluczowych dla danego problemu pojęć. Definiowanie właściwego interfejsu klasy. Zwrócenie uwagi na dobór odpowiednich
Bardziej szczegółowoProgramowanie deklaratywne
Programowanie deklaratywne Artur Michalski Informatyka II rok Plan wykładu Wprowadzenie do języka Prolog Budowa składniowa i interpretacja programów prologowych Listy, operatory i operacje arytmetyczne
Bardziej szczegółowoNaCoBeZu na co będę zwracać uwagę. Wymagania do cyklu lekcji dotyczących składni
NaCoBeZu na co będę zwracać uwagę Wymagania do cyklu lekcji dotyczących składni Wypowiedzenie umiem odróżnić zdanie od równoważnika zdania umiem zastąpić zdania ich równoważnikami umiem wyjaśnić, czym
Bardziej szczegółowoPODSTAWY BAZ DANYCH. 5. Modelowanie danych. 2009/ Notatki do wykładu "Podstawy baz danych"
PODSTAWY BAZ DANYCH 5. Modelowanie danych 1 Etapy tworzenia systemu informatycznego Etapy tworzenia systemu informatycznego - (według CASE*Method) (CASE Computer Aided Systems Engineering ) Analiza wymagań
Bardziej szczegółowoLogika stosowana. Ćwiczenia Wnioskowanie przez abdukcję. Marcin Szczuka. Instytut Matematyki, Uniwersytet Warszawski
Logika stosowana Ćwiczenia Wnioskowanie przez abdukcję Marcin Szczuka Instytut Matematyki, Uniwersytet Warszawski Wykład fakultatywny w semestrze zimowym 2013/2014 Marcin Szczuka (MIMUW) Logika stosowana
Bardziej szczegółowoMetody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia
Metody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Metoda tabel syntetycznych (MTS) MTS
Bardziej szczegółowoKOMPRESJA W SŁOWNIKU KOMUNIKACYJNYM
Grażyna Habrajska Uniwersytet Łódzki KOMPRESJA W SŁOWNIKU KOMUNIKACYJNYM Opublikowano w: Rozmowy o komunikacji 6: Dynamika dyskursu społecznego, red. Grażyna Habrajska, Łódź 2013, s. 49-61 KOMPRESJA i
Bardziej szczegółowoEwa Krassowska-Mackiewicz Język japoński. dla początkujących Wydanie drugie zmienione i rozszerzone
Ewa Krassowska-Mackiewicz Język japoński dla początkujących Wydanie drugie zmienione i rozszerzone Ewa Krassowska-Mackiewicz - filolog, japonistka. Od 1997 roku związana z PJWSTK. Zajmuje się metodologią
Bardziej szczegółowoEGZAMIN ÓSMOKLASISTY od roku szkolnego 2018/2019
EGZAMIN ÓSMOKLASISTY od roku szkolnego 2018/2019 MATEMATYKA rozwiązań zadań z arkusza egzaminacyjnego OMAP-800 KWIECIEŃ 2019 Centralna Komisja Egzaminacyjna Warszawa Zadanie 1. (0 3) Podstawa programowa
Bardziej szczegółowoDalszy ciąg rachunku zdań
Dalszy ciąg rachunku zdań Wszystkie możliwe funktory jednoargumentowe p f 1 f 2 f 3 f 4 0 0 0 1 1 1 0 1 0 1 Wszystkie możliwe funktory dwuargumentowe p q f 1 f 2 f 3 f 4 f 5 f 6 f 7 f 8 f 9 f 10 f 11 f
Bardziej szczegółowoKRYTERIA OCEN Z JĘZYKA POLSKIEGO DLA UCZNIÓW KLASY V
KRYTERIA OCEN Z JĘZYKA POLSKIEGO DLA UCZNIÓW KLASY V OPRACOWANY NA PODSTAWIE: 1. Rozporządzenia MENiS z dnia 26. 02. 2002 r. w sprawie podstawy programowej wychowania przedszkolnego oraz kształcenia ogólnego
Bardziej szczegółowoPODSTAWOWE WIADOMOŚCI Z GRAMATYKI POLSKIEJ I WŁOSKIEJ SZKIC PORÓWNAWCZY
PODSTAWOWE WIADOMOŚCI Z GRAMATYKI POLSKIEJ I WŁOSKIEJ SZKIC PORÓWNAWCZY NR 134 Katarzyna Kwapisz Osadnik PODSTAWOWE WIADOMOŚCI Z GRAMATYKI POLSKIEJ I WŁOSKIEJ SZKIC PORÓWNAWCZY Wydawnictwo Uniwersytetu
Bardziej szczegółowoEGZAMIN MATURALNY 2012 INFORMATYKA
Centralna Komisja Egzaminacyjna EGZAMIN MATURALNY 2012 INFORMATYKA POZIOM PODSTAWOWY Kryteria oceniania odpowiedzi MAJ 2012 2 Zadanie 1. a) (0 2) Egzamin maturalny z informatyki CZĘŚĆ I Obszar standardów
Bardziej szczegółowoZ punktu widzenia kognitywisty: język naturalny
Z punktu widzenia kognitywisty: język naturalny Wykład VIII: Neuronalne podstawy języka Fonologia Dwa paradygmaty:strukturalizm(fonemy i cechy dystynktywne jako podstawa wyjaśnień) oraz fonologia nieliniowa
Bardziej szczegółowoPRÓBNY EGZAMIN GIMNAZJALNY Z NOWĄ ERĄ 2016/2017 JĘZYK POLSKI
PRÓBNY EGZAMIN GIMNAZJALNY Z NOWĄ ERĄ 2016/2017 JĘZYK POLSKI ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ Copyright by Nowa Era Sp. z o.o. Zadanie 1. (0 1) 2) wyszukuje w wypowiedzi potrzebne informacje [ ]. PP Zadanie
Bardziej szczegółowoNACOBEZU JĘZYK POLSKI
NACOBEZU JĘZYK POLSKI KLASA VI KSZTAŁCENIE LITERACKIE 1. Wiem, co wyróżnia wiersz biały spośród innych rodzajów utworów poetyckich. 2. Podaję cechy fraszki. 3. Wyjaśniam czym jest kontrast i jaką pełni
Bardziej szczegółowoPAŃSTWOWA WYŻSZA SZKOŁA ZAWODOWA W GŁOGOWIE SYLABUS PRZEDMIOTU. Język niemiecki I. Instytut Humanistyczny
PAŃSTWOWA WYŻSZA SZKOŁA ZAWODOWA W GŁOGOWIE 1. NAZWA PRZEDMIOTU SYLABUS PRZEDMIOTU Język niemiecki I 2. NAZWA JEDNOSTKI PROWADZĄCEJ PRZEDMIOT Instytut Humanistyczny 3. STUDIA Kierunek stopień tryb język
Bardziej szczegółowoWYMAGANIA EDUKACYJNE
SZKOŁA PODSTAWOWA W RYCZOWIE WYMAGANIA EDUKACYJNE niezbędne do uzyskania poszczególnych śródrocznych i rocznych ocen klasyfikacyjnych z JĘZYKA ANGIELSKIEGO w klasie 3 Szkoły Podstawowej str. 1 Wymagania
Bardziej szczegółowoInternet Semantyczny i Logika I
Internet Semantyczny i Logika I Warstwy Internetu Semantycznego Dowód Zaufanie Logika OWL, Ontologie Podpis cyfrowy RDF, schematy RDF XML, schematy XML przestrzenie nazw URI Po co nam logika? Potrzebujemy
Bardziej szczegółowo2. Zdanie z orzeczeniem przymiotnikowym (model podstawowy, negacja, pytania) Przysłówki stopnia (,,,,, ) Inne formy wyrażające stopień Zaimek
ZAGADNIENIA GRAMATYCZNE 1. Szyk zdania chińskiego Zdanie z orzeczeniem czasownikowym (model podstawowy, negacja) Pytania (pytania uzupełniające, pytania rozstrzygające) Zaimki osobowe i Zaimek pytający
Bardziej szczegółowoWstęp do logiki. Klasyczny Rachunek Zdań II
Wstęp do logiki Klasyczny Rachunek Zdań II DEF. 1 (Słownik). Następujące znaki tworzą słownik języka KRZ: p 1, p 2, p 3, (zmienne zdaniowe) ~,,,, (spójniki) ), ( (nawiasy). DEF. 2 (Wyrażenie). Wyrażeniem
Bardziej szczegółowoPrzedstawiona do recenzji rozprawa doktorska Pana mgra inż. Adama Dudka pt. :
Wrocław, dnia 30 maja 2018 r. Dr hab. inż. Ireneusz Jóźwiak, prof. PWr. Wydział Informatyki i Zarządzania Politechnika Wrocławska Wybrzeże Wyspiańskiego 27 50-370 Wrocław Recenzja rozprawy doktorskiej
Bardziej szczegółowoOrzeczenie i jego określenia
Orzeczenie i jego określenia 1. Cele lekcji a) Wiadomości Uczeń: zna podstawowe części zdania, zna definicję orzeczenia, zna określenia orzeczenia i ich definicje, wymienia podstawowe rodzaje okoliczników,
Bardziej szczegółowoTwierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność?
Semina Nr 3 Scientiarum 2004 Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność? W tym krótkim opracowaniu chciałbym przedstawić dowody obu twierdzeń Gödla wykorzystujące
Bardziej szczegółowoModel zaszumionego kanału
W X kanal Y W^ koder dekoder p(y x) Oryginalna praca Shannona polegała na poszukiwaniu takiego kodowania, które umożliwiało ustalenie nadmiarowości informacji w taki sposób, żeby na wyjściu można było
Bardziej szczegółowoNp. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0
ĆWICZENIE 1 Klasyczny Rachunek Zdań (KRZ): zdania w sensie logicznym, wartości logiczne, spójniki logiczne, zmienne zdaniowe, tabele prawdziwościowe dla spójników logicznych, formuły, wartościowanie zbioru
Bardziej szczegółowoSpis treści. ROZDZIAŁ 2 Wzajemne oddziaływanie między leksykonem a innymi środkami służącymi kodowaniu informacji... 67
Spis treści Wykaz skrótów... 11 Przedmowa... 15 Podziękowania... 17 ROZDZIAŁ 1 Wprowadzenie: założenia metodologiczne i teoretyczne... 19 1. Cel i układ pracy...... 19 2. Język jako przedmiot badań...
Bardziej szczegółowo