On the supermal controllable sublanguage of a given language
SIAM Journal on Control and Optimization
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
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Web Service Composition via the Customization of Golog Programs with User Preferences
Conceptual Modeling: Foundations and Applications
Composition of ConGolog programs
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Automated composition of Web services via planning in asynchronous domains
Artificial Intelligence
Web service composition with user preferences
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
| Hi-index | 0.00 |
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.