Computing Compliance

  • Ivano Ciardelli
  • Irma Cornelisse
  • Jeroen Groenendijk
  • Floris Roelofsen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5834)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ciardelli, I., Roelofsen, F.: Generalized Inquisitive Logic: Completeness via Intuitionistic Kripke Models. In: Proceedings of Theoretical Aspects of Rationality and Knowledge (2009)Google Scholar
  2. Cornelisse, I.: A syntactic characterization of compliance in inquisitive semantics. BSc Thesis, Artificial Intelligence, University of Amsterdam (2009)Google Scholar
  3. 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)Google Scholar
  4. 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
  5. Groenendijk, J., Stokhof, M.: Studies on the Semantics of Questions and the Pragmatics of Answers. Ph.D. thesis, University of Amsterdam (1984)Google Scholar
  6. Mascarenhas, S.: Inquisitive semantics and logic. Manuscript, University of Amsterdam (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Ivano Ciardelli
    • 1
  • Irma Cornelisse
    • 1
  • Jeroen Groenendijk
    • 1
  • Floris Roelofsen
    • 1
  1. 1.Institute for Logic, Language, and ComputationUniversity of AmsterdamThe Netherlands

Personalised recommendations