IntQuestPro Bibliography

BOOKS

@Book{wisniewski2013-scenarios,
author = {Andrzej Wi\'{s}niewski},
title = {Questions, Inferences and Scenarios},
year = {2013},
publisher = {College Publications},
address = {London}
}

@Book{lupkowski2016-wild,
author = {Pawe\l{} \L{}upkowski},
title = {Logic of Questions in the Wild. Inferential Erotetic Logic in Information Seeking Dialogue Modelling},
year = {2016},
publisher = {College Publications},
address = {London}
}

PAPERS

2014

@Article{wisniewski2014-jlli,
author={Wi\'{s}niewski, Andrzej},
title={Support and Sets of Situations},
journal={Journal of Logic, Language and Information},
year={2014},
volume={23},
number={3},
pages={383–396},
keywords={Inquisitive semantics, Situational semantics, Truth},
abstract={An alternative conceptual setting of the basic system of inquisitive semantics is presented. A situational interpretation of the proposed formalism is discussed.},
issn={1572-9583},
doi={10.1007/s10849-013-9185-5},
url={http://dx.doi.org/10.1007/s10849-013-9185-5}
}

@article{lupkowski2014-llp,
author = {Pawe\l{} \L{}upkowski and Dorota Leszczy\'{n}ska-Jasion},
title = {Generating cooperative question-responses by means of erotetic search scenarios},
journal = {Logic and Logical Philosophy},
volume = {24},
number = {1},
year = {2014},
keywords = {question-response; dependent question; databases, cooperative answering; inferential erotetic logic; erotetic search scenarios},
abstract = {The concept of cooperative question-responses as an extension of cooperative behaviours used by interfaces for databases and information systems is proposed. A procedure to generate question-responses based on question dependency and erotetic search scenarios is presented. The procedure is implemented in Prolog.},
issn = {2300-9802},
doi = {10.12775/LLP.2014.017},
url = {http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2014.017},
pages = {61–78}
}

@article{komosinski2014-acm,
author = {Maciej Komosinski and Adam Kups and Dorota Leszczy\'{n}ska-Jasion and Mariusz Urba\'{n}ski},
title = {Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation},
journal = {ACM Trans. Comput. Logic},
issue_date = {August 2014},
volume = {15},
number = {4},
month = aug,
year = {2014},
issn = {1529-3785},
pages = {28:1–28:20},
articleno = {28},
numpages = {20},
url = {http://doi.acm.org/10.1145/2629669},
doi = {10.1145/2629669},
acmid = {2629669},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Abduction, dominance relation, multicriteria, optimization, synthetic tableau method},
abstract = {In this article, results of the automation of an abductive procedure are reported. This work is a continuation of our earlier research [Komosinski et al. 2012], where a general scheme of the procedure has been proposed. Here, a more advanced system developed to generate and evaluate abductive hypotheses is introduced. Abductive hypotheses have been generated by the implementation of the synthetic tableau method. Prior to the evaluation, the set of hypotheses has undergone several reduction phases. To assess usefulness of abductive hypotheses in the reduced set, several criteria have been employed. The evaluation of efficiency of the hypotheses has been provided by the multicriteria dominance relation. To comprehend the abductive procedure and the evaluation process more extensively, analyses have been conducted on a number of artificially generated abductive problems.}
}

2015

@article{wisniewski2015-synth,
title={Inferential erotetic logic meets inquisitive semantics},
author={Andrzej Wi{\’s}niewski and Dorota Leszczy{\’n}ska-Jasion},
journal={Synthese},
volume={192},
number={6},
pages={1585–1608},
year={2015},
publisher={Springer},
doi={10.1007/s11229-013-0355-4},
keywords={Logic of questions, Inferential erotetic logic, Inquisitive semantics},
abstract={Inferential erotetic logic (IEL) and inquisitive semantics (INQ) give accounts of questions and model various aspects of questioning. In this paper we concentrate upon connections between inquisitiveness, being the core concept of INQ, and question raising, characterized in IEL by means of the concepts of question evocation and erotetic implication. We consider the basic system InqB of INQ, remain at the propositional level and show, inter alia, that: (1) a disjunction of all the direct answers to an evoked question is always inquisitive; (2) a formula is inquisitive if, and only if it evokes a yes–no question whose affirmative answer expresses a possibility for the formula; (3) inquisitive formulas evoke questions whose direct answers express all the possibilities for the formulas, and (4) each question erotetically implies a question whose direct answers express the possibilities for the direct answers to the implying question.}
}

@article{skura2015-llp,
author = {Tomasz Skura and Andrzej Wiśniewski},
title = {A system for proper multiple-conclusion entailment},
journal = {Logic and Logical Philosophy},
volume = {24},
number = {2},
year = {2015},
keywords = {multiple-conclusion entailment},
abstract = {The concept of proper multiple-conclusion entailment is introduced. For any sets X, Y of formulas, we say that Y is properly mc-entailed by X iff Y is mc-entailed by X, but no A ∈ Y is single-conclusion entailed by X. The concept has a natural interpretation in terms of question evocation. A sound and complete axiom system for the propositional case of proper mc-entailment is presented.},
issn = {2300-9802},
doi = {10.12775/LLP.2015.001},
url = {http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2015.001},
pages = {241–253}
}

@article{lupkowski2015-llp,
author = {Pawe\l{} \L{}upkowski},
title = {Question dependency in terms of compliance and erotetic implication},
journal = {Logic and Logical Philosophy},
volume = {24},
number = {3},
year = {2015},
keywords = {question-response; dependent question; inferential erotetic logic; inquisitive semantics; erotetic implication; compliance},
abstract = {The dependency relation between questions is discussed in terms of compliance (developed within inquisitive semantics – INQ) and erotetic implication (developed within Inferential Erotetic Logic – IEL). I show that INQ approach to questions’ dependency is more narrow and strict than the one offered by IEL.},
issn = {2300-9802},
doi = {10.12775/LLP.2015.002},
url = {http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2015.002},
pages = {357–376}
}

@Article{chlebowski2015-sl,
author={Chlebowski, Szymon and Leszczy{\'{n}}ska-Jasion, Dorota},
title={Dual Erotetic Calculi and the Minimal {LFI}},
journal={Studia Logica},
year={2015},
volume={103},
number={6},
pages={1245–1278},
abstract={An erotetic calculus for a given logic constitutes a sequent-style proof-theoretical formalization of the logic grounded in Inferential Erotetic Logic (IEL). In this paper, a new erotetic calculus for Classical Propositional Logic (CPL), dual with respect to the existing ones, is given. We modify the calculus to obtain complete proof systems for the propositional part of paraconsistent logic CLuN and its extensions CLuNs and mbC. The method is based on dual resolution. Moreover, the resolution rule is non-clausal. According to the authors knowledge, this is the first account of resolution for mbC. Last but not least, as the method is grounded in IEL, it constitutes an important tool for the so-called question-processing.},
issn={1572-8730},
doi={10.1007/s11225-015-9617-0},
url={http://dx.doi.org/10.1007/s11225-015-9617-0}
}

@article{lupkowski2015-hl,
author = {\L{}upkowski, Pawe\l{} and Wietrzycka, Patrycja},
title = {Gamification for Question Processing Research — the {Q}uestGen {G}ame},
journal = {Homo Ludens},
volume = {7},
number = {1},
pages = {161–171},
year = {2015},
issn = {2080-4555},
url = {http://ptbg.org.pl/dl/196/},
keywords = {gamification, scientific data processing, games with a purpose (GWAP), question processing},
abstract = {We present the QuestGen game which is aimed at facilitating data gathering for research on question processing. QuestGen is an online game in which players solve detective puzzles by asking yes/no questions to the presented stories. We present the prototype of the game and its user testing.}
}

@article{lupkowski2015-sm,
author = {Pawe\l{} \L{}upkowski and Oliwia Ignaszak and Patrycja Wietrzycka},
title = {Modelowanie interrogacyjnego rozwiązywania problem\'{o}w w \'{s}rodowisku gry {Q}uest{G}en},
journal = {Studia metodologiczne},
year = {2015},
pages = {239–254},
volume = {34},
keywords = {gamification, questions, Inferential Erotetic Logic, erotetic implication,
erotetic search scenarios},
abstract = {The aim of this paper is to present the idea of the QuestGen game. This game is designed as a gamified system which is intended to support research on question processing. The paper presents data that were obtained from playing the game and contrasts the strategies that are used by players with normative strategies which are proposed based on the Inferential Erotetic Logic.}
}

@Article{jasion2016-jlli,
author={Leszczy{\'{n}}ska-Jasion, Dorota and {\L}upkowski, Pawe{\l}},
title={Erotetic Search Scenarios and Three-Valued Logic},
journal={Journal of Logic, Language and Information},
year={2016},
volume={25},
number={1},
pages={51–76},
keywords = {Erotetic search scenarios, Kleene’s strong three-valued logic, Inferential Erotetic Logic, Erotetic implication, Problem-solving},
abstract={Our aim is to model the behaviour of a cognitive agent trying to solve a complex problem by dividing it into sub-problems, but failing to solve some of these sub-problems. We use the powerful framework of erotetic search scenarios (ESS) combined with Kleene’s strong three-valued logic. ESS, defined on the grounds of Inferential Erotetic Logic, has appeared to be a useful logical tool for modelling cognitive goal-directed processes. Using the logical tools of ESS and the three-valued logic, we will show how an agent could solve the initial problem despite the fact that the sub-problems remain unsolved. Thus our model not only indicates missing information but also specifies the contexts in which the problem-solving process may end in success despite the lack of information. We will also show that this model of problem solving may find use in an analysis of natural language dialogues.},
issn={1572-9583},
doi={10.1007/s10849-015-9233-4},
url={http://dx.doi.org/10.1007/s10849-015-9233-4}
}

2016

@article{wisniewski2016-axioms,
title={An Axiomatic Account of Question Evocation: The Propositional Case},
author={Wi{\’s}niewski, Andrzej},
journal={Axioms},
volume={5},
number={2},
pages={14},
year={2016},
publisher={Multidisciplinary Digital Publishing Institute},
doi = {10.3390/axioms5020014},
keywords = {erotetic logic, evocation of questions, axiomatization},
abstract = {An axiomatic system for question evocation in Classical Propositional Logic is proposed. Soundness and completeness of the system are proven.}
}

@article{lupkowski2016-jlm,
title={Query Responses},
author={Pawe\l{} \L{}upkowski and Jonathan Ginzburg},
journal={Journal of Language Modelling},
volume={4},
number={2},
pages={245–293},
year={2016},
doi = {10.15398/jlm.v4i2.173},
keywords = {questions, query responses, question dependency, corpus study, BNC, CHILDES, BEE, KoS},
abstract = {In this article we consider the phenomenon of answering a query with a query. Although such answers are common, no large scale, corpus-based characterization exists, with the exception of clarification requests. After briefly reviewing different theoretical approaches on this subject, we present a corpus study of query responses in the British National Corpus and develop a taxonomy for query responses. We point at a variety of response categories that have not been formalized in previous dialogue work, particularly those relevant to adversarial interaction. We show that different response categories have significantly different rates of subsequent answer provision. We provide a formal analysis of the response categories in the framework of KoS.}
}

2017

@article{chlebowski2017-acm,
author = {Szymon Chlebowski and Maciej Komosinski and Adam Kups},
title = {Automated Generation of Erotetic Search Scenarios: Classification, Optimization, and Knowledge Extraction},
journal = {ACM Trans. Comput. Logic},
issue_date = {June 2017},
volume = {18},
number = {2},
month = may,
year = {2017},
issn = {1529-3785},
pages = {8:1–8:27},
articleno = {8},
numpages = {27},
url = {http://doi.acm.org/10.1145/3056537},
doi = {10.1145/3056537},
acmid = {3056537},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Logic of questions, knowledge extraction, multicriteria analysis, optimal erotetic scenario, rule mining},
abstract = {This article concerns automated generation and processing of erotetic search scenarios (ESSs). ESSs are formal constructs characterized in Inferential Erotetic Logic that enable finding possible answers to a posed question by decomposing it into auxiliary questions. The first part of this work describes a formal account on ESSs. The formal approach is then applied to automatically generate ESSs, and the resulting scenarios are evaluated according to a number of criteria. These criteria are subjected to discordance analysis that reveals their mutual relationships. Finally, knowledge concerning relationships between different values of evaluation criteria is extracted by applying Apriori—an association rules mining algorithm. The proposed approach of integration of formal erotetic logic with computational tools provides extensive insight into the former and helps with the development of efficient ESSs.}
}

@article {lupkowski2017-organonf,
author = {Pawe{\l} {\L}upkowski and Ignaszak, Olivia},
title = {Inferential Erotetic Logic in Modelling of Cooperative Problem Solving Involving Questions in the {Q}uest{G}en Game},
journal = {Organon F},
volume = {24},
number = {2},
year = {2017},
pages = {214–244},
abstract = {In the paper problem solving processes that involve reasoning with question are analysed. These reasonings with questions are compared to normative solution scenarios based on A. Wi{\’s}niewski’s Inferential Erotetic Logic. An on-line game with a purpose QuestGen has been used to gather data for the analysis.},
keywords = {erotetic implication, erotetic search scenario, games with a purpose (GWAP), inferential erotetic logic, questions, scientific discovery games},
url = {http://www.klemens.sav.sk/fiusav/doc/organon/2017/2/214-244.pdf}
}

@Article{wisniewski2017-sl,
author={Andrzej Wi{\'{s}}niewski},
title={Deduction and Reduction Theorems for {I}nferential {E}rotetic {L}ogic},
journal={Studia Logica},
year={2017},
keywords = {Logic of questions, Multiple-conclusion logic, Deduction},
abstract={The concepts of question evocation and erotetic implication play central role in Inferential Erotetic Logic. In this paper, deduction theorems for question evocation and erotetic implication are proven. Moreover, it is shown how question evocation by a finite non-empty set of declaratives can be reduced to question evocation by the empty set, and how erotetic implication based on a finite non-empty set of declaratives can be reduced to a relation between questions only.},
issn={1572-8730},
doi={10.1007/s11225-017-9738-8},
url={http://dx.doi.org/10.1007/s11225-017-9738-8}
}

@article{wisniewski2017-llp,
author = {Andrzej Wiśniewski},
title = {Generalized Entailments},
journal = {Logic and Logical Philosophy},
volume = {26},
number = {3},
pages = {321–-356},
year = {2017},
keywords = {entailment; families of sets; logic of questions},
abstract = {A semantic relation between a family of sets of formulas and a set of formulas, dubbed generalized entailment, and its subrelation, called constructive generalized entailment, are defined and examined. Entailment construed in the usual way and multiple-conclusion entailment can be viewed as special cases of generalized entailment. The concept of constructive generalized entailment, in turn, enables an explication of some often used notion of interrogative entailment, and coincides with inquisitive entailment at the propositional level. Some interconnections between constructive generalized entailment and Inferential Erotetic Logic are also analysed.},
issn = {2300-9802},
url = {http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2017.014},
doi = {10.12775/LLP.2017.014}
}

@article{lupkowski2017-llp,
author = {Pawe\l{} \L{}upkowski},
title = {{IEL}-based Formal Dialogue System for Tutorials},
journal = {Logic and Logical Philosophy},
volume = {26},
number = {3},
pages = {287–320},
year = {2017},
keywords = {questions; tutorials; inferential erotetic logic; erotetic implication; erotetic search scenario},
abstract = {FFormal dialogue system for tutorials DL(IEL)T is introduced. The system allows for modelling certain behaviours related to questioning agendas observed in tutorial dialogues. Inferential Erotetic Logic is the underlying logic of questions used here. Tutorial dialogues retrieved from the Basic Electricity and Electronics Corpus are presented and analysed with the use of DL(IEL)T.},
issn = {2300-9802},
url = {http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2017.013},
doi = {10.12775/LLP.2017.013}
}

 

@article{ChlebowskiForthcoming-CHLSCF,
journal = {Studia Logica},
title = {Sequent Calculi for \{Mathsf \{SCI\}\}},
pages = {1–23},
year = {forthcoming},
author = {Szymon Chlebowski}
}

 

CHAPTERS

2013

@InCollection{lupkowski2013-ly,
author = {Pawe\l{} \L{}upkowski},
title = {Cooperative Question-responses and Question Dependency},
editor = {Vit Pun\v{c}och\'{a}\v{r} and Petr \v{S}varn\'{y}},
booktitle = {Logica Yearbook 2012},
pages = {79–90},
publisher = {College Publications},
year = {2013},
}

@InCollection{wisniewski2013-effectiveness,
author = {Andrzej Wi\'{s}niewski},
title ={Effectiveness of question-answer systems},
editor = {Andrzej Wi\'{s}niewski},
booktitle = {Essays in Logical Philosophy},
publisher = {LIT Verlag},
year = {2013},
address = {Berlin — M\”{u}nster — Wien — Z\”{u}rich — London},
pages = {53–62}
}

@InCollection{wisniewski2013-explanation,
author = {Andrzej Wi\'{s}niewski},
title ={Erotetic logic and explanation by specification},
editor = {Andrzej Wi\'{s}niewski},
booktitle = {Essays in Logical Philosophy},
publisher = {LIT Verlag},
year = {2013},
address = {Berlin — M\”{u}nster — Wien — Z\”{u}rich — London},
pages = {105–117}
}

2014

@InCollection{lupkowski2014-ly,
author ={Pawe\l{} \L{}upkowski},
title = {Compliance and Pure Erotetic Implication},
booktitle = {Logica Yearbook 2013},
publisher = {College Publications},
year = {2014},
editor = {Vit Pun\v{c}och\'{a}\v{r}},
pages = {105–114},
address = {London}
}

2015

@incollection{urbanski2015-perspectives,
title={On search for law-like statements as abductive hypotheses by socratic transformations},
author={Urba{\’n}ski, Mariusz and Wi{\’s}niewski, Andrzej},
booktitle={Perspectives on Interrogative Models of Inquiry},
editor = {Can Baskent},
pages={111–127},
year={2015},
publisher={Springer}
}

@InCollection{wisniewski2015-handbook,
author = {Andrzej Wi\'{s}niewski},
title = {Semantics of questions},
booktitle = {The handbook of contemporary semantic theory},
publisher = {Wiley-Blackwell},
year = {2015},
editor = {S. Lappin and Ch. Fox},
pages = {273–313}
}

@InCollection{wisniewski2015-directions,
author = {Andrzej Wi\'{s}niewski},
title = {Being permitted, inconsistencies, and question raising},
booktitle = {New Directions in Paraconsistent Logic, Springer Proceedings in Mathematics \& Statistics 152},
publisher = {Springer},
year = {2015},
editor = {J.-Y. Beziau and M. Chakraborty and S. Dutta},
pages = {477–507}
}

2016

InCollection{mu2016,
author = {Mariusz Urbański and Katarzyna Paluszkiewicz and Joanna Urbańska},
editor = {Fabio Paglieri and Laura Bonetti and Silvia Fellett},
booktitle = {The Psychology of Argument: Cognitive Approaches to Argumentation and Persuasion},
title = {Erotetic Problem Solving: From Real Data to Formal Models. An Analysis of Solutions to Erotetic Reasoning Test Task},
publisher = {College Publications},
year = {2016},
pages = {33–46},
address = {London}
}

2017

@Inbook{Chlebowski2017,
author=”Chlebowski, Szymon
and Gajda, Andrzej”,
editor=”Christiansen, Henning
and Jaudoin, H{\’e}l{\`e}ne
and Chountas, Panagiotis
and Andreasen, Troels
and Legind Larsen, Henrik”,
title=”Abductive Question-Answer System ( {\$}{\$}{\backslash}mathsf {\{}AQAS{\}}{\$}{\$} ) for Classical Propositional Logic”,
bookTitle=”Flexible Query Answering Systems: 12th International Conference, FQAS 2017, London, UK, June 21–22, 2017, Proceedings”,
year=”2017″,
publisher=”Springer International Publishing”,
address=”Cham”,
pages=”3–14″,
abstract=”We propose a new approach to modelling abductive reasoning by means of an abductive question-answer system. We introduce the concept of an abductive question which is the starting point of abductive reasoning. The result of applying the question processing procedure is a question, which is simpler than the initial one. {\$}{\$}{\backslash}mathsf {\{}AQAS{\}}{\$}{\$} generates abductive hypotheses that fulfil certain criteria in one step, i.e. processes of generation and evaluation of abductive hypotheses are integrated.”,
isbn=”978-3-319-59692-1″,
doi=”10.1007/978-3-319-59692-1_1″,
url=”https://doi.org/10.1007/978-3-319-59692-1_1″
}

Reklamy