Aleksandra Kucharska

Podobne dokumenty
Modelowanie interrogacyjnego rozwiązywania problemów w środowisku gry QuestGen *

Gry QuestGen oraz Takie Życie w pozyskiwaniu danych językowych na potrzeby Korpusu Rozumowań Erotetycznych

Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do

Metody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia

Wstęp do logiki. Klasyczny Rachunek Zdań III

LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ

Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń

Matematyka grupa Uruchom arkusz kalkulacyjny. 2. Wprowadź do arkusza kalkulacyjnego wartości znajdujące się w kolumnach A i B.

29. Poprawność składniowa i strukturalna dokumentu XML

Modelowanie danych, projektowanie systemu informatycznego

Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań

Podstawy logiki praktycznej

Kognitywistyka: tworzenie pojęć i rozumowanie Inferencyjna Logika Pytań: pytania i rozumowania erotetyczne*

Rachunek logiczny. 1. Język rachunku logicznego.

Filozofia z elementami logiki Klasyfikacja wnioskowań I część 1

3. Wprowadź opis: kolumna A J. angielski, kolumna B J. polski. Obejrzyj animację pt. Wprowadzanie danych, aby dowiedzieć się, jak to zrobić.

Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0

Podstawowe Pojęcia. Semantyczne KRZ

Elementy kognitywistyki III: Modele i architektury poznawcze

Logika dla socjologów

Imię i nazwisko:... OBROŃCY PRAWDY

1 Projektowanie systemu informatycznego

Wykład 0 Informacje Podstawowe

Piotr Kulicki. Informatyczny model realizacji celów i jego zastosowanie do argumentacji

RODZAJE ARGUMENTÓW W DYSKURSIE PRAWNICZYM

Wykład 8. Testowanie w JEE 5.0 (1) Autor: Zofia Kruczkiewicz. Zofia Kruczkiewicz

PODSTAWY BAZ DANYCH. 5. Modelowanie danych. 2009/ Notatki do wykładu "Podstawy baz danych"

Bazy danych. Plan wykładu. Diagramy ER. Podstawy modeli relacyjnych. Podstawy modeli relacyjnych. Podstawy modeli relacyjnych

Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I

Logika Temporalna i Automaty Czasowe

Nieczynnościowy sposób oceniania zadań otwartych

Klasyczny rachunek zdań 1/2

Kultura logiczna Klasyczny rachunek zdań 1/2

Wprowadzenie do logiki Pytania i odpowiedzi. Wnioskowania erotetyczne*

Analiza wyników badania Kompetencji trzecioklasistów uczniów klasy 3a i 3b w roku szkolnym 2015/16. opracowała Joanna Chachulska

JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 18 czerwca Imię i Nazwisko:... I

Szanowna Dyrekcjo oraz Szanowni Nauczyciele, Warszawa; 25 kwietnia 2016 r.

TESTY LOGIKA. redakcja naukowa ZBIGNIEW PINKALSKI

RÓŻNORODNOŚĆ DIALOGOWYCH PROCESÓW POZNAWCZYCH *

Matura z matematyki 2015

LOGIKA Klasyczny Rachunek Zdań

Brain Game. Wstęp. Scratch

Instrukcja 3 Laboratoria 3, 4 Specyfikacja wymagań funkcjonalnych za pomocą diagramu przypadków użycia

Metody Sztucznej Inteligencji II

Bazy danych wykład trzeci. trzeci Modelowanie schematu bazy danych 1 / 40

Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

Logika Temporalna i Automaty Czasowe

Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne

EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2017/2018

Komputerowe Systemy Przemysłowe: Modelowanie - UML. Arkadiusz Banasik arkadiusz.banasik@polsl.pl

Informacje dla uczniów, którzy w roku szkolnym 2017/18. przystępują do egzaminu maturalnego POZIOM PODSTAWOWY

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 12 i 13. Dowód i dowodzenie w KRP. Tezy KRP

EGZAMIN MATURALNY 2013 FILOZOFIA

