Formal verification of temporal questions in the context of query-answering text summarization

Authors:
Nasrin Mostafazadeh;Omid Bakhshandeh Babarsad;Gholamreza Ghassem-Sani
Affiliations:
Sharif University of Technology, Tehran, Iran;Mechatronics Research Laboratory, Qazvin, Iran;Sharif University of Technology, Tehran, Iran
Venue:
Canadian AI'12 Proceedings of the 25th Canadian conference on Advances in Artificial Intelligence
Year:
2012

Citing 4
Cited 0

Model checking

Model checking
Splitting complex temporal questions for question answering systems

ACL '04 Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics
Enhancing QA systems with complex temporal question processing capabilities

Journal of Artificial Intelligence Research
Question answering with imperfect temporal information

FQAS'06 Proceedings of the 7th international conference on Flexible Query Answering Systems

Quantified Score

Hi-index	0.00

Visualization

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.