Добавил:

ivanov666 Опубликованный материал нарушает ваши авторские права? Сообщите нам.

Вуз:

Башкирский Государственный Аграрный Университет

Предмет:

[НЕСОРТИРОВАННОЕ]

Файл:

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

.pdf

Скачиваний:

Добавлен:

07.09.2026

Размер:

1 Мб

Скачать

☆

<<< < Предыдущая 1 2 3 4 5 6 7 89 / 219 10 11 12 13 14 15 16 17 18 19 20 21 > Следующая >>>

 ,  « »              ,        .         ,    ..  ,          ,       .

2.5.    

   —     ,   .   ,      Sc     S,    Cc,   Sc,    C ,   S.   -C ,   S.   - ,   S.   -S.   -.      .             .  ,          ,       :          ,      .

       ,  « ,    ».        ,      -     . , « —  ,    , кроме »  «   , кроме  ,  ».       ,    ,          ,       ,          .

     . ,            ,      — ,            .     ,         ; 

    .    отмену договора     ,        .    аннулирования   обратной силы.

    ()    ,       ,    — .    —  ; ,          ,     отмены;                .     ,     обратную силу.    ,  ,     , ,     всегда.  —         — аннулирование.        обратной силы ,      ,    онтологическим анну- лированием

   — .     (  )  .    , , -           .     ,            ,     .           эпи- стемологическое аннулирование.

   эпистемологическое аннулирование   - ,         ,   пересмотр  ревизия.   —   ,        . , ,    ,     ревизией       .

     ,       . ,   ,   C     ,      ,   ,   .    ,    ,    C   -

Hage J. Op. cit. P. 60.

.    ,      ,  C       ,    ,         .  ,  C,       ,      .   ,      ,      ,   аннулирова- нием обоснования.

 ,    ,   ,           .     .       ,         ,   —      —     .

        .     ,           ,  ,       ,   .     ,     .     ,          ,     ,   . —     ,   .

               .      ,     -   .   ,    ,       ,  ,             .                   .

 ()      .

   обоснованным абсолютно,   -       . ,    ,       ,     :         ,   .

 () относительно обосновано    ,    ,      ,     .       ,       .       ,    ,        ,  .

    ,      , информационное наполнение -  не определено.   -    ,   ,     ,      . , ,  P   ,     ,      C —  (  !).   P  ,  C , ..       .   P    ,  C    -   ,     -,  ,      C   :       ( C — ,   ,  C     -     -  ). ,         P     ;      P   всех  ,      P ,         C.

       не- полным знанием.   ,  , ,        .   ,        ,    ;         ,   

,  ,     на данном множестве (    ,  ,    ).

         ( )  . ,   pĺq  ,         :

1)  pĺq ,   ,  pҺrĺq  -

;

2)  pĺq  p  ,   ,  q — -

;

3)  pĺq  q  ,   ,  q -   (       ,   ,         ).

 ,   «если , то »  ,      .

   ,        ,        .        ,        ,      .                ;   , , Prolog.

§3.   

            ,   ,      —  .                :               (       )   .                -

,                  . ,          ()   .          ,       ;      ,       ,      .

3.1.    

      . ,   ,          .  ,   ,          (    ,          ).     ,         .

  ,       ,   .       ,       .   ()  , .. ,      «»  «»,     .       ,      A  B

   2

= 4 .         (.2).         F,           2

4 =

16    .  ,   16    (, ). , ,        ,     :  (ޕ),  (ޔ),  ().        (a)   (ĺ);     ,     (   ,    « »).

 2.   

ABAޕBAޔB A~B AĺB

000011 011001 101000 111111

Функция импликации   ,       (  продук- ции,    «… …»);      (A)  ,   (B) — .    ,  AĺB   0    :      .               :  ,        .      ,         : « 2×2 =5,   —  ».    ,   :      все высказывание,     ,   : ,,   .

      (     )    (          ,    «»). ,   modus ponens       

((AĺB)ޔA)ĺB. (1)

    :

  ,      A    B,

  A  ,

  B .

   (1)  ,  ,     1 при любых  , во всех .     ,  ,  :      -  .

Функцию эквивалентности (a)    - ,   (l):  -

,         ()   , ..           .      теорему дедукции:

Для любых высказываний A и B из A логически следует (выводимо) B,

т.е. A но, или допустимо

B 46, если и только если высказывание AĺB тождественно истин- тождественно истин-

 , ,              AĺB.   ()   .

 ,  (AĺB)a(AޕB).          (,  «   ,     »  : «    ,     »),          .        (1) modus ponens:

((AĺB)ޔA)ĺB) = ((AޕB)ޔA)ޕB = ((AޕB)ޕA)ޕB =

((AޔB)ޕA)ޕB = [(AޕA)ޔ(BޕA)]ޕB = (BޕA)ޕB=

BޕAޕB = 1ޕA = 1,

..  (1) .

 Aa«    »,  Ba«  » (  ,          ).   modus ponens,      :

 «    » ĺ «  » (2)

 «    »,

 «  ».

,  ,   ,    (AĺB)ޔA),    B  ,   (AĺB)ޔA)ĺB       0  AޕB = 0.

    ,   ,      .  -

  A    c     

 ,     .

Рассел С., Норвиг П.  :  . ., 2007.

. 302.

,       ,   ,      , :

AĺA — ;

AޕA —  ;

(AޔA) — ;



A —  ;

(AĺB)l(BĺA) — ;

(AޔB)l(AޕB) —  ;

((AĺB)ޔ(Bĺ))ĺ(Aĺ) — ;

,     :

AޕAޔB = A, Aޔ(AޕB) = A — ;

AޔBޕAޔB = A, AޕAޔB = AޕB — ;   .                 .

        .

 ,      

.  ,   , ,      .    , :

1.       ,    

,   .

2.     ,       -

,      .

3.      ,    

,   .

     ,   

.

 : A =      ; B =   ; D =     .

   :

= Aĺ(BޕA);



= Bĺ(AޔD); (3)

= Dĺ(BޕA).

., .: Мендельсон Э.    . ., 1971.

.31.

 3.   

ABDABޕA BAޕDF1=Aĺ(BޕA) F2=Bĺ(AޔD) F3=Dĺ(BޕA)

000 1 1 1 0 1 0 1 001 1 1 1 0 1 0 1 010 1 1 0 0 1 1 1 011 1 1 0 0 1 1 1 100 0 0 1 0 0 0 1 101 0 0 1 1 0 1 0 110 0 1 0 0 1 1 1 111 0 1 0 1 1 1 1

      (. 3).

     модель  ,   базы знаний.        , .. F

= F2 = F3 = 1,  B = 1,   -B = 1,   - = 1,   -

   ,       B = 0, ..  .  ,     .

  ,        :

F = ABDޕABDޕABDޕABD.

          ,      ( ),              .        (),          всех .    ,      .     ,     FĺB, 

ABDޕABDޕABDޕABDĺB.

 .       ,  « » ,     :

ABޔ(DޕD)ޕABޔ(DޕD) = ABޕAB = Bޔ(AޕA) = B.

   ,  ,       .    :

BĺB = 1,

..      .

<<< < Предыдущая 1 2 3 4 5 6 7 89 / 219 10 11 12 13 14 15 16 17 18 19 20 21 > Следующая >>>

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]