A π-Calculus-Based Complaint Model for a User-Interactive Question Answering System

Yan Cheng Li; Hua  Duan; Qing Tian  Zeng; Fa Ming  Lu

doi:10.4028/www.scientific.net/AMR.756-759.2178

Paper Titles

A Data Collecting and Caching Mechanism for Gateway Middleware in the Web of Things
p.2157

Research of Unified Authentication System Based on LDAP
p.2163

A Description and Transformation Approach for Model Driven Architecture
p.2168

Non-Uniform Cluster-Based Mobile Data Collector Routing Protocol in Wireless Sensor Networks
p.2173

A π-Calculus-Based Complaint Model for a User-Interactive Question Answering System
p.2178

A Design for Water Surface Communication System of Ultra Short Base Line Positioning System
p.2184

Architecture and Modeling for Virtual Test Bed
p.2188

Research on the Third-Order Software Phase Locked Loop for Carrier Tracking
p.2192

Dynamic Evolution of Requirement Goal Deployed on Network Environment
p.2197

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 756-759A π-Calculus-Based Complaint Model for a...

A π-Calculus-Based Complaint Model for a User-Interactive Question Answering System

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.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 756-759)

Pages:

2178-2183

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.756-759.2178

Citation:

Cite this paper

Online since:

September 2013

Authors:

Yan Cheng Li, Hua Duan, Qing Tian Zeng, Fa Ming Lu

Keywords:

Complaint Model, MWB Tools, User-Interactive Question Answering System, π-Calculus

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Li Liu，Qingtian Zeng: An Overview of Automatic Question and Answering System，Journal of Shandong University of Science and Technology, 26 (4), 73-76, October (2007).

Google Scholar

[2] Tianyong Hao, Dawei Hu, Liu Wenyin, Qingtian Zeng, Semantic Patterns for User-Interactive Question Answering, Concurrency and Computation: Practice and Experience, v 20, n 7, May, 2008, pp.783-799.

DOI: 10.1002/cpe.1273

Google Scholar

[3] Dawei Hu, Wei Chen, Qingtian Zeng, Tianyong Hao, Feng Min, Liu Wenyin, Using a User-interactive QA System for Personalized e-Learning, The International Journal of Distance Education Technologies, 6(3), 1-22, July-September (2008).

DOI: 10.4018/jdet.2008070101

Google Scholar

[4] Qingtian Zeng, Zhongying Zhao, Yongquan Liang. Course Ontology-based User's Knowledge Requirement Acquisition from Behaviors within E-Learning Systems, Computers & Education, Volume 53 , Issue 3 (November 2009) 809–818.

DOI: 10.1016/j.compedu.2009.04.019

Google Scholar

[5] Chen, Wei; Qingtian Zeng; Wenyin, Liu; Hao, Tianyong. A user reputation model for a user-interactive question answering system, Concurrency Computation Practice and Experience, v 19, n 15, October, 2007, pp.2091-2103.

DOI: 10.1002/cpe.1142

Google Scholar

[6] http: /www. cnham. com/unix/html/20/2005/0922/html.

Google Scholar

[7] Milner R, Parrow J, Walker D. A Calculus of Mobile Processes. Journal of Information and Computation, 1992; ( 1).

Google Scholar

[8] Clarke E M, Wing JM. Formal methods: state of the art and future directions [J]. ACM Computing Surveys(S0360-0300), 1996, 28(4): 626-643.

DOI: 10.1145/242223.242257

Google Scholar

[9] Milner R. The Polyadic π-calculus: a Tutorial. Springer- verlag, (1993).

Google Scholar