Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Logika erotetyczna w modelowaniu liniowego i dystrybutywnego przetwarzania pytań. Podstawy teoretyczne i zastosowania

2012/04/A/HS1/00715

Słowa kluczowe:

naturalne przetwarzanie pytań inferencyjna logika pytań teoria dowodu automatyzacja dedukcji kooperatywne stawianie pytań i odpowiadanie interrogacyjne rozwiązywanie problemów

Deskryptory:

  • HS1_4: Logika, metodologia nauk, filozofia nauki

Panel:

HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia

Jednostka realizująca:

Uniwersytet im. Adama Mickiewicza, Wydział Nauk Społecznych

woj. wielkopolskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

prof. Andrzej Wiśniewski 

Liczba wykonawców projektu: 7

Konkurs: MAESTRO 2 - ogłoszony 2011-12-15

Przyznana kwota: 1 562 287 PLN

Rozpoczęcie projektu: 2012-09-20

Zakończenie projektu: 2017-09-19

Planowany czas trwania projektu: 60 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Komputer przenośny (netbook) : ASUS 1011CX-WHI029S.
  2. Urządzenie wielofunkcyjne (z drukarką laserową) : HP LaserJet Pro M425DN MFP. Za kwotę 4 000 PLN
  3. Komputer stacjonarny: DELL Optiplex 790 SF z minotorem LCD DELL P2312H. Za kwotę 3 500 PLN
  4. Komputer przenośny (laptop) : DELL Vostro 3560. Za kwotę 3 000 PLN
  5. Komputer przenośny (netbook) : ASUS 1225B-BLK053M. Za kwotę 1 500 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (28)
  • Teksty w publikacjach pokonferencyjnych (1)
  • Publikacje książkowe (8)
  1. A system for proper multiple-conclusion entailment
    Autorzy:
    Tomasz Skura, Andrzej Wiśniewski
    Czasopismo:
    Logic and Logical Philosophy (rok: 2015, tom: 24, strony: 241-253), Wydawca: Nicolaus Copernicus University Press
    Status:
    Opublikowana
    Doi:
    10.12775/LLP.2015.001 - link do publikacji
  2. An Axiomatic Account of Question Evocation. The Propositional Case
    Autorzy:
    Andrzej Wiśniewski
    Czasopismo:
    Axioms (rok: 2016, tom: 5, strony: 45305), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/axioms5020014 - link do publikacji
  3. Compliance and Pure Erotetic Implication
    Autorzy:
    Paweł Łupkowski
    Czasopismo:
    Logica Yearbook (rok: 2014, tom: 1, strony: 105-114), Wydawca: College Publications
    Status:
    Opublikowana
    Doi:
    brak - link do publikacji
  4. Sequent Calculi for SCI
    Autorzy:
    Szymon Chlebowski
    Czasopismo:
    Studia Logica (rok: 2017, tom: bd, strony: bd), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s11225-017-9754-8 - link do publikacji
  5. Cooperative Question-responses and Question Dependency
    Autorzy:
    Paweł Łupkowski
    Czasopismo:
    Logica Yearbook (rok: 2012, tom: 1, strony: 79-90), Wydawca: College Publications
    Status:
    Opublikowana
    Doi:
    bd - link do publikacji
  6. Gamification for Question Processing Research - the QuestGen game
    Autorzy:
    Paweł Łupkowski, Patrycja Wietrzycka
    Czasopismo:
    Homo Ludens (rok: 2015, tom: 1(7), strony: 162-171), Wydawca: Polskie Towarzystwo Badania Gier
    Status:
    Opublikowana
    Doi:
    brak - link do publikacji
  7. Generalized entailments
    Autorzy:
    Andrzej Wiśniewski
    Czasopismo:
    Logic and Logical Philosophy (rok: 2017, tom: 26, strony: 321-356), Wydawca: Nocolaus Copernicus University Press
    Status:
    Opublikowana
    Doi:
    10.12775/LLP.2017.014 - link do publikacji
  8. Inferential Erotetic Logic meets Inquisitive Semantics
    Autorzy:
    Andrzej Wiśniewski, Dorota Leszczyńska-Jasion
    Czasopismo:
    Synthese (rok: 2015, tom: 192, strony: 1583-1608), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s11229-013-0355-4 - link do publikacji
  9. Query responses
    Autorzy:
    Paweł Łukowski, Jonathan Ginzburg
    Czasopismo:
    Journal of Language Modelling (rok: 2016, tom: 4(2), strony: 245-292), Wydawca: Institute of Computer Science of the Polish Academy of Sciences
    Status:
    Opublikowana
    Doi:
    10.15398/jlm.v4i2.173 - link do publikacji
  10. Erotetic Reasoning Corpus. A data set for research on natural question processing
    Autorzy:
    Paweł Łupkowski, Mariusz Urbański, Andrzej Wiśniewski i in.
    Czasopismo:
    Journal of Language Modelling (rok: 2017, tom: bd, strony: bd), Wydawca: Institute of Computer Science of the Polish Academy of Sciences
    Status:
    Złożona
    Doi:
    bd - link do publikacji
  11. Strong Entailments and Minimally Inconsistent Sets
    Autorzy:
    Andrzej Wiśniewski
    Czasopismo:
    Notre Dame Journal of Formal Logic (rok: 2015, tom: bd, strony: bd), Wydawca: Duke University Press
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  12. Automated Generation of Erotetic Search Scenarios: Classification, Optimisation and Knowledge Extraction
    Autorzy:
    Szymon Chlebowski, Maciej Komosiński, Adam Kups
    Czasopismo:
    ACM Transactions on Computational Logic (rok: 2017, tom: 18(2), strony: bd), Wydawca: ACM
    Status:
    Opublikowana
    Doi:
    10.1145/3056537 - link do publikacji
  13. Deduction and Reduction Theorems for Inferential Erotetic Logic
    Autorzy:
    Andrzej Wiśniewski
    Czasopismo:
    Studia Logica (rok: 2017, tom: bd, strony: bd), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s11225-017-9738-8 - link do publikacji
  14. Identifying Efficient Abductive Hypotheses Using Multi-criteria Dominance Relation
    Autorzy:
    Maciej Komosiński, Adam Kupś, Dorota Leszczyńska-Jasion, Mariusz Urbański
    Czasopismo:
    Transactions on Computational Logic (rok: 2014, tom: 15(4), strony: bd), Wydawca: ACM
    Status:
    Opublikowana
    Doi:
    10.1145/2629669 - link do publikacji
  15. Question dependency in terms of compliance and erotetic implication
    Autorzy:
    Paweł Łupkowski
    Czasopismo:
    Logic and Logical Philosophy (rok: 2015, tom: 24, strony: 357-376), Wydawca: Nicolaus Copernicus University Press
    Status:
    Opublikowana
    Doi:
    10.12775/LLP.2015.002 - link do publikacji
  16. Epistemic Erotetic Search Scenarios
    Autorzy:
    Paweł Łupkowski, Ondrej Majer, Michal Peliš, Mariusz Urbański
    Czasopismo:
    Logic and Logical Philosophy (rok: 2017, tom: bd, strony: bd), Wydawca: Nicolaus Copernicus Unioversity Press
    Status:
    Złożona
    Doi:
    bd - link do publikacji
  17. Paranegations and The Square of Opposition
    Autorzy:
    Mariusz Urbański, Zofia Żmójdzin
    Czasopismo:
    Logique et Analyse , Wydawca: Peeters Publishers
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  18. Dual Erotetic Calculi and the Minimal LFI
    Autorzy:
    Szymon Chlebowski, Dorota Leszczyńska-Jesion
    Czasopismo:
    Studia Logica (rok: 2015, tom: 103, strony: 1245-1278), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s11225-015-9617-0 - link do publikacji
  19. Support and Sets of Situations
    Autorzy:
    Andrzej Wiśniewski
    Czasopismo:
    Journal of Logic, Language and Information (rok: 2014, tom: 23, strony: 383-396), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s10849-013-9185-5 - link do publikacji
  20. Intuitionistic Logic with Suszko's Identity Operator
    Autorzy:
    Szymon Chlebowski
    Czasopismo:
    Bulletin of the Section of Logic (rok: 2017, tom: bd, strony: bd), Wydawca: Department of Logic, University of Lodz
    Status:
    Złożona
    Doi:
    bd - link do publikacji
  21. Rasiowa-Sikorski deduction systems with the rule of cut. A case study
    Autorzy:
    Dorota Leszczyńska-Jasion, Mateusz Ignaszak, Szymon Chlebowski
    Czasopismo:
    Studia Logica (rok: 2017, tom: bd, strony: bd), Wydawca: Springer
    Status:
    Złożona
    Doi:
    bd - link do publikacji
  22. Erotetic Search Scenarios and Three-Valued Logic
    Autorzy:
    Dorota Leszczyńska-Jasion, Paweł Łupkowski
    Czasopismo:
    Journal of Logic, Language and Information (rok: 2016, tom: 25, strony: 51-76), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s10849-015-9233-4 - link do publikacji
  23. Generating cooperative question-responses by means of erotetic search scenarios
    Autorzy:
    Paweł Łupkowski, Dorota Leszczyńska-Jesion
    Czasopismo:
    Logic and Logical Philosophy (rok: 2015, tom: 24, strony: 61-78), Wydawca: Nicolaus Copernicus University Press
    Status:
    Opublikowana
    Doi:
    10.12775/LLP.2014.017 - link do publikacji
  24. IEL-based Formal Dialogue System for Tutorials
    Autorzy:
    Paweł Łupkowski
    Czasopismo:
    Logic and Logical Philosophy (rok: 2017, tom: 26, strony: 287-320), Wydawca: Nicolaus Copernicus University Press
    Status:
    Opublikowana
    Doi:
    10.12775/LLP.2017.013 - link do publikacji
  25. Inferential Erotetic Logic in Modelling of Cooperative Problem Solving Involving Questions in the QuestGen Game
    Autorzy:
    Paweł Łupkowski, Oliwia Ignaszak
    Czasopismo:
    Organon F (rok: 2017, tom: 24, strony: 214-244), Wydawca: Institute of Philosophy SAS
    Status:
    Opublikowana
    Doi:
    brak - link do publikacji
  26. Modelowanie interrogacyjnego rozwiązywania problemów w środowisku gry QuestGen
    Autorzy:
    Paweł Łupkowski, Oliwia Ignaszak, Patrycja Wietrzycka
    Czasopismo:
    Studia Metodologiczne (rok: 2015, tom: 34, strony: 239-254), Wydawca: Wydawnictwo Naukowe UAM
    Status:
    Opublikowana
    Doi:
    brak - link do publikacji
  27. Non-cooperative Strategies of Players in the Loebner Contest
    Autorzy:
    Paweł Łupkowski, Aleksandra Rybacka
    Czasopismo:
    Organon F (rok: 2016, tom: 23(3), strony: 324-366), Wydawca: Institute of Philosophy SAS
    Status:
    Opublikowana
    Doi:
    brak - link do publikacji
  28. Automatic Proof Generation in an Axiomatic System for CPL by means of the Method of Socratic Proofs
    Autorzy:
    Aleksandra Grzelak, Dorota Leszczyńska-Jasion
    Czasopismo:
    Logic Journal of the IGPL (rok: 2017, tom: bd, strony: bd), Wydawca: Oxford University Press
    Status:
    Przyjęta do publikacji
    Doi:
    brak - link do publikacji
  1. Abductive Question-Answer System (AQAS) for Classical Propositional Logic
    Autorzy:
    Szymon Chlebowski, Andrzej Gajda
    Konferencja:
    Flexible Query Answering Systems. FQAS 2017 (rok: 2017, ), Wydawca: Springer
    Data:
    konferencja 2017
    Status:
    Opublikowana
  1. Effectiveness of Question-Answer Systems
    Autorzy:
    Andrzej Wiśniewski
    Książka:
    Essays in Logical Philosophy (rok: 2013, tom: nie dotyczy, strony: 53-62), Wydawca: LiT Verlag
    Status:
    Opublikowana
  2. On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations
    Autorzy:
    Mariusz Urbański, Andrzej Wisniewski
    Książka:
    Perspectives on Interrogative Models of Inquiry: Developments in Inquiry and Questions (rok: 2015, tom: nie dotyczy, strony: 111-127), Wydawca: Springer
    Status:
    Opublikowana
  3. Semantics of Questions
    Autorzy:
    Andrzej Wiśniewski
    Książka:
    The Handbook of Contemporary Semantic Theory, 2nd Edition (rok: 2015, tom: nie dotyczy, strony: 273-313), Wydawca: Wiley-Blackwell
    Status:
    Opublikowana
  4. Being Permitted, Inconsistencies, and Question Raising
    Autorzy:
    Andrzej Wiśniewski
    Książka:
    New Directions in Paraconsistent Logic (rok: 2015, tom: nie dotyczy, strony: 477-507), Wydawca: Springer
    Status:
    Opublikowana
  5. nie dotyczy
    Autorzy:
    Paweł Łupkowski
    Książka:
    Logic of Questions in the Wild. Inferential Erotetic Logic in Information Seeking Dialogue Modelling (rok: 2016, tom: nie dotyczy, strony: 136), Wydawca: College Publications
    Status:
    Opublikowana
  6. Erotetic problem solving:from real data to formal models. An analysis of solutions to Erotetic Reasoning Test tasks
    Autorzy:
    Mariusz Urbański, Katarzyna Paluszkiewicz, Joanna Urbańska
    Książka:
    The Psychology of Argument: Cognitive Approaches to Argumentation and Persuasion (rok: 2016, tom: nie dotyczy, strony: 33-46), Wydawca: College Publications
    Status:
    Opublikowana
  7. nie dotyczy
    Autorzy:
    Andrzej Wiśniewski
    Książka:
    Questions, Inferences, and Scenarios (rok: 2013, tom: nie dotyczy, strony: 190), Wydawca: College Publications
    Status:
    Opublikowana
  8. Erotetic Logic and Explanation by Specification
    Autorzy:
    Andrzej Wiśniewski
    Książka:
    Essays in Logical Philosophy (rok: 2013, tom: nie dotyczy, strony: 105-117), Wydawca: LiT Verlag
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy