Understanding Information Update In Questionnaires

Abstract : Questionnaires are an important medium for collecting information in diverse areas of society (scientific surveys, tax filing, auditing guidance, etc.). We are interested in a domain-specific language (DSL) to automatically generate questionnaire software from declarative specifications. This note describes an important aspect of the semantics of such a DSL: what goes on when users fill out a form? The formalism is based on the epistemic notion of information update and has a wide range of applications. It provides a formal interpretation for query forms, and for the process of answering such forms. The attractiveness of the approach is in the fact that asking questions, providing partial answers to questions, and providing full answers to questions, are all modeled by the same mechanism of constraining a range of possibilities.
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2015, 97 (Part 1)
Liste complète des métadonnées

Contributeur : Tijs Van Der Storm <>
Soumis le : lundi 25 janvier 2016 - 14:06:30
Dernière modification le : mardi 8 mars 2016 - 15:50:47


  • HAL Id : hal-01261475, version 1



Jan Van Eijck, Tijs Van Der Storm. Understanding Information Update In Questionnaires. Science of Computer Programming, Elsevier, 2015, 97 (Part 1). 〈hal-01261475〉



Consultations de la notice