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

Colored-Petri-Net-based Complaint Model for User-interactive Question Answering System

作　　者：李彦成[1] 曾庆田[1] 鲁法明[1] 薛洁[1] 

机构地区：[1]山东科技大学信息科学与工程学院,青岛266590

出　　处：《计算机科学》2014年第7期110-113,共4页Computer Science

基　　金：国家自然科学基金(61170079;61202152);公益性行业(农业)科研专项(201303107);教育部高等学校博士学科点专项科研基金(20103718110007);山东科技大学杰出青年基金(2010KYJQ101)资助

摘　　要：有偿交互问答(QA)系统受到越来越多的关注,但是补偿的不公平性等问题可能会引起用户的投诉。通过分析有偿交互QA系统的投诉流程,首先利用颜色Petri网对投诉流程进行形式化建模;然后使用CPN Tools对所建立的形式化模型进行验证;最后对所建模型的状态空间报告进行分析,证明了系统各响应流程设计的正确性等特性。所提出的方法对有偿交互QA系统的综合形式化分析具有重要意义。Due to users＇ complaints arising from such problems as unfair compensation, user-interactive question an- swering 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 cor- rectness and other features of the system design were demonstrated. This proposed method has special significance to the comprehensive formal analysis of the user-interactive question answering system.

关 键 词：有偿交互问答系统 颜色PETRI网 投诉模型 CPN TOOLS 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]