Information Technology Reference
In-Depth Information
1. identifying relevant resources (rs:RS),
2. aected attributes (a:A),
3. their indicator intervals ((li,hi):I
I),
4. specimen (analysis labeled (lbl:Lbl)) combinations of resources,
attributes and indicators (rais:RAIs, and lrais:Lbl RAIss)
5. relevant (named, En) equity functions (in ES
0
).
Formally, analysis amounts to:
type
Lbl
RS = R
-set
Lbl RAIss = Lbl
m
RAIs
Analysis
0
=RS
ES
0
Lbl RAIss
value
A Result: Analysis
0
!
(En
m
Fuzzy)
axiom
[ proper analysis ]
8
(rs,lraiss,es
0
):Analysis
0
8
rais:RAIs
rais
2
rng
lraiss
e
0
:E
0
e
0
2
rng
es
0
)
dom
e
0
)
dom
rais
rs
^8
(rais,)
2
The result of analysis associates with each equity some fuzzy judgment as to
whether a planned development, as expressed by the equity functions, achieve
equity. The keywords
dom
and
rng
designate the map denition (domain),
respectively the range set yielding operations.
4.7
Planning
Planning is concerned with creating descriptions of development (functions,
d:D). Since these have to satisfy a variety of equities, planning also involves
analysis.
type
DS = Dn
m
D
D=RAIs
!
RAIs
Plan = Analysis
0
DS
axiom
8
((rs,nmrais,es
0
),ds):Plan
8
d:D, rais:RAIs
d
2
rng
ds
)
rais
^
let
rais
0
= d(rais)
in
8
2
dom
d
rng
es
0
)9
s:Small
Acceptable(e(rais,rais
0
),s)
end
e:E
e
2
Search WWH ::
Custom Search