Abstract

Motivated by the problem of automatically composing network accessible services, such as those on the World Wide Web, this paper proposes an approach to building agent technology based on the notion of generic procedures and customizing user constraint. We argue that an augmented version of the logic programming language Golog provides a natural formalism for automatically composing services on the Semantic Web. To this end, we adapt and extend the Golog language to enable programs that are generic, customizable and usable in the context of the Web. Further, we propose logical criteria for these generic procedures that define when they are knowledge self-sufficient and physically selfsufficient. To support information gathering combined with search, we propose a middle-ground Golog interpreter that operates under an assumption of reasonable persistence of certain information. These contributions are realized in our augmentation of a ConGolog interpreter that combines online execution of information-providing Web services with offline simulation of worldaltering Web services, to determine a sequence of Web Services for subsequent execution. Our implemented system is currently interacting with services on the Web. 1

Citations

1388	The Semantic Web - Berners-Lee, Hendler, et al. - 2001
460	McIlraith.S.2003,Bringing Semantics to Web Services - Martin
452	GOLOG: a logic programming language for dynamic domains - Levesque, Pirri, et al. - 1997
340	Knowledge in Action – Logical Foundations for specifying and Implementing Dynamical Systems - Reiter
263	A Softbot-based Interface to Internet - Etzioni, Weld - 1994
224	The open agent architecture: a framework for building distributed software systems - Martin, Cheyer, et al. - 1999
216	State constraints revisited - Lin, Reiter - 1994
186	Congolog, a concurrent programming language based on the situation calculus - Giacomo, Lespérance, et al.
150	The DARPA agent markup language - Hendler, McGuiness - 2000
86	The frame problem and knowledge producing actions - Scherl, Levesque - 1993
79	An Incremental Interpreter for High-Level Programs with Sensing - Giacomo, Levesque - 1998
75	DAML-S: Semantic markup for web services - Ankolekar, Martin, et al. - 2001
38	Knowledge preconditions for plans - Davis - 1994
32	Projection using regression and sensors - Giacomo, Levesque - 1999
28	Planning with complex actions - McIlraith, Fadel - 2002
26	On sensing and off-line interpreting in Golog - Lakemeyer - 1999
15	Mathematical logic in artificial intelligence - McCarthy - 1988
11	Narratives as programs - REITER
10	multi-source information assistants - Mixed-initiative - 2001
4	Local conditional high-level robot programs - Sardina - 2001
4	A Correspondence Between Two Different Solutions to the Projection Task with Sensing - Soutchanski - 2001
3	et al.: IBROW3 ‐ An intelligent brokering service for knowledgecomponent reuse on the world‐wide web - Benjamins, Plaza, et al. - 1998
1	Adapting ConGolog for Programming the Semantics Web - McIlraith, Son - 2001