Towards Exploiting Generic Procedures in Model-Based Computing

From Tetherless World Wiki

Jump to: navigation, search

Citation: Sheila A. McIlraith. (1998) Towards Exploiting Generic Procedures in Model-Based Computing. In KSL-98-20, July,1998.

Publication techreport ( Edit )
type Technical Report
bibtype techreport
Bibtex basics
author Sheila A. McIlraith
title Towards Exploiting Generic Procedures in Model-Based Computing
number KSL-98-20
institution Knowledge Systems, AI Laboratory
year 1998
month July
Bibtex more
Access Paper
abstract 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.

KSL Technical Report ID: KSL-98-20
Facts about Towards Exploiting Generic Procedures in Model-Based ComputingRDF feed
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  +
Bibtype techreport  +
Has author Sheila A. McIlraith  +
Has identifier KSL-98-20  +
Has publishing details July,1998  +
Has title Towards Exploiting Generic Procedures in Model-Based Computing  +
Has where published KSL-98-20  +
Has year 1998  +
Institution Knowledge Systems, AI Laboratory  +
Ksl tr id KSL-98-20  +
Month July  +
Number KSL-98-20  +
Process note NO  +
Title Towards Exploiting Generic Procedures in Model-Based Computing  +
Year 1998  +
Retrieved from "http://tw.rpi.edu/wiki/Towards_Exploiting_Generic_Procedures_in_Model-Based_Computing"
Personal tools