A question about hierarchical systems (Q2724373)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A question about hierarchical systems |
scientific article; zbMATH DE number 1617871
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A question about hierarchical systems |
scientific article; zbMATH DE number 1617871 |
Statements
7 February 2002
0 references
hierarchical systems
0 references
multi-world semantics
0 references
syntax
0 references
semantics
0 references
A question about hierarchical systems (English)
0 references
The conceptual framework of the author consists of a syntax (equations), a semantics (solutions to the equations) and an environment where implementation takes place. A hierarchy is mirrored in the syntax as a partial order on associated quantities. A ``one-world semantics'' consists in compiling the various syntaxes along the hierarchy and interpreting only at the lowest level. The problem is that faults at lower levels are not filtered away in the superstructure and truth statements or adequateness of the model at this upper level may be abusively invalidated. A ``multi-world semantics'' where interpretation takes place at all levels is proposed but the problem (the question of the title) is to relate the different semantics in the hierarchy. Some way-outs are proposed: i) The use of invariants which would propagate meaning down the hierarchy and protect against irrelevant factors. ii) Refining the environment model so that the factors are handled seperately. This might allow a ``bottom-up'' propagation of information so that the higher levels can understand the messages from the base. iii) Ideal compilation, but it is not clear what is meant by ``ideal'' and the words compilation and translation are used equivalently on page 318 while they are given different meanings on page 322.NEWLINENEWLINENEWLINEReviewer's comments: ii) and iii) seem likely to be computationally demanding.NEWLINENEWLINEFor the entire collection see [Zbl 0961.00036].
0 references