基于颜色Petri网有偿交互QA系统投诉模型.pdfVIP

∗ 基于颜色Petri网的有偿交互QA系统投诉模型 李彦成 曾庆田 鲁法明 薛 洁 (山东科技大学信息科学与工程学院 青岛 266590) 摘 要 有偿交互问答（QA ）系统受到越来越多的关注，但是补偿的不公平性等问题可能会引起用户的投诉。通过分析有 偿交互QA 系统的投诉流程，首先利用颜色Petri 网对投诉流程进行了形式化建模；然后使用CPN Tools对所建立的形式化模型 进行了验证；最后对所建模型的状态空间报告进行分析，证明了系统各响应流程设计的正确性等特性。对有偿交互QA 系统 的综合形式化分析具有重要意义。 关键词 有偿交互问答系统，颜色Petri 网，投诉模型，CPN Tools 中图法分类号 TP311 文献标识码 A A Colored-Petri-Net-based Complaint Model for a User-interactive Question Answering System LI Yan-cheng ZENG Qing-tian LU Fa-ming XUE Jie (College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, China) Abstract Due to users’ complaints arising from such problems as unfair compensation, user-interactive question answering systems are catching more and more attention. By analyzing the complaint process of a user-interactive question answering system, the formal complaint model was presented using Colored Petri Net; then the established formal model was verified by employing CPN tools; finally, the State Space Report of the established model was analyzed, so the correctness and other features of the system design was demonstrated. This proposed method has special significance to the comprehensive formal analysis of the user-interactive question answering system. Keywords User-interactive Question Answering System, Colored Petri Net, Complaint Model, CPN Tools 在多用户有偿交互QA系统中，投诉机制的引入可以有 1 引言 效弥补兑现的不公平性等问题。研究有偿交互QA系统的投 问答系统(Question Answering System, QA)被视为信息 诉模型，进而对有偿交互QA系统进行综合形式化分析具有 检索的一种高级形式，其能用准确、简洁的自然语言回答用 重要意义[6]。 户用自然语言提出的问题，是人工智能和自然语言处理领域 中目前倍受关注并具有广泛发展前景的研究方向之一