Information Technology Reference
In-Depth Information
Examples 4
rais:
a
1
1
7!
2
4
r
1
7!
3
(
i
1
1
1
;i
1
1
2
)
5
a
1
2
7!
(
i
1
2
1
;i
1
2
2
)
r
2
7!
a
2
1
i
2
1
1
;i
2
1
2
)
7!
(
The example, rais:RAIs, expresses that we are concerned with exactly two re-
sources, and, for resource
r
1
in two of its attributes. We do not, in RAIs, express
resource categories nor resource attribute values: these properties are part of
the resources,
r
1
, respectively
r
2
. Cf. observation functions obs RC, respectively
obs RAV, etc.
4.5
Equities: Constraints and Objectives
Sustainable Development:
Development is said to be sustainable if (i) it main-
tains an invariant (an equity) between resources before and after development.
Other variants of what an equity is are: if (ii) it, after development, achieves
certain (indicated) resource attribute values, respectively if (iii) development
is constrained, `before and after', by indicated attribute value ranges (\within
interval").
An equity, E
0
, is therefore chosen to express a fuzzy (in general a multi-
criteria, underspecied) relation.
type
Small
E
0
=(RAIs
RAIs)
!
Fuzzy
ES
0
=En
m
E
0
Acceptable = Fuzzy
Small
!
Bool
We do not mandate any specic equity relation. The construction of equity rela-
tions entail oftentimes rather serious mathematical, control-theoretic, operations-
-analytic, knowledge-based (expert) system, or other modeling (see Section 7.3).
When applying a fuzzy equity function to pairs of resource sets combined with
their attributes and the indicators of these attributes: namely a pair designating
a \before{after" (development) relation, we expect to get an acceptable level
(below `small'). Thus the class `Acceptable' denotes predicates, each of which
we supply with an acceptance factor (`small').
The primed type names, for example
ES
0
, designate precursors for
subsequent, stepwise \rened" unprimed type names. For
E
0
and
E
see Section 5.7.
4.6
Analysis = Modeling \in the Small"
Such modeling | as was just mentioned at the end of the previous section |
may stabilize only after repeated analytical experiments. That is: xing which
are the relevant indicators and which are the relevant equity functions require
various kinds of mathematical modeling, i.e. analysis.
Analysis with respect to sustainable development involves:
Search WWH ::
Custom Search