Computing compliance

Open Access
Authors
Publication date 2009
Host editors
  • X. He
  • J. Horty
  • E. Pacuit
Book title Logic, Rationality, and Interaction
Book subtitle second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings
ISBN
  • 9783642048920
ISBN (electronic)
  • 9783642048937
Series Lecture Notes in Computer Science
Event Second International Workshop on Logic, Rationality and Interaction (LORI-II), Chongqing, China
Pages (from-to) 55-65
Publisher Berlin: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
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.
Document type Conference contribution
Language English
Published at https://doi.org/10.1007/978-3-642-04893-7_5
Downloads
313398.pdf (Final published version)
Permalink to this page
Back