Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Erotetic logic in the modeling of ultimate and distributed question processing. Theoretical foundations and applications

2012/04/A/HS1/00715

Keywords:

internal question processing inferential erotetic logic proof theory automated theorem proving cooperative questioning and answering interrogative problem solving

Descriptors:

  • HS1_4:

Panel:

HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology

Host institution :

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

woj. wielkopolskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

prof. Andrzej Wiśniewski 

Number of co-investigators in the project: 7

Call: MAESTRO 2 - announced on 2011-12-15

Amount awarded: 1 562 287 PLN

Project start date (Y-m-d): 2012-09-20

Project end date (Y-m-d): 2017-09-19

Project duration:: 60 months (the same as in the proposal)

Project status: Project settled

Equipment purchased [PL]

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

Information in the final report

  • Publication in academic press/journals (23)
  • Articles in post-conference publications (1)
  • Book publications / chapters in book publications (9)
  1. Cooperative Question-responses and Question Dependency
    Authors:
    Paweł Łupkowski
    Academic press:
    Logica Yearbook (rok: 2012, tom: 1, strony: 79-90), Wydawca: College Publications
    Status:
    Published
    DOI:
    bd - link to the publication
  2. A system for proper multiple-conclusion entailment
    Authors:
    Tomasz Skura, Andrzej Wiśniewski
    Academic press:
    Logic and Logical Philosophy (rok: 2015, tom: 24, strony: 241-253), Wydawca: Nicolaus Copernicus University Press
    Status:
    Published
    DOI:
    10.12775/LLP.2015.001 - link to the publication
  3. Query responses
    Authors:
    Paweł Łukowski, Jonathan Ginzburg
    Academic press:
    Journal of Language Modelling (rok: 2016, tom: 4(2), strony: 245-292), Wydawca: Institute of Computer Science of the Polish Academy of Sciences
    Status:
    Published
    DOI:
    10.15398/jlm.v4i2.173 - link to the publication
  4. Gamification for Question Processing Research - the QuestGen game
    Authors:
    Paweł Łupkowski, Patrycja Wietrzycka
    Academic press:
    Homo Ludens (rok: 2015, tom: 1(7), strony: 162-171), Wydawca: Polskie Towarzystwo Badania Gier
    Status:
    Published
  5. Deduction and Reduction Theorems for Inferential Erotetic Logic
    Authors:
    Andrzej Wiśniewski
    Academic press:
    Studia Logica (rok: 2017, tom: bd, strony: bd), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11225-017-9738-8 - link to the publication
  6. Inferential Erotetic Logic meets Inquisitive Semantics
    Authors:
    Andrzej Wiśniewski, Dorota Leszczyńska-Jasion
    Academic press:
    Synthese (rok: 2015, tom: 192, strony: 1583-1608), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11229-013-0355-4 - link to the publication
  7. IEL-based Formal Dialogue System for Tutorials
    Authors:
    Paweł Łupkowski
    Academic press:
    Logic and Logical Philosophy (rok: 2017, tom: 26, strony: 287-320), Wydawca: Nicolaus Copernicus University Press
    Status:
    Published
    DOI:
    10.12775/LLP.2017.013 - link to the publication
  8. Identifying Efficient Abductive Hypotheses Using Multi-criteria Dominance Relation
    Authors:
    Maciej Komosiński, Adam Kupś, Dorota Leszczyńska-Jasion, Mariusz Urbański
    Academic press:
    Transactions on Computational Logic (rok: 2014, tom: 15(4), strony: bd), Wydawca: ACM
    Status:
    Published
    DOI:
    10.1145/2629669 - link to the publication
  9. Non-cooperative Strategies of Players in the Loebner Contest
    Authors:
    Paweł Łupkowski, Aleksandra Rybacka
    Academic press:
    Organon F (rok: 2016, tom: 23(3), strony: 324-366), Wydawca: Institute of Philosophy SAS
    Status:
    Published
  10. An Axiomatic Account of Question Evocation. The Propositional Case
    Authors:
    Andrzej Wiśniewski
    Academic press:
    Axioms (rok: 2016, tom: 5, strony: 45671), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/axioms5020014 - link to the publication
  11. Inferential Erotetic Logic in Modelling of Cooperative Problem Solving Involving Questions in the QuestGen Game
    Authors:
    Paweł Łupkowski, Oliwia Ignaszak
    Academic press:
    Organon F (rok: 2017, tom: 24, strony: 214-244), Wydawca: Institute of Philosophy SAS
    Status:
    Published
    DOI:
    brak - link to the publication
  12. Sequent Calculi for SCI
    Authors:
    Szymon Chlebowski
    Academic press:
    Studia Logica (rok: 2017, tom: bd, strony: bd), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11225-017-9754-8 - link to the publication
  13. Inferential Erotetic Logic in Modelling of Cooperative Problem Solving Involving Questions in the QuestGen Game
    Authors:
    Paweł Łupkowski, Oliwia Ignaszak
    Academic press:
    Organon F (rok: 2017, tom: 24, strony: 214-244), Wydawca: Institute of Philosophy SAS
    Status:
    Published
  14. Support and Sets of Situations
    Authors:
    Andrzej Wiśniewski
    Academic press:
    Journal of Logic, Language and Information (rok: 2014, tom: 23, strony: 383-396), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s10849-013-9185-5 - link to the publication
  15. Generating cooperative question-responses by means of erotetic search scenarios
    Authors:
    Paweł Łupkowski, Dorota Leszczyńska-Jesion
    Academic press:
    Logic and Logical Philosophy (rok: 2015, tom: 24, strony: 61-78), Wydawca: Nicolaus Copernicus University Press
    Status:
    Published
    DOI:
    10.12775/LLP.2014.017 - link to the publication
  16. Erotetic Search Scenarios and Three-Valued Logic
    Authors:
    Dorota Leszczyńska-Jasion, Paweł Łupkowski
    Academic press:
    Journal of Logic, Language and Information (rok: 2016, tom: 25, strony: 51-76), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s10849-015-9233-4 - link to the publication
  17. Modelowanie interrogacyjnego rozwiązywania problemów w środowisku gry QuestGen
    Authors:
    Paweł Łupkowski, Oliwia Ignaszak, Patrycja Wietrzycka
    Academic press:
    Studia Metodologiczne (rok: 2015, tom: 34, strony: 239-254), Wydawca: Wydawnictwo Naukowe UAM
    Status:
    Published
  18. Generalized entailments
    Authors:
    Andrzej Wiśniewski
    Academic press:
    Logic and Logical Philosophy (rok: 2017, tom: 26, strony: 321-356), Wydawca: Nocolaus Copernicus University Press
    Status:
    Published
    DOI:
    10.12775/LLP.2017.014 - link to the publication
  19. Compliance and Pure Erotetic Implication
    Authors:
    Paweł Łupkowski
    Academic press:
    Logica Yearbook (rok: 2014, tom: 1, strony: 105-114), Wydawca: College Publications
    Status:
    Published
  20. Automated Generation of Erotetic Search Scenarios: Classification, Optimisation and Knowledge Extraction
    Authors:
    Szymon Chlebowski, Maciej Komosiński, Adam Kups
    Academic press:
    ACM Transactions on Computational Logic (rok: 2017, tom: 18(2), strony: bd), Wydawca: ACM
    Status:
    Published
    DOI:
    10.1145/3056537 - link to the publication
  21. Question dependency in terms of compliance and erotetic implication
    Authors:
    Paweł Łupkowski
    Academic press:
    Logic and Logical Philosophy (rok: 2015, tom: 24, strony: 357-376), Wydawca: Nicolaus Copernicus University Press
    Status:
    Published
    DOI:
    10.12775/LLP.2015.002 - link to the publication
  22. Dual Erotetic Calculi and the Minimal LFI
    Authors:
    Szymon Chlebowski, Dorota Leszczyńska-Jesion
    Academic press:
    Studia Logica (rok: 2015, tom: 103, strony: 1245-1278), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11225-015-9617-0 - link to the publication
  23. Automatic Proof Generation in an Axiomatic System for CPL by means of the Method of Socratic Proofs
    Authors:
    Aleksandra Grzelak, Dorota Leszczyńska-Jasion
    Status:
    Accepted for publication
  1. Abductive Question-Answer System (AQAS) for Classical Propositional Logic
    Authors:
    Szymon Chlebowski, Andrzej Gajda
    Conference:
    Flexible Query Answering Systems. FQAS 2017 (rok: 2017, ), Wydawca: Springer
    Data:
    konferencja 2017
    Status:
    Published
  1. nie dotyczy
    Authors:
    Paweł Łupkowski
    Book:
    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:
    Published
  2. Effectiveness of Question-Answer Systems
    Authors:
    Andrzej Wiśniewski
    Book:
    Essays in Logical Philosophy (rok: 2013, tom: nie dotyczy, strony: 53-62), Wydawca: LiT Verlag
    Status:
    Published
  3. nie dotyczy
    Authors:
    Andrzej Wiśniewski
    Book:
    Questions, Inferences, and Scenarios (rok: 2013, tom: nie dotyczy, strony: 190), Wydawca: College Publications
    Status:
    Published
  4. Semantics of Questions
    Authors:
    Andrzej Wiśniewski
    Book:
    The Handbook of Contemporary Semantic Theory, 2nd Edition (rok: 2015, tom: nie dotyczy, strony: 273-313), Wydawca: Wiley-Blackwell
    Status:
    Published
  5. nie dotyczy
    Authors:
    Andrzej Wiśniewski
    Book:
    Questions, Inferences, and Scenarios (rok: 2013, tom: nie dotyczy, strony: 190), Wydawca: College Publications
    Status:
    Published
  6. On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations
    Authors:
    Mariusz Urbański, Andrzej Wisniewski
    Book:
    Perspectives on Interrogative Models of Inquiry: Developments in Inquiry and Questions (rok: 2015, tom: nie dotyczy, strony: 111-127), Wydawca: Springer
    Status:
    Published
  7. Erotetic problem solving:from real data to formal models. An analysis of solutions to Erotetic Reasoning Test tasks
    Authors:
    Mariusz Urbański, Katarzyna Paluszkiewicz, Joanna Urbańska
    Book:
    The Psychology of Argument: Cognitive Approaches to Argumentation and Persuasion (rok: 2016, tom: nie dotyczy, strony: 33-46), Wydawca: College Publications
    Status:
    Published
  8. Erotetic Logic and Explanation by Specification
    Authors:
    Andrzej Wiśniewski
    Book:
    Essays in Logical Philosophy (rok: 2013, tom: nie dotyczy, strony: 105-117), Wydawca: LiT Verlag
    Status:
    Published
  9. Being Permitted, Inconsistencies, and Question Raising
    Authors:
    Andrzej Wiśniewski
    Book:
    New Directions in Paraconsistent Logic (rok: 2015, tom: nie dotyczy, strony: 477-507), Wydawca: Springer
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy