Zmiana języka

Projects search

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

2012/04/A/HS1/00715

Keywords

Descriptors

  • HS1_4: Logika, metodologia nauk, filozofia nauki

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

Voivodeship: 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
2012-09-20
Project end date
2017-09-19
Project duration
60 months (the same as in the proposal)
Project status
Project settled

Equipment purchased [PL]

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

Information in the final report

Publication in academic press/journals (22)

  1. Support and Sets of Situations

    Authors:
    Andrzej Wiśniewski
    Academic press:
    Journal of Logic, Language and Information (year: 2014, volume: 23, pages: 383-396), Publisher: Springer
    Status:
    Published
    DOI:
    10.1007/s10849-013-9185-5 – link to the publication

  2. Inferential Erotetic Logic meets Inquisitive Semantics

    Authors:
    Andrzej Wiśniewski, Dorota Leszczyńska-Jasion
    Academic press:
    Synthese (year: 2015, volume: 192, pages: 1583-1608), Publisher: Springer
    Status:
    Published
    DOI:
    10.1007/s11229-013-0355-4 – link to the publication

  3. Compliance and Pure Erotetic Implication

    Authors:
    Paweł Łupkowski
    Academic press:
    Logica Yearbook (year: 2014, volume: 1, pages: 105-114), Publisher: College Publications
    Status:
    Published

  4. Query responses

    Authors:
    Paweł Łukowski, Jonathan Ginzburg
    Academic press:
    Journal of Language Modelling (year: 2016, volume: 4(2), pages: 245-292), Publisher: Institute of Computer Science of the Polish Academy of Sciences
    Status:
    Published
    DOI:
    10.15398/jlm.v4i2.173 – link to the publication

  5. Gamification for Question Processing Research - the QuestGen game

    Authors:
    Paweł Łupkowski, Patrycja Wietrzycka
    Academic press:
    Homo Ludens (year: 2015, volume: 1(7), pages: 162-171), Publisher: Polskie Towarzystwo Badania Gier
    Status:
    Published

  6. Non-cooperative Strategies of Players in the Loebner Contest

    Authors:
    Paweł Łupkowski, Aleksandra Rybacka
    Academic press:
    Organon F (year: 2016, volume: 23(3), pages: 324-366), Publisher: Institute of Philosophy SAS
    Status:
    Published

  7. An Axiomatic Account of Question Evocation. The Propositional Case

    Authors:
    Andrzej Wiśniewski
    Academic press:
    Axioms (year: 2016, volume: 5, pages: 46036), Publisher: MDPI
    Status:
    Published
    DOI:
    10.3390/axioms5020014 – link to the publication

  8. Question dependency in terms of compliance and erotetic implication

    Authors:
    Paweł Łupkowski
    Academic press:
    Logic and Logical Philosophy (year: 2015, volume: 24, pages: 357-376), Publisher: Nicolaus Copernicus University Press
    Status:
    Published
    DOI:
    10.12775/LLP.2015.002 – link to the publication

  9. Erotetic Search Scenarios and Three-Valued Logic

    Authors:
    Dorota Leszczyńska-Jasion, Paweł Łupkowski
    Academic press:
    Journal of Logic, Language and Information (year: 2016, volume: 25, pages: 51-76), Publisher: Springer
    Status:
    Published
    DOI:
    10.1007/s10849-015-9233-4 – link to the publication

  10. Modelowanie interrogacyjnego rozwiązywania problemów w środowisku gry QuestGen

    Authors:
    Paweł Łupkowski, Oliwia Ignaszak, Patrycja Wietrzycka
    Academic press:
    Studia Metodologiczne (year: 2015, volume: 34, pages: 239-254), Publisher: Wydawnictwo Naukowe UAM
    Status:
    Published

  11. Dual Erotetic Calculi and the Minimal LFI

    Authors:
    Szymon Chlebowski, Dorota Leszczyńska-Jesion
    Academic press:
    Studia Logica (year: 2015, volume: 103, pages: 1245-1278), Publisher: Springer
    Status:
    Published
    DOI:
    10.1007/s11225-015-9617-0 – link to the publication

  12. Generating cooperative question-responses by means of erotetic search scenarios

    Authors:
    Paweł Łupkowski, Dorota Leszczyńska-Jesion
    Academic press:
    Logic and Logical Philosophy (year: 2015, volume: 24, pages: 61-78), Publisher: Nicolaus Copernicus University Press
    Status:
    Published
    DOI:
    10.12775/LLP.2014.017 – link to the publication

  13. A system for proper multiple-conclusion entailment

    Authors:
    Tomasz Skura, Andrzej Wiśniewski
    Academic press:
    Logic and Logical Philosophy (year: 2015, volume: 24, pages: 241-253), Publisher: Nicolaus Copernicus University Press
    Status:
    Published
    DOI:
    10.12775/LLP.2015.001 – link to the publication

  14. Inferential Erotetic Logic in Modelling of Cooperative Problem Solving Involving Questions in the QuestGen Game

    Authors:
    Paweł Łupkowski, Oliwia Ignaszak
    Academic press:
    Organon F (year: 2017, volume: 24, pages: 214-244), Publisher: Institute of Philosophy SAS
    Status:
    Published

  15. Deduction and Reduction Theorems for Inferential Erotetic Logic

    Authors:
    Andrzej Wiśniewski
    Academic press:
    Studia Logica (year: 2017, volume: bd, pages: bd), Publisher: Springer
    Status:
    Published
    DOI:
    10.1007/s11225-017-9738-8 – link to the publication

  16. Sequent Calculi for SCI

    Authors:
    Szymon Chlebowski
    Academic press:
    Studia Logica (year: 2017, volume: bd, pages: bd), Publisher: Springer
    Status:
    Published
    DOI:
    10.1007/s11225-017-9754-8 – link to the publication

  17. IEL-based Formal Dialogue System for Tutorials

    Authors:
    Paweł Łupkowski
    Academic press:
    Logic and Logical Philosophy (year: 2017, volume: 26, pages: 287-320), Publisher: Nicolaus Copernicus University Press
    Status:
    Published
    DOI:
    10.12775/LLP.2017.013 – link to the publication

  18. Generalized entailments

    Authors:
    Andrzej Wiśniewski
    Academic press:
    Logic and Logical Philosophy (year: 2017, volume: 26, pages: 321-356), Publisher: Nocolaus Copernicus University Press
    Status:
    Published
    DOI:
    10.12775/LLP.2017.014 – link to the publication

  19. 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 (year: 2017, volume: 18(2), pages: bd), Publisher: ACM
    Status:
    Published
    DOI:
    10.1145/3056537 – link to the publication

  20. 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 (year: 2014, volume: 15(4), pages: bd), Publisher: ACM
    Status:
    Published
    DOI:
    10.1145/2629669 – link to the publication

  21. Cooperative Question-responses and Question Dependency

    Authors:
    Paweł Łupkowski
    Academic press:
    Logica Yearbook (year: 2012, volume: 1, pages: 79-90), Publisher: College Publications
    Status:
    Published

  22. 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