WARUNKI I SPOSOBY OCENIANIA HISTORIA I WIEDZA O SPOŁECZEŃSTWIE

Logika Matematyczna (2,3)

Czy istnieje logika w naszych głowach

Ekran tytułowy (menu główne)

Logika pragmatyczna dla inżynierów

Język rachunku predykatów Formuły rachunku predykatów Formuły spełnialne i prawdziwe Dowody założeniowe. 1 Zmienne x, y, z...

JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 29 czerwca Imię i Nazwisko:...

Rachunek zdań i predykatów

Logika Temporalna i Automaty Czasowe

Szanowna Dyrekcjo oraz Szanowni Nauczyciele, Warszawa; 25 kwietnia 2016 r.

Kultura logicznego myślenia

ROZPORZĄDZENIE MINISTRA SPRAW WEWNĘTRZNYCH I ADMINISTRACJI [1]) z dnia r.

Druk nr 3521 Warszawa, 22 października 2010 r.

BAZY DANYCH model związków encji. Opracował: dr inż. Piotr Suchomski

Podrozdziały te powinny zawierać informacje istotne z punktu widzenia przyjętego celu pracy

Konsekwencja logiczna

5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH

Regulamin Gry Miejskiej Mafia Wrocław A. Postanowienia ogólne

Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

Informacje wstępne Autor Zofia Kruczkiewicz Wzorce oprogramowania 4

Kultura logiczna Wnioskowania dedukcyjne

Wprowadzenie do logiki Klasyczny Rachunek Zdań część 3

EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2017/2018

Egzamin maturalny z matematyki Budowa arkuszy maturalnych według nowej formuły

Podstawy Sztucznej Inteligencji (PSZT)

KARTA INFORMACYJNA UCZESTNIKA XV KONKURSU FILOZOFICZNEGO

Informacja o treści testu dla kl 3 gimnazjum Test wielokrotnego wyboru, z luką iopisowy zwos Temat: Udział obywateli w życiu publicznym

Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 8. Modalności i intensjonalność

EGZAMIN MATURALNY 2013 JĘZYK ANGIELSKI

Regulamin turnieju WARSZAWA W ROZUMIE organizowanego przez Dom Spotkań z Historią (dalej zwany regulaminem )

Geoportal.gov.pl Przewodnik użytkownika Załącznik 1 Dokumentacja profilu GUGIK usługi OpenLS

Wrota Parsęty II o bazie danych przestrzennych - wprowadzenie

Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I

KONKURS Z MATEMATYKI

2. Zarządzenie 19/2016 Zarządzenie nr 19/2016 Prezesa Narodowego Banku Polskiego

Bazy danych. Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wykład 3: Model związków encji.

KĄTY. Cele operacyjne. Metody nauczania. Materiały. Czas trwania. Struktura i opis lekcji

Adam Meissner.

Bazy danych 2. Wykład 1

Zarządzanie i anotowanie korpusów tekstowych w systemie Inforex

Klasyczny rachunek predykatów

idream instrukcja do gry klasowej z rankingiem

ćwiczenia 15 zaliczenie z oceną

PRZEŻYJ WYJĄTKOWĄ PRZYGODĘ W TRYBIE KOOPERACJI

CELE NAUCZNIA MATEMATYKI OPISANE W PODSTAWIE PROGRAMOWIEJ

Uproszczony opis obsługi ruchu w węźle IP. Trasa routingu. Warunek:

Transkrypt:

Aleksandra Kucharska

Schemat anotacji składa się z trzech warstw: 1. Warstwa strukturalna - reprezentuje strukturę zadań użytych w badaniach, wyróżniamy tu takie elementy jak: instrukcje, uzasadnienia, różne typy pytań oraz formuły deklaratywne 2. Warstwa inferencyjna - pozwala rozpoznanie zaczerpniętych z Inferencyjnej Logiki Pytań elementów normatywnych 3. Warstwa pragmatyczna - reprezentuje rozmaite wydarzenia, które mogą wystąpić w dialogu, na przykład długie pauzy. Zawiera również tagi, które wyrażają wydarzenia powiązane z rodzajami użytych zadań (np. użycie zakazanego pytania) Każde zadanie w ERC (Erotetic Reasoning Corpus) posiada tag KORPUS, który składa się z dwóch obowiązkowych atrybutów: - pierwszy precyzuje, z którego testu pochodzi zadanie - drugi precyzuje nazwę zadania oraz numer gracza, który je rozwiązał

