DL Reasoning and AI Planning for Web Service Composition

Authors:
Freddy Lécué;Alain Léger;Alexandre Delteil
Affiliations:
-;-;-
Venue:
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Year:
2008

Citing 10
Cited 1

The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
ConGolog, a concurrent programming language based on the situation calculus

Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Local Conditional High-Level Robot Programs

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Knowledge, action, and the frame problem

Artificial Intelligence
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Web service composition as planning, revisited: in between background theories and initial state uncertainty

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Making the difference in semantic web service composition

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Web service composition with volatile information

ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A formal model for semantic web service composition

ISWC'06 Proceedings of the 5th international conference on The Semantic Web

A model checker for WS-CDL

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

We claim that a key feature for correct and effective web service composition, and one that has largely been ignored,is the joint consideration of (semantic) causal links and causal laws, respectively in area of Description Logics (DL) and AI planning. In this paper we propose a means of specifying both causal links and laws into web service composition by integrating DL reasoning and Situation Calculus. To this end an augmented and adapted version of the logic programming language Golog i.e., sclGolog is presented as a natural formalism not only for reasoning about the latter links and laws, but also for automatically composing services. sclGolog operates as an offline interpreter that supports n-ary sensing actions to retrieve conditional compositions of services. Lastly sclGolog has been implemented and tested in the context of Telecommunication scenarios.