Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Формальные модели в юридической науке и технике. Монография

.pdf
Скачиваний:
0
Добавлен:
07.09.2026
Размер:
1 Мб
Скачать
☆
ɪɟɰ
ɚɝɟɧɬ
ɪ
ɢ
ɪɟɰ
ɢɩɢɟɧɬ
ɧɚɱɚɥɶɧɢɤ
ɚɝɟɧɬ
ɨɛɴɟɤɬ
ɤɧɢɝɚ
Ⱥɧɞɪɟɣ
ɨɬɞɚɬɶ
ɢɩɢɟɧɬ
ɡɞɚɬɟɥɶɫɬɜɨ
ɫɨɨɛɳɚɬɶ
ɟɦɹ
ɜ
ɩɪɨɲɟɞɲɟɟ
Рис. 3.   
  , ,  «  ,
     »    (. 3).
     «    ». ,     ,  ,    ,          ­,    .     ­   .
      , ­.      ,  ­   ,      ­,  —   ,         .      () ,    ­     ,  .  ,         ,  ­  (, ,   .)          -   .     ­  «   »,    ,   —  . ­ ,   ,    ­ . ,   (агент)   ,     , ,  ,    ..
   ( ) ­        -
101
        .        ,   (    ­)    .            —          20 . ­,        ­      ,      —     ,      .
      ­   .    ­  : 1) - ; 2) -;
3)   . ,  —   « »,   — ­  «»,    —   «».  -     ­ « (,  —  ),     ,     ,   ­.
   ,    «» ( —   ,  ­      ,  
59
)
(.4).
это

инструмент


Рис. 4.   
59
Об оружии :    13  1996 .  150- ( . 
29 2004 .) // . . 1996. 25 .
инструмент


  «»

это


102

это
 
атрибут атрибут атрибут


значение значение значение
   
часть
   
часть




часть

значение
часть
атрибут


Рис. 5.     
« »
, ,             (. 5).
        ­ ,        , ,  « ».
     ­  ,       .              ,         .   ,    ­,      , ,         ,    .     ­         ­  .    ­       ,             , ­       . , ­             .    
103
     ,  —    -,      ,    ,      .         . ­ ,              ­     ,        ­     .             ­           , , , .  , ­      ,  ,    —     .
       ­        ,             () .  , ,  ­ ,     ­    ,     (..       )   (..  ,      ,    ­). ,    ,   ,         ,  , ­ ,  ,          ,    ­   Classic
60
: And (Man, AtLeast (3, Son), AtMost (2, Daughter), All (Son), And (Unemploed, Married, All (Spouse, Doctor)), All (Daughter, And (Professor, Fills (Department, Physics, Math))),
  And, All, AtLeast, AtMost, Fills (  SameAs и OneOf)      .    -    .    -   .    -   .    -  .    -  .    - .    - .    -.    -.    -   ­    ,    ­      (  -
60
Рассел С., Норвиг П.  :   / .
. 2- . ., 2006. . 483.
104
  ,     ­    ,   ),     ,       .  ,       , ..      ­    .
3.4.  
 1974 .       -
           .        ­:  (ACT, action),  (PP, picture procedures), -ACT, action),  (PP, picture procedures), -, action),  (PP, picture procedures), -action),  (PP, picture procedures), -),  (PP, picture procedures), -PP, picture procedures), -, picture procedures), -picture procedures), - procedures), -procedures), -), ­  (AA, action aiders)    (PA, picture aiders).
    :  (AT-AT-
TEND, SPEAK),  (PROPEL, MOVE, GRASP, INGEST, EXPEL),  (MTRANCE, MBUILD, CONC)   (PTRANCE, ATRANCE).       :
 7.   ( )
ATRANS   EXPEL    -
 ( INGEST)
PTRANS  
 
PROPEL  
  
MOVE   

GRASP   SPEAK  
INGEST   ATTEND 
MTRANS  

MBUILD   -
 
CONC  
,       -
   .
105
 8.   (   )
PP ACT ,   
PP PA


,     ­
  
R

D

I

X
Y

PP1PP2
 
 
2 1
      ­
   
   .
,  X  Y
   
,  PP2   ,   PP1
    
     .   8    .
      -
: p —  ; f — ; t — ; k — ; ts —  ; ? — ; tf —  ;    : ĸ (  ­); (  -).     O (Objective,   ), D(Directive,      ), R(Recipient)  I (Instrumental).
,      
  .
    - -
 ATRANS,      
106
. ,  «   »   
John
trans book
OR
to
from
Mary
 O   ,  R —  ;  ­ 
Mary PROPEL
stick
John
PHYSCONT
O
stick
John
D
Mary
I
Mary
Mary
do
O
stick
D
John
 «   ».
ATRANCE      . , 
Mary
p
ATRANS OWNERSHIP:
O
book
R
John
Mary
    ,  
Mary
p
ATRANS POSSESSION:
O
book
R
John
Mary
    .          -,              :
Mary
Beth
p
ATRANS
ATRANS
O
OWNERSHIP:
O
OWNERSHIP:
car
money
R
Beth Mary
R
Mary Beth
   «   ,   -
  ».
       .  
, ,   « ,    ,   »:
Mary
John
R
MTRANS
EXPEL
O
ugly
O
tears
D
X Mary
Y eyes
John
R
107
 ,      -
   ,            . ­ ,        ­ , ,   .
         -
 .
1.       
  ,   .
2.  ,      ,  
  (    ),             .
     -
    .   ­    .
3.5.
       -
, ..  ,    .  ­    .  ­        
61
  
.  () ­    ,        ;   ­  , ,    ,    ,      ,    , ­  ,    .. ,  ­    : 1)   ;
2)  ; 3)  ; 4)  ; 5) ­ ; 6)  .   ­       ­    .      ,       ­ ;  , ,     .        -
61
Schank R., Abelson R. Scripts, Plans, Goals and Understanding: An Inqiury into
Human Knowledge Structures. Hillsdale, 1977. . 73.
108
 ,  ,          .
           : ,       ;    ,         .   ­ , ..     ­ .
 ,  —  ,    ­    () /  -.   ­      (. . 3.6).  ­         .  , ­   ,      ;    ,     ­ .    : 1)  ; 2) , .. ,   ,   ; 3)   ; 4) ­ ; 5) , ..  ,  ­ , ,  .
      ­       ,    .
,      .         , ­  .  ,    , ­  ,        ­:      .  ­   :      ­ ,    ,     .     ,  ­  .             .
  ,      ,      ,     . , ,     ,    .     —  ­ ,      .
109
        .          ­   ,      ,       : ­ —    ;  —   .          ,  -,   .     ,   ,   ­      .   ,  ,   - IDEF3    —  «». ,             : IDEF —   , «» —    «»
62
.       :        , ­         .
3.6. 
                    .
.       —    ,   ­
63
.             . « ­  , —  ., —   ,  ,        - ­   ,      ­  (),   ,   , ­                ».       ,   ­  . ,  . , ­,          ,
62
Паронджанов В.    .   —
  ! ., 2001. 360 .
63
Minsky M. A framework for representing knowledge // e Psychology of Computer
Vision / ed.P. Winston. N.-Y., 1975. . 97.
110
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]