Abstract
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.
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
Biere, A., Cimatti, A., Clarke, E., Strichman, O., Zhu., Y.: Bounded model checking. In: Advances in Computers, vol. 58. Academic Press (2003)
Chali, Y., Joty, S.: Unsupervised Approach for Selecting Sentences in Query-based Summarization. In: FLAIRS (2008)
Doron, O.G., Clarke, E.M., Orna Grumberg, J.: Model Checking. MIT Press (1999)
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)
Harabagiu, S., Bejan, C.A.: Question Answering Based on Temporal Inference. In: AAAI Workshop on Inference for Textual QA (2005)
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)
Sequete, E., Martinez-Barco, P., Munoz, R., Vicedo, J.: Splitting Complex Temporal Questions for QA Systems. ACL (2004)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mostafazadeh, N., Bakhshandeh Babarsad, O., Ghassem-Sani, G. (2012). Formal Verification of Temporal Questions in the Context of Query-Answering Text Summarization. In: Kosseim, L., Inkpen, D. (eds) Advances in Artificial Intelligence. Canadian AI 2012. Lecture Notes in Computer Science(), vol 7310. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30353-1_35
Download citation
DOI: https://doi.org/10.1007/978-3-642-30353-1_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30352-4
Online ISBN: 978-3-642-30353-1
eBook Packages: Computer ScienceComputer Science (R0)