Файловый архив студентов. Файловый архив студентов.
1329 вузов, 5502 предметов.
/ Регистрация
FAQ Обратная связь Вопросы и предложения
Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Башкирский Государственный Аграрный Университет
Предмет:
[НЕСОРТИРОВАННОЕ]
Файл:

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

.pdf
Скачиваний:
0
Добавлен:
07.09.2026
Размер:
1 Мб
Скачать
☆
      .  ()    ,  (1)—  «»   (q) —  «».   ­  (X   (Y
1Y2Y3Y4
1X2X3X4X5X6X7X9X10X11
)   . ,  10010100000 (
)     -
 ,   )    0110, ..   . 2  . 3 . 158.   ­,   ,  .
    , ­    (,   ).        : X
1 (X3ޕX9
X
1Y4(X2ޕX5ޕX6
X
1Y3Y4 (X4ޕX7ޕX10ޕX11
X
1
)aY4,
)aY3,
)aY2,
(Y2ޕY3ޕY4)aY1.
  , ,   ­ .
   ,       :     ,   ­ 1 ()       0 ()   ,        ­      (,    ­   Y  Y
  Y4 ).  ,     10 , ,
3
,      (Y         ( Y
,   Y3Y4, .. 
2
) -
1
 Y10),
2
, ,  .
      ,    ­, ..  X ,   ,   X
.    -
1
 -
1
 ,    .
 : Z
=   
0
=    
Z
1
=    
Z
2
=     
Z
3
=   
Z
4
Z
=   — 
5
=   — 
Z
6
181
Z7 =   —  Z
=   — 
8
=   —   
Z
9
Z
=   — 
10
Z
=     , , -
11
    Z
=  —    
12
=  —  (..    )
Z
13
Z
=  — 
14
Z
=  — 
15
Z
=  —  ,     
16
Z
=  —    ,     -
17

= —       -
Z
18
   Z
=    ,   
19
: Z
0Z1Z2Z3 aZ4
Z
12ޕZ14ޕZ15ޕZ16ޕZ17ޕZ18
Z
(Z5ޕZ6ޕZ7ޕZ8ޕZ9ޕZ10ޕZ11ޕZ19)aY1( Y
4 Z13
,
aZ13,
).
158
    ,   —  ­,     .  ,  , ,        ­  . , ,   ,       . 158  ,       (  , ­,      ..).  ,        (Z  (Z     (Z    (Z       (Z  (Z
, . 159),  (Z17ޕZ18, . 163),  (Z19, . 160)
12
, . 325),    (Z7,.260), -
6
, .256),   (Z10, .258),
9
,.255),   -
8
,. 164), -
11
, .226),
5
 (. 330).
     . : Z
4Z15(Z16ޕZ17
(Z Z (Z
)Z5aY
17ޕZ18
4Z11aY164
4ޕZ17ޕZ18)Z5aY226
( ,   ),
)Z5 aY
163
(),
162
(),
(   ).
182
   Y     -Y     -     ­ .      , ­   ,        (,      . 158),  ­   ,    ()   .     ,       ,       ­      Y.
§ 3.        
               ­  
1)      -
 ;
2)     ;
3)       
.
       — ­,      .  ­,          ­ -              .  ,  ,    ,     -    ,   ,      ( rst or-rst or- or-or­der logic, FOL),        - logic, FOL),        -logic, FOL),        -, FOL),        -FOL),        -),        ­.   , ,    «    A    B?»,              «   A    B?»,     .
8
.   :
8
Иванов Г. И., Ельчанинова Н. Б., Саак А. Э.   -
      //  .      . , 1998.  1(7). . 285.
183
       ..­       « ,   -  »
9
. ,   FOL :       , : «   ,    ».        :
P(x(S(x)P(x))P(a)),
  a   «», S —  (­) «  »,  P —  ,       (). FOL    ,   -FOL    ,   -    ,   ­  P
   а, .. , -
1÷Pn
 ,         ­ P
  ,     а. , , 
n+1
,     ,        ­  —     всех ,    n, .
 ,     ,               ,         , . .  .     ­      FOL  -FOL  -  ­   . ,            ,  ,     ­    .    
a     свойство (p
,a), -
i
   :
p свойство(p, s)свойство(p, a),
  s = « »    S.       a   s;      ­     . ,  
9
Костылев В. М.    -  -
 : . … . . . , 2002. C. 158.
184
свойство(p, a)       ­    —   ,     p a.        :  ­   R (А, B)   ,  «А R  B».       . ,        «  »      ­    заказчиккожа,  собствен- ность (кожа, заказчик) и часть (кожа, заказчик).  , ­              ­      ,     ­      
10
,              .
         .  ,           ­ ,        .
  ,     ­ ,          ,    ­    ,   .         ­ ,       ­       .  ­ ,     - ­    ,  ­ .          « ».
 1   : « —  ,        ,  »
11
.
.
10
Гайдамакин А. А.       
// -. 2008.  4. . 99–104.
11
Об оружии :    13  1996 . 150- // . .
1996. 18 .
185
  ,
это(X,)ޔ(инструмент(X,)ޔобъект(,)ޔ[свойство(,)ޕ
свойство(,)]ޕинструмент (X,))это (X,),
 X — ,      ,   . 12.
-, ,       , ..   ,   ­      :
это(X,)ޔ(инструмент(X,)ޔобъект(,)ޕинструмент(X,))это(X,).
ɐɟɥɶɰ
ɉɨɞɚɱɚ
ɫɢɝɧɚɥɨɜɫ
ɉɨɪɚɠɟɧɢɟɩ
ɨɛɴɟɤɬ
Ɉɪɭɠɢɟɨ ɍɫɬɪɨɣɫɬɜɨɭ
ɢɧɫɬɪɭɦɟɧɬ
Рис. 12.   «»
ɢɧɫɬɪɭɦɟɧɬ
Ɇɚɬɟɪɢɚɥɶɧɵɣ
ɷɬɨ
ɨɛɴɟɤɬ
ɷɬɨ
         ,            ,  ,   .  ­ ,            ,        .
-,           (ޕ),  ,  ,  «­ —    ,    ­ ».     , ,    , ..    (    ).    , ­   « »,    —           ,  .     ­ ,    «оружие»        «сигнальное оружие»,    ­   .  ,   ­      «оружие».
186
§ 4.     
       (, -, ­,   .)    .        —   ,    .      R(А,B)   - ,  «А  R  B». , 
(,)
,    .   3.3 § 3  II       ­     ,  .      ,   ­    , .      ,     ,      ,   —  ­ ,         .      () ,       ­   ,  . ­ ,         ,    (, ,   .)        ­  -   .       «  »,     , ­  —  .  ,   ­,     . ,   (агент)   ,   ­ , ,  ,    ..
   ( )  ­                .               .           ,      ­       -
187
,        . ,        ­      .          , ­ —    -,    ­  ,    ,      .         . ­                  ,             .        ­        ­    , , , .  ,       ­  ,    —   ­ .
       ­,   (    )    .          —     ­    20 . ,           ­   ,      —     ­,      .
 ,      ­ ,  40          ,      ­.      ­ ,       ­     .        ,        , ­ ()  .    ­                     .
188
  — 80
1.   (27) (, , )
   — 200
1.   (98)
2.    (88)
3.  (14)
 — 53
1.   (17)
2.   (19)
3.  (17)
 —
90
1.  (20)
2.   (5)
3.   (26)
4.     (7)
5.     (20)
6.     (12)
  —
133
1.   (5)
2.  (13)
3.  (13)
4.   (32)
5.   (12)
6.   ,   (17)
7.    (31)
8.   (10)
Рис. 13.    
            ­  550 ,     ,    
12
.   13 ,   ­           (  ).   ,       ,       ,      ­ .
     ,         .
 : , ,  ,  ,  ,  ­,     ..
 : ,  , ,  ­,   ,  ,    . .
 : , ,  ,   ..
  : ,    ,   , ,  ­  ,  ,  , ­       ..
12
ГайдамакинА.А. . . . 99–104.
189
:   , ­ ,  ,   ­ ,    . .
: , , , ­, ,    . .
   :
— психическое состояние лица: ,  ­ , , ,    ,    /­;
— восприятие событий (мнение):  [   -  ,     , ­  ],  [ ­,   ], ,  [  ]  ..
 : ,   ,    , ­     ,   ­.
 :  , ,  ,  , ,   , ­   ..
   : , , ­,  .
    —  [­, ],   ,     ­      ,         . .
  :  ,  , , , .
:   ,  , ­  ,    ,    ,  [, , ]  ..
 : , ,  [­ ,   ],   [  ­],  [  , ­       ],   ..
 :  ,  ­  ,    ,   -
190
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]
Помощь Обратная связь Вопросы и предложения Пользовательское соглашение Политика конфиденциальности