A Syntactic Charaterization of Compliance in Inquisitive Semantics. Cornelisse, I. 2009. BSc thesis, University of Amsterdam. See also the accompanying website: http://www.illc.uva.nl/inquisitive-semantics/computing-compliance/
A Syntactic Charaterization of Compliance in Inquisitive Semantics [pdf]Paper  abstract   bibtex   
In this paper the notion of compliance (Groenendijk [2008a,b]) in inquisitive semantics (Groenendijk [2008b], Mascarenhas [2008], Ciardelli [2008], Ciardelli and Roelofsen [2009a], Groenendijk and Roelofsen [2009]) is brought into practise. An algorithm for compting compliant responses is presented, based on an earlier draft (Ciardelli and Roelofsen [2009b]). The presented algorithm is proved to be sound and complete. An implementation can be found at www.illc.uva.nl/inquisitive-semantics/computing-compliance. Furthermore the complexity of the presented algorithm is analysed and (the essential part of the algorithm) is in O(2^2^2^2^2^n), with n the number of proposition letters in the input formula. The large computation time may in the future be reduced by computing not all compliant responses, but only the best candidates.

Downloads: 0