A -calculus-based Complaint Model for a User-interactive Question Answering System
Authors
Yancheng Li, Hua Duan, Qingtian Zeng, Faming Lu
Corresponding Author
Yancheng Li
Available Online May 2014.
- DOI
- 10.2991/iccia.2012.23How to use a DOI?
- Keywords
- User-interactive Question Answering System, -calculus, Complaint Model, MWB tools
- Abstract
User-interactive question answering systems are catching more and more attention, however users’ complaints arise within it from such problems as unfair compensation. This paper focuses on a -calculus-based formal model for the complaint process of a user-interactive question answering system. The formal model is verified by employing MWB tools so as to demonstrate the deadlock-free and other properties. The research results are of special significance to the comprehensive formal analysis of the user-interactive question answering systems.
- Copyright
- © 2013, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - CONF AU - Yancheng Li AU - Hua Duan AU - Qingtian Zeng AU - Faming Lu PY - 2014/05 DA - 2014/05 TI - A -calculus-based Complaint Model for a User-interactive Question Answering System BT - Proceedings of the 2012 2nd International Conference on Computer and Information Application (ICCIA 2012) PB - Atlantis Press SP - 97 EP - 100 SN - 1951-6851 UR - https://doi.org/10.2991/iccia.2012.23 DO - 10.2991/iccia.2012.23 ID - Li2014/05 ER -