Formal Verification of Temporal Questions in the Context of Query-Answering Text Summarization

  • Nasrin Mostafazadeh
  • Omid Bakhshandeh Babarsad
  • Gholamreza Ghassem-Sani
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7310)


This paper presents a novel method for answering complex temporal ordering questions in the context of an event and query-based text summarization. This task is accomplished by precisely mapping the problem of “query-based summarization of temporal ordering questions” in the field of Natural Language Processing to “verifying a finite state model against a temporal formula” in the realm of Model Checking. This mapping requires specific definitions, structures, and procedures. The output of this new approach is promisingly a readable and informative summary satisfying the user’s needs.


Model Check Temporal Logic Kripke Model Question Answering Kripke Structure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Biere, A., Cimatti, A., Clarke, E., Strichman, O., Zhu., Y.: Bounded model checking. In: Advances in Computers, vol. 58. Academic Press (2003)Google Scholar
  2. 2.
    Chali, Y., Joty, S.: Unsupervised Approach for Selecting Sentences in Query-based Summarization. In: FLAIRS (2008)Google Scholar
  3. 3.
    Doron, O.G., Clarke, E.M., Orna Grumberg, J.: Model Checking. MIT Press (1999)Google Scholar
  4. 4.
    Cimatti, A., Clarke, E.M., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV: a new symbolic model checker. It’l. J. on STTT 2(4), 410–425 (2000)zbMATHGoogle Scholar
  5. 5.
    Harabagiu, S., Bejan, C.A.: Question Answering Based on Temporal Inference. In: AAAI Workshop on Inference for Textual QA (2005)Google Scholar
  6. 6.
    Pustejovsky, J., Castaño, J.M., Ingria, R., Sauri, R., Gaizauskas, R.J., Setzer, A., Katz, G., Radev, D.R.: TimeML: Robust specification of event and temporal expressions in text. In: AAAI Symposium on New Directions in QA, pp. 28–34 (2003)Google Scholar
  7. 7.
    Sequete, E., Martinez-Barco, P., Munoz, R., Vicedo, J.: Splitting Complex Temporal Questions for QA Systems. ACL (2004)Google Scholar
  8. 8.
    Sequete, E., Vicedo, J.L., Martinez-Barco, P., Munoz, R., Llorens, H.: Enhancing QA systems with complex temporal question processing capabilities. JAIR 35, 755–811 (2009)Google Scholar
  9. 9.
    Schockaert, S., Ahn, D., De Cock, M., Kerre, E.E.: Question Answering with Imperfect Temporal Information. In: Larsen, H.L., Pasi, G., Ortiz-Arroyo, D., Andreasen, T., Christiansen, H. (eds.) FQAS 2006. LNCS (LNAI), vol. 4027, pp. 647–658. Springer, Heidelberg (2006)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Nasrin Mostafazadeh
    • 1
  • Omid Bakhshandeh Babarsad
    • 2
  • Gholamreza Ghassem-Sani
    • 1
  1. 1.Sharif University of TechnologyTehranIran
  2. 2.Mechatronics Research LaboratoryQazvinIran

Personalised recommendations