Articles in post-conference publications (1)

  1. Abductive Question-Answer System (AQAS) for Classical Propositional Logic

    Authors:
    Szymon Chlebowski, Andrzej Gajda
    Conference:
    Flexible Query Answering Systems. FQAS 2017 (year: 2017, pages: 46095), Publisher: Springer
    Date:
    conference 2017
    Status:
    Published

Book publications / chapters in book publications (8)

  1. Semantics of Questions

    Authors:
    Andrzej Wiśniewski
    Book:
    The Handbook of Contemporary Semantic Theory, 2nd Edition (year: 2015, volume: nie dotyczy, pages: 273-313), Publisher: Wiley-Blackwell
    Status:
    Published

  2. Erotetic Logic and Explanation by Specification

    Authors:
    Andrzej Wiśniewski
    Book:
    Essays in Logical Philosophy (year: 2013, volume: nie dotyczy, pages: 105-117), Publisher: LiT Verlag
    Status:
    Published

  3. nie dotyczy

    Authors:
    Paweł Łupkowski
    Book:
    Logic of Questions in the Wild. Inferential Erotetic Logic in Information Seeking Dialogue Modelling (year: 2016, volume: nie dotyczy, pages: 136), Publisher: College Publications
    Status:
    Published

  4. Effectiveness of Question-Answer Systems

    Authors:
    Andrzej Wiśniewski
    Book:
    Essays in Logical Philosophy (year: 2013, volume: nie dotyczy, pages: 53-62), Publisher: LiT Verlag
    Status:
    Published

  5. Being Permitted, Inconsistencies, and Question Raising

    Authors:
    Andrzej Wiśniewski
    Book:
    New Directions in Paraconsistent Logic (year: 2015, volume: nie dotyczy, pages: 477-507), Publisher: Springer
    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 (year: 2015, volume: nie dotyczy, pages: 111-127), Publisher: 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 (year: 2016, volume: nie dotyczy, pages: 33-46), Publisher: College Publications
    Status:
    Published

  8. nie dotyczy

    Authors:
    Andrzej Wiśniewski
    Book:
    Questions, Inferences, and Scenarios (year: 2013, volume: nie dotyczy, pages: 190), Publisher: College Publications
    Status:
    Published

« New search

Graphic design and implementation: Jakub Piotrowski