Professional Documents
Culture Documents
,
" ",
"
"
................................................................................................................................................................5
1 .....................................................................................................................7
1.1. .............................................................................................................................7
1.2. .............................................................................................................9
1.3 .......................................................................11
1.4 .................................................................................................................15
..............................................................................................................................................................17
........................................................................................................................................18
2. .
...........................................................................................................................................19
2.1 ..........................................................................................19
2.2 ..................................................................................................19
2.3 - .............................................................................22
2.4 .....................................................................................................24
2.5 ..........................................................25
..............................................................................................................................................................26
........................................................................................................................................26
3. ..........................................................27
3.1 .....................................................................................................................27
3.1.1 ..............................................................................................................................................27
3.1.2 ...................................................................................................................................28
3.1.3 ( )...............................................................................................................................28
3.1.4 ..................................................................................................................................29
3.2 .......................................................................................................31
3.2.1 .......................................................................................................................32
3.2.2 ( )..........................32
3.2.3 ......................................................................................................................34
3.2.4 ...........................................................................................................34
3.2.5 .....................................................................................................................35
3.2.6 ............................................................................................................................35
3.3 ........................................................36
..............................................................................................................................................................37
........................................................................................................................................37
4. ......................................................39
4.1 ...........................................................................................39
4.2 .......................................................................................43
4.2.1 .....................................................................................................45
4.2.2 ..............................................................................................................48
..............................................................................................................................................................52
........................................................................................................................................52
5. , .....................................................................53
5.1 .......................................................................................53
5.1.1 .............................................................................................55
5.1.2 ........................................................................................................55
5.1.3 ...............................................................................................................56
5.2 .............................................................................................................................57
5.2.1 ..................................................................................................58
5.2.2 ..................................................................................................................................60
5.2.3 ............................................................................................................................................................62
5.2.4 - .............................................................................................................63
5.2.5 , .....................................................................64
2
5.3 ........................................66
5.3.1. ..........................................................................................................66
5.3.2 ...........................................................................................................67
5.3.3 ................................................................................................................................67
5.3.4 ......................................................................................68
5.3.5 ( )........................................................................................69
..............................................................................................................................................................69
........................................................................................................................................70
6. , ............................................71
6.1 ..............................................................................................................71
6.2 ................................................................................................................76
6.3 ...............................................................................................78
6.3.1 .........................................................................................................79
6.3.2 .....................................................................................................................84
6.3.3. .....................................................................................................88
6.3.4 ............................................................................................91
6.3.5 ........................................................................................................................92
..............................................................................................................................................................93
........................................................................................................................................93
7. ...............................................................................94
7.1 ......................................................................................................................................................95
7.2 .................................................................................................................................................96
7.3 ........................................................................................................................................................98
7.3.1 .................................................................................................................98
7.3.2 ..........................................................99
7.3.3 ................................................100
7.3.4 "/".....................................................101
7.4 ..........................................................................................................................................................102
7.5 ......................................................................................................................................104
7.5.1 .................................................................................................105
7.5.2 ................................................................................................106
7.5.3
()...................................................................................................................................106
7.6 ..................................................................................................................107
............................................................................................................................................................109
......................................................................................................................................109
8. (
).............................................................................................................................110
8.1 ...............................................................................110
8.1.1 ...........................................................................................................................110
8.1.2 .....................................................................................111
8.1.3 .....................................................................................................114
8.2 ...............................................................115
8.3 -.............................................................................................117
8.4 ............................117
.............................................................................................................................................................118
......................................................................................................................................118
9. (
G2-GENSYM CORP., )...............................................................................................119
9.1 ...........................................................................................................................................................121
9.1.1 ....................................................................................................................121
9.1.2 ................................................................................................121
9.1.3 ..................................................................................................................................122
9.2 , .......................................................................126
9.2.1 ............................................................................................................................................126
3
9.2.2 ................................................................................................................................................127
9.2.3 .........................................................................................................................128
9.3 G2......................................................................................................................130
9.3.1 - ..............................................................................................131
9.3.3 ...................................................................................................................135
9.4 ...................................................................................................................136
9.5 /- G2......................................139
9.5.1 G2 Diagnostic Assistant, Statistical Process Control, Neuron-Line..............................................................140
9.5.2 Rethink ( )..................................................................................................................................141
9.5.3 Gensym Scheduling Toolkit, Dynamic Scheduling Package.........................................................................141
9.5.4 Fault Expert....................................................................................................................................................142
9.5.5 Batchdesign_Kit - ........143
............................................................................................................................................................143
......................................................................................................................................144
.............................................................................................................................................................145
, ...................................145
1..........................................................................................................................................................145
- ..................................................................................................................145
............................................................................................................................................................151
2..........................................................................................................................................................152
- "" .....................................152
............................................................................................................................................................168
3..........................................................................................................................................................169
.........................................................................................................................................169
............................................................................................................................................................184
4..........................................................................................................................................................185
, ..........................................185
............................................................................................................................................................195
5..........................................................................................................................................................196
..........................................................................196
80-
- " ", ,
.
() . -,
, .. ,
.
-, ,
, ,
. -,
, ,
, -. -,
(
, ..) .
.
.
. ,
.
(,
) .
.
, .
3 .
,
: .
, ,
; -
.
. .
,
,
G2 ( Gensym, ),
.
,
(- , ,
).
,
, ,
. .
: ,
, (, )
.. -
4 .
- ( ),
.
, ,
5
. -,
, ()
"?" "?", -
. -, ,
,
(, ,
..). ,
, , ""
"" (. . 9)
.
1 .., 2, 3, 5, 6 ..
.. , 4 7 - .. , .. .. , 8 - ..
.. , 9 - .. .. , 1 - ..
, 2 - .. .. , 3 - .. ,
4 - .. .. , 5 - .. .. .
R.Moore,
Ch.Kiezulas, M.Lauer, .., .. ;
.., .. ..
.
1
1.1.
, " "
). , ,
-, ,
, .
" ",
. [7] "
, ".
(), ,
( ),
. :
, ,
;
: , ,
; ,
;
..;
:
, ; ""
(, ,
, ); ;
.
[10],
:
, ,
, , , ;
, ,
.
, ..
,
. . . [13],
(ill-structured) ,
:
;
;
;
, -
(, ).
:
, ,
;
, ,
;
, ..
;
7
.
,
. ,
, .
, ( )
, (
).
.
( ) .
-.
"", .. ,
( , ,
).
.
. ,
(,
, , , , , , ,
) , , ,
, , , , ,
, , , , - ,
.
:
DEC () [10] 70 . .
XCON/XSEL,
VAX. 30% ( )
1% ( );
Sira ()
40 . . [6] , .
G2 ( Gensym);
Monsanto () 250 500 ..
.
G2 ( Gensym);
Aetna Insurance () 5 . .,
15-20 . . ,
, . ,
G2,
.
-
() . 1960 - 1985 .
,
. 1985 . ( 1988 1990 .), , ,
(-), ()
.
, ( ,
, ) ,
[5].
,
, .. , (
) , .
, ,
8
(, Lisp-)
, ,
, , ,
.
()
, ,
. ,
,
.
, , [11].
, , .
.
( ),
( CASE, , , ..).
. ,
[14].
.
, (Lisp, Prolog ..), ,
(, C++ ..),
,
. ( )
,
.
-. ,
-, : ,
, ,
( ,
, ).
/- .
(
) /- [9] :
; ;
;
(, , , ).
,
.
, .. ,
. ,
.
.
1.2.
"
". ., 1943 .
() [2], [3]. . ,
,
[2]. , , ..
, ,
..
= { ,...,}
9
xiWWyi (i =1,...,1),
xi, yi - .
Y xi . Y xiW Wyi Y xi
yi. , aba abW Wc, .
pi
(i = 1, ... , 1), pi (F,Y) (), Y F
xiW Wyi.
,
[2].
( )
.
, ,
, .
, , . "
()" ,
, .
[13] ,
, , , , ..
" ". . [12]
. ,
(PS) :
PS = <R, , I>,
R - ( ),
( );
- , ( : "
");
I - (), ,
: , .. :
{ (i), (aj), };
, .
:
I = (V, S, K, W),
V - R Bv
Rv ,
. (
) [4] ,
,
.
, ,
[1];
S - , , .. :
(i) - (di), pi Pv, {di} Rv, pi
{di} ( , "pi
{di}"). ,
;
K - ( ), ,
. [4]
(, ,
).
;
W - , (. .
, ).
R -.
10
,
.
,
.
( . [8]).
1.
-
().
.
. ,
, .
2. , ( )
, , ,
, . ,
.
, , ..
.
3. ,
, ()
.
, .
:
( ) .
.
:
,
(), , , ;
,
();
,
(), , (.
. ).
,
. ,
:
().
1.3
(. 1.1):
();
(), ();
();
;
;
.
( )
.
, , -
() ()
( ), .
() ,
( ), ,
11
.
, , ,
, , ,
.
,
-.
, (
) ,
.
. 1.1.
,
.
:
- , ;
- - ( ,
() );
- (),
.
,
(. . ) ,
.
( ),
, .
,
; ,
, ;
( ) (
), ,
.
( ),
, ,
.
:
(
).
(
) . ,
, ,
( ) .
. ,
12
, .
, .
,
, ,
. ,
, ( ),
.
,
() . ,
( ,
), ( ,
,
). , ""
, ,
, . , ,
, " ".
.
, .
,
, .
, :
" ?", " , , ?".
, . 1.1, .
,
, . ,
, .
(. .4.1).
, ,
, . . ,
. . 1.2 ,
:
.
. ,
( )
,
( . .9).
, , . 1.1 1.2,
(), " ". . 1.3
,
,
( . .9).
13
. 1.2. (,
, )
. 1.3.
- (- )
, ,
( - ). ,
, , ,
14
.. ,
(. . 1.1).
1.4
. , ,
,
, . ,
, ,
,
.
,
, .
; , ,
.
"", "", "".
,
:
1) , ,
;
2) ,
;
3) ( )
, ,
"" ;
4) , ;
5) (..
, );
6) ,
"" , ..
, ( )
;
7) " "
(.. ,
),
( ) .
, .
:
, ;
- -
, -
;
,
;
,
.
,
:
1)
(.. ), ,
;
2) , , ..
. ,
15
( )
, ;
3) , .
( ,
), ;
4) , ,
.
, , " ".
,
. () .
:
, , ,
(
) () (
). ,
, ,
.
.
.
.
, .
, ,
.
.
[4],
(. 1.4): , ,
, , , ( .
7.1). , ,
, .
,
, .
, ,
, ,
, ,
.
.
, ,
.
, , ,
, .
.
16
. 1.4.
( )
. , ,
.
.
.
.
.
1. . . . - .: , 1984. -158 .
2. .. . - .:, 1965. - 391 .
3. . (Minsky .) ,- .: , 1971. - 364 .
4. .. .
.- ., 1987.-288.
5. . //.-1995. -27(185).
6. Expert system saves 20 million L on pipeline management.//C&I, 1994, July, p.31.
7. Feigenbaum E. A. The art of artificial intelligence: Themes and case studies of
knowledge engineering//The fifth International Joint Conference on Artificial Intelligence. Boston: MIT, 1977. - P. 1014-1029.
8. Feigenbaum E. A. Themes and case studies of knowledge engineering//Expert systenvin
micro electronic age. - Edinburgh: Infotach Limited, 1979. - P.3 - 25.
9. Harmon P. The Market for intelligent Software Products Intelligent Software
Strategies, 1992. - V.8. '2. - P.5 -12.
10. Hayes-Roth F., Jacobstein N. The State of Knowledge-Based Systems.
//Communications of the ACM, 19 94, March. - V.37. - N3. - P.27 - 39.
11. Loofbourrow . . . - 1995, 5-11
. -36(194). - 21 .
12. Newell A. Production systems: models of comtrol structures//Visual information
processing. - New York: Academic Press, 1973. - P. 463 - 526.
13. Newell A., Simon M.A. Human problem solving. - Englewood Cliffs, New Jersey:
Prentice-Hall, 1972.
14. Perky D.R. Migration to Open Systems. Taming the Tiger. Mc Graw-Hill, 1993. P.252.
17
.
.
.
( . .).
.
.
.
- .
.
18
2. .
2.1
():
;
", " ();
();
- (-).
. 1995 .
1,1 . .; 700 . . [7].
()
(), .
1995 . 25 .
., - 275 . . : 196 . ., - 30 . ., - - 38 . ., "" (fuzzy) - 5,5
. ., - 5 . . 1995 . 275 .
., [5, 6, 7].
1994 1995 . .2.1.
,
, ( 70%
) ,
.
2.2
()
[6, 8]: () ""
(), (), (), (),
/- (). ,
: .
, /-
. ,
19
, Unix, 486
Pentium, Unix Windows NT. . 2.2 - 2.6
. 2.2.
. 2.3.
- , ., 2.7 - ,
[5, 6, 7, 8].
.
1.
2%.
(
): The Haley Enterprise (Eclipse), IBI (Level5 Object -
, ),
. 2.4.
20
. 2.5.
Acquired Intelligence (Acquire), Attar Software (XpertRule), Exsys (Exsys RuleBook).
2. 31%
. , , ,
1995 . 81%
Neuron Data (Nexpert Object/Smart Elements, Smart
Elements), Inference (Art-IM, Art Enterprise), Intellicorp (KAPPA), IBI (Level5 Object-50
Professional), Exsys (Exsys Professional). ,
, Trinzic (
. 2.6.
. 2.7.
AionDS) IBM (TIRS), ,
.
3.
, 1995 . 12%.
: Trinzic Corp ( - AionDS, KBMS), IBM (TIRS), Inference
(ART).
4. ( -)
21
5% .
- Lisp-: Harlequim, Franz,
Gold Hill. - Intellicorp (KEE),
Inference (ART), Artificial Intelligence Technologies (Mercury).B
/- .
, , Trinzic ( AionDS, KMBS, Forest&Trees).
, ,
, - Trinzic (AionDS), Inference (Art*Enterprise), Neuron Data (Nexpert
Object\Smart Elements), Inference (KAPPA\OMW) ,
- () (Business Process Automation
- BPA), . 2.
5. /-
1995 . 50% .
1991 . 21 . ., 1994. - 75 . .,
1995 . - 97 . ., .. 4,5
.
(Gensym, Inference, Intellicorp, Neuron Data)
- .
Gensym :
G2, GDA, DSP, NeurOn-Line, Rethink [1, 2, 3,4].
/-
:
1) ,
(. . 4.2);
2) - (help-desk application);
3) , .
Gensym
(G2, GDA, NOL, DSP), Talarian (RTworks) Comdale Technologies (Comdale/C,
Comdale/X) ( . . 4.2 ).
- Software Artistry
(Expert Advisor) Carnegie Group (TestBench). Intellisys,
Emerald Intelligence, ServiSoft.
, ,
Inference ( - CBR Express, CasePoint, HelpDeskSeries).
Cognitive Systems (ReMind) Esteem Software (ESTEEM).
2.3 -
1995 . 38 . . ( 1994 .
- 29 . .) - ..2.1 [5, 7]. :
1) - ();
2) - (Natural Language text
retieval and Contents Scanning Systems);
3) (Large-Vocabulary Talkwriter);
4) , (Voice Input and Control
Products and Data Collection Systems);
5) (Voice-Recognition Programming Tools).
. 2.8 ,
-. .
- SQL- .
.
. -, ,
- .
22
Symantec ( - Q&A).
- Linguistic Technology
Natural Wizard.
,
. ,
, ,
-, .
,
,
Internet.
: Excaliber Software, Architext Software, Verity, Ardilog Inc.
. 2.8. -
.
30 000 70 000 .
.
: Kurzweil Applied Informatics ( - VoiceMED), Dragon
Systems Inc. (DragonWriter), IBM (VoiceType). 1994 - 1995 .
Windows OS/2,
. .
1000 .
,
, ,
.
, , .
: Articulate Systems (Voice Navigator), Micrisoft
(Windows Sound System), Vocollect Inc. (Talknet, Talkman).
,
. .
, AT&T, IBM, BBN.
- 1995 . 53 . .
:
(), / ,
[7]. ( 1995 .
- 25,5 . .).
23
2.4
1995 . 30 . ( 1994 .- 27
.), . .2.1 [5, 7].
: ; - (domain-specific) ;
.
. 2.9 ,
. .
: () .
. () 5
. : California Scientific Software
Ward Systems Group. 5 30 .
: NeuralWare (NeuralWorks Pro II, 27
), IBM (Neural Net Utility - NNU).
- 3/4
.
, ,
. : NeuralWare (NeuCOP -
), Pavilion Technologies (Process Insights - ), Nestor
(NestorReader - ).
. 2.9.
,
Excel (Microsoft) Lotus 1-2-3, , ,
. .
: Talon Development Corp. (BRAIN),
Cognitive Technology (NeuroSmarts for Excel), Promised Land Technologies (Braincell),
NeuralWare (Predict).
Cognition
Technology ( - NeuroSmarts, DocuSmarts-
multimedia ), Charles River Analytics ( - NueX,
Nexpert Object, HyperCard).
- 1995 . 65 . .
.
, ( ,
, ), (
), (optical character recognition OCR).
: HNC
(AREAS - , skuPLAN - , FALCON -
24
);
Nestor (N'Route - );
AlWare (CAD/Chem - ).
2.5
,
,
.
,
-
4.
(fuzzy) ,
() , .
1995 . 5,5 . ., ..
1994 . (6,3 .), . 2.1.
.
1995 . ,
IBM
.
1995 . 25 [7].
: National Semiconductor ( - NeuFuz),
Hyperlogic Corp. (CubiCalc and CubiQuick). ,
, - ,
, .
,
(),
.
.
1995 - 1994 . 0,5
. . (. . 2.1). :
Axcelis Inc. (Evolver), Attar Software (XpertRule Analyzer), Cosmic (Splicer), California
Scientific Software (Brainmaker GA Training), NIBS Inc. (NeuroForecaster/GA).
, -, ,
.
:
Attar Software -,
, , ;
California Scientific Software (NeuralWare) ,
;
NIBS Inc. (NeuroForecaster),
, -, ,
, .
, ,
,
, , 1994 ., (.
4). 1994 . 1,5 . .,
1995 . - 5 . .
: , ( () ),
.
: ( )
( ) (
25
) ( ,
).
15 -20
.
: AbTech Corp. (AIM), Reduct Systems (DataLogic), Teranet IA Inc. (ModelWare), Attar
Software (XpertRule Analyzer), Agnoss Software (KnowledgeSEEKER), Data Patterns (PCMARS).
1 .. Rethink. . /
" ". - : , 1996. - .58 - 64.
2. .. //
" ". - :, 1995.- .5 - 22. .
3. .., .. ..
. - : , 1995. - 126 .
4. .., .. -
// "
". - : ,1996.- .22 - 30.
5. Hall . The Intelligent Software Development Tools Market//Part I. Intelligent
Software Strategies. - 1996. -February. V.12, - 2. - P.1 - 12.
6. Harmon P. The Intelligent Software Development Tools Market//Part I. Intelligent
Software Strategies. - 1995. - V.11. - 2. - P.1 - 13.
7. Hall C. The Intelligent Software Development Tools Market//Part II. Intelligent
Software Strategies. - 1996. - V. 12. - .3. - P. 1 -16.
8. Harmon P. The Size of the Commercial Al Market in the US//lntelligent Software
Strategies. - 1994. - V. 10. - 1. - P.1 - 6.
1.
.
2. .
3. - .
4. .
5. ,
, .
26
3.
( )
, ,
, .
.
, ,
. -. ,
, . ,
: ,
( ,
), ,
( ).
, " " ( "")
, "",
, ,
, , ,
..
3.1
,
. -, , ,
,
. , .
-,
, ,
.
, , : "
?", "
- ?", "
( )?",
" , ,
?", " ?", "
?", "
, ?", " ,
() ?"
:
;
;
;
.
3.1.1
.
1. :
, ,
, (,
, , , ,
. .);
, ,
.
, ( ) ,
, .
27
2.
:
,
;
,
-
.
3. :
, ,
;
;
- [2].
3.1.2
.
:
;
;
;
.
,
, .
()
2 - 4 .
50 ;
3 - 10 .
,
() .
6 - 9 ,
100.
, ,
.
(
150 ) .
12 - 18
.
, ,
, .. ,
, .
1,5 - 2 .
.
3.1.3 ( )
() (
) , , .
PC Macintosh,
.
.
.
.
.
(mainframe). , , .
28
Lisp
Prolog. , ,
.
3.1.4
" " ( ,
, .. ,
) . ,
( ) ,
( , , . .).
. ,
" " "
".
:
1) :
, .. ,
( ) ;
, .. , ,
,
;
2) :
( );
() ( );
3) :
;
(
: "/", "/"),
, .
:
1) :
() ;
;
2) () (, , . .):
(, ) ;
.
,
. ,
.
, ..
.
( 1 5)
/ ,
. ,
()
. ,
i (1*K) X (l N) j (l
(KxN)). , K KxN .
, ().
. :
1) "" (, ,
. .), ;
() , .
29
,
;
2)
( );
3)
(. . 5,9).
, ,
() . :
1) , ,
;
2) , .
,
. , ""
. "
()". , - " ".
.
(),
() .
, ()
"" , .
,
:
1) ;
2) (. . );
3) .
, . ,
, , , (
), , .
.
, (
), ,
, (
); ,
.
,
.
, , ()
() , ,
; ()
, .
, ,
. ,
() .
,
(), .
: "" , ""
"" . ,
, ,
,
. ,
.
"" ,
30
0,1 - 1 .
. ""
0,1 - 0,5 .
() Unix Windows NT,
,
. , "" ,
.
, , , .
() , .. ,
(), ,
( ).
.
,
,
, .. , ,
(. . 6).
,
, .
.
1. : ;
;
; ; ,
.
2. : ;
();
; , (
); ,
.
3. : ;
; ; ;
,
.
4. : ;
; ;
; ,
.
5. : ;
; ; ;
;
.
3.2
:
;
;
;
;
;
.
, , -, (
) ( ), , , ,
, , .
31
3.2.1
().
.
1. ( -)
, C++ ( , , ).
2. (, Lisp, Prolog ).
, ,
, ,
.
3. , , .
,
. ,
OPS 5, (. . 8), .
4. , ,
.
.
(. . 8), Leonardo, Nexpert Object, Kappa .
, "" (shell) ,
" " (development environment).
, ,
, " "
(complete environment). :
Nexpert Object, ProKappa, ART*Enterprise, Level 5 Object .
5. /- ():
- (problem-specific),
(
, , , ..);
- (domain-specific),
, .
,
. , ,
.
,
()
.
:
1) , ,
, ,
, , ,
;
2) , ,
.
/- ( ).
3.2.2 (
)
,
. :
32
;
, ;
, ;
- .
(, ).
:
1) , , .. ,
() ;
2) , , .. ,
, .
() .
" ", ,
, , .
, ; .
, , .
, ,
, .
(), ,
.
"". , ,
, .
,
. , ,
(. . ).
, ,
: . ,
.
, .
,
,
, , ( )
,
, ().
.
, ,
, .
(. . , ). ,
-
(. . 6).
, , , ,
.
( . 1)
.
, ,
() (). ()
. ,
, ,
.
. .
33
3.2.3
.
.
: (),
, , ( ) . (. . 5 ).
, , ,
. , , , , .
3.2.4
, ,
, ( ,
, , , . .).
:
;
, ;
.
,
(. . 6).
:
1. :
( );
;
;
;
;
, :
ni , (.
. 6);
( );
() ;
; [1].
2. () (. . 6):
: , ,
;
: " " -
() ,
, " " - -1,
, 1 ,
2 . .
3. (. . 6):
: ,
;
:
( );
() ,
; , Rete (. . 6)
focus invoke (. . 9).
:
,
34
;
,
;
, .
:
1) ;
2) , ;
3) ,
, .
, ( ).
, .
, -,
, ,
, .
(,
).
3.2.5
.
1. , :
;
();
;
.
2. :
, (
);
;
.
3. :
;
;
,
.
3.2.6
,
.
:
1) , ;
2) ;
3) , ;
4) ,
.
, , ,
.
( ), .
,
. , ,
35
.
, .
,
. ,
, ..
, .
,
,
.
,
.
,
. () .
.
,
( ), ,
.
.
,
.
(, ).
,
, .
,
, .
()
.
, :
, ,
(, ), ( ) ..
,
. ,
, .
3.3
, .
1. 1 (.
. 3.1). , , ()
: ,
, .
, . .
.
.
: . .
, . : 1-st class,
.
2. 2. , ,
- () :
(), ,
. ,
, - .
36
, .
.
,
.
. : .
.
.
: (. . 8), Guru, Leonardo .
3. 3. , ,
- () :
, , .
, , -
. , ..
. :
, .
: . ( )
. ,
.
.
: Nexpert Object, ART, Level 5 Object, ProKappa, ADS.
4. 4.
, .. ,
. ,
, ,
. , .
. .
.
: TDC Expert (. . 4), Activation Frame Work, Rocky.
5. 5 ,
, - ()
, ,
. , , .
.
. ( ).
.
() ().
.
.
. ,
. : G2 (. . 9), RTworks (. . 4).
1 .. .
. - . , 1987.- 288 .
2. .., ., . .:,
1995.-126
1. .
2. ,
.
3.
37
4. , .
5. .
6 , .
7
38
4.
4.1
. 3
.
. ,
, , -.
- .
( ) , 1995 . (. . 2),
, ( 80% ),
(12% ), (6% ) ,
, (2% ).
1, 2 3 (.
. 3). 1 2 , ,
3 - , , , (
).
1 2 ,
- ( ),
() (.. 6).
,
.
. (
) ,
,
,
.
.
. , , 3
, ..
, .
(,
) (
, .. ,
).
3 (. .
, ) (,
). 3
, ..
,
.
, , ..
, ,
, .
3 ,
-
. ()
1985 . (, OPS 5, Personal Consultant Plus, Nexpert Object),
( 3)
(,
39
, ),
- ( ()
), ,
. : ADS
(5.1), Level 5 Object, Kappa.
, .
(, , ),
/-. ,
. (, ,
, ), .. .
, .
, GURU IBM PC MicroVax, ,
, MicroVax.
.
()
(23 ):
1. : .
2. .
3. (dBase III) (Lotus I-2-3)
4. 512 - 4 ; .
5. .
6. . MS Windows, , Pascal.
7. : 500
(10 ):
1. : ; ;
2. .
3. (Oracle, dBase, RDb, DB2, VMS) Lotus, X Windows
4. 8 - 32 ; .
5. .
6 : UNIX, WindowsNT, , Pascal, Modula II, Fortran.
7. - 6500 .; - 20 000 .
(5 ):
1 : ; ,
2 .
3. (DL/1, DB2, Oracle, Sybase, SQL/DS, ADABAS).
4. 8 - 64 ; .
5. 6. : MVS, Unix, , Pascal, PL/1.
7 : 80 000 .
(5 ):
1. : ; ,
; .
2. .
3. (dBase, DB2, IMS, Oracle).
4. 8 - 32 ; .
5. 6. : MVS, Unix, .
7. 12 500 .
()
:
40
, ,
SIMER+MIR
,
,
-
,
, PC, 300
TURBO , PC
,
,
Lisp, PC
, PC, 240
MuLisp
XSIMP
-,
--
PC, 400
41
OPS/ST
Smalltalk, PC
, . -
- - Test Bench (TI Carnegie Group); Diagnostic Reasoning
Template (Coherent Thought); - (Genesis V
(Help/Systems Inc.); ProGenisis (Quantum in KNOWvations);
(Service /Maintenance Planner (Carnegie Group) .
- :
- Cogensys Judgement Software (Cogensys Corp.);
-ICAT (Automated Reasoning Corp.);
- ICAD (ICAD Inc.); - Intelligen (CIMTelligence
Corp.); - CAIS (Rosh Intelligent Systems Inc.);
- Flexis ToolSet (Savoir Systems Group) .
/-
(help-desk application) ,
.
, .
, , . , ,
ServiceWare , "KnowledgePaks",
Inference CBR Express CasePoint.
KnowledgePak
Windows, Word, Lotus 1-2-3 450 500
.
, ,
, .
.
1. , .
.
Procedural Consultant ( TI)
DEC VAX Dession Expert ( DEC).
2. .
(, VP-Expert, 1st-CLASS FUSION, KDS 2&3 .),
(, BEAGLE
VRS Consulting PC VAX).
3. , .
ETS ( Boeing),
. .
,
( ).
4. ,
. KAT,
Level 5, Nextra,
Nexpert Object. Nextra
Macintosh.
5. .
, .
,
. CAMEO (Arthur D.Little - ADL).
, , ADL.
4.2
, . 2,
. 1995 .
70% /- 38 .
43
( 1988 . - 3 . .). ()
( ),
,
, :
, , , ..;
, (),
, , .
,
() - () (. 2).
, , , ,
, .. ,
, .. "
, ,
, , "[2].
,
G2 (. . 9). G2 700 , 30
.
( )
3 () - G2 3
.
Caterpillar () -
, G2 Telewindows.
Camunsa () - , ,
1992 .
800 ,
300.
Carpenter Technology Corp. () - CarTech DSP ( G2)
. DSP
,
.
Forsmark Nuclear Plant () -
. 200 . 130
.
General Electric () - GE G2:
GE Aerospace ;
-; GE Nuclear
, .
IBM () - MOM (Measurement of On-line Manufacturing) - ,
IBM
. MOM G2,
Serveio's Gemstone OODBMS SPS
, ,
.
Intelsat () - , ,
4 G2.
.
Lafarge Coppee () - 25 G2 ,
. Lafarge G2
.
Mrs.Baird's Bakery () - G2
.
44
38
,
. G2 16 000
, .
: ;
; ; ;
; ; ; - ;
. .
,
, , :
,
, ;
(), . .
, ;
(, ).
,
(. .
UNIX, VMS, Windows NT, MS DOS);
, .. ,
.
,
, Lisp;
" ", ,
;
,
;
()
(
- , , . .);
(-
);
;
( )
.
4.2.1
1985 . Lisp
Machine Inc. Picon, Symbolics.
, Picon 1986 .
Gensym, , , Picon,
1988 . G2, 1.0. 4.2
5.0.
Gensym 2 - 3
. . 4.2 [1]
. , , ,
, ,
.
, , G2 (Gensym, ),
( 50% G2 [1]) RTworks -
Talarian, , COMDALE/C (Comdale Techn., ), COGSYS (SC, ), ILOG Rules
(ILOG, ).
4.2
45
1
2
3
4
(1993 .)
G2
RTworks (R*Time,
L*Star)
COMDALE/C
COGSYS
- :
: (
)
(,
)
()
G2
+
Rtworks
+
+
+
+
( )
+
+
+
+
+
+
+
( )
+
+
+
-
+
+
46
(
,
Dataviews)
-
+
+
+
G2-G2
G2
(. . 4.4) 16 , [5]:
( );
( );
, G2 ( );
G2.
4.4
G2 , , D
D (G2)
1 , ,
+
+
+
2 -
+
3 , ,
+
4 , , ,
+
5
+
6 , ,
+
7 ASCII-,
+
8
+
9
+
+
+
10 +
11
+
+
+
12 , , , +
+
, ,
13 , +
+
+
DEC, HP, SUN, IBM, SG, Intell
14 +
TCP/IP DECnet
15
,
+
16 , +
+
+
16 :
1) 3 16 (18%
47
G2);
2) 5 16 (31% G2);
3) 3 16 (18%
G2).
4.2.2
. 4.3 4.4 G2 (. . 9) .
: G2, RTworks TDC Expert (. . 4.2).
( 5), - (
4). :
, , ,
, .
,
, ,
.
, .
G2 . ,
, .
G2 . (
) ( is-a) ,
. , () G2
(
)
- .
RTworks ,
G2
, . . , ,
. , G2
. , G2
(, )
RTworks.
TDC Expert "" "
",
- - .
TDC
Expert - ,
. , TDC Expert , .
G2.
, , .
G2 , ,
, .
,
- .
G2 . G2
9 :
1) , , ( 48
forward chaining);
2) ,
( -backward chaining);
3) n , n - ,
( (scan));
4) -
- focus invoke,
5) , , ,
,
6) ,
7) ;
8) ;
9)
.
, -,
G2, .. RTworks TDC Expert
4 - 9 (. . 9).
(focus invoke)
. focus
,
, invoke - ,
, .
,
, ,
(,
),
. , G2
, .
,
: ;
, ,
. - ,
.
.
RTworks ,
( G2 ).
RTworks , G2. RTworks
.
TDC Expert , .
, G2
RTworks. TDC Expert .
( )
.
G2
CASE.
, .
,
49
.
, ,
, .
.
-
.
RTworks .
ASCII-
RTworks. Talarian
" ". ,
.
TDC Expert ,
, ""
, .
G2
,
.
. ,
.
RTworks
. Dataview
VI Corporation, .
TDC Expert TDC 3000,
.. .
RTworks UNIX
(. 4.1).
. 4.1. Rtworks
RTworks ,
:
(RTserver);
(RTdaq);
(RTie);
- (RThci).
, ,
Unix
Rtworks.
, RTworks .
-, RThci,
.
50
, RThci
,
RThci. -, RThci, ,
,
. -,
. , RThci
RThci, .
,
.
, RThci - . RTworks
RTdaq.
RTdaq
.
G2
- (. 4.2).
G2G2.
ICP (Intelligent
Communication Protocol). ,
G2-,
. ,
. Gensym Telewindows,
.
GSI (G2 Standard Interface). GSI
( RTworks)
(Alien Bradley, GE-Fanuc, AEG Modicon),
(ABB, Fisher, Siemens, Yokogawa, Foxboro, ORSI),
(DEC BASEstar, Alien Bradley Pyramid Integrator, SETPOINT SETCIM)
(Oracle, Sybase, Informix, DEC Rdb). GSI G2 Bridge
products G2- .
. 4.2. G2
TDC Expert
. TDC
3000. TDC Expert . 4.3.
51
1. Clements B.R. and Preto F. Evaluting Commercial Real Time Expert System Software
for Use in the Process Industries. - C&I. - 1993. -P. 107-114.
2. Hammer M. and Champy J. Reengineering the Corporation. A Manifesto for Business
Revolution. - New York: Harper Colins. - 1993.
3. Intelligent Software Strategies. - N2.- 1996.
4. Moore ., Memorandum//Copyright. - 1993, April. Gensym Corporation.
5. Moore B. and others.. Questions and Answers about G2//Copyright. -1993. Gensym
Corporation. - P. 26 - 28.
1.
.
2.
.
3. .
4. / .
5. .
6.
G2 .
7. , ,
.
52
5. ,
5.1
, , -
, .. , " "
[5]. ." " ,
. , " " .
, . ,
.
, " "
: ()
.
,
, ,
( )
.
, , ,
:
;
;
, .. " .
:
;
;
;
.
(. . 1.1)
:
(.. ),
();
,
( );
,
;
,
.
, , :
1) ;
2) .
:
( )
;
;
;
;
() ,
;
.
,
53
.
[5]. ,
().
. .
- , "" .
,
, ,
. -
, ,
.
. ()
, .
.
,
.. .
, ,
.
.
,
. ,
( ) .
. ,
.
. , ,
, .
.
.
,
. , -
, .
" ", ,
, .
.
, .
, (.
. 9.2). , . ,
, .
,
.
, .. .
,
. (. [5], .6):
1)
;
2)
;
3)
54
;
4)
;
5) , ..
, , .
,
() .
:
;
;
.
5.1.1
,
,
, , ..
,
. ,
, .. ,
. ,
.
,
. ,
, .
.
, ..
.
.
.
, . ,
, ,
.
,
, .
,
.
.
5.1.2
() .
.
. ,
. , ,
( , ) (. [5])
( ).
.
, - ( )
(, ).
,
,
55
.
() .
, .
,
, ,
. ,
.
,
, .
. ,
, .
5.1.3
()
. , ,
" ". ,
,
. :
, .
() ,
. ,
()
. , ,
. ,
, ,
, .
:
.
. ,
.
.
.
,
.
, . ,
, ,
, ( ).
, ,
, , . ,
.
. ,
,
.
.
: ?
? ..
; ,
, .
56
.
,
.
.
,
.
.
: , ,
[5]. (),
. ,
. ,
( ) . ,
, , ,
. :
.
, .
, .
.
.
. ,
. ,
, ,
.
5.2
,
.
() ().
", " ",
". ,
, , .. ,
. , (",
") ,
. ,
, ,
, .
,
.
,
. ,
- .
,
. ,
, .
, ,
- .
,
, ..
(, - )
.
- (. .
5.3).
()
57
() [5].
().
.
, , ,
. , . .
.
,
(
., , [7]).
,
, ,
.
, .
,
. , ,
, , - .
, ,
, (. . 1.2) ,
,
,
.
5.2.1
,
[5]:
- () S;
F - S, (
S).
( ),
- ;
- , S, ..
;
R - {r1,.., rn} ,
.
ri, j, ,
, j , f
, j ri, f. ri
, f j ri.
()) fn S f1,...,fn
, , i fi S,
- .
,
.
,
, , S.
S , , ,
S.
,
, .
:
58
{,(,,,),.,;};
-
;
xk, k= 1,2,...,;
n- :
);
n- ():
xk u, v, x, y, z,... ;
;
; P,Q,R,S,T,V,W...
. ,
() ( ).
.
- ,
,
- D.
"" D
, "" ()
"" ().
: D,
, ,
, - .
, .
,
.
, ,
.
, . ,
, ; . ,
. [4]: "
B1 ,...,Bn . B1,...,Bn
,
, ..
.
, B1 ,...,Bn ,
I,
, .
B1 ,...,Bn , -
B1 ,...,n ,
,
, ..
.
, , ..
.
59
[14] [3].
:
: " ".
.
- ,
.
,
, .
(. . 6.3.3. [5]),
[6].
[6].
:
, (.
) , -
.
.
5.2.2
,
. (, , ,
), - , .
,
. ,
. ,
. ,
, . . 5.1
, :
" [ t1, t2 ] N 25-15".
() 1. ()
. N 25-15 . 1
,
() .. . 5.1 "" () ""
()
60
. 5.1.
, .
, ,
. ,
, . , ""
"". , , ..
, - ""
( ). "", (, ) z
(, ), , ,
(), , z ( ),
() ,
r (, ) "" r () z ( ).
"".
()
, [5].
. ,
.
, , ,
, - . .
5.2 , , ,
6 (-) ,
- P4, P2,
. 5.2.
0, .
- .
, ,
. ,
.
61
:
1) , ,
( );
2) , ;
3) Pi ( ),
PJ, ( ), .. Pi PJ. ,
Pi , PJ.
. ,
,
, .
. . 5.3 5.4 ,
( ).
.
. 5.3.
.
.
. 5.4.
5.2.3
,
, - [13].
[13] - (.. ),
.
( ), ,
, ,
62
, , .. ,
() .
, , .
,
.
.
, (-)
. ,
,
, . , ,
( )
. ,
, .
,
.
, .
, - .
f - , ri - , a vi-
, .
.
(, ..) .
, ,
.
( ')
( ') , ..
, ,
( ) .
-
.
.
, .
, ,
,
. ""
.
, , -
. ,
, .. ,
, .
, - .
, - ( ,
) ,
, - , KRL, FRL, KNET .. ,
, K-NET,
, , ,
[5].
5.2.4 -
. .
[1]. 1. ,
,
63
, .
, : ; , ;
; . , ,
, , ,
, ,
.
.
.
, ,
- ,
. , "" ,
, ,
- , ,
, : ,
..
,
- .
.
- [2]. -
,
.
, ,
. ,
, .
,
.
.
- "
".
- ( ) ,
.
. ,
,
.
.
- ,
. -
. ,
.
, -
.
,
, , ,
.
,
, .
.
5.2.5 ,
. , i-
(i+1)- , i- .
.
64
,
, .. , , .
, .
,
.
()
.
, .
, ,
. , ,
, .
.
,
, :
, , ,
;
, ,
. ,
, ;
, ,
.
, ,
, (. 5.5). ,
,
.5.5. ,
, ,
, .
, ,
:
. ,
: , , , .
, , , ,
, , .
, ,
. ,
() ,
65
.
.
.
, ( ), ,
( ).
, , .
()
, ()
.
.
, ,
.
, . ,
, .
,
:
;
, ;
;
,
;
.
. -
.
, - -. ,
, "
". , (.. ,
) ,
, .
,
, .
"" .
, ,
,
. , ,
,
, .
5.3
,
,
.
( ),
, .
.
,
, .
5.3.1.
66
: " - - ".
. .
, .
.
MYCIN [5].
.
, ,
- , . , ,
. ,
,
, , : " - - ".
5.3.2
,
. .
.
.
,
.
.
[16J.
( ) , (
) [9].
,
, .
, , - .
, (0;+1].
,
( ) .
5.3.3
67
,
( ?)
( ?)
" , !"
(< >
0,1
:
985 , 4
:
1) ,
;
2) () ,
.
, .
. ,
, ,
" "
. ,
"" ,
, , .
, , ,
, "
", " " ,
, , ,
"" .
5.3.4
HEARSAY-III [11],
HEARSAY-II.
. ,
. ,
, . , ,
, .
HEARSAY-III , ,
, " ". HEARSAY-III
(). , , ,
-, .
,
. , HEARSAY-II
: , , , , ..
,
.
.
.
(),
68
.
, HEARSAY-III ,
- , . ,
,
. (
) ,
.
, ,
,
.
, , ,
,
.
. , ,
HEARSAY-II
1000 .
.
5.3.5 ( )
, , .
,
(), .
(
).
-
,
. , ,
-
5 - 8 .
. ,
,
" ".
- ,
, ,
.
-
,
,
, .
(
), , . ,
, (. . 9).
1. . - .
. . - .: , 1992.
2. . ++. - PC
Magazine /USSR/ - 1991. - N3.
3. ..
// . . 159. -1964. -1.- 17-20.
4. . . - .: , 1971. -320.
5. ..
. - .: , 1987.
69
1.
.
2. , .
3.
.
4. .
5. .
6. .
7. , .
8. - .
70
6. ,
6.1
, .
. [6], :
. ,
, . ,
. - .
.
:
, ;
, .
(,
),
, , .
,
, .
. . [6] ,
: .
.
, ..
,
. .
,
.
. 6.1.
( ). ,
,
. ()
, ,
. () , .. ,
, ()
.
: , , ,
(. 6.2).
. ,
.. .
(. . 6.1 ).
.
71
. 6.1.
.6.2. ()
:
, .
, ..
. ,
, .
,
. ,
(.. ) (. . 6.3),
(. . 6.2) .
, .
6.2.
() ,
. .
, ,
, () , .
() ,
.
, ,
, ,
, .. , ,
, , .
(), ..
().
,
72
. , ,
, .
.
. ,
, ,
, .
, ..
.
.
, .
. , .
(),
.
, -
.
. 6.1 6.2 .
.
.
, (
- ), (),
. ,
, , , - ,
.
, , ,
, . ,
.
OPS 5, MYCIN ,
- HEARSAY-II. ,
, ..
,
. ( )
. ,
,
. 6.1.
.
" ", - , , , , - .
. "
", .
, .
, .
.
.
.
" ". ,
, .
.
.
73
.
,
. ,
.
(
) ,
.
, , ,
.
.
,
. (MB),
, :
;
( )
,
.
.
(), .
- (. 1) ,
, .
10
, () ;
; ,
.
(, , )
, ,
() , .
.
,
:
Rete [1],
MB ;
,
[5].
. MB
( )
( )
( ).
, MB
, (i-l)-
i- .
, ,
Rete [1].
,
74
().
. ( ),
MB (), ,
.
MB , .
, MB, ,
.
, Rete-,
. ,
. Rete- : "+"
"-", -
. ,
: , ,
- .
, ,
(.. ).
.
("") .
,
, .
.
. ,
, ()
, .
() ,
.
, ,
. ,
, .
: .
,
. .
,
( ), .
.
, .
(, )
().
. ,
. ,
, , ,
. ,
, , ..
.
, , ,
. (,
), , .
( ), ,
.
,
G2 (. . 9). G2
:
() ,
75
()
,
1 k, . G2
focus,
.
(, , ),
. G2
invoke scan
. , G2
focus, invoke scan.
G2 , , ,
, .. ,
.
(connection) (relation),
.
6.2
[1].
,
( ).
( , ),
,
. ,
. , ,
MYCIN 50 400 [1].
() .
,
; , ,
( )
.
.
:
76
() , ;
() ,
()
.
,
, .
: ;
,
(). ,
.
,
. ,
"" . ,
,
. ,
() , .
,
(..
). ,
, .
, ..
, .
.
,
. , , ,
.
, , () ,
.. ,
( ) .
, ,
[1]: ; ; .
:
, ; ,
; , , ,
. ,
, (. . 6.3.1).
, , ,
[2]. ,
,
.
, .
, , ,
,
. ,
,
.
. ,
, ..
.
.
, . ,
- . ,
, - , , -
77
.
,
: ;
, , .
"" .
,
, ,
, .. (
) ().
" " :
. ,
,
.
""
.
.
.
6.3
, ,
, , ,
.
:
, , ;
,
( );
, , ,
. ,
,
;
,
() () . ()
,
; ()
() .
, ,
()
. " "
: , , . ""
,
. , , , ,
(
, ).
"" , (" ",
" " ..), , ,
() - () ..
, , ,
,
.
, - .
.
78
. ,
, ,
,
(. .9).
, ,
:
- ,
: , ,
;
- ,
;
;
, ,
, .
,
, ,
.
6.3.1
, ,
"-" [1].
-
[1,2].
(S0, F, ST), S0 - (
), F - , ; ST () ( ).
-
, .
G = (X, Y), X = {0, x1,...} - (
) , , a Y , (xi, xj), (xi, xj)
. (xi, xj)
, , - .
(xi, xj) (), (xi, xj) (
), (). (xi, xj)
().
. (xi, xj)
,
, xi, xj.
xi
(xi, xj)
, .. , xi
( ), ( ),
. , xi,
, ,
xi.
X
(S0),
,
() (ST). T ,
, .. , .
, G . G
(
) , ,
79
, .
, G , .. ,
.
.
,
, .
. , .
,
, (.. ,
). ,
,
, .
, ..
, , .
.
,
. :
,
. :
;
.
:
;
;
,
.
,
.
, Si
Si-1,
, .
, , - ,
. .
( ).
. 6.3 (. 6.3, )
(. 6.3, ). ,
( ), , .
.
,
, ( , ).
80
.6.3. , ()
()
[1]. ,
, ,
. ,
.
G, /.
(). :
. , "",
:
, .
, "",
:
, . ,
[4, 7] .
/- , ..
, , () , ..
. ( /) /- ,
. ,
. ,
.
,
, .
. 6.4. S0 -
, S3 S1 S2.
S1 S4, S5. S3
S S7. S2, S5, S7 ,
S4 S6 . S0
S3, S1 S2. ,
/- ( , ),
, . 6.4 /-,
( R1 . 6.5). . 6.5
81
. 6.4.
S0, .
/- - , ,
.. .
/- :
1. () ,
.
2. ,
.
3. ,
.
, ,
, (
). . 6.5 ,
.
. 6.5. /-
/, ,
, . . 6.6
(. 6.6, ) (. 6.6, ).
, ;
, ,
.
82
.6.6. ()
()
,
.
() .
, .. ,
, ,
.
"" ,
, .
.
"" .
, , ,
. ,
, . ,
.
, .
, ,
.
"-"
"-".
, ( /-),
, .
( ) ,
. ,
. , ,
. ,
.
, ,
, . ,
- , (
83
) .
( )
.
,
( ),
, .
, ,
.
, .
().
"-",
" -".
, (
). ,
, .
, ,
( , , )
. ,
,
, .
6.3.2
,
.
. ,
.
. 1963 . .
, " " : "
10 , , 20-
1020 , ,
5 10 4 ,
. ,
"" " [3]. .
, ,
, ..
.
.
.
, , ,
.
(..
),
. ,
, .
,
[1].
.
, . ,
, .
,
. ,
84
, ,
. ,
, ()
() .
, , .. ,
, .
" -" (. ).
, ,
. ,
.
,
, , .
,
.
. ,
, ,
. ,
.
.
,
( ), .
(),
.
, , R1 [1].
- VAX R1
, ,
,
VAX. R1 ,
, . ,
,
. , .
. R1
, . [7]
, ,
.
.
.
.
(top-down refinement).
,
( )
.
.
,
.
,
..
,
. ,
85
.
( - ).
.
(
, ). ,
,
, ,
,
.
ABSTRIPS [1]
. ABSTRIPS ,
() . ,
, . ,
, , (,
), , .
: , ,
, ..
. ,
, ,
. ( ), ,
,
.
, ABSTRIPS
.
, .. , ()
.
, .
,
. .
(.. , , )
, ,
, .
.
.
, ,
.
, :
,
;
, ,
.
. , .
,
.
,
.
. ,
86
.
, ,
.
. , ,
, - .
, ,
.
. ,
.
. :
,
; ,
.
.
, , .
,
, .. , , ,
.
, .
,
, .
(. ).
.
,
. ,
.
, , ,
, , ..
().
.
.
, ,
. ,
, ,
:
, ;
,
;
,
;
, .
MOLGEN [I], .
MOLGEN .
(
).
.
,
.
( " "),
.
87
-
. , ,
. MOLGEN
.
MOLGEN
. ,
,
. ,
.
,
" ". MOLGEN ,
().
. ,
.
, , .
,
.
, ,
.
(. ).
: "
?". .
,
, ,
. , ,
. , , "
" ,
.
. .
, ..
, , ,
() .
- , ()
, .. . ,
,
(), .
.
(, ).
,
.
, ,
: ,
, .
6.3.3.
,
:
, , ;
88
, .
.
() , ,
. , ,
.
.
, ,
.
, ;
. , ,
.
,
, . ,
, 14 ( ), ,
. ,
. , ;
, .
. ,
, (X) , , ,
. ,
, , ,
.
.
, .. ,
, , ,
.
, A,
[8].
.
,
. , , , ,
, .
,
(). ,
, , ,
.
..
, ,
, () ,
, ,
, ,
, . ,
, , .. .
, ,
( )
( ) , , ,
, , ,
() .
, a
( , ), p (,
) r (,
), - B (, , r) (a , p, r).
, , (),
. ,
, - .
89
() ,
. , ,
.
, . . 6.7
, Q R.
C1, B1, 1 , ;
Q C1, B1, A2, D1 ,
; R C1, B1, A2, D2 ,
.
.6.7.
,
, .
, , .
,
() . (justification)
, . , ,
:
1: R 13 .
2: R , .
3: Modus ponens
.
:
4: R 13 .
:
1:
: 4.
: 3.
: ( 1, 2).
( ).
.
. ,
( ), .
.
(backtracking).
90
, ,
- , .. -
.
.
. -, ,
. -,
( , )
. -,
() . ,
,
.
,
SYN [1]. SYN
. ,
. SYN , ..
SYN ,
. , SYN
(R1; R2),
(R = R1 + R2). ,
SYN ,
(I = U/R). (U1 =I R2,
U2 = I R2) SYN .
,
. (
) ,
91
().
, SYN
.
6.3.5
,
,
.
, , ,
.
, .
,
. ,
, ,
(, ).
,
. .
,
, ,
. ,
,
.
. ,
, .
, ,
. , , ..
,
, ,
. ,
,
, .
,
, .
, .
,
.
. ,
() (), ,
.
. (, ,
) ,
;
.
,
.
,
. ,
, ,
.
92
1. .. .
. - : , 1987.
2. .., . .
. - .: , 1976. - 455 .
3. . //
. - .: , 1967. - 552 .
4. . . . - .: , 1973.
5. Moore R. Expert Systems in Real-Time Applications: Experience and Developments
//Proceedings of the Seventeenth Annual Advance Control Conferenc, 1991, October.
6. Nevell A., Simon M.A. Computer science as empirical enquiry: Symbols and
search//Communications of the ACM. - 1976. - V. 10. - 3. - P. 133 - 146.
7. Nilsson N.J. Principles of Artificial intelligence. - Palo Alto; California, Tioga Press,
1980.
8. Winograd T. Extended inference modes in reasoning by computer systems//Artificial
Intelligence. - 1980. - V. 13. - P. 5 - 26.
1. .
2. .
3. ,
, , .
4.
.
5. .
6. .
7.
.
8. .
9. .
93
7.
1 ,
.
, ,
, ,
. , ,
,
, .
.
, ;
.
.
. .
,
.
, ,
(RAD - Rapid Application Development), . .
, [1]: , ,
, , , (.
. 1.4). , , , ..
.
: ,
.
. ,
. ,
, ,
.
,
.
.
. ,
. ,
, .. .
RAD
RAD -
CASE-
, .
RAD "
(Joint Application Development -JAD) . JAD
IBM 70-
.
RAD , . - -
, , . ,
94
. - ,
, , ,
. CASE,
.
,
, G2 Gensym (. .9),
CASE-:
,
, ..
RAD .
RAD
RAD
,
-
7.1
,
, .
, .
- (
, ,
).
. ,
, ;
, ;
.
:
, - .
, " - " .
,
. ,
,
, , .
()
. ;
, ; (),
; () ; ; ,
; () .
,
.
,
.
: "
?", "
95
?", " ,
?", " ?", "
?"
.
.
, , .
, ,
.
:
, , (
) .
.
, ,
.
,
, .
() ,
( )
( -).
, -
. , ,
, .
. ,
, , . :
; ,
; ();
.
: "
?"
, ,
,
,
. ,
.
, . ,
, . ,
, , ,
.
, (
) ,
.
,
.
, ( ) ,
, .
.
.
7.2
96
, , .
: ;
; ;
; ;
(, /, / ..); ,
; , ,
; , .
.
() ,
. , ,
. ,
,
.
,
, .
,
,
.
,
, , .
.
[2,3]:
(- );
"-";
;
"-".
, , ,
. (
- ). ,
( ), (),
( ),
,
. ( )
, - .
. .
" ?", .
. " -".
, , .
.
. , ..
,
. " - " "?"
, ,
"?" ,
. ().
, , , ,
, ,
. , -
97
, -
, - .
. ,
.
, , .
, ,
,
"-" (),
[3]. ,
; , .
.
7.3
,
, ,
() ,
()
, . ,
, :
;
(. . 1.1): , ,
,
-, / ;
(/, /,
/) - . .3.1;
,
(/, / ,
), ( /, /
) - . . 3.1;
, (,
, ,
), -. . 3.1.
() ,
;
;
"/".
7.3.1
,
.
.
, . ,
,
. ,
,
. ,
,
, .
,
(
98
),
, .
.
.
,
,
( , ).
" " .
7.3.2
. ,
, ,
.
,
, - .
:
,
.
(. . 5.3), -
, ,
. .
. .
.
()
.
. ,
-
, .
.
,
. ,
,
.
- ,
. ,
.
.
,
. ,
99
,
.
.
, "/",
.
.
.
-
, :
().
, . ,
, , ,
, ,
. ,
" ".
,
. ,
,
. ,
.
, ,
. .
(, ),
"". ,
. .
,
.
. "" ,
. ,
. , ,
,
,
.
,
( ,
) . ,
.
, -
, -
.
7.3.3
. -
. ,
,
100
.
-
-
.
,
.
.
, ,
.
. ,
,
.
,
.
7.3.4 "/"
.
, .
. ,
.
,
, . ,
.
, .
.
,
. ,
.
.
,
, .
:
1)
.
,
;
2) ,
.
,
. ,
, ;
3) .
101
;
4)
.
" "
. ,
,
, .
,
. ,
(
).
.
, "" (
) "" ( ) .
.
,
()
.
. ,
, , ,
.
, , .
, .
,
. .
.
, , ,
"/" ("is-a-part-of").
().
,
( 7.1).
.7.1.
. 7.1 -
. (
) "" .
.
7.4
,
.
,
. (
) .
,
102
. .
,
, ( )
,
.
,
. , (-1)
1 - 3 .
.
, .
, ,
, , .
,
.
, : ;
, ;
(); , .
, , ()
. ,
, .
, , ,
, (-2).
-1 :
,
(
);
;
, .
, ,
.
,
, .
, ,
, ( ).
.
, .
( , ) .
- ,
.
, ,
: ; ;
, . ,
. ,
. ,
, , ,
. ,
, ,
. , ()
-
,
, .
-2
103
.
,
(, -3
..).
, , ,
.
,
.
,
. ,
. ,
.
7.5
.
, ,
,
( -verification)
( - validation).
.
( ) - ,
- -,
.
( )
,
.
[4] :
; ;
.
,
. , ,
, ,
.
, , , ,
; ;
( ).
.
()
. , , ,
( 3 10 ), .
.
.
104
7.5.1
,
.
[5]. ,
.
.
" "
,
.
" "
,
.
, ,
.
""
:
- (i = , ,
, );
105
- , m i;
- i.
National Science Foundation
:
;
-
;
- ;
,
" " - ;
-
.
7.5.2
,
, .
, , ,
, .
.
, , .
:
; , ;
, ;
; .
.
.
, .
.
:
;
,
, ;
, , , ,
, ;
,
;
.
,
.
7.5.3
()
, ,
,
, . ,
,
,
,
106
.
,
,
.
.
.
.
- ,
.
.
.
,
.
,
. , ,
,
.
,
.
,
.
-
.
.
,
.
, G2 (..9) GFI (G2 File Interface),
,
, .
, .
7.6
.
.
, .
, , ,
,
.
.
,
(..
). , " "
, ,
. ,
107
,
.
,
(.. , ),
(.. ,
, )
(..
).
( , ,
, ..),
- .
.
.
:
.
WYSIWYG (What You See Is What You Get - , )
.
. , :
, ,
,
- .
.
; .
, , ,
( ,
, ).
,
,
.
,
.
, .
.
.
() ,
.
.
.
108
:
,
;
, ,
;
.
1. .. .
. - .: , 1987.
2 ., . : . 2- .
1/. . . .. . - .: , 1993. - 188 .
3. Modern Software Engineering. - Edited by Peter A.Ng., Raymond T.Ych-VAN
NOSTRAND - NY.: 1990.
4. Shekhar H. Kirani, Imran A. Zualkernan, Wei-Tek Tsai. Evaluation of Expert System
Testing Methods//Communications of the ACM. - 1994. - November. -V. 37. - 11.
5. Sherry A. Land, Jane T. Malm. Making Intelligent Systems Team Players. A Guide to
Developing Intelligent Monitoring Systems// NASA Technical Memorandum 104807. - 1995,
July.
1. .
2. ,
.
3.
.
4.
.
5 , .
6. .
7. ,
.
109
8.
(
)
[1], -
( ). ,
( ), (,
..), , .
:
,
.
100
. :
;
( ),
;
;
,
;
,
8.1
8.1.1
.
,
1 2 (. .).
:
.
()
" - " ,
.
,
( dBase IV)
.
( "" "" G2,
..9).
,
.
:
( ).
.
.
.
( ).
110
- ( ),
()
. -
,
. ,
2 (. .).
- ,
()
, ,
,
.
;
.
, , ,
( ),
, ,
.
. ()
, ,
.
8.1.2
() ,
.
(
).
.
. 8.1.
(. . ),
"", "" ..
, ,
-
.8.1.
.
( ),
111
.
.
()
() . "
", - , , -
, .
, " - "
, "",
" ".
,
.
(, "" " ") ()
.
.
,
.
.
, .
, ,
, .
,
.
- ,
-5,00 5,00. D(H)
:
, , D(H) = 5,00;
, , D(H) = -5,00;
, D(H) = 0,00;
, , 0,00 < D(H) < 5,00, D(H) ,
;
, , -5,00 < D(H) < 0,00, D(H) ,
.
,
. , " = 5, = 2,5, = 0, =
-2,5, = -5" "" 3,75 5, ""
- 1,25 3,75 .. ,
: " = 10, = 14, = 18, = 40, = 60".
.
,
, , .
. ,
,
. ,
- .
( ) .
- ,
. ,
(
). :
;
;
112
;
.
:
:
.
-
- . :
.
,
.
. , ,
.
,
.
,
, .
,
.
,
(), .
,
. .
,
.
:
;
;
;
();
;
;
;
;
;
, ,
;
().
. ,
,
, .
: (..
), - .
: G
R, , , G R,
G R.
,
113
,
. ,
.
. (
)
, .
, .. ,
, , ,
, .
,
.
.
. 8.2.
-
,
, ,
. ,
, .
..,
.
:
, , ,
. ,
, .
114
.
(
, ).
, .
, - ,
( ,
), .
, ,
.
,
.
: ,
. ,
- .
8.2
,
:
;
;
;
;
.
.
-
(
).
,
, ,
. -
,
___.
,
. ,
,
, .
.
,
:
, (
);
, ,
( ),
;
;
(..
, );
;
;
.
.
,
, -.
115
.
.
, .
, ,
.
, .
.
,
. ,
, , .. ,
, .. , .
(
, , () ..).
,
.
,
, .
(..
).
,
.
, , , ..
.
", ":
(,
) .
.
,
_, ,
.
.
( )
- . ,
.
, ,
.
: (
),
( , , , )
( , , ).
,
(..
- , , , ).
, (
).
,
.
8.3 -
116
, -.
( ). -
2.
.
,
( ). ,
() , ( )
(.. ).
( - ) .
- .
- .
, - .
.
:
;
() ;
;
.
,
. ,
, . ""
, .
:
();
;
;
.
.
, .
( ),
, .
,
, .
-
, .
8.4
1
.
(,
).
,
(, , )
,
, ,
CLS- [2,3].
,
. (, "").
. ,
.
( )
117
() , .. .
, . ,
.
,
. -
, ,
- , - .
, ,
. ,
, ,
.
.
, ,
..
.
, .
,
, ,
, .
,
.
.
,
( ).
. ,
, .
,
, .
1. .., B.C.
//
. . 3. - . 1990. - . 12
-14.
2. Case-based reasoning//Software Strategies Journal. -1991. - 3.
3. Case-based reasoning//Software Strategies Journal. -1992. - 1.
1. .
2. .
3. , .
4. .
5. .
6.
.
118
9.
(
G2-GENSYM CORP., )
4,
1985 ., Lisp Machine Inc. Picon
Symbolics. , Picon
1986 . Gensym, , ,
Picon, 1988 . G2, 1.0.
4.2 5.0.
Gensym () [4] -
,
,
. , Gensym ,
, 50% ,
[11].
Gensym 2 - 3
. 4
. NASA [10],
,
, , G2 (Gensym, );
( 50% G2)
RTWorks - Talarian (), COMDALE/C (Comdaie Techn. - ),
COGSYS (SC - ), ILOG Rules (ILOG - ).
, G2 :
;
;
;
;
;
;
;
- ;
.
Gensym
[3]. Gensym ,
:
/ ;
;
;
- ;
, ;
;
;
;
-;
.
, G2
,
,
119
,
-
.
,
, .
G2, , Gensym
/-
,
.
Gensym, ,
:
- G2 [8], G2 Diagnostic Assistant (GDA)
[7], NeurOn-Line (NOL) [9], Statistical Process Control (SPC), BatchDesign_Kit;
- G2, G2 Scheduling Toolkit (GST), Dynamic Scheduling
Packadge (DSP);
- G2, ReThink (.
2), BatchDesign_Kit;
- G2, Fault Expert.
, G2 - 1988 .,
. G2
- 1996 . 5000
. Gensym 30 -
. G2 WhoIs-Who . 25
G2. G2 500
( . 4.2).
G2? G2 . G2 - -
,
. G2
(.9.1). G2
9.1
, G2
-
Digital Equipment
VAX , 4, 6, 7xxx, 8xxx, 9xxx VMS
DECstation , 5
ULTRIX
DEC Alpha APX
Open VMS, OSF/1, Windows
NT
SUN Microsystems
SUN-4
SunOS
SPARC 1,2, 10, LX, Classic
SunOS/Solaris 1, Solaris 2.x
Hewlett Packard
HP9000/4xx, 7xx, 8xx
HP-UX
IBM
RISC 6000
AIX
Data General
AViiON
DG/UX
Silicon Graphics
IRIS, INDIGO
IRIX
Intel 486/Pentium
Windows NT, Windows-95
Motorola
Motorola 88000
UNIX
NEC
EWS 4800
EWS-UX/V
ASCII-,
.
.
.
G2: , ,
.
120
9.1
G2 : ()
(). : , ,
, .. ,
, .
kb (knowledge base), a - kl (knowledge libraries).
.
G2
, kb kl- .
G2
.
G2 : ,
, .
, "Inspect" (. ).
9.1.1
G2- .
. ,
121
, ,
.
G2 ,
. ,
( ).
. ,
.
" ". 2 G2-.
1. ,
.
2. .
,
.
:
;
, ;
;
.
,
, , , , ..
( ) .
is-a-part-of
( ). ( )
() ,
. ,
( ), ,
,
" ", ..
.
,
. ( )
.
. (
)
, . ,
, .
( ) (.. ,
, ).
() , ,
,
.
,
,
.
9.1.3
G2
.
, (connection), (relation), , , ,
, .. - , , ,
..
122
"item".
(object) .
. ,
, (stubs)
.
(connection). .
,
. ,
() , .
, , G2
.
(Kb-workspace). ,
, .
, ,
.
(connection posts).
.
, G2
.
.
. ,
.
G2:
( - )
" "
, .
(user-interface).
, , (radio button),
(message), , .
, , .
.
(class definition) ,
. (definition).
- (object-definition),
(connection-definition) (message-definition) ,
.
G2 (G2 language):
G2, , , , . ,
.
G2 ,
, .
, .
, . G2 , C++.
G2,
, , , . G2
create by cloning ( ) change the text of ( ),
.
(transient), . .
.
(permanent)
123
. make permanent
( ) -
.
G2 -
.
, .
G2 ,
. ,
, ,
, .
.
(), .
, ,
, .
,
, (connection) (relation).
,
.
.
,
.
.
,
. " -".
, ,
.
.
.
, , .
,
. ,
" - ".
.
. , ,
, ,
.
, ,
.
, ,
( ).
, ,
, ,
.
G2 .
G2 : ,
. -
- .
:
. ,
,
.
124
, ,
G2.
,
( ).
: ,
G2 .
,
.
;
.
,
, :
;
;
;
;
;
() ;
;
;
.
,
,
.
G2 : .
,
. ,
G2, ,
, . G2
, , ,
. ,
, .
. G2
.
.
:
,
;
,
;
.
. ,
, , .. G2 :
() (). if-: ("if <
>") ("then <>") 4 : initially,
unconditionally, when whenever.
:
125
, .. ,
, .
, ,
:
;
;
;
(
G2 ).
,
, ,
(,
),
. , G2
, .
,
: ,
, ,
. - ,
.
.
9.2 ,
9.2.1
G2 ,
:
, ;
, ;
, (-
, . .).
. ,
. ,
, .
, .
,
, .
,
:
126
, ( , , . .);
;
;
, ;
, ( ),
.
, ,
. ,
, . ,
, :
, ;
;
;
;
;
();
;
( ,
. .);
;
, ;
..
, G2 ,
, ,
..
.
- .
(focus
invoke) . ,
. ,
, .
, ,
, !
G2
. 4, G2 9 .
4 - 9 .
G2 ,
whenever ( ). whenever
,
. ( ) ,
, (
, / , / ).
9.2.2
, G2-
, . G2.
,
, , .
,
,
(. 9.1).
127
G2 .
1. : ,
.
2. : ,
. .
3. :
. 0,1
. , ,
.
.9.1. - G2
4. :
. , 0,2 ,
.
5. :
. 0,2 .
6. :
, G2. Telewindows.
7. : , -
. ( ,
. .), 1 , .
, 3 . ,
.
, "" 40
1.
9.2.3
G2
.
, .
:
,
128
;
,
;
,
G2.
G2.
G2 ,
.
.
. ,
,
(, ) .
,
:
;
( ).
,
G2. G2
: ,
( ).
,
: , .
,
. ,
. ;
.
, ,
G2
.
_1,
:
_1 = _1 * _1 ,
- _1;
* - .
- _1 :
_1 = _1 + 3 5000.
( _1) :
d/dt ( _1) = ( _1 - _1)
5000.
, ,
, .
,
.
.
:
d/dt ( _) = ( _ -
_) 5000.
, ,
,
. G2
129
-. .
- ,
, . , ,
. , ,
, -.
, , , ,
.
() ,
, , -
.
, ,
, .
- [2].
1-
0=( t0).
h,
ti =t0 + ih, (i = 0,1, 2,...).
x(ti) xi
:
xi+1 =xi + hf(ti, xi), (i = 0, 1, 2, ...).
- xi+1
ti+1 = ti + h :
G2
, , .
G2
, G2
.
G2
G2, G2, , , ,
, .
,
,
.
, , G2
Gensym , Graphical Model
Builder ABB Simeon,
.
9.3 G2
G2 .
G2 ,
, , , RTworks Talarian
Corporation? ,
: ,
130
. :
;
;
;
.
9.3.1 -
G2
,
. ,
, .
1. : pump-12 (-12).
2. "for" () "any" (),
. ,
:
for any pump ( )...
, , :
for any tank
if the tank is empty
then inform the operator that "The tank ...is empty"
( ,
, " ... ").
3. , :
the tank connected to the pump
(, ).
4. , :
the pump nearest to the tank
(, ).
G2
, - .
G2
:
"If the altitude of any aircraft < the safe-flying-altitude of the aircraft then inform the
operator that "Pull up. You are flying too low. Your altitude is [the altitude of the aircraft]"
, (. 9.2).
G2 ,
, , . . ,
,
, ,
, , .
,
.
, ,
,
131
. 9.2. G2
.
. ,
-
. , , ( ,
), 16
S.
9.3.2
,
G2,
. (. 9.3)
. , , .
.9.3. G2
,
. ,
(graphic user interface dialog editor - GUIDE),
- MS Windows
Motif (XWindows). :
;
132
;
"" () ""
(XOR) ;
;
;
Enhanced PostScript
;
, ;
,
, , . .;
"",
;
ISO 8859-5
.
, . .
G2 . ,
G2 ,
:
() ;
;
"" ;
..
G2
:
(displays);
G2 (end-user controls);
;
(access control);
(user menu choices);
.
,
. ,
(display):
Readout-table (). ( )
() , - .
Dial ().
. .
Meter ().
, ().
Graph ().
( ) .
Chart (). ( )
.
Freeform-table (). (
). G2.
G2 display (..
) create ().
(end-user controls) - ,
.
:
133
Action button ( ).
.
, , , : change (); conclude ();
create (); delete (); halt (); hide (); inform ();
move (); rotate (); transfer () ..
Radio button. "",
, ,
. ""
. ,
radio buttons, red (), black (), white (),
,
Check boxes ( ).
(, ,
, ). Check boxes , .
(on), Check boxes ,
(off, .. - ), ;
, "?" ( ).
Slider ().
, . ,
.
Type-in box ().
. ( ) , Typein box, . -
( Type-in box) (), Type-in box
.
(messages) , .
, G2 . , inform () G2
(message-board);
G2 (the operator
logbook).
, G2 inform,
..,
, message ().
message, . ,
, user-warning-message (
), ,
. :
(message board) (logbook).
, inform.
message-board-parameters
(system tables). ,
. logbook-parameters
system tables.
(access control)
, . ,
:
(restrict) , ;
,
..;
,
, , ..;
134
, ..;
,
, .
(restrictions), , :
;
;
;
.
(mode),
: , , ..
.
"" G2, ,
, G2.
() ,
. (user menu choise umc) , ,
, G2 .
, umc.
, , ,
"", "" "" (on)
"" (off). umc
"", on off
.
G2 .
, G2 .
,
in Russian:
table =
move =
edit = .
9.3.3
, , ,
, ,
.
, (.7.5.2)
G2.
, , .
:
;
, ;
, ;
;
.
, G2
.
. ,
.
, .
135
.
G2 :
;
, :
, ;
, , ; ,
, ;
,
;
.
, G2
.
9.4
G2
-. Telewindows
.
G2 Telewindows (.9.4):
Telewindows , G2,
X-; Telewindows
(Intel 386/486 - MS Windows, v.3.1). ,
G2
G2, , .
ICP
.9.4. Telewindows:
- , G2;
-
(Intelligent Communication Protocol). G2
G2
G2- , G2.
, G2, G2 G2
( G2-
). ,
G2-,
. , G2. ,
G2- ,
.
G2 .
GSI (G2 Standart
Interface). GSI (. 9.5)
136
(Alien Bradley, GEFanuc, AEG Modicon), (ABB, Fisher, Siemens, Yokogawa, Foxboro,
ORSI), (DEC BASEstar, Alien Bradley Pyrammid Integrator,
SETPOINT SETCIM) (Oracle, Sybase, DEC Rdb). GSI
G2 Bridge products G2-
. GSI
.
G2
, GSI
[1].
, ,
: ,
, , , , ,
, . .
, , :
, ; ,
; ;
; , ;
; ; ;
, ;
; ; ;
; ; ;
; ;
.
. , ,
GSI
.
, GSI ,
.
.9.5. G2
137
GSI :
GSI;
GSI-;
GSI GSI-.
, G2-
. 9.6.
GSI G2
, .
, GSI,
, , G2:
,
, (application bridge code),
GSI-
.
.9.6. GSI
,
GSI. G2.
,
GSI interface object. , GSI
. GSI variable,
. G2
. GSI variable
.
GSI- .
, ,
, , .
GSI G2 G2
: (G2 File Interface - GFI)
(Foreign Function Interface).
GFI , G2
. GFI G2 .
GFI , :
;
;
;
(snapshots) ;
.
. G2-
(foreign) G2 , .
G2. G2 ,
( G2, )
, , .
G2 4.0
/ .
138
G2 G2
.
G2 Standard Interface (GSI),
. ,
"" G2, Telewindiws GSI. TCP/IP DECnet
Token Ring Winsock.
GSI.
G2
, G2
.
.
.
.
G2
G2
Gensym (. 9.2). OMG (Object Management
Group), Gensym
. - 9.2 , G2
9.5 /-
G2
G2
,
, .
139
.
,
,
. Gensym GDFL -
GDA (G2 Diagnostic Assistant).
, / G2.
- G2
Gensym - ;
: GDA, NeurOn-Line, ReThink, DSP, GST, Fault Expert BatchDesign_Kit.
9.5.1 G2 Diagnostic Assistant, Statistical Process Control, Neuron-Line
SPC ,
10 . SPC - . SPC
.
.
NeurOn-Line - - G2,
[9], 3. NeurOn-Line GDA.
, NeurOn-Line, ,
() . ,
. .
: , ,
() .
.
9.5.2 Rethink ( )
G2 -
- (Business Process Reengineering - BPR) - . 2. BPR
- ,
. -
, G2,
BPR.
1995 . Gensym
-ReThink. . ReThink
,
.
.
,
BPR [5], ReThink -
, .
,
.
, .
ReThink SPARKS (System
Performance Analysis using Real-time Knowledge-based Simulation),
Coopers & Lybrand Consulting (). SPARKS ReThink
, ,
. , SPARKS,
ReThink, G2. SPARKS :
; , ;
.
9.5.3 Gensym Scheduling Toolkit, Dynamic Scheduling Package
- Gensym
Scheduling Toolkit (GST) . GST1
, . GST2
GST1
, :
1)
;
;
2) :
141
;
.
- GST1 GST2
Dynamic Scheduling Package,
. 9.7.
, ,
,
(). ,
G2, , ""
.
.9.7. DSP
9.5.4 Fault Expert
, 20
- 2 . . : " 700 000 .
G2; 1993 .
, 3 - .
".
9.5.5 Batchdesign_Kit -
BatchDesign_Kit (BDK)
. BDK
.
BDK (.9.8)
, - . BDK
,
.9.8. BatchDesign_Kit
,
.
, ERRC,
.
1. ..
. "
". - .: , 1995.
2. .., .. . .: , 1972.
3. .., .., ..
(, , ). . - .: ,
1995.
4. .. // . 1995. 2.
143
5. Rock D.,Yu D. Improving Business Process Reengineering //Al Expert, 1994. October.
6. Siegel D. Riddell D. Introducing G2 4.0 //Marketing Bulletin. - Gensym Corporation,
1994, November.
7. Gensym Corp., A Guided Introduction to GDA. - Cambridge: (Mass., USA), 1992.
November.
8. Gensym Corp., G2 Reference Manual. Version 4.0. - Cambridge: (Mass., USA), 1992,
September,
9. Gensym Corp., NeurOn-Line Reference Manual. NeurOn-Line Version 1.0 Beta Rev. 2. Cambridge: (Mass., USA), 1993, July.
10. John E. Girard. NASA Applies Gensym to Real-Time Problems //Research Highlights,
1990. July.
11. Smedley P. Who's Number One in Customer Service? //Control, 1994. November.
12. Harmon Paul. G2: Gensym's Real-Time Expert System //Intelligent Software
Strategies. - Vol. 9. - 1993. March. - No. 3.
13. Robert L. Moore. Expert Systems in Real-Time Applications Experience and
Opportunities, Expert System Application in Advanced Control, Proceedings of the
Seventeenth Annual Advanced Control Conference - West Lafayette (Indiana), 1991, September
30, - October 2.
1. ,
G2.
2. G2.
3. G2.
4. G2.
5. G2.
6. G2.
7. G2.
8. G2 .
9. / , G2.
144
.
,
1
-
-
,
, " ".
,
.
,
. ,
.
,
"-".
, , ,
, . ,
, :
;
;
.
. - . ,
.
,
.
,
, [1,11].
. [10] .
, ,
,
[7]. .
, [7]:
;
, ;
;
.
-
[9], ,
,
.
. , . [1,11]
.
,
.
, .
- .
"/". -
. "/".
- ,
145
.
.
. ,
.
.
.
.
-.
.
. ,
, .
, , ,
,
. ,
.
.
,
[6].
.
.
,
- .
()
. , ..
, .
,
.
- .
-
, .
-.
"" "" [1, 4, 11]. ,
,
, . ,
, , , , .
, ,
. , , ,
, ,
.
.
.
, ,
- ,
. , "" ,
, ; ; ,
; : ,
.. ,
-
.
- [3]. -
146
,
.
, ,
. ,
, .
,
.
.
- "
".
- ( )
, [3]. ,
, .
,
.
- ,
[2]. -
. ,
.
-
.
,
.
.
-
,
. ,
(. 1.1).
- - .
,
,
.
.
- ,
, .
, , ,
.
, .
, ,
, .
.1.1.
147
, . [11]
, . -
,
.
, , . ,
, . ,
, ,
. ,
.
.
,
. -
,
.
-
, .
,
. , . ,
.
-
, -
,
.
- .
. ,
,
.
. , ,
, .
. .
, , ,
. ( )
,
. , ,
, ,
, , .
. - ,
,
. -
, .
,
, ,
.
.
.
,
.
- -
148
. , ,
.
.
.
,
[12]. ,
[8]:
;
,
;
;
;
, ,
.
, -,
- .
. -
, .
, ,
. , . , " "
"" "" ""
M:N ( ), ,
.
,
.
, ,
.
, , , , .
- .
, ,
, , 1,75
-2,5 , [1,11]. , ,
. , .,
20%
. .
, ,
.
.
, ( - )
, -
. ,
.
, . ,
,
.
-
,
. ,
.
.
149
.
, ,
,
- . [1]
, ,
.
, .
, , . ,
. , -
,
[1,11]. , ,
-
.
, - ,
.
,
- , , .
-. -
-
.
,
,
. .
-
, .
. 1.2
- .
. 1.2.
-
, -
.
. 1.3
, -
.
150
. 1.. .
. -
.
,
. -
.
, [5].
1. . - .
. - .: , 1992. - 519 .
2. . ++ //PC Magazine /USSR/. 1991. - 3. - . 89 - 92.
3. . ++ //PC
Magazine /USSR/. - 1991. - 3. - . 99 - 104.
4. . ++ - //PC Magazine /USSR/.l991. - 3. - . 93 - 97.
5. - . The OOP Survial Guide./Agila
C.A.//Computerworld-Moscow. - 1995. - 15. - . 31.
6. .., .., .. .
/ . ... - .: , 1992 - 272 .
7. " " // . - 1995. - 23 - 24.
8. . Making
reuse a reality./Tibbetts J.,Bernstein .//. - 1995. - 18. - . 21, 30.
9. .. -
//PC magazine. - 1995. - 12.
10. Boehm . A spiral model of software development and enhancement //IEEE
Computer. - 1988. - 25(5). - P. 61 - 72.
11. Booch G. Object-Oriented Analysis and Design with Applications //
Bengamin/Cummings, Redword City, CA, USA, 1994.
12. Mood J. Object Methods Tame Reengeneering Madness. - Datamation. - 1995, May. P. 43, 44, 48.
151
2
- ""
,
.
? - - (), business process automation.
,
, (
, ,
).
(. 2.1).
,
(. 2.1).
.
, .
2.1
,
,
(
)
, ,
153
.2.1.
,
, , -.
.
" ",
,
. , ,
- .
,
. ,
.
,
. ,
,
(, ). ,
( )
.
, , ,
,
10
. :
;
.
.
, .
, ,
, .
,
, , ,
, , .
,
.
154
.
.
,
, , .
.
,
(..
). ,
,
..
() , ,
, ,
(,
,
).
,
.
,
.
, .
: ,
.., ,
. ,
, , , .
.
[3],
3 . 100
. , , 35%
500 .
. ,
, ,
.
.
,
- .
,
. , ,
,
.
, .
,
, .
.
,
.
. ,
, - .
,
, .
"" .
"" ,
, ,
155
. ""
. ,
. ,
.
, , .
-
.
,
.
.
.
, ,
. [5] ,
20 .
20 . ., .. , ,
, .
-. ,
-, .
, -
.
(. . 2.2): ; ; ;
. 1 - , .. ,
. 1 2,
, .
,
. ()
, .
.2.2. -
, ,
,
,
. , ,
.
. ,
, , ,
, , .
( 1).
, -
.
.
.
,
156
.
, , , ..,
( ).
,
.
, ,
, .. ,
- . .
.
.
, , . ,
,
. Bell Atlantic
[5].
,
, . .
.
,
. ,
.
,
.
. ,
, , ,
.
, ( ),
,
,
, .
, ,
, ,
.
, .
:
.
, . ,
, , ,
, ..
. ,
. ,
.
, .
:
. ,
,
. ,
,
, . ,
,
, .
:
.
: . ,
157
,
. ,
. ,
. ,
,
:
.
, ;
, ,
, ,
, ,
.
:
() .
. ,
. ,
, .. : "
, ". ,
. : N ,
.
,
.
:
.
. ,
, .
, . , ,
Xerox Corporation ,
, :
.
.
- , () ,
, . ,
, ,
. , ,
,
. ,
,
, . ,
, ,
.
.
,
. ,
, ..
,
. ,
.
, , , ,
.
158
() "".
, ,
. ,
- ,
().
, .
. ,
..
, .
. ,
, .
"" .
,
(. . ),
( ). , ,
,
( ). , ,
. 1 7 1 30
,
, .
.
, , .
.
.
,
. , ,
.
,
, ,
.
,
.
,
.
- - ,
.
, ,
. ,
- ,
.
, .
,
( , ,
). ,
(, , , ).
,
159
, 10 - 20%-,
. , , 50%
( )
.
[4,7]. ,
.
. :
, . ,
, ,
.
.
.
.
: ,
,
,
.
.
,
.
.
. ,
,
, ,
.. ,
( ) - ,
, ,
.
,
. ,
- .
.
, .
, : ,
,
,
, .
, .
,
, .
,
,
.
,
.
, .
() (. 2.3).
1. -
, ,
( - ,
)
.
2. ( ,
, ).
160
,
-,
.
3. -.
( , -),
,
.
.2.3.
4. - .
, ,
,
..
5. .
(, )
( ) ,
6. .
,
, , .
,
-
. , -
: -,
(),
[5,7].
. .
-
, CASE-, ,
( - rapid application
development, RAD).
CASE- .
, Gemini Consulting ( Consruct,
161
CASE- .
,
,
-.
,
. ,
,
.
, (
)
.
. ,
.
,
.
-, .
,
.
, , ,
,
.
. ,
, Coopers & Lybrand ().
SPARKS -,
.
G2 Gensym,
- ,
CASE-.
5 .
1. (Micrografx: ABC
Flowcharter; Scitor: Process Charter; High Performance Systems: iThink).
, , ,
.
.
;
, .
2. (Action Technologies: Action-Workflow Analyzer;
Viewstar: Process Architect). ;
, .
3. / (CASI: Modsim; Systems
Modeling: Arena; ProModel: ProModel; Gensym: Re-Think).
. ,
;
,
.
4. CASE, -
(Ptech: Framework, Oracle: Designer 2000; Popkin: Systems Architect).
CASE- -
, .
163
.
5. ,
(Meta Software: Workflow Analyzer; IDS Prof. Scheer: ARIS Toolset; Interfacing
Technologies: FirstStep; Gensym: Re-Think + G2). -
,
,
.
.
.
- ,
, .
. 2.4,
-
.
.2.4.
( 1 2)
,
,
.
,
. ( 3)
-,
.
- .
, , , ,
, (,
). ""
. ,
. , , ;
"" , ,
,
.
.
,
. ,
( )
164
.
( )
, .
,
.
( 4) .
, , ,
. ,
-
(Object-Oriented Information Engineering - OOIE),
, ().
( 5)
, .
, ,
.
.
, .
, 5,
( IDEF, ..).
.
. , ,
.
. ( )
. .
.
, Re-Think G2
(Gensym), Workflow Analyzer (Meta Software) Process Wise (ICL).
.
,
. ,
- ,
, ..
Gensym,
, - ReThink [1].
:
,
,
.
- .
,
.
ReThink G2 (. . 9),
, - G2,
-,
- .
- ,
. -, -
: , , ,
(, ).
165
,
, : ,
, .
, .
G2. ReThink .
ReThink
-,
. ,
-,
. ReThink
CASE-. ReThink
.
,
.
ReThink ,
.
(. 2.5). ,
,
. .
ReThink
, ", ".
: -
, - ,
,
G2. ,
""
.2.5. ReThink
, ,
, .
-.
", " , .
(, ,
..) - (,
, ).
,
166
. ReThink
:
, ,
. , ,
.
ReThink
- Telewindows G2.
,
.
G2, ReThink
Unix, OPEN VMS, Pentium PC
Windows NT, Windows 95 Windows 3.1. Telewindows
Intel 386/486 Windows 3.1.
ReThink Gensym
- . -
. ReThink
.
G2 .
- . ,
- .
ReThink ,
Xerox,
3 . . Xerox
ABC Flowcharter.
17 314 .
, 70 % .
, 42 .
,
:
,
? ,
ReThink,
.
. ,
, ,
.
-
.
.
,
.
, , .
, .
1. ... .. -
// . - 1996. - 1.
2. .. -167
// "
". - .: , 1996.
3. Davenport .. Business Innovation, Reengineering Work through Information
Technology. - Boston: Harvard Business School Press, 1993.
4. Flynn K. Critical Success Factors for a Successful Business Reengineering Project
//CASE World Conference Proceedings. - Boston, 1993, October.
5. Hammer M. and Champy J. Reengineering the Corporation: A Manifesto for Business
Revolution. - New York: HarperCollins, 1993.
6. Harmon P. Business Process Reengineering with Objects - Part 2 //Object-Oriented
Strategies. - 1995. - Vol. 5. - 1.- P.1 -13.
7. Jacobson I., Ericsson M., Jacobson A. The Object Advantage: Business Process
Reengineering with Object Technology //ACM Press. - Addison-Wesley Publishing, 1995.
168
3
. , ,
.
.
, . ,
, .
. , , ,
-
.
( )
; .
, ,
[10, 11].
, , ,
, -
, .
, . -
,
,
.
-
(Case-, - ..).
.
( ,
..),
.
:
( ,
) .
:
, .
,
. ,
.
, ,
, ,
.. (
). ,
, ,
, ,
.
169
, :
.
[9]:
(),
. ;
, ,
;
,
, ,
, .
.
, , xi
cj [8]:
(1)
, .
si (),
xi ( ).
cij ( )
:
(2)
j : j = f(sj).
.
. - (.
3.1, ):
(3)
. [17].
,
, . . [16], ,
, ,
.
.
.- . [15]
: sj c0j, j
, - ( ).
(. 3.1,):
(4)
170
.3.1.
- ; 6 - ,
- ; -
, , ,
, (. 3.1, ). :
= 1/(1+ e-ks ).
(5)
, ,
y = s/(1+k|s|),
(6)
|s| - s, k> 0.
k s: k,
; k, . ,
,
. , , ,
, .
,
.
:
,
,
.
, s y,
:
dy/ds = ky(1-y).
(7)
y=0 =1
, . .
(. 3. 1, ).
(. 3.2) , i- (i)
(i) j- . i
i.
, i- -
. 3.2.
171
. ij (" ")
i j. ,
j- j- j- . .3.2
. ji ij.
-
.
: ( ij ) (
c0j).
. j-
x0, (. .3.2).
, +1. c0j
.
.
1949 . . [19]
: ,
; ,
. ,
.
. k-
( )
.
(8)
+1 (
), -1 ( ). ,
- :
(9)
- k- ; - .
. .
, , ,
, (XOR).
(1, 2), .
, , : 00, 01, 10, 11.
(. 3.3).
= (1 XOR 2) , ,
. , (01, 10) , = 1,
(00,11) - = 0.
(1 ,2)
.
,
, .
.
,
[11]. ,
.
1 ()
() (. 3.4), ..
. f(1),
- .
( f(1)) , (
) . () y'(),
, . 3.4,. , :
172
. 3.3. = x1 XOR x2
..4. :
- ; - ; - ;
-
. . 3.4, ,
(
) :
,
. - , ,
(. 3.4,).
,
(. 3.2). 1 , " 1
. 0 "" -
+1, , c0i,
. x2 3 - .
(. 3.4,). -
x3 2 - c13 c12,
- c03 c02 :
x2 =f(c12x1+ c02); x3 =f(c13x1+ c03).
, 4 - -
:
x4 = c24x2 + c34x3 + c04.
x4 1,
:
(. 3.4,).
.
[10]: ,
173
. ,
- -
.
. , , ,
, ( ). -,
( ), ,
,
. ,
(),
- (. 3.4,).
.
. ,
. ,
, (, . 3.4,),
.
[3], [2]. ,
( , -
..). , i-
, .
, ,
- , ..
cij, .
, ,
.
, .
, cij, .
. [11]:
1) ;
2) "" .
1982 . . [20],
.
,
.
( , .)
.
, :
1) ,
2) cij = cji - ,
3) cij = 0 - .
( ) ,
.
,
, ,
174
(10)
[11].
,
() ,
.
:
, ,
;
, .
,
.
E .
,
, (). (
cij) .
( )
,
. [11],
.
, , -
, .. ,
. ,
, .
, - "" .
, . ,
, ,
, .. .
. E
X ,
E, (10), , .. .
, "" , , ,
, "". ,
,
- . , ,
, .
- , .
:
,
, ..,
.
, - ,
E, .. .
. -
, "",
,
, . "". ,
[11].
" ",
, , ?
175
(
), ,
:
;
, ,
, ;
.
, , . (
- ) ;
.
. [10],
.
.
, ,
.
.
.
-, , . ,
.
N n:
N = n(n-1)/2,
(11)
. ,
- . :
N = n,
(12)
.
[10] -
.
,
, " ".
, , ,
. .
, ,
. -
,
, - - .
,
.. [13], - - [12],
.
n i,
,
. (13)
,
.
.
" ": -
. ,
2*105*2*105 .
:
.
.
176
, , , ,
. -
. , , ,
, -
. ,
- , .
, ,
, -
.
(13)
, ("
").
,
(.. ).
( )
, j (" ")
.
,
.
, - ,
.
.
,
,
( , .),
, .
.
( ) "
". ,
"" "" ; ,
, ,
. ,
,
.
, :
" " ;
"" ;
" " .
, (, ) ,
, .
, ,
: ,
; - .
() ,
.
: .
.
. .
177
.
.
[10] ,
(
).
V(x) = max.
(14)
,
( "" ,
..).
, .
Fx,
, :
(15)
, ,
.
(, , ).
,
;
.
: , .
, .
.
,
( ).
,
:
(16)
, Fx dx/dt
: , -
dV/dt.
, ,
dx/dt Fx,
[11]:
(17)
. ,
,
, .
,
, (17) :
Tdx/dt = Fx.
(18)
,
.
, , ,
, - .
, .. . ,
.
:
(19)
:
1 ( 0 1), 2 ( +1 -1).
:
(20)
178
,
.
[10].
i , cij
. ,
i ,
cij. .
:
(21)
cij - , (21) :
(22)
,
( Tc).
, cij (
) xj ( ).
:
(23)
: Fi = cijxi,
xj xi cij.
xI - , +1, -1, (23)
:
(24)
.
. ,
:
.
,
. ,
, .
[22, 5, 4, 21].
" ". ,
.
. V(x),
,
.
, (15). , ,
, .
i
, j, , xi
" " -
. , , : (F),
. :
.
(25)
- ; Fi, Fj -
;
kij - xi xj.
,
, ("") .
179
i- j- .
kij cij. ,
,
() , . (7).
,
yi yj :
Fi = Fj kij. (26)
,
,
, - 1-
n- :
(27)
, ,
(17), . -
cij, .
, ,
- i- j-. , :
cij , cji .
- " -".
.
. ("")
*j . yj
:
(28)
f(sj) - ;
:
(29)
, cij, :
(30)
()
. - -.
(18).
(31)
-. f(sj) - (5),
.
.
(32)
cij
:
"" -
(j - j*);
yj (1 - yj);
i.
,
, .
,
. , "" ,
.
180
, .
[9].
.
, .. .
.
, ,
, .
"", .
.
, ,
.
.
.
"" .
, ,
.
, ,
, , .
(7) , ,
. , ,
.
- ,
. i - 0 1,
: i = 0.
(32), ,
: ,
. ,
+ 1 -1.
"". , ,
,
. :
, ,
.
, .
,
.
. ,
.
, .
[14, 18].
.
. ,
,
( (17)).
,
, , -
. ,
,
. ,
.
: "", "" ", ,
" . ,
181
, ,
. , :
.
, , .
,
. :
.
,
, .
" ".
-
(). 1986 . .
. "
", , .
TRW, ..
,
. - IBM, ATT, "Texas
Instuments"; - " ", ""; - "",
"", "-" . ,
.
: ;
;
, ; ;
; ;
. ,
,
, .
.
NEC () ,
. 99%.
,
.
. ( ) "Net-Talk",
(300 , 10 000 ,
). 20 000 .
,
.
"" (54 ,
114 400 ,
). .
:
, 15% .
.
( Sharp Corp., Mitsubishi Electric Corp., VeriFon Inc.,
Hecht-Nielsen Corp., Nestor Inc. .). (Optical Character
Recognition) Sharp ;
10 LVQ ;
. Onyx Check Reader VeriFon
,
Synaptics. Calera Recognition Systems
182
FaxGrabber, ,
. Audre Recognition
Systems Audre
Neural Network, - ,
, .
. Quickstrokes Automated Data Entry
System (Hecht-Nielsen Corp., ) .
Wyoming 300 000 . - .
Poqet Computer NestorWriter
.
:
[6, 7], (CTS
Electronics) [1], (Florida Departamen of Citrus).
(CERN
).
.
,
. Fermi National Accelerator Laboratory ()
Intel
ETANN.
. Arco, Texaco
.
. , , Nort
Carolina State Bureau of Investigation () ,
.
.
. Neuromedical Systems Inc.
, ,
. Papnet
; US Food and Drug Administration ().
.
(Merrill Lynch & Co., Salomon Brothers, Shearson
Lehman Brothers Inc., Citibank, World Bank). Promised Land Technologies
, . Chase
Manhatten Bank
. Foster Ousley Conley ,
Hecht-Nielsen Corp.,
. Target Marketing System Veratex Corp. ()
. Spiegel I ,
Neural-Ware Inc., ;
1 .
.
.
, Neural Application Corp.,
. Copin Corp.
. Pavilion Technologies
, .
Puget Sound Refinery
. - ,
.
, .
.
1500 , ,
. Nippon Steel
183
Corp. ()
.
1990 . CAD/Chem AI Ware
() .
. US Naval Air Warfare Center ()
. , ,
,
. Lockheed ()
, .
.
1. - ., . - //
.-1987, 5. - . 42-50.
2. .., .., ..
. - : , 1970. - 383.
3. .., .., ..
// . - 1964. - 6.
4. .., .., ..
// . . . - 1955. - 6.
5. .., .. . - :
- , 1986, 59. - 20.
6. .. . - .: , 1967. - 320.
7. .. .. //. , .
. - 1964. - 1.
8. . . //
" ". - ., , 1995.
9. .., ..
// 5 . - , 1996.
10. .., .. . - .: , 1990. - 128.
11. .., .. - - . - .: ,
1991. - 224.
12. ., . . - .: , 1976. -512.
13. .. . - : , 1974.
14. .., .. . - .: , 1990,
- 272.
15. .., . ,
. - .: . ., 1956.
16. .., . . - .: , 1971.
17. . . - .: , 1965. - 480 .
18. . . - .: , 1992.
19. Hebb D.O. The Organization of Behavior. - NY.: Wiley, 1949.
20. Hopfield J.J. Neural Network and Physical Systems with Emergent Collective
Computational Abilities.//Proc.Nat. Acad. Science USA, 1982 - V.79, Pp.2554-2558.
21. Rumelhart D.E.. Hinton G.E., Williams R.J. Learning internal Representations by
Error propagation.//Parallel distributed pocessing, - V .1. - Cambridge (MA): MIT Press, 1968. P. 318-362.
22. Trelieven P. Neurocomputers. - L.: University College, 1989.
184
4
,
() ,
().
.
,
() , ,
, , ..,
,
.
90- . , ,
,
. International Data Corp., 1994 .
339 . ., 1997 . 1 . .
-
: (Executive Information System - EIS)
(Decision Support System - DSS). EIS, ,
. DSS
.
,
(. 2),
,
EIS DSS .
:
;
;
(drill down analysis);
"-" ("what if");
;
(problem monitoring).
, ,
;
; ()
. , ,
, ()
, :
, (. );
(,
, .. - )
(. );
, .. (),
, ,
(, " I .", "
I II ." ..).
, (,
1- ,..., i- );
() ,
.
,
, ..
,
185
.
.
,
,
-
, ,
( )
:
;
.
, "" "".
() . :
,
10%;
, .
.
()
:
,
, , ,
;
;
, ,
186
, .
(. ),
. ,
,
:
;
", ...".
,
. ,
: ;
;
.
.
. ,
10%, - 15%. ,
, , . :
;
;
;
, ;
.
, , , ,
. .
.
.
, - .
, , .
, .
.
.
, - .
.
,
.
, - .
.
.
.
:
, , ;
;
.
.
BALANCE, - CUR-BAL, - INVLEVEL.
.
. , ,
;
;
- .
,
187
, .
,
.
. ,
, .
, , ..
.
.
, .
, , , . .
, , .
- , .
,
, , ,
, ,
,
.
. ,
, .
,
.
. - , -
. .
. .
.
. .
, .
, -
. .
.
,
" "
. " " (Data Warehouse)
[4]. , Data Warehouse - -, ,
, ,
(. 4.1).
,
.
,
.
188
. ,
xBase InterBase.
.
,
.
, .
.
.
.
.
,
.
,
, .
.
.
.
,
. ,
, . ,
, . :
. ,
.
, ,
,
, .
,
.
.
,
.
, Oracle Informix,
,
, .
,
.
.
. ,
.
, ,
.
, , ,
(
, ),
.
(""),
, , , ..
,
190
,
.
:
1. , ,
: Find Out ( Open Data Corp. - ); Forest and Trees (Trinzic Corp. ).
2. , : Power Play (Cognos Corp. - );
Brio (Brio Technology Inc. - ); Muse (Occam Research. - ).
3. , , : SAS
datasets (SAS Institute - ); Microsoft Access (MicroStrategy - ).
, ,
.
(data mining)
(. 4.2).
().
().
, ().
,
, .
[2]: (..
) (.. );
.4.2.
( ); (
, ).
. 4.2
, 32 - 34
.
, .
, ,
.
, .
,
(OLTP) (OLAP).
.
.
,
. , ,
,
,
191
, [1].
. ,
.
,
.
OLTP,
, .
,
( , ).
(. ). ,
, -
, .
[1]:
, , , .
, .
, , , , 55%
,
75% . , ,
.
, . ,
.
, ,
.
. ,
.
, ,
. ,
,
.
, ,
.
.
.
,
.
, ,
: , ,
, , ,
.
(. 3)
, ,
.
- .
. ,
.
. ,
, . ,
, ,
. . ,
192
, .. ,
.
, , .
, . .
25%
, , , 60%,
. ,
. ,
, .
. ,
: ,
, . ,
, ,
.
,
. .; ,
.
(, )
.
-
, .
: ,
"", ( ),
, , .
, ,
.
.
,
, , ,
, ..
. ,
20 , .
: AbTech Corp.(AIM), Reduct Systems
(DataLogic), Teranet IA Inc.(ModelWare), Attar Software (XpertRule Analyzer), Agnoss Software
(KnowledgeSEEKER), Data Patterns (PC-MARS).
,
[1]:
?
?
?
?
?
( ,
, , ..)?
?
? ..
,
: , , ,
, , , .
193
. 4.1.
4.1
2 (ISOFT, )
AIM (AbTech Corp., )
4.5 (Morgan Kaufmann Publishers, )
DataLogic/R (Reduct Systems, )
IND (COSMIC, )
IDIS (Intelligence Ware, )
KATE (AcknoSoft, )
Autoclass III (COSMIC, )
DBProfile (Advanced Software Applications, )
ModelMax (Advanced Software Applications, )
NetMAP (ALTA Analytics, Inc., )
Win Viz (Information Technology Institute, )
DataEngine (Mgmnt. Intelligenter Technologien, )
Level5 Quest (Information Builders inc., )
Cornerstone (BBN Software Products, )
DATA (TreeAge Software, )
JMP(SAS Institute, )
SAS (SAS Institute, )
Clementine (Integral Solutions Ltd., )
Data Mariner (Logica UK Ltd., )
Database Mining Workstation (HNC Software Inc., )
Information Harvester (Information Harvesting, Inc., )
Recon (Lockheed Martin Product & Services, )
[3] (Accounts
Receivable Classifier: Internal Revenue Service, ; Data Cleaning: Lockheed, ; Data
Verification for Foreign Prices:
Reuters, ), (Ad Tracking System: AdTrack, Inc., ; Marketing
Research: Dickinson Direct, ), (Desease Modeling, Severity Outcomes,
Data Cleanup: Med-AI, Inc., ; KEFIR: GTE Labs, ),
, , .
.
Accounts Receivable Classifier ,
. .
. ,
, , . -
.
Data Cleaning
,
, ..
,
, 2200
.
Data Verification for Foreign Prices
.
;
;
;
, .
, ,
194
;
.
Forecasting Arrears Problems .
500
000 .
Mining for Underwriting Rules .
,
.
1. . ,
// . -1996. - 16.
2. Hall . The devil s in the details: techniques, tools, and applications for database
mining and knowledge discovery //Intelligent Software Strategies. - P. I. V XI. -9 - 1995,
September.
3. Hall C. The devil s in the details: techniques, tools, and applications for database
mining and knowledge discovery//Intelligent Software Strategies - P.II. V. XI. -9. - 1995,
October.
4. Inmon W.H. Building the Data Warehouse. - NY: John Wiley & Sons, Inc., 1992. - 298 P.
195
5
Gensym, ,
. , 1994 .
( , ). Gensym
. ,
, 5000 ; 25
G2.
G2 . ,
(26 ); , (31);
(35); (35); (32); (22);
(20); (16); (13);
(11);
-
(11);
(10); (9); (9); (8);
(8); (7); (4);
(6); (5); (4); (2);
(108).
G2
Gensym,
.
,
Gensym.
: , .
: (. 2).
: ( , NASA
G2 1988 .);
, .
: ;
;
,
.
:
, ;
.
:
.
: ,
.
"". , , ,
15 Gensym
, : , ,
, .. ,
Gensym : (),
- ()
. .. (), .
:
, , .
G2
196
()
G2 ( Gensym, ) ( )
, ,
.
.
,
,
.
,
, ..
, ,
,
, , .
,
,
, , ,
.. -
,
, .
. ,
-,
.
( )
(
, -
- ).
, .
:
-,
;
,
;
- ,
;
- ;
,
( ) .
:
- (
, -);
;
,
;
;
;
;
()
197
.
.
. ,
, ()
, ,
.
( ,
),
. ,
(, 3 1 ).
.
, .
.
, , .
, .
, ,
.
15 % .
,
, ..
.
.
Ki(h)
,
.
, ,
,
.
,
.
Sun RS 6000.
. 80 1700
G2, 200 30 .
- .
Rethink
.
, " ",
"-". Rethink Pentium
WindowsNT. 236 ,
, 14
, 6 8 ,
198
.
.
:
1. . , ,
, .
2. . , ,
.
3. . ,
, .
:
-
;
;
;
.
;
;
;
;
.
,
, :
;
;
;
.
, ,
.
, :
- ,
,
;
,
( ,
..), ( ,
).
:
1. ( ). , ,
bpr-object
. bpr-object
TOTAL-COST COST-SUBTABLE
, , .. .
.
. , ,
. ,
, .
, - . ,
,
1 . ,
199
21.30 .
. ,
, , .
,
.
. ,
.
, .
. ,
. ,
.
. .
, .
. - .
,
, .
.
.
.
. -
.
. , ,
.
. , ,
-2.
2. ( ). bpr-resource
. ,
.
.
-2.
.
.
. , ()
() .
. .
. (
0)
. ,
. - ,
. ,
, . COSTSUBTABLE ( ) ,
.
TOTAL-COST, ,
,
:
1. . :
, -2;
,
200
.
2. - ,
. :
1. . , , ,
. .
, - ,
.
2. . ,
, .
3. -. ,
.
.
.
1. .
,
.
,
.
:
, SCHEDULE.TXT (
230 , -2 )
DURATION.TXT ( );
,
. , (
, , )
SCHEDULE.TXT.
,
.
, ,
.
,
, ,
: ;
; ; ;
.
2. .
. :
(Jump); (Step); (Synch);
3. . ReThink
G2
.
- ,
,
.
,
. ,
, ,
.
ReThink.
4. .
,
201
" " .
SNAPSHOT.KB .
,
, .
.
"-",
, ( , )
.
,
"-"
, (
.
202
- (business process automation) 237
- 18
308
272
(business pzocess reengineering) 236
123
123
123(
124- 301
193
126
1:6
126 120
120
120
() 120
120
124
226
289
292
292
294
301
148
148
() 149
- () 149
- 149
42,43
42
43
42
43
89
79
79
, 80
, 80
, 80
79
187
188
188
188
(data mining) 298
253
302
15
253
170 96,228
10
203
215
73
() 10
58
35
- () 24
35
() 33
(fuzzy) 34
( ) 30
58
/- 10, 46, 61
58
58
( ) 193
103, 111
89
89
159
195
300
, (definition) 191
(object-definition) 191
(connection-definition) 191
(message-definition) 191
(class definition) 191
(user-interface) 191
G2 (G2 language) 191
300
" " 103,111
300
13
, ( ) 14
, 14
14
14
14
, 14
() 111
143
147
173
242, 246
134
225
225
226
"
" 280
138, 169,190
190
138
48, 108
204
190
163
143
227
86
86
- 96
90
86
86
110
110
110
42,100, 228
42
302
262,301
273
271
271
- 252
95, 189
192
192
10
(relation) 190
(stubs) 190
"" 282
193
144
283
144
193
167
267
197
121
121
121
122
( ) 122
( ) 122
97, 228
89
51
if 195
initially 195
unconditionally 95
when 195
whenever 195
174
174
174.
86, 109
205
174
267
50, 195
50, 195
110
40
42
42
, 41
70
85
85
38
38
38
38
38
39
39
132
300
40
44
44
46
- 46, 226
46
46
46
11
11
127
127
137
127
130
127
153
153
153
(Kb-workspace) 155, 190
19
19
19, 20
19, 20
121
43
"" 43
"" 43
136
16
, 16
, 16
136
206
127
127
127
227
(connection) 190
90
90
90
- 239
240
239
136
48, 203
50
50
289
, 110
276
() 87
88
87
296
(create by cloning) 191
(rapid application development) 143, 253
72
302
39
, 39
, 39
, 39
, 39
G2 216
283
115
118
118
117
117
109
, 117
117
117
42
190
187
(transient) 191
(permanent) 191
88
88
159
159
(validation) 159,160
() 159
207
166
167
(connection posts) 190
262
143
43
41, 43
() 41,43
215
135
135
135
86
, 87
, () 87
, 87
87
87
, 87
88
, 88
88
88
88
88
(
) 264
264
() 265
264
40
40,41
41
(Data Warehouse) 294
15
20
21, 143
21, 143
21, 143
229
- 229
22, 143
22, 143
21, 143
238
108
, 108
109
109
, 108
, 108, 112
, 113
, 112
, 108
208
"-" 281
BDK (BatchDesign_Kit) 222
CASE- 253
DSP (Dynamic Scheduling Package) 220
Fault Expert 222
GDA (G2 Diagnostic Assistant) 218
GST (Gensym Scheduling Toolkit) 220
NeurOn-Line 219
ReThink 219, 257
(SPC) Statistical Process Control 219
209
, ,
,
..
..
..
..
..
- ..
3535
010156 03.01.1992 .
19.06.96. 04.11.96
60x88/16. ""
. ... 19,6. .- .. 20,74
10000 . 2546 "" 100
" "
101000, , . , 7
(095) 925-35-02, (095) 925-09-57
182100, , . , 78/12
210
ReThink
, :
,
,
..., ,
-.
- (Business Process Reengineering - BPR). -
. Gensym ReThink
BPR.
ReThink - ,
.
, .
, .
ReThink - ,
,
.
.
,
.
ReThink, G2,
, -
ReThink . "" ,
.
Argussoft Co - Gensym Corp.
129090, , , . , . 22, . 3,
. 42 .: (095) 284-8229 / 288-2436 : (095) 288-2085
E-mail: g2group@arguss.msk.su
211