Dorota Leszczyńska-Jasion: CPC e-scenarios (Prolog)

DOWNLOAD [ZIP archive, 1KB]

The program generates atomic e-scenarios for yes-no questions of the form ?{A, not A}, where A is a formula of the language of Classical Propositional Logic. The program is written in Prolog.

After you run the program and write „start.” an instruction will occur.

Dorota Leszczyńska-Jasion: COOP Q-RESPONSES (Prolog)

DOWNLOAD [ZIP archive, 2KB]

The idea of cooperative question-responses based on question dependency is described in papers.

  • Paweł Łupkowski, Cooperative question-responses and question dependency. In Puncochar, V. and P. Svarny (eds.), Logica Yearbook 2012, College Publications, London 2013, pp. 79-90; and
  • Paweł Łupkowski, Dorota Leszczyńska-Jasion, Generating cooperative question-responses by means of erotetic search scenarios. Logic and Logical Philosophy, 2014, 24(1), 61–78. DOI: 10.12775/LLP.2014.017. is a Prolog implementation of the algorithm of cooperative responding which works on a toy example of a database. There are several facts concerning users (‚usr/1’ predicate), their friends (‚friend/2’ predicate) and living places (‚live/2’ predicate) and some rules defining the concept of a local user (‚locusr/1’ predicate). There is also a database of 9 e-scenarios concerning questions about being a user or questions about being a local user. Questions are written in the following form:


 The Name may be one of: a, b, c, d, e, f, g

 In order to obtain a cooperative question-response, one has to ask Prolog: