A User Guide to Language Frameworks

From Tetherless World Wiki

Jump to: navigation, search

Citation: William R. Murray. (1993) A User Guide to Language Frameworks. In KSL-93-49, July,1993.

Publication techreport ( Edit )
type Technical Report
bibtype techreport
Bibtex basics
author William R. Murray
title A User Guide to Language Frameworks
number KSL-93-49
institution Knowledge Systems, AI Laboratory
year 1993
month July
Bibtex more
Access Paper
abstract This user guide explains what language frameworks are and how new language frameworks can be defined. Language frameworks are tools that allow new problem-solving shells to be defined for BB1. They define English-like higher-level languages for describing problem-solving actions, events, and states that are important to solving broad, domain-independent classes of problems. For example, the ACCORD language framework defines a set of operators for solving configuration problems using an incremental assembly approach. Language frameworks can be applied in different domains, as ACCORD was applied in PROTEAN (a molecular biology domain) and SIGHTPLAN (a civil engineering domain). Language framework sentences can also concisely express problem-solving heuristics, allowing problem-solving approaches for different domains to be expressed as BB1 control plans.This user guide describes how to define new language frameworks using ACCORD as an example. The different parts of a language framework, such as the operators and modifiers, are discussed along with tools to define them. Details of the parsing, evaluation, and partial matching of language framework sentences are also presented with ACCORD examples. The new CLOS-based implementation presented in this paper is more formal than the original implementation. A context-free grammar clarifies the expected grammar for different uses of language framework sentences in trigger conditions, preconditions, focus prescriptions, etc. A case-grammar parser provides more flexibility than the original template-based parser and clarifies the rationale behind partial matching. Other differences between the two implementations are discussed, along with alternatives to the use of language frameworks, such as macros and generic functions.

KSL Technical Report ID: KSL-93-49
Facts about A User Guide to Language FrameworksRDF feed
Abstract This user guide explains what language fra This user guide explains what language frameworks are and how new language frameworks can be defined. Language frameworks are tools that allow new problem-solving shells to be defined for BB1. They define English-like higher-level languages for describing problem-solving actions, events, and states that are important to solving broad, domain-independent classes of problems. For example, the ACCORD language framework defines a set of operators for solving configuration problems using an incremental assembly approach. Language frameworks can be applied in different domains, as ACCORD was applied in PROTEAN (a molecular biology domain) and SIGHTPLAN (a civil engineering domain). Language framework sentences can also concisely express problem-solving heuristics, allowing problem-solving approaches for different domains to be expressed as BB1 control plans.This user guide describes how to define new language frameworks using ACCORD as an example. The different parts of a language framework, such as the operators and modifiers, are discussed along with tools to define them. Details of the parsing, evaluation, and partial matching of language framework sentences are also presented with ACCORD examples. The new CLOS-based implementation presented in this paper is more formal than the original implementation. A context-free grammar clarifies the expected grammar for different uses of language framework sentences in trigger conditions, preconditions, focus prescriptions, etc. A case-grammar parser provides more flexibility than the original template-based parser and clarifies the rationale behind partial matching. Other differences between the two implementations are discussed, along with alternatives to the use of language frameworks, such as macros and generic functions. rks, such as macros and generic functions.
Author William R. Murray  +
Bibtype techreport  +
Has author William R. Murray  +
Has identifier KSL-93-49  +
Has publishing details July,1993  +
Has title A User Guide to Language Frameworks  +
Has where published KSL-93-49  +
Has year 1993  +
Institution Knowledge Systems, AI Laboratory  +
Ksl tr id KSL-93-49  +
Month July  +
Number KSL-93-49  +
Process note NO  +
Title A User Guide to Language Frameworks  +
Year 1993  +
Personal tools