|
Author: T.L. McCluskey and Pat Diskin
The specification is of the input language, and the central operations,
of a domain-independent, partial order, constraint posting goal directed
planner. It is essentially a model-based version of Chapman's TWEAK (1),
and is used as a case study on VDM courses at the Univ. of Huddersfield.
It is described fully, and prototyped in Prolog, in (2).
Planning for Conjunctive Goals, D.Chapman, AI Journal no 32, 1987.
The Construction of Formal Specifications: an Introduction to the
Model-Based and Algebraic Approaches, J.Turner and McCluskey,
McGraw-Hill Software Engineering Series, London. ISBN 0-07-707735-0.
Language Version: classic
¤ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
