Adapting Golog for Programming the Semantic Web

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 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 programming Web services. 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. We realize these extensions in an augmented ConGolog interpreter that combines online execution of information-providing Web services with offline simulation of world-altering Web services, to determine a sequence of Web Services for subsequent execution. Our implemented system is currently interacting with services on the Web.

[1]  John McCarthy,et al.  Mathematical logic in artificial intelligence , 1989 .

[2]  Raymond Reiter,et al.  Narratives as Programs , 2000, KR.

[3]  Fangzhen Lin,et al.  State Constraints Revisited , 1994, J. Log. Comput..

[4]  Tran Cao Son,et al.  Semantic Web Services , 2001, IEEE Intell. Syst..

[5]  Hector J. Levesque,et al.  An Incremental Interpreter for High-Level Programs with Sensing , 1999 .

[6]  Ray Reiter,et al.  On knowledge-based programming with sensing in the situation calculus , 2001, ACM Trans. Comput. Log..

[7]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[8]  Gerhard Lakemeyer,et al.  On sensing and off-line interpreting in GOLOG , 1999 .

[9]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[10]  Ian Horrocks,et al.  FAQs on OIL: the Ontology Inference Layer , 2000 .

[11]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[12]  Dan Brickley,et al.  Resource Description Framework (RDF) Model and Syntax Specification , 2002 .

[13]  Oren Etzioni,et al.  A softbot-based interface to the Internet , 1994, CACM.

[14]  Hector J. Levesque,et al.  Projection Using Regression and Sensors , 1999, IJCAI.

[15]  Hector J. Levesque,et al.  What Is Planning in the Presence of Sensing? , 1996, AAAI/IAAI, Vol. 2.

[16]  Douglas B. Moran,et al.  The Open Agent Architecture: A Framework for Building Distributed Software Systems , 1999, Appl. Artif. Intell..

[17]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[18]  Mark Fischetti,et al.  Weaving the web - the original design and ultimate destiny of the World Wide Web by its inventor , 1999 .