Proceedings of the 2012 2nd International Conference on Computer and Information Application (ICCIA 2012)

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/).

Download article (PDF)

Volume Title
Proceedings of the 2012 2nd International Conference on Computer and Information Application (ICCIA 2012)
Series
Advances in Intelligent Systems Research
Publication Date
May 2014
ISBN
10.2991/iccia.2012.23
ISSN
1951-6851
DOI
10.2991/iccia.2012.23How to use a DOI?
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  -