KSL-98-20 + redirect page
Towards Exploiting Generic Procedures in Model-Based Computing + Has identifier
Towards Exploiting Generic Procedures in Model-Based Computing + Ksl tr id
Towards Exploiting Generic Procedures in Model-Based Computing + Number
| Towards Exploiting Generic Procedures in Model-Based Computing |
Bibtype
techreport
Has publishing details
July,1998
Has title
Towards Exploiting Generic Procedures in Model-Based Computing
Has where published
KSL-98-20
Has year
1998
Title
Towards Exploiting Generic Procedures in Model-Based Computing
Year
1998
Abstract
Doctors have patient-independent protocols … Doctors have patient-independent protocols that prescribe the general steps to follow in treating patients with particular ailments. Service technicians follow general procedures for trouble-shooting and repairing different computer hardware. Indeed, experts often develop generic procedures or heuristics that they instantiate in the context of a particular system/device and state of the world in order to realize some goal. In this paper we present preliminary results towards integrating such a notion of generic procedures with traditional model-based representations of system behaviour. This enables us to transform high-level system-independent procedural knowledge into a system-specific sequence of actions that can be performed by an agent to control the behaviour of a system, be that agent a computer program, or a human being. Not only does this integration enable synthesis of system-specific action sequences, for some procedures, it also enables verification that a generic procedure will achieve an articulated goal with respect to a particular system and state of the world. We achieve this integration by exploiting research on high-level robot programming, ontologies of actions, and declarative model representations. This paper lays the groundwork and provides an initial step towards model-based programming. tial step towards model-based programming.
Author
Sheila A. McIlraith +
Has author
Sheila A. McIlraith +
Has identifier
Towards Exploiting Generic Procedures in Model-Based Computing +
Institution
Knowledge Systems, AI Laboratory +
Ksl tr id
Towards Exploiting Generic Procedures in Model-Based Computing +
Month
July +
Number
Towards Exploiting Generic Procedures in Model-Based Computing +
Process note
NO +
Categories KSL Technical Report +, Publication +, Technical Report +
|
