Meta-level inference
Book
·
OSTI ID:5190951
This book addresses two questions of great importance to Artificial Intelligence: - how can search be controlled in domains with a large search space. -how can this control information be learned. It is argued that both problems can be tackled with the aid of a technique called meta-level inference. In programs that use meta-level inference the control information is separated from the factual information. The control information is expressed declaratively, i.e. it is represented as explicit rules. These rules are axioms in the meta-theory of the domain. This gives rise to a two-level program: the factual information forms the object-level and the control information forms the meta-level. Inference is performed at the meta-level, and this induces inference at the object-level. Search at the object level is replaced by search at the meta-level. Two Prolog programs, which use this technique, are presented in the book to demonstrate the utility of meta-level inference.
- Research Organization:
- GTE Labs. Inc., Waltham, MA
- OSTI ID:
- 5190951
- Country of Publication:
- United States
- Language:
- English
Similar Records
Controlling inference
PROLOG programming for artificial intelligence
Meta-level architectures and reflection
Thesis/Dissertation
·
Mon Dec 31 23:00:00 EST 1984
·
OSTI ID:5609034
PROLOG programming for artificial intelligence
Book
·
Tue Dec 31 23:00:00 EST 1985
·
OSTI ID:5480416
Meta-level architectures and reflection
Book
·
Thu Dec 31 23:00:00 EST 1987
·
OSTI ID:5113715