Modeling and Programming Devices and Web Agents

This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling and programming devices and web agents, which we term model-based programming. Model-based programs are reusable high-level programs that capture the procedural knowledge of how to accomplish a task, without specifying all the device- and web-service-specific details. Model-based programs must be instantiated in the context of a model of a specific device/web service and state of the world. The instantiated programs are simply sequences of actions, which can be executed by an appropriate agent to control the behavior of the system. The separation of control and model enables reuse of model-based programs across classes of related devices and services whose configuration changes as the result of replacement, redesign, reconfiguration or component failure. Additionally, the logical formalism underlying model-base...

• Type: Conference
• Year: 2000
• Where: FAABS
• Authors: Sheila A. McIlraith
• Keywords: FAABS 2000, Intelligent Agents, Model-based Programming, Model-based Programs, Model-based Reasoning