Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "erotetic logic" wg kryterium: Temat


Wyświetlanie 1-4 z 4
Tytuł:
Erotetic Reasoning Corpus. A data set for research on natural question processing
Autorzy:
Łupkowski, P.
Urbański, M.
Wiśniewski, A.
Błądek, W.
Juska, A.
Kostrzewa, A.
Pankow, D.
Paluszkiewicz, K.
Ignaszak, O.
Urbańska, J.
Żyluk, N.
Gajda, A.
Marciniak, B.
Powiązania:
https://bibliotekanauki.pl/articles/103809.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
question
logic of question
question processing
erotetic reasoning
corpus annotation
Opis:
The aim of this paper is to present the Erotetic Reasoning Corpus (ERC) which constitutes a data set for research on natural question processing. We describe the theoretical background, linguistic data and tags used for the annotation process. We also discuss the potential areas in which the ERC can be exploited.
Źródło:
Journal of Language Modelling; 2017, 5, 3; 607-631
2299-856X
2299-8470
Pojawia się w:
Journal of Language Modelling
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelowanie rozumowań abdukcyjnych: przypadek gry Takie Życie
Autorzy:
Żyluk, Natalia
Urbański, Mariusz
Żelechowska, Dorota
Powiązania:
https://bibliotekanauki.pl/articles/561374.pdf
Data publikacji:
2018
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
abdukcja
logika pytań
implikacja erotetyczna
semantyka sytuacyjna
zawężanie
odsiewanie
abduction
logic of questions
erotetic implication
situational semantics
funneling
sifting
Opis:
Prezentujemy dwa formalne narzędzia służące do modelowania rozumowań, za pomocą których rozwiązywane są szczególnego rodzaju problemy abdukcyjne. Pierwszy model, osadzony w formalizmie logiki pytań, bazuje na pojęciu słabej implikacji erotetycznej. Drugi model wykorzystuje relacje zawężania i odsiewania definiowane za pomocą logiki pytań, semantyki sytuacyjnej i pojęcia relewancji wątku. Na przykładzie analizy rozgrywek w grę Takie Życie pokazujemy, że oba modele adekwatnie charakteryzują dane empiryczne.
Our research provides formal tools for analyses of reasoning involved in solutions to a specific class of abductive problems. We present two models of this reasoning. The first one is grounded in the logic of questions and employs a weak version of erotetic implication. The second one is construed in terms of relations of sifting and funneling. Definitions of these relations involve the logic of questions, situational semantics, and the concept of topic relevance. As we show on the basis of a Mind Maze gameplay case study, these models account well for empirical data.
Źródło:
Studia Semiotyczne; 2018, 32, 1; 53-75
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pytania w opisie analitycznym. Logika erotetyczna z metodologicznego punktu widzenia
Questions in the Analytical Description: Erothetic Logic from a Methodological Point of View
Autorzy:
Brożek, Anna
Powiązania:
https://bibliotekanauki.pl/articles/2097349.pdf
Data publikacji:
2021-12-06
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
pytanie
logika erotetyczna
analiza pojęciowa
opis analityczny
Kazimierz Ajdukiewicz
Adam Jonkisz
question
erotetic logic
conceptual analysis
analytic description
Opis:
Artykuł przedstawia metodę opisu analitycznego w zastosowaniu do teorii pytań. Metoda ta, zrekonstruowana przez Tadeusza Czeżowskiego, a aplikowana szeroko w Szkole Lwowsko-‑Warszawskiej, znajduje zastosowanie przede wszystkim na preteoretycznym etapie badań, tj. do konstrukcji siatki pojęciowej danej dyscypliny i klasyfikacji dziedziny badań. Jako przykład zastosowania tej metody wskazana została teoria pytań Kazimierza Ajdukiewicza oraz jej rozwinięcia, a zwłaszcza opublikowana niedawno monografia Adama Jonkisza. Omówione zostały metody alternatywne względem opisu analitycznego ze względu na dobór materiału empirycznego i perspektywę teoretyczną. Na tym tle pokazane zostały różnice między odmiennymi nurtami w badaniach erotetycznych i źródła nieporozumień między przedstawicielami tych nurtów.
The article presents the method of analytic description as applied in the theory of questions. This procedure, described by Tadeusz Czeżowski and broadly used in the Lvov-Warsaw School, is applied first of all at the pre-theoretic stage of research, namely to construct the conceptual scheme of a given discipline and to classify the objects of investigations. Ajdukiewicz’s theory of questions and its developments, in particular recent works of Adam Jonkisz, are presented as examples of the applications of this method. Analytic description is contrasted with other procedures, which differ from it with respect to the empirical basis and theoretical perspective. On this background, differences between various currents in erotetic research as well as the sources of misunderstandings between the representatives of these currents are explained.
Źródło:
Roczniki Filozoficzne; 2021, 69, 4; 259-280
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Method of Socratic Proofs Meets Correspondence Analysis
Autorzy:
Leszczyńska-Jasion, Dorota
Petrukhin, Yaroslav
Shangin, Vasilyi
Powiązania:
https://bibliotekanauki.pl/articles/749950.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Socratic proofs
correspondence analysis
invertible rule
inferential erotetic logic
classical propositional logic
sequent calculus
Opis:
The goal of this paper is to propose correspondence analysis as a technique for generating the so-called erotetic (i.e. pertaining to the logic of questions) calculi which constitute the method of Socratic proofs by Andrzej Wiśniewski. As we explain in the paper, in order to successfully design an erotetic calculus one needs invertible sequent-calculus-style rules. For this reason, the proposed correspondence analysis resulting in invertible rules can constitute a new foundation for the method of Socratic proofs. Correspondence analysis is Kooi and Tamminga's technique for designing proof systems. In this paper it is used to consider sequent calculi with non-branching (the only exception being the rule of cut), invertible rules for the negation fragment of classical propositional logic and its extensions by binary Boolean functions.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 2; 99-116
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-4 z 4

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies