计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
7期
110-113
,共4页
李彦成%曾庆田%鲁法明%薛洁
李彥成%曾慶田%魯法明%薛潔
리언성%증경전%로법명%설길
有偿交互问答系统%颜色Petri网%投诉模型%CPN Tools
有償交互問答繫統%顏色Petri網%投訴模型%CPN Tools
유상교호문답계통%안색Petri망%투소모형%CPN Tools
User-interactive question answering system%Colored Petri net%Complaint model%CPN tools
有偿交互问答(QA)系统受到越来越多的关注,但是补偿的不公平性等问题可能会引起用户的投诉.通过分析有偿交互QA系统的投诉流程,首先利用颜色Petri网对投诉流程进行形式化建模;然后使用CPN Tools对所建立的形式化模型进行验证;最后对所建模型的状态空间报告进行分析,证明了系统各响应流程设计的正确性等特性.所提出的方法对有偿交互QA系统的综合形式化分析具有重要意义.
有償交互問答(QA)繫統受到越來越多的關註,但是補償的不公平性等問題可能會引起用戶的投訴.通過分析有償交互QA繫統的投訴流程,首先利用顏色Petri網對投訴流程進行形式化建模;然後使用CPN Tools對所建立的形式化模型進行驗證;最後對所建模型的狀態空間報告進行分析,證明瞭繫統各響應流程設計的正確性等特性.所提齣的方法對有償交互QA繫統的綜閤形式化分析具有重要意義.
유상교호문답(QA)계통수도월래월다적관주,단시보상적불공평성등문제가능회인기용호적투소.통과분석유상교호QA계통적투소류정,수선이용안색Petri망대투소류정진행형식화건모;연후사용CPN Tools대소건립적형식화모형진행험증;최후대소건모형적상태공간보고진행분석,증명료계통각향응류정설계적정학성등특성.소제출적방법대유상교호QA계통적종합형식화분석구유중요의의.
