Title :
Applying AI Planning to Semantic Web Services for Workflow Generation
Author :
Chen, Liming ; Yang, Xueqiang
Author_Institution :
Sch. of Comput. & Math., Univ. of Ulster, Coleraine
Abstract :
Semantic Web Services (SWS) intend to enhance interoperability and encapsulate domain knowledge via semantic descriptions. This paper claims that service composition in a service-oriented computing paradigm is an AI planning problem. We present the Event Calculus (EC) - a well-known action theory, and further discuss the mechanisms of using the formalism for representing and reasoning service capabilities. We describe an architecture for automatic workflow generation in which an EC-based planner builds workflows by reasoning against distributed pools of SWS.
Keywords :
Web services; open systems; planning (artificial intelligence); semantic Web; temporal logic; AI planning; EC-based planner; automatic workflow generation; event calculus; interoperability; semantic Web service; service-oriented computing; Artificial intelligence; Calculus; Computer architecture; Mathematics; Ontologies; Problem-solving; Process planning; Semantic Web; Technology planning; Web services;
Conference_Titel :
Semantics, Knowledge and Grid, 2005. SKG '05. First International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7695-2534-2
Electronic_ISBN :
0-7695-2534-2
DOI :
10.1109/SKG.2005.44
