![Page 1: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/1.jpg)
Stratification, target set reachability and incremental enlargement principle
Lotfi A. ZadehComputer Science Division
Department of EECSUC Berkeley
Design of Robotics and Embedded systems, Analysis, and Modeling SeminarFebruary 8, 2016
250 Saturdja Dai Hall, next to Cory Hall, UC Berkeley
Research supported in part by ONR Grant N00014-02-1-0294, Omron Grant, TekesGrant, Azerbaijan Ministry of Communications and Information Technology Grant,
Azerbaijan University of Azerbaijan Republic and the BISC Program of UC Berkeley.
Email: [email protected]: http://www.cs.berkeley.edu/~zadeh/ LAZ 02/8/20161/84
![Page 2: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/2.jpg)
LAZ 02/8/20162/84
![Page 3: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/3.jpg)
CSTThis paper presents a brief exposition of a version the concept of stratification, call it CST for short.
LAZ 02/8/20163/84
![Page 4: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/4.jpg)
In our approach to stratification, CST is a computational system in which the objects of computation are strata of data.
CST
LAZ 02/8/20164/84
![Page 5: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/5.jpg)
Usually, the strata are nested or stacked with nested strata centering on a target set, T.
CST
LAZ 02/8/20165/84
![Page 6: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/6.jpg)
CST has a potential for significant applications in planning, robotics, optimal control,
CST
LAZ 02/8/20166/84
![Page 7: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/7.jpg)
pursuit, multiobjective optimization, exploration, search and other fields.
CST
LAZ 02/8/20167/84
![Page 8: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/8.jpg)
Very simple, familiar examples of stratification are dictionaries, directories and catalogues.
CST
LAZ 02/8/20168/84
![Page 9: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/9.jpg)
A multi-layer perceptron may be viewed as a system with a stratified structure.
CST
LAZ 02/8/20169/84
![Page 10: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/10.jpg)
In spirit, CST has similarity to dynamic programing (DP), but it is much easier to understand and much easier to implement.
CST/DP
LAZ 02/8/201610/84
![Page 11: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/11.jpg)
An interesting question which relates to neuroscience is: Does the human brain employ stratification to store information?
CST
LAZ 02/8/201611/84
![Page 12: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/12.jpg)
It would be natural to represent a concept such as chair, as a collection of strata with one or more strata representing
CST
LAZ 02/8/201612/84
![Page 13: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/13.jpg)
a type of chair. Underlining our approach is a model, call it FSM.
FSM
LAZ 02/8/201613/84
![Page 14: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/14.jpg)
FSM is a discrete-time, discrete-state dynamical system which has a finite number of states.
FSM
LAZ 02/8/201614/84
![Page 15: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/15.jpg)
The importance of FSM as a model derives from the fact that through the use of granulation and/or quantization almost
FSM
LAZ 02/8/201615/84
![Page 16: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/16.jpg)
any kind of system can be approximated to by a finite state system.
FSM
LAZ 02/8/201616/84
![Page 17: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/17.jpg)
A concept which plays an important role in our approach is that of target set reachability.
TARGET SET REACHABILITY
LAZ 02/8/201617/84
![Page 18: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/18.jpg)
Reachability involves moving (transitioning) FSM from a state w to a state in target state, T, in a minimum number of steps.
TARGET SET REACHABILITY
LAZ 02/8/201618/84
![Page 19: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/19.jpg)
To this end, the state space, W, is stratified through the use of what is refer as the incremental enlargement principle.
TARGET SET REACHABILITY
LAZ 02/8/201619/84
![Page 20: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/20.jpg)
It should also be noted that the concept reachability is related to the concept of accessibility in modal logic.
TARGET SET REACHABILITY
LAZ 02/8/201620/84
![Page 21: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/21.jpg)
LAZ 02/8/201621/84
![Page 22: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/22.jpg)
CSTThe main purpose of this lecture is introduction of a version of the concept of stratification, call it CST, for short.
LAZ 02/8/201622/84
![Page 23: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/23.jpg)
CST
CST has a potential for significant applications in planning, robotics, optimalcontrol, pursuit,
LAZ 02/8/201623/84
![Page 24: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/24.jpg)
CSTmultiobjective optimization [1], exploration, search and other fields. Our version, CST, is systems-oriented
LAZ 02/8/201624/84
![Page 25: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/25.jpg)
CSTrather than logic-oriented.In spirit, CST has similarity to dynamic programming (divide and conquer), DP [2],
LAZ 02/8/201625/84
![Page 26: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/26.jpg)
CST and DP
but it is much easier to understand and easier to implement [3, 4]. Basically, CST is a system of competition
LAZ 02/8/201626/84
![Page 27: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/27.jpg)
CST and DP
LAZ 02/8/201627/84
in which the objects of competition are strata of data. Usually, the strata are nested or stacked with the nested
![Page 28: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/28.jpg)
Stratified data
LAZ 02/8/201628/84
strata centered on a target set, T, Fig 1a, and Fig 1b
![Page 29: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/29.jpg)
Nested strata centering on T
LAZ 02/8/201629/84
Fig 1a: Nested strata centering on T
Stratum
T(S0)T1(S1)
Telephone numberName
![Page 30: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/30.jpg)
Stacked strata
LAZ 02/8/201630/84
Stratum
Stratum
S0
SN
Fig 1b: Stacked strata
![Page 31: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/31.jpg)
Stratified count
LAZ 02/8/201631/84
•Stratified count. Consider the question: What is the population of Washington DC? Using Google the answer is 658,000.
![Page 32: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/32.jpg)
Stratified count
LAZ 02/8/201632/84
What is more informative is what may be called stratified count. Concretely, assume that the area around
![Page 33: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/33.jpg)
Stratified count
LAZ 02/8/201633/84
Washington is partition into nested strata (belts) S1, S2, Sn centering on downtown Washington. Assume that the population of Si is pi.
![Page 34: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/34.jpg)
Stratified count
LAZ 02/8/201634/84
Stratified count is the collection (S1, p1), … , (Sn, pn). Stratification need not be geographical, it may involve on population, P,
![Page 35: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/35.jpg)
Stratified count
LAZ 02/8/201635/84
which may be stratified based on age, occupation, religion, ethnicity, etc. Stratified polls would be a significant value to politicians running for office.
![Page 36: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/36.jpg)
FSM
LAZ 02/8/201636/84
Underlying CST is a model, call it FSM. FSM is a discrete-time, discrete-state dynamical system with a finite number of
![Page 37: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/37.jpg)
FSM
LAZ 02/8/201637/84
states. In general, stratification can be precomputed. Precomputation serves an important purpose. It enhances the ability of
![Page 38: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/38.jpg)
FSM
LAZ 02/8/201638/84
FSM to deal with disturbances. Concretely, assume that FSM is taken by disturbances to a state w’ which is not on is trajectory to T.
![Page 39: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/39.jpg)
FSM
LAZ 02/8/201639/84
Since every state w is annotated through stratification, so is w’. Annotation of w’ is an input sequence, u, which takes w’ to T.
![Page 40: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/40.jpg)
Dealing with disturbances
LAZ 02/8/201640/84
In this way, disturbances do not prevent FSM from reaching T.It should be noted that, fundamentally, most
![Page 41: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/41.jpg)
Mapping
LAZ 02/8/201641/84
methods of efficient storage of information involve a mapping from similarity to spatial proximity. Stratification and clustering are
![Page 42: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/42.jpg)
Mapping
LAZ 02/8/201642/84
Proximity Similarity
Clustering Stratification
![Page 43: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/43.jpg)
Combination
LAZ 02/8/201643/84
instances of this mapping. It should also be noted that strata may contain clusters and clusters may be stratified. Strata can be combined.
![Page 44: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/44.jpg)
Combined stratification
LAZ 02/8/201644/84
The resulting granules may be represented as states, Fig 2. Granule
Fig 2: Combined stratification
![Page 45: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/45.jpg)
LAZ 02/8/201645/84
![Page 46: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/46.jpg)
In the following, some basic concept which relate to stratification are briefly defined.
Basic concepts, definitions and notation
LAZ 02/8/201646/84
![Page 47: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/47.jpg)
•System. A system, A, is a collection of objects, drown together to serve a particular purpose. A is associated with a
System
LAZ 02/8/201647/84
![Page 48: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/48.jpg)
collection of state variables, X, which serve to describe A and its behavior.
State variables
LAZ 02/8/201648/84
![Page 49: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/49.jpg)
State
•State. A state, w, is a set of instantiated state variables. The choice of state variables is a province of system designer. Example.
LAZ 02/8/201649/84
![Page 50: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/50.jpg)
Assume that FSM is a patient in a hospital, assume that instantiated state variables are results of various tests: temperature = 99.3, blood
Example of state
LAZ 02/8/201650/84
![Page 51: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/51.jpg)
pressure = 145/74. States are time-dependent. A states have a basic property, termed separation property. A state separates the future
States separation property
LAZ 02/8/201651/84
![Page 52: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/52.jpg)
from the past. More concretely, the behavior of FSM for t≥t0 depends only on the state at time t0 and inputs for t≥t0, and not on prior values of st and ut.
Separation property
LAZ 02/8/201652/84
![Page 53: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/53.jpg)
In the context of stratification, the principal concepts related to FSM are the following:
Basic concepts, definitions and notation
LAZ 02/8/201653/84
![Page 54: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/54.jpg)
•State-space W=(w1,…,wn), W is 2-dimensional. FSM has a finite number of states. Note that finiteness the state-space,
State-space
LAZ 02/8/201654/84
![Page 55: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/55.jpg)
necessitates that statevariables take values in finite sets.
State variables
LAZ 02/8/201655/84
![Page 56: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/56.jpg)
•Body. The body of FSM, B, defines FSM. B consists of a collection of all input/output pairs, (u, v) in which u is a
Body
LAZ 02/8/201656/84
![Page 57: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/57.jpg)
sequence of inputs(actions) when u is applied to FSM in state w, and v is the output sequence which is observed, Fig 3. Note:
Body—input/output pairs
LAZ 02/8/201657/84
![Page 58: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/58.jpg)
The idea of defining a system as a collection of input/output pairs was introduced in [5].
Body
LAZ 02/8/201658/84
![Page 59: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/59.jpg)
BodyBody (FSM) = collection of input output
pairs = {u/v}u = input sequencev = output sequenceExample: 001/bba
Body (FSM) = relation on UxV
U = space of input sequencesV = space of output sequences
Initial state = 1Example: 1/ (0111, abba)
1/(0011, aabb)1/(0001, aaab)1/(0000, baaa)1/(1111, bbbb)1/(1110, baba)1/(1100, abba)1/(1000, baba)
….
Fig 3. Body of FSM
LAZ 02/8/201659/84
![Page 60: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/60.jpg)
•Bundle. The input and output pairs (u, v) may be bundled as shown in Fig 4. The tag on a bundle identifies the state of FSM
Bundle
LAZ 02/8/201660/84
![Page 61: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/61.jpg)
when input sequence u is applied. u and v have the same length.
Bundle
LAZ 02/8/201661/84
![Page 62: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/62.jpg)
(u,v)
stateBundle
tag
Fig 4. Bundle of input output pairs
Bundle
LAZ 02/8/201662/84
![Page 63: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/63.jpg)
State-transition function f
•State-transition function, f, is defined by the equation:
𝒔𝒕$% = 𝒇(𝒔𝒕, 𝒖𝒕),
meaning that if input ut is LAZ 02/8/201663/84
![Page 64: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/64.jpg)
applied when FSM is in state st then FSM transitions (moves) to state st+1. The behavior of FSM is governed by the equations:
State-transition function f
LAZ 02/8/201664/84
![Page 65: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/65.jpg)
Governing equations
𝒔𝒕$% = 𝒇(𝒔𝒕, 𝒖𝒕), �̇�𝒗𝒕 = 𝒈(𝒔𝒕, 𝒖𝒕),
where vt is the output at time t. Note that the state transition function may be derived from the bundled
= 𝒇(𝒙𝒕, 𝒖𝒕)
LAZ 02/8/201665/84
![Page 66: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/66.jpg)
body. The behavior of FSM may be represented in tabular form, Fig 5, and in graphical form, Fig 6.
Tabular and graphical representations
LAZ 02/8/201666/84
![Page 67: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/67.jpg)
st ut st+1 vt
1 0 2 a1 4 b
2 0 3 a1 1 b
3 0 2 a1 6 b
4 0 1 b1 7 a
5 0 6 b1 9 a
6 0 5 a1 3 b
7 0 8 a1 4 b
8 0 9 b1 7 a
9 0 8 a1 5 b
State-transition function f
Fig 5. Tabular representation of state transition function.
LAZ 02/8/201667/84
![Page 68: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/68.jpg)
1/a1/b
0/a0/b
1/b
1/a0/a
1/b1/a
0/b
0/a0/b
0/a0/a
1/b1/b
0/a1 2 3
7 8
4 5 6
T=S0
1/b
9
State-transition function f
Fig 6. State transition diagram (map).
LAZ 02/8/201668/84
![Page 69: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/69.jpg)
•Link. The concept of a link and related concept are defined in Fig 7
Concept of link
LAZ 02/8/201669/84
![Page 70: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/70.jpg)
Predecessor of6
3 6
Successorof6
• Link,
onestep
Ut/Vt8i 9j
9=f(8,0)
• Predecessor, successor,
1 4 7 91/b 1/a
• Trajectory (path),thechainofpointing inthesamedialection,
Link
Fig 7. The concept of a
link, trajectory,
predecessionand
succession
5LAZ 02/8/201670/84
![Page 71: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/71.jpg)
A link may be one-way (unidirectional) or two-way (bidirectional). If the link between wi and wj is bidirectional, then wj is both a successor and a
Link
LAZ 02/8/201671/84
![Page 72: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/72.jpg)
predecessor of wi. If there are no arrows, the link is two-way. A link may be considered to be a one-step transition from wi to wj.
Successor and predecessors
LAZ 02/8/201672/84
![Page 73: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/73.jpg)
•A path (trajectory) from wito wk is a succession (chain) of links from wi to wk. A path is terminal if wj is a target state.
Path
LAZ 02/8/201673/84
![Page 74: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/74.jpg)
The length of the path is the number of steps. The distance d(wi, wk) is the minimum number of steps needed to reach wk from wi
Path
LAZ 02/8/201674/84
![Page 75: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/75.jpg)
Target state
•Target state. A state, w, is a target state if reaching w is an objective of FSM. Example. Assume that FSM is a patient in a hospital and state space
LAZ 02/8/201675/84
![Page 76: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/76.jpg)
consists of results of various tests. Assume that p = patient is cured. In this case, a target state is a state in which proposition p is true.
Target state
LAZ 02/8/201676/84
![Page 77: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/77.jpg)
•Target set. A target set, T, is the set of all target states. In the above example, the target set is the set of all states in
Target set
LAZ 02/8/201677/84
![Page 78: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/78.jpg)
which the patient is considered to be cured.
Target set
LAZ 02/8/201678/84
![Page 79: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/79.jpg)
•Truth function. The truth function, tp, defines the truth value tp(w) of proposition, p, in state w. The value of t is one or
Truth function
LAZ 02/8/201679/84
![Page 80: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/80.jpg)
true if w is a target state. Thus, p is a proposition which defines the target set, T. Consequently, p is referred to as the target set defining proposition.
Truth function
LAZ 02/8/201680/84
![Page 81: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/81.jpg)
•Reachability. wj is reachable from wi if there is input sequence which takes wi to wj.
Reachability
LAZ 02/8/201681/84
![Page 82: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/82.jpg)
•Reachability relation. The reachability relation, R, is defined on WxW. R consists of all pairs (wi, wj) such that wj is reachable from wi.
Reachability relation
LAZ 02/8/201682/84
![Page 83: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/83.jpg)
Reachability relation and modal logic
It should be noted that reachability relation is closely related to accessibility relation in modal logic [6].
LAZ 02/8/201683/84
![Page 84: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/84.jpg)
Reachability relationFollowing are special case of R which are of relevance to target set reachability. Rr = set of all pairs (wi, wj) such that wj is reachable from wi in r steps.
LAZ 02/8/201684/84
![Page 85: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/85.jpg)
from wi in n steps. R23consists of all pairs (wi, wj) such that wj is reachable from wi in r or fewer steps.
Reachability relation
LAZ 02/8/201685/84
![Page 86: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/86.jpg)
Reachability relation
𝑹2𝒓 = 𝑹% + 𝑹%7 + ⋯+ 𝑹%𝒓
Correspondingly, 𝑹 = 𝑹%% + 𝑹%7 + ⋯
More concretely,
LAZ 02/8/201686/84
![Page 87: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/87.jpg)
The right-hand side of this equation is the transitive closure of R. The transitive closure may be computed through the use of Warshall’s algorithm [7].
Transitive closure
LAZ 02/8/201687/84
![Page 88: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/88.jpg)
•Reachable set, R(wi) is the set of all states which are reachable from wi . The target set T, is reachable from wi if the intersection
Reachability set
LAZ 02/8/201688/84
![Page 89: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/89.jpg)
of R(wi) and T is non empty. Equivalently, T is reachable from wi if there is a target state in T which is reachable from wi.
Reachability set
LAZ 02/8/201689/84
![Page 90: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/90.jpg)
•Reachability of target set. T is reachable from w if there is a state in T which is reachable from w.
Reachability of target set
LAZ 02/8/201690/84
![Page 91: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/91.jpg)
•Fuzzy target set. A target set, T, may be a fuzzy set, in which case membership in T is a matter of degree.
Fuzzy target set
LAZ 02/8/201691/84
![Page 92: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/92.jpg)
When T is a fuzzy set, its membership function may be equated to the truth function, t=tp(w) or, equivalently,
Fuzzy target set
LAZ 02/8/201692/84
![Page 93: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/93.jpg)
to the objective function g(w). g(w) is the degree to which FSM achieves its objective when FSM is in state w.
Fuzzy target set
LAZ 02/8/201693/84
![Page 94: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/94.jpg)
•Non-uniqueness of target sets. Note: Non-uniqueness of target set is close related to multiobjective optimization [1].
Non-uniqueness of target sets
LAZ 02/8/201694/84
![Page 95: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/95.jpg)
So far, it was assumed that there is just one target set. In many realistic settings there is more than one target set.
Non-uniqueness of target sets
LAZ 02/8/201695/84
![Page 96: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/96.jpg)
TA
T1∩T2
Fig 8. Two target sets
Non-uniqueness of target sets
LAZ 02/8/201696/84
![Page 97: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/97.jpg)
With reference to Fig 8, the objective is: w is in T. Assume that we have two target sets, T1 and T2. The intersection of T1 and T2
Non-uniqueness of target sets
LAZ 02/8/201697/84
![Page 98: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/98.jpg)
may be viewed as a combined target set with combined objective function being the conjunction of g1(w) and g2(w):
Non-uniqueness of target sets
LAZ 02/8/201698/84
![Page 99: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/99.jpg)
𝑔 𝑤 = 𝑔%(𝑤)Non-uniqueness of target sets
More generally, if the target sets are T1, T2,…,Tk, then the combined target set,
LAZ 02/8/201699/84
![Page 100: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/100.jpg)
T may be expressed as the intersection:
Non-uniqueness of target sets
𝑇 = 𝑇% ∩ 𝑇7 ∩ ⋯∩ 𝑇=
LAZ 02/8/2016100/84
![Page 101: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/101.jpg)
Assume we have k target sets T1, …, Tk and, correspondingly k objective G1, … , Gk. An objective Gi is defined by a normalized objective
Non-uniqueness of target sets
LAZ 02/8/2016101/84
![Page 102: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/102.jpg)
function gi(w) which represents the degree to which Gi is achieved when the system under consideration in state w.
Non-uniqueness of target sets
LAZ 02/8/2016102/84
![Page 103: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/103.jpg)
gi(w) may be equated to the membership function of Ti. Objective functions may be combined through conjunction,
Non-uniqueness of target sets
LAZ 02/8/2016103/84
![Page 104: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/104.jpg)
resulting in a combined objective functions:
Non-uniqueness of target sets
g = g%ᴧ …ᴧgACorrespondingly, the Gi
may be combined through intersection:
LAZ 02/8/2016104/84
![Page 105: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/105.jpg)
Non-uniqueness of target sets
𝐺 = 𝐺% ∩ ⋯∩ 𝐺=In terms of target sets the combined target set may be expressed as the intersection:
LAZ 02/8/2016105/84
![Page 106: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/106.jpg)
Non-uniqueness of target sets𝑇 = 𝑇% ∩ ⋯∩ 𝑇=
implying that optimal w is in T. In this way, the case where there is more than one target set may be reduced to the case where
LAZ 02/8/2016106/84
![Page 107: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/107.jpg)
there is just one combined target set, T. This is the basis for an approach to multiobjective optimization which is described in [8].
Non-uniqueness of target sets
LAZ 02/8/2016107/84
![Page 108: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/108.jpg)
This approach has a shortcomings; it does not address situations in which the objective functions have unequal importance.
Non-uniqueness of target sets
LAZ 02/8/2016108/84
![Page 109: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/109.jpg)
This shortcoming is a reflection of the fact that in the literature there is no working definition of conjunction with weights of importance.
Non-uniqueness of target sets
LAZ 02/8/2016109/84
![Page 110: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/110.jpg)
Stratum
•Stratum. Stratum in w instate of states is the set of those states and only those states from which target set can be reached in N or fewer steps.
LAZ 02/8/2016110/84
![Page 111: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/111.jpg)
A stratum, SN what should be stressed is that stratification is application-depended. An immediate consequence of the definition of stratum is
Stratum
LAZ 02/8/2016111/84
![Page 112: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/112.jpg)
Stratum
𝑆D ∈ 𝑆D$%Stratum may be disjoint, except for shared boundaries, or cumulative, in which case contains all lower number strata.
LAZ 02/8/2016112/84
![Page 113: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/113.jpg)
•Stratification criterion. As was stressed already stratification is application-depended. Stratification criterion is a condition for a membership in SN.
Stratification criterion
LAZ 02/8/2016113/84
![Page 114: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/114.jpg)
To stratify a body of data what needed is criterion. For example, in the case of FSM the stratification criterion is that for a state w to be in SN
Stratification criterion
LAZ 02/8/2016114/84
![Page 115: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/115.jpg)
it is necessary that the distance from w to T is N or less. Note that wj is the predecessor of withat wi successor an assumption
Stratification criterion
LAZ 02/8/2016115/84
![Page 116: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/116.jpg)
which is made that every state w has at least one predecessor and one successor.
Stratification criterion
LAZ 02/8/2016116/84
![Page 117: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/117.jpg)
•Vertical, horizontal and angular stratifications. Definitions of vertical, horizontal and angular stratifications are shown in Fig 9a, Fig 9b and Fig 9c.
Vertical, horizontal and angular stratifications
LAZ 02/8/2016117/84
![Page 118: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/118.jpg)
Vertical, horizontal and angular stratifications
Stratum
Fig 9a. Horizontal stratification
Fig 9b Vertical stratification
Fig 9c Angular stratification
LAZ 02/8/2016118/84
![Page 119: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/119.jpg)
Example of stratification is: horizontal, vertical and angular. Vertical and horizontal stratifications are
Vertical, horizontal and angular stratifications
LAZ 02/8/2016119/84
![Page 120: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/120.jpg)
particularly useful in competition with fuzzy numbers and Z-numbers [9].
Vertical, horizontal and angular stratifications
LAZ 02/8/2016120/84
![Page 121: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/121.jpg)
Annotation
•Annotation. Annotation associates with each states w an input sequence which takes w into target set, T.
LAZ 02/8/2016121/84
![Page 122: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/122.jpg)
Note that annotation of states in SN+1 is very simply derivable from annotation of steps in SN.
Annotation
LAZ 02/8/2016122/84
![Page 123: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/123.jpg)
LAZ 02/8/2016123/84
![Page 124: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/124.jpg)
At this point the stage is set for introducing a key idea which underlies our approach to stratification.
Incremental enlargement principle
LAZ 02/8/2016124/84
![Page 125: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/125.jpg)
A brief description of ieprinciple is presented in the following. With reference to Fig 10,
Incremental enlargement principle
LAZ 02/8/2016125/84
![Page 126: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/126.jpg)
a basic problem which arises in many applications is: given a state w in SN finite input sequence u
Incremental enlargement principle
LAZ 02/8/2016126/84
![Page 127: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/127.jpg)
which will transition w into a state w’ in T. To this end, let S0=T0=T (Fig 10).
Incremental enlargement principle
LAZ 02/8/2016127/84
![Page 128: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/128.jpg)
w T1=S1
S0=T0=Tw’
Incremental enlargement principle
Fig 10 Incremental enlargement principleLAZ 02/8/2016128/84
![Page 129: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/129.jpg)
Incremental enlargement principle
T1=S1
S0=T0=T
Fig 11. Incremental enlargement of target setLAZ 02/8/2016129/84
![Page 130: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/130.jpg)
With reference to Fig 11, assume that our objective is downgraded by allowing w’ to be in T
Incremental enlargement principle
LAZ 02/8/2016130/84
![Page 131: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/131.jpg)
or near T, with the understanding that near should be interpreted as one-step away from T.
Incremental enlargement principle
LAZ 02/8/2016131/84
![Page 132: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/132.jpg)
This is equivalent to adding to T states which are one-step away from T. Such states are the predecessors and
Incremental enlargement principle
LAZ 02/8/2016132/84
![Page 133: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/133.jpg)
successors of T, Pred(T) and Succ(T). Consequently, the states near T(T0) are
Incremental enlargement principle
LAZ 02/8/2016133/84
![Page 134: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/134.jpg)
𝑷𝒓𝒆𝒅(𝑻J) + 𝑺𝒖𝒄𝒄(𝑻J) ,
Incremental enlargement principle
with + interpreted as disjunction (union). Let T1 be the enlarged target set, then
LAZ 02/8/2016134/84
![Page 135: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/135.jpg)
Incremental enlargement principle
𝑻% = 𝑻J +𝑷𝒓𝒆𝒅(𝑻J),
since Succ(T0) is a subset of Pred(T0) .
LAZ 02/8/2016135/84
![Page 136: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/136.jpg)
With reference to Fig 5, assume that T= T0 = 3, then Pred(T0)=6+2 and hence
Incremental enlargement principle
LAZ 02/8/2016136/84
![Page 137: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/137.jpg)
𝑻% = 3 + 6 + 2
Incremental enlargement principle
Correspondingly, 𝑺% = 𝑺J + 𝑷𝒓𝒆𝒅(𝑺J)= 3 + 6 + 2
LAZ 02/8/2016137/84
![Page 138: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/138.jpg)
Incremental enlargement principle
Upon iteration, we arrive at the equation
𝑻𝑵$𝟏 = 𝑻𝑵 + 𝑷𝒓𝒆𝒅(𝑻𝑵)
LAZ 02/8/2016138/84
![Page 139: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/139.jpg)
Correspondingly,
Incremental enlargement principle
𝑺𝑵$% = 𝑺𝑵 + 𝑷𝒓𝒆𝒅(𝑺𝑵)
LAZ 02/8/2016139/84
![Page 140: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/140.jpg)
These equations will be referred to as incremental enlargement equations.
Incremental enlargement principle
LAZ 02/8/2016140/84
![Page 141: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/141.jpg)
Incremental enlargement principle
A consequence of these equations is uses annotation of states in SN+1. This completes stratification of W.
LAZ 02/8/2016141/84
![Page 142: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/142.jpg)
The idea may be described as “incremental enlargement target set”.
Incremental enlargement principle
LAZ 02/8/2016142/84
![Page 143: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/143.jpg)
It will be helpful to briefly restate the procedure which stratifies W.
Incremental enlargement principle
LAZ 02/8/2016143/84
![Page 144: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/144.jpg)
With reference to Fig 11, assume that the target set is in a corner of the state space W. Set S0=T0 with S0being a stratum of W.
Incremental enlargement principle
LAZ 02/8/2016144/84
![Page 145: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/145.jpg)
Assume that we downgrade our objective by adding to T states which are near T (one-step away), but not necessarily in T.
Incremental enlargement principle
LAZ 02/8/2016145/84
![Page 146: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/146.jpg)
Such states are predecessors and successors of states in T0. Call the enlarged target set T1, then
Incremental enlargement principle
LAZ 02/8/2016146/84
![Page 147: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/147.jpg)
Incremental enlargement principle
𝑻% = 𝑻J +𝑷𝒓𝒆𝒅(𝑻J),
since Succ(T0) is a subset of Pred(T0)
LAZ 02/8/2016147/84
![Page 148: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/148.jpg)
What this relation means is that we have incrementally enlarged T0 to T1. Iterating the process we arrived at the basic equation
Incremental enlargement principle
LAZ 02/8/2016148/84
![Page 149: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/149.jpg)
Incremental enlargement principle
𝑻𝑵$𝟏 = 𝑻𝑵 +𝑷𝒓𝒆𝒅(𝑻𝑵)This equation is the basis for stratification of W. Every state in W in SN is annotated with an input
LAZ 02/8/2016149/84
![Page 150: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/150.jpg)
sequence which leads from w to w’. . In this stratification every state in W is assigned to a stratum and is annotated with an
Incremental enlargement principle
LAZ 02/8/2016150/84
![Page 151: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/151.jpg)
input sequence which transitions it to a state in S0 + Pred(S0) in N or fewer steps. A key application of stratification relates to
Incremental enlargement principle
LAZ 02/8/2016151/84
![Page 152: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/152.jpg)
Incremental enlargement principle
reachability of the target set. It is easy to show that from any state in SN+1, T is reachable in N+1 or fewer steps. Let w be a state in
LAZ 02/8/2016152/84
![Page 153: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/153.jpg)
SN+1 then w is a state in SN or in Pred(SN). If w is in SN, then T is reachable in N or fewer steps. If T can be reached in N+1 or fewer steps.
Incremental enlargement principle
LAZ 02/8/2016153/84
![Page 154: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/154.jpg)
Incremental enlargement principle
The incremental enlargement equations show that if w is an annotated state in SN then it is trivially easy to find annotation if w is in SN+1. LAZ 02/8/2016154/84
![Page 155: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/155.jpg)
What this implies is the annotation of states in SNinduces annotation of states in SN+1. The strata in W maybe interpreted in
Incremental enlargement principle
LAZ 02/8/2016155/84
![Page 156: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/156.jpg)
Incremental enlargement principle
terms enlarged target sets. It should be noted that stratification may be interpreted as a progressive incremental
LAZ 02/8/2016156/84
![Page 157: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/157.jpg)
enlargement of the target state. Concretely, let TN = SN, SN may be viewed as result of progressive incremental enlargement of S0.
Incremental enlargement principle
LAZ 02/8/2016157/84
![Page 158: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/158.jpg)
This completes stratification of W. It is of interest to observe that in the limit as discreet-time equations become
Incremental enlargement principle
LAZ 02/8/2016158/84
![Page 159: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/159.jpg)
differential equations, the back-propagation of the target set through the state space becomes analogous to a flow of fluid through
Incremental enlargement principle
LAZ 02/8/2016159/84
![Page 160: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/160.jpg)
the state space with SN+1 representing the wavefront
Incremental enlargement principle
LAZ 02/8/2016160/84
![Page 161: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/161.jpg)
LAZ 02/8/2016161/84
![Page 162: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/162.jpg)
Concluding remark
Our version of stratification (CST) is a promising direction in the analysis and design of complex large scale systems in which the
LAZ 02/8/2016162/84
![Page 163: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/163.jpg)
objects of computation are-or can be organized as nested or stacked strata. The theory outline in this paper can be extended in many directions.
Concluding remark
LAZ 02/8/2016163/84
![Page 164: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/164.jpg)
Concluding remark
In one such direction FSM is assume to be a stochastic (probabilistic) system, in which case the reachability relation becomes a probability distribution [10].
LAZ 02/8/2016164/84
![Page 165: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/165.jpg)
Concluding remark
An important direction is one in which we have an array of FSMs which in combination perform deep computations and have a capability to do deep
LAZ 02/8/2016165/84
![Page 166: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/166.jpg)
Concluding remark
learning. A non-trivial test is using stratification to construct a program to automate parking of a car. Other non-trivial test relates to application of
LAZ 02/8/2016166/84
![Page 167: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/167.jpg)
stratification to computation with extension principle [11, 12, 13]. The process of stratification of state space is transparent and
Concluding remark
LAZ 02/8/2016167/84
![Page 168: Stratification, target set reachability and incremental ... · PDF fileStratification, target set reachability and incremental enlargement principle LotfiA. Zadeh Computer Science](https://reader031.vdocuments.mx/reader031/viewer/2022022421/5a834ccf7f8b9aee018eb774/html5/thumbnails/168.jpg)
straightforward to implement, but may require extensive computations.
Concluding remark
LAZ 02/8/2016168/84