Planning for Desktop Services

A user’s interaction with a computer operating system is most commonly reflected in the use of “desktop” application programs. In this paper we investigate the prospect of building plans that link together the services provided by such applications using an inter-process communication language called DCOP (Desktop COmmunication Protocol). Such services can be used to manipulate or query desktop applications, often in a manner similar to the standard user interfaces of those applications, while offering the possibility of a practical interface that a planning agent can utilize in a real software setting. Using the knowledge-level conditional planner PKS, we show how we can construct plans for controlling a set of existing desktop applications in the open source K Desktop Environment (KDE), and illustrate our approach with a series of fully executable examples that include application control and information gathering, under conditions of incomplete information and sensing.

[1]  Tran Cao Son,et al.  Adapting Golog for Composition of Semantic Web Services , 2002, KR.

[2]  Heiko Haller,et al.  DeepaMehta - A Semantic Desktop , 2005, Semantic Desktop Workshop.

[3]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[4]  David E. Smith,et al.  Extending Graphplan to handle uncertainty and sensing actions , 1998, AAAI 1998.

[5]  Fahiem Bacchus,et al.  Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing , 2004, ICAPS.

[6]  Fahiem Bacchus,et al.  A Knowledge-Based Approach to Planning with Incomplete Information and Sensing , 2002, AIPS.

[7]  Oren Etzioni,et al.  Tractable Closed World Reasoning with Updates , 1994, KR.

[8]  Annapaola Marconi,et al.  Automated Composition of Web Services by Planning at the Knowledge Level , 2005, IJCAI.

[9]  David E. Smith,et al.  Extending Graphplan to Handle Uncertainty & Sensing Actions , 1998, AAAI/IAAI.

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

[11]  Oren Etzioni,et al.  OS Agents: Using AI Techniques in the Operating System Environment , 1993 .

[12]  Leo Sauermann,et al.  Semantic Desktop 2.0: The Gnowsis Experience , 2006, International Semantic Web Conference.

[13]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[14]  Oren Etzioni,et al.  An Approach to Planning with Incomplete Information , 1992, KR.

[15]  Yves Lespérance,et al.  Web Service Composition as a Planning Task: Experiments Using Knowledge-Based Planning , 2004, AAAI Fall Symposium: Agents and the Semantic Web.

[16]  Randal E. Bryant,et al.  Symbolic Boolean manipulation with ordered binary-decision diagrams , 1992, CSUR.