Экспертные системы: лекция №3

Embed Size (px)

Text of Экспертные системы: лекция №3

  • 3

    . dimour.spb.rumouromtsev@mail.ifmo.ru

    II

  • 20

    14

    ..

    3 (production system)

    , (production rule), , (IF THEN). (Emil Leon Post), 1943*, . . , . .

    2* Post E. (1943) Formal reduction of the general combination problem. American journal of Mathematics, 65: 197-268, 1943

  • 20

    14

    ..

    3

    3

  • 20

    14

    ..

    3 (productions); (IFpart) (antecedent) (), , () ; (THENpart) (consequent) .

    4

  • 20

    14

    ..

    3

    (working memory) , .

    5

  • 20

    14

    ..

    3 -

    6

  • 20

    14

    ..

    3

    (refraction) . (recency) . (specifity)

    7

    OPS5* ( OPS - "Official Production System, 1970- ):

    * Brownston L., Farrel R., Kant E., Martin N. (1985) Programming Expert Systems in OPS5: An

    Introduction to Rule-Based Programming. Reading, MA: Addison-Wesley, 1985.

  • 20

    14

    ..

    3

    DROOLS

    ( - Salience). (Recency). (Primacy).FIFO (First In First Out).LIFO (First In First Out). (Complexity). (Simplicity). (LoadOrder). (Random).

    8

    DROOLS , *:

    * http://legacy.drools.codehaus.org/Conflict+Resolution

  • 20

    14

    ..

    3

    . (cycle back) .

    9

  • 20

    14

    ..

    3

    10

  • 20

    14

    ..

    3

    1: , .2: 18 , .

    11

  • 20

    14

    ..

    3 (reasoning)

    12

    , .

    18 , .

    18

  • 20

    14

    ..

    3

    - . .

    13

  • 20

    14

    ..

    3 (datadriven search), . (forward chaining). (goaldirected strategy) , , . (backward chaining).

    14

  • 20

    14

    ..

    3

    . , . .

    15

    , () , , .. :

  • 20

    14

    ..

    3

    16 .

    ?

    ?

    ?

  • 20

    14

    ..

    3 ( )

    , . , . , . , . , .

    17

    . , :

  • 20

    14

    ..

    3 ( )

    :

    18

  • 20

    14

    ..

    3 ( )

    3, : :

    19

  • 20

    14

    ..

    3 ( )

    2, : :

    20

  • 20

    14

    ..

    3

    . , . , , .

    21

    , . :

  • 20

    14

    ..

    3

    1. . 2. . ,

    . , , .

    3. . 4. ,

    , . 5. , 2. 6. ,

    , . 7. , .

    22

    . :

  • 20

    14

    ..

    3 ( )

    23

  • 20

    14

    ..

    3 ( )

    1. .2. ,

    , .3. 2 , ,

    . , 2. , .

    4. , , . , , . .

    5. .24

    , . . , :

  • 20

    14

    ..

    3 ( )

    146:

    , .

    25

  • 20

    14

    ..

    3

    12: , . 13: , , . 146: , . 35710: , < 3,5 > 2 , . 3579: , < 3,5 < 2 , . 358: , > 3,5, .

    26

  • 20

    14

    ..

    3 ( )

    ,

    27

    1 2 3 4 5 6

  • 20

    14

    ..

    3 ( )

    6 , ,

    28

    , ,

    1 2 3 4 5 6

  • 20

    14

    ..

    3 ( )

    2 , , 2:

    29

    , ,

    1 2 3 4 5 6

  • 20

    14

    ..

    3

    . , .

    30

  • 20

    14

    ..

    3 (I)

    , .

    31

  • 20

    14

    ..

    3 (II)

    , , , .

    32

  • 20

    14

    ..

    3 Rete

    33

    , RETE , , . , , .

  • 20

    14

    ..

    3 : G2

    34

  • 20

    14

    ..

    3 : Exsys

    35

  • 20

    14

    ..

    3 : Drools

    36

  • 20

    14

    ..

    3 Drools IF the entrance pupil of an optical system is removed forwardTHEN exclude the all base elements with exception of B3A3P element

    37

    rule The B3A3P element when Classification( D == 2 ) $elements := ArrayList() from collect( OpticalElement() ) then modify( $elements ) { clear() add( new OpticalElement( type == B, surfaces == 3A3P )) }end

  • 20

    14

    ..

    3 Drools IF the optical system is not fastTHEN a fast element isnt needed at the system

    38

    rule No fastwhen

    Classification( J == 1 )$conds := SystemConditions()

    thenmodify( $conds ) {setIsFastNeeded( false )

    }end