On supervising agents in situation-determined ConGolog

We investigate agent supervision, a form of customization, which constrains the actions of an agent so as to enforce certain desired behavioral specifications. This is done in a setting based on the Situation Calculus and a variant of the ConGolog programming language which allows for nondeterminism, but requires the remainder of a program after the execution of an action to be determined by the resulting situation. Such programs can be fully characterized by the set of action sequences that they generate. Hence operations like intersection and difference become natural. The main results of the paper are a characterization of the maximally permissive supervisor that minimally constrains the agent so as to enforce the desired behavioral constraints when some agent actions are uncontrollable, and a sound and complete technique to execute the agent as constrained by such a supervisor.

[1]  Jorge A. Baier,et al.  ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond , 2008, KR.

[2]  Sheila A. McIlraith,et al.  Decision-Theoretic GOLOG with Qualitative Preferences , 2006, KR.

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

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

[5]  S. Lafortune.  Supervisory Control Of Discrete Event Systems , 2011 .

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

[7]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .

[8]  Piergiorgio Bertoli,et al.  Automated composition of Web services via planning in asynchronous domains , 2005, Artif. Intell..

[9]  Evren Sirin,et al.  Web Service Composition with User Preferences , 2008, ESWC.

[10]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[11]  Sheila A. McIlraith,et al.  Web Service Composition via the Customization of Golog Programs with User Preferences , 2009, Conceptual Modeling: Foundations and Applications.

[12]  Giuseppe De Giacomo,et al.  Situation Calculus Based Programs for Representing and Reasoning about Game Structures , 2010, KR.

[13]  Y. Lespérance,et al.  Incremental Plan Recognition in an Agent programming Framework , 2007 .

[14]  Giuseppe De Giacomo,et al.  Composition of ConGolog programs , 2009, IJCAI 2009.

[15]  Robert Demolombe,et al.  What does it mean that an agent is performing a typical procedure?: a formal definition in the situation calculus , 2002, AAMAS '02.

[16]  Giuseppe De Giacomo,et al.  Execution Monitoring of High-Level Robot Programs , 1998, KR.

[17]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[18]  John G. Gibbons.  Knowledge in Action , 2001 .

[19]  Yolanda Gil,et al.  Towards the Integration of Programming by Demonstration and Programming by Instruction using Golog , 2010, Plan, Activity, and Intent Recognition.