Logika erotetyczna w modelowaniu liniowego i dystrybutywnego przetwarzania pytań. Podstawy teoretyczne i zastosowania
2012/04/A/HS1/00715
Słowa kluczowe
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 w Poznaniu, Wydział Nauk Społecznych
woj. wielkopolskie
Kierownik projektu (z jednostki realizującej)
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
- Komputer przenośny (laptop) : DELL Vostro 3560. Za kwotę 3 000 PLN
- Komputer przenośny (netbook) : ASUS 1011CX-WHI029S.
- Komputer przenośny (netbook) : ASUS 1225B-BLK053M. Za kwotę 1 500 PLN
- Komputer stacjonarny: DELL Optiplex 790 SF z minotorem LCD DELL P2312H. Za kwotę 3 500 PLN
- Urządzenie wielofunkcyjne (z drukarką laserową) : HP LaserJet Pro M425DN MFP. Za kwotę 4 000 PLN
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (22)
-
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
-
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
-
Compliance and Pure Erotetic Implication
- Autorzy:
- Paweł Łupkowski
- Czasopismo:
- Logica Yearbook (rok: 2014, tom: 1, strony: 105-114), Wydawca: College Publications
- Status:
- Opublikowana
-
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
-
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
-
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
-
An Axiomatic Account of Question Evocation. The Propositional Case
- Autorzy:
- Andrzej Wiśniewski
- Czasopismo:
- Axioms (rok: 2016, tom: 5, strony: 46036), Wydawca: MDPI
- Status:
- Opublikowana
- DOI:
- 10.3390/axioms5020014 – link do publikacji
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
Cooperative Question-responses and Question Dependency
- Autorzy:
- Paweł Łupkowski
- Czasopismo:
- Logica Yearbook (rok: 2012, tom: 1, strony: 79-90), Wydawca: College Publications
- Status:
- Opublikowana
-
Automatic Proof Generation in an Axiomatic System for CPL by means of the Method of Socratic Proofs
- Autorzy:
- Aleksandra Grzelak, Dorota Leszczyńska-Jasion
- Status:
- Przyjęta do publikacji
Teksty w publikacjach pokonferencyjnych (1)
-
Abductive Question-Answer System (AQAS) for Classical Propositional Logic
- Autorzy:
- Szymon Chlebowski, Andrzej Gajda
- Konferencja:
- Flexible Query Answering Systems. FQAS 2017 (rok: 2017, strony: 46095), Wydawca: Springer
- Data:
- konferencja 2017
- Status:
- Opublikowana
Publikacje książkowe (8)
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
nie dotyczy
- Autorzy:
- Andrzej Wiśniewski
- Książka:
- Questions, Inferences, and Scenarios (rok: 2013, tom: nie dotyczy, strony: 190), Wydawca: College Publications
- Status:
- Opublikowana