Automated Generation of Erotetic Search Scenarios
Szymon Chlebowski, Maciej Komosiński, Adam Kupś · ACM Transactions on Computational Logic · 2017
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.