KSL-93-49 + redirect page
A User Guide to Language Frameworks + Has identifier
A User Guide to Language Frameworks + Ksl tr id
A User Guide to Language Frameworks + Number
| A User Guide to Language Frameworks |
Bibtype
techreport
Has publishing details
July,1993
Has title
A User Guide to Language Frameworks
Has where published
KSL-93-49
Has year
1993
Title
A User Guide to Language Frameworks
Year
1993
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 +
Has author
William R. Murray +
Has identifier
A User Guide to Language Frameworks +
Institution
Knowledge Systems, AI Laboratory +
Ksl tr id
A User Guide to Language Frameworks +
Month
July +
Number
A User Guide to Language Frameworks +
Process note
NO +
Categories KSL Technical Report +, Publication +, Technical Report +
|