Składa się z tagów: - INSTRUCTION: wskazuje instrukcję podanego zadania - JUSTIFICATION: wskazuje uzasadnienie podane przez badanego - DECLARATIVE: taguje formuły deklaratywne - QUESTION: wskazuje pytania

Tag QUESTION jest powiązany z następującymi atrybutami: 1. INITIAL: wskazuje pytanie początkowe. Dodatkowe atrybuty pozwalają sprecyzować czy pytanie początkowe jest pytaniem tak/nie czy jest pytaniem innego typu. 2. AUXILIARY: wskazuje pytania rozpoznane jako pomocnicze. Atrybuty powiązane z tym tagiem wskazują czy pytanie pomocnicze jest zapytaniem i wskazują na jego typ (tak/nie czy inny typ).

Tag DECLARATIVE jest powiązany z następującymi atrybutami: 1. IQ-ANSW: wskazuje odpowiedź na pytanie początkowe. Typ odpowiedzi może być sprecyzowany poprzez: TAK, NIE, NIE WIEM 2. AQ-ANSW: wskazuje odpowiedź na pytanie pomocnicze. Podobnie do poprzedniego tagu, odpowiedzi można sprecyzować poprzez: TAK, NIE, NIE WIEM, BEZ ZNACZENIA 3. PREMISE: używany dla przesłanek (tych deklaratywnych). Dodatkowe atrybuty mogą być użyte by sprecyzować logiczną strukturę rozpoznanej przesłanki 4. PREMISE-EX: używany dla takiej deklaratywnej przesłanki, która uwzględnia wyjątki

Składa się z tagów: - SOLUTION: wskazuje rozwiązane podane przez badanego. Dodatkowe atrybuty pozwalają sprecyzować czy badany rozwiązał zadanie poprawnie oraz jak to rozwiązanie zostało zdobyte

- TRANSMITION: używany dla uzasadnienia, które pokrywa pierwszy warunek definicji implikacji erotetycznej (transmisja prawdziwości/trafności) - USEFULNESS: używany dla uzasadnienia, które pokrywa drugi warunek definicji implikacji erotetycznej (użyteczność kognitywna) - W-USEFULNESS: używany dla uzasadnienia, które pokrywa drugi warunek definicji słabej implikacji erotetycznej - F-USEFULNESS: używany dla uzasadnienia, które pokrywa drugi warunek definicji falsyfikacjonistycznej implikacji erotetycznej - E-OTHER: oznacza takie uzasadnienia, które nie są modelowane przez Inferencyjną Logikę Pytań - ENTAILMENT: używany do uzasadnienia, które poprawnie odnosi się do wynikania logicznego - D-OTHER: używany do uzasadnienia które niepoprawnie odnosi się do wynikania logicznego bądź odnosi się do innego typu relacji pomiędzy formułami deklaratywnymi - IMP-ERROR: oznaczani uzasadnienia, w których badany błędnie zinterpretował implikację

Składa się z tagów: - Q-FORBIDDEN: pozwala wskazać kiedy zakazane pytanie pojawia się w rozwiązaniu zadania w podkorpusach QG (QuestGen) oraz TZ (Takie Życie) - WRONGINFO: używany w podkorpusie QG. Oznacza sytuację, w której Informator dostarcza Detektywowi złą informację w trakcie gry - KEY-INFO: używany w podkorpusie TZ. Oznacza dodatkową informację podaną przez mistrza gry - TOPIC: używany w podkorpusie TZ dla oznaczania tematów gdy pojawiają się w dialogu - LONG-PAUSE: używany w podkorpusach QG oraz TZ dla oznaczania długich pauz w grze

Dziękuję