Abstract
Inquisitive semantics (cf. Groenendijk, 2008) provides a formal framework for reasoning about information exchange. The central logical notion that the semantics gives rise to is compliance. This paper presents an algorithm that computes the set of compliant responses to a given initiative. The algorithm is sound and complete. The implementation is accessible online via www.illc.uva.nl/inquisitive-semantics .
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ciardelli, I., Roelofsen, F.: Generalized Inquisitive Logic: Completeness via Intuitionistic Kripke Models. In: Proceedings of Theoretical Aspects of Rationality and Knowledge (2009)
Cornelisse, I.: A syntactic characterization of compliance in inquisitive semantics. BSc Thesis, Artificial Intelligence, University of Amsterdam (2009)
Groenendijk, J.: Inquisitive semantics: Two possibilities for disjunction. In: Bosch, P., Gabelaia, D., Lang, J. (eds.) Tbilisi 2007. LNCS (LNAI), vol. 5422, pp. 80–94. Springer, Heidelberg (2008)
Groenendijk, J., Roelofsen, F.: Inquisitive semantics and pragmatics. In: Larrazabal, J.M., Zubeldia, L. (eds.) Meaning, Content, and Argument: Proceedings of the ILCLI International Workshop on Semantics, Pragmatics, and Rhetoric (2009), www.illc.uva.nl/inquisitive-semantics
Groenendijk, J., Stokhof, M.: Studies on the Semantics of Questions and the Pragmatics of Answers. Ph.D. thesis, University of Amsterdam (1984)
Mascarenhas, S.: Inquisitive semantics and logic. Manuscript, University of Amsterdam (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ciardelli, I., Cornelisse, I., Groenendijk, J., Roelofsen, F. (2009). Computing Compliance. In: He, X., Horty, J., Pacuit, E. (eds) Logic, Rationality, and Interaction. LORI 2009. Lecture Notes in Computer Science(), vol 5834. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04893-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-04893-7_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04892-0
Online ISBN: 978-3-642-04893-7
eBook Packages: Computer ScienceComputer Science (R0)