Добавил:

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

Вуз:

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

Предмет:

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

Файл:

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

.pdf

Скачиваний:

Добавлен:

07.09.2026

Размер:

1 Мб

Скачать

☆

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

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

        : , -, , ,      ; -,   ,        ; -,   ,   ,     . ,  ,     ,       .     ,    ,        .         (  ) — ,        .    ,     .     — , ,     -          .      ,     .         ,    .         ,                    (    :     ,          ).

            .         ,   :    ;      ;    ;  ,    ( 

111

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

     ,             атрибут-значение ().    ,          ,    Prolog.

       .                 ,      .  ,            ,         .   («»)         : ,                 .    ,     .            /  /.

  ,        ,      ,       .    , ,      ,  . ,   . . 

Филлмор Ч.     //    -

. ., 1988. . 52–92.

Шевырдяева Л. Н.      : -

. . … . . . ., 2009. 27 .

112

        , . .  ,                (    ,    4-    ).

          . , , -, , -, -, -,      Protégé,  -,      Protégé,  -     Protégé,  -     Protégé,  -    Protégé,  -    Protégé,  -   Protégé,  -   Protégé,  -  Protégé,  -  Protégé,  - Protégé,  - Protégé,  - - -    

,   

     :

Фрейм деяния

              

Фрейм нормы

       

Фрейм понятия

    

          .        ,     , . .      

 « »,     ,    —      .    -

Visser P. R. S., Kralingen R. W. van, Bench-Capon T. J. M. A method for the development of legal knowledge systems // Procdings of the Sixth International conference on Articial intelligence and law. Melbourn, 1997. P. 151–160 ; Kralingen R. van, Oskamp E., Reurings E. Norm Frames in the Representation of Laws // Legal Knowledge Based Systems, Jurix 93: Intelligent Tools for Draing Legislation, Computer-Supported Comparison of Law. Lelystad, 1993. . 11–22.

Ельчанинова Н. Б.            : . … . . . , 2002. . 19.

113

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

      ,       .         -,      (,  «  »    «»   ).        -,    .                     .          «     ?»  «     ?»   ,     .  ,       .               .         . .   . . ,        

3.7.  

       -  (),      ,   ,            .  —    -

Егоров А. В., Ткаченко Ю. С.     -  -      //  .   «     ».

1998.  1(7). . 145.

114

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

    .      . ,            ()        .        ,     ,       ,    ,           .         ,       ,   —   

.   -  «»,     .  ,       ,     

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

Вохминцев А. В., Мельников А. В.        //    . 2002. . 2(15). C. 10–15.

Андреев А. М., Березкин Д. В., Кантонистов Ю. А.   :   ? //  . 1998.  9.

115

  .        .

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

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

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

Морозов А. А.                //  . 2003. 10. . 47–55.

116

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

 ,        ,     ,     . .     ,   ,  

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

      -

  :

—   ,     -

  ;

—  ,          ,      (     ,      )      ;

— ,    , —             ,      ;

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

      .      ,     . ,    ,  (         );  (  

Поспелов Д. А.       // Proc. of the International Workshop «Distributed Articial Intelligence and Multi-Agent Systems» DAIMAS`97 (June 15–18, 1997). St. Peterburg, 1997. P. 319–325.

117

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

.      —  -

)     ,     .       :

1)  — , , ,   

;

2)  —          «   ,    Y»;

3)  —            «        ,    Y».

    - -

   .

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

2009 .,     

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

Швецов А. Н. - :     . URL: www.ict.edu.ru//005656/62333e1-st20.pdf ( : 22.12.2016).

Shoham Y. Agent-Oriented programming // Articial Intelligence. 1993. Vol. 60. Iss.1 (March 1993). P.51–92.

Shoham Y., Leyton-Brown K. Multiagent Systems: Algorithmic, Game-eoretic, and Logical Foundations. URL: http://www.masfoundations.org ( : 17.01.2017).

118

  «»   () ,         

   

.        , , ,  «»   .

      1969.,  .          .         ,    ,         ,     —  ,       . ,        ,      — ,     ,    («»)   — ,    —        ,          . «»     — ,     ,  ,      .       , ,   -   

,     .

, --

3.8. 

              :   ,      .         , . .          ,  знание переднего плана    ,      .

Сидорова Е. А.         //        :  XIV . . /  . . . . , . . . , . . . . , 2012. .753.

Holmström-Hintikka G. Agency in Legal Reasoning // Legal Knowledge and Infor-Agency in Legal Reasoning // Legal Knowledge and Infor- in Legal Reasoning // Legal Knowledge and Infor-in Legal Reasoning // Legal Knowledge and Infor- Legal Reasoning // Legal Knowledge and Infor-Legal Reasoning // Legal Knowledge and Infor- Reasoning // Legal Knowledge and Infor-Reasoning // Legal Knowledge and Infor- // Legal Knowledge and Infor-Legal Knowledge and Infor- Knowledge and Infor-Knowledge and Infor- and Infor-and Infor- Infor-Infor- mation Systems, Jurix 2003 : e Sixteenth Annual Conference. Amsterdam, 2003. . 31–40.

Allen L. E., Saxon C. S. Achieving Fluency in Modernized and Formalized Hohfeld: Puzzles and Games for the Legal Relations Language // Proceedings of the Sixth International Conference on Articial Intelligence and Law (Melbourne, 1997). N.-Y., 1997. P.19–28.

119

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

  ,  , « 

»

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

—      

  ;

—   ; —    ; —     ; —   .

      ;      ( — );        ;    .        ,   

  

.  -  -

        

  . . « »

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

Козеренко Е. Б. -          : . . … . . . ., 1995. 19 .

., .: Noy N. F., McGuinness D. L. Ontology Development 101: A Guide to Creat-Ontology Development 101: A Guide to Creat- Development 101: A Guide to Creat-Development 101: A Guide to Creat- 101: A Guide to Creat-A Guide to Creat- Guide to Creat-Guide to Creat- to Creat-to Creat- Creat-Creat- ing Your First Ontology. 2001. URL: http://protege.stanford.edu/publications/UserGuide.pdf.

Васюков В. Л.  . ., 1999. 223 .

120

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

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