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

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

.pdf
Скачиваний:
0
Добавлен:
07.09.2026
Размер:
1 Мб
Скачать
☆
       59,    ­
60
.     :   ,    .      «»  ,     ­ , ,   , «       ».       (.1).
    :        ­   « » .    ­    ,    ,     ,  ­    .   ,    ,        ( ).     ­ :
)    (  ­    , ..    . ­   ,    ,         ,      .);
59
., .: Керимов Д. А. . . ; Вопросы    /  . .. . ., 1967. 310 . ; Андреев А.М., Березкин Д.В., КантонистовЮ.А.   :   ? //  . 1998.  9. .56– 64 ; ЛобовиковВ. О.   :  3 . , 1998. . 1 :  . 240 . ; Управление      //  . 1998.  1. 319 . ; Ельчанинова Н.Б.   ­        ­: . . … . . . , 2002.16. ; Костылев В. М. . ; ГолоскоковЛ.В.         ­//  : -, -, -   . . , 2007. .348 ; Гай- дамакинА. А.         // -. 2008.  4. . 99–104 ;  .
60
., .: Уемов А. И.      -     : . 1 //    ­. 2007. . 12. . 15. . . 105–117 ; МуравьевА. К., Михайленко С.Г., ЛитвинИ.В.        //   . 2005.  6. . 75 ; Плавич В.П. ­       ­// i. 2008.  2. C. 147–153.
41
 1.     



JUDITH 1975    Popp,
TAXADVISOR 1982    -
LDS 1980    -
SARA 1980    Bing LEGOL
NORMA MEASUR
OBLOG-2 1987    
LLD TAXMAN
e British Nationality Act as a logic program
Latent Damage Adviser
CommonKADS 1994  ,  
Frame Based Ontology (FBO)
Functional Ontology of Law (FOL)
MINT ( A-HOHFELD)
 «» 1998   -
 

 
1974
   -
1991

1994
 . ­    ()
1989   McCarty
1986     Bench-Capon,
1988    
( )
 . ­   ­
1995     
()
1995  Valente
1995   

         ­     ()
 
  

Schlink Michaelsen,
Michie Wa te r m an ,
Peterson
Stamper
Gordon T. F.
Kowalski, Sergot
Susskind
Breuker, Van der Velde
Visser
Layman E. Allen, Charles S. Saxon,
. . , . . , . . 
42
  1


HOHFELD 1999    -
Legal Ontologies for the Spanish e-Government
Ownership ontology
 LKIF 2004  R. Hoekstra,
   (CLO)
BEST 2005    R. van Laarschot 
«»
N`omos 2009    
LawStudio (Law description language, Law Studio notation)
 

2001   -
  
2004  () A. Yip,
2005  Gangemi  
2008   -
     ­   ()
   .        . ­ ,   ­  ,   ,     ()
2009    . -
   ­  ()
 
  

C. Krogh, H. Herrestad
A. Gómez-Pérez, F. Ortiz-Rodríguez, B.Villazón-Terrazas
J. Cunningham
J. Breuker, M. di Bello, A. Boer
. . , . . , . . 
A. Siena
LawStudio
)    ; )    ; )     ( 
);
)      ( 
).
43
      ­ -    ,        (, ­        ­  ),    .
1. Механизм формальной логики не может моделировать логику юридическую, поскольку не учитывает общественный контекст.  - ,      ­  «    ,  ­»
61
.    A.  -A.  -.  -  -  ­  «  ». ,           ,   ,    ( — )   -         ­   .
      ,          (    ­ ),   ,     .  ­     ,        «  »    «   »,  - ­       ,  ,   -   .  ,       ,             ,   .   ,    ,  (        ), ­       ( ),            ;    ­,   .     —         ,      (  ,  )      .
2. Многие юридические понятия допускают неоднозначность тол-
кования, что затрудняет их формализацию.   ,
61
Greinke A. Legal expert systems — a humanistic critique of mechanical legal infer-Legal expert systems — a humanistic critique of mechanical legal infer- expert systems — a humanistic critique of mechanical legal infer-expert systems — a humanistic critique of mechanical legal infer- systems — a humanistic critique of mechanical legal infer-systems — a humanistic critique of mechanical legal infer- — a humanistic critique of mechanical legal infer-a humanistic critique of mechanical legal infer- humanistic critique of mechanical legal infer-humanistic critique of mechanical legal infer- critique of mechanical legal infer-critique of mechanical legal infer- of mechanical legal infer-of mechanical legal infer- mechanical legal infer-mechanical legal infer- legal infer-legal infer- infer-infer-
ence//Murdoch University Electronic Journal of Law. V. 1.  4. (December 1994). . 85.
44
,    62,   ­:
—    ,    ,  ­     ,  ;
—  ,  ,    ;
—        ­    ,   ­        ­.  , ,     ­  .    ,       .
  . ,  , ,  ,  «  »?  « »?      ,   « » (  ,  ­ ).  ,   , «   …         .        „ “, ­  »
63
.  ,           (,     ,    , ­        .. 111,112 115  ).  ,  ,   ­ ,       ,      ; ­       ,    ,     .
      ­  — ,  ,   ,  ,    .  ,     .            .
62
Wa t e r m a n D . A . Paul J., Peterson M. Expert systems for legal decision making //
Proc. Second Aust. conf. on Applications of Expert Sytems, Institute of Technology. Sydney,
1986. P.212226.
63
Филлмор Ч. Дж. . . . 52.
45
3. Как правило, ЭС узкоспециализированы. Это может привести к недоучету существенных для дела факторов из смежных областей.    .     . ­: «   !    ­     ,   . ­         — ,,  , —         —   ­     »
64
.        .     , , ,        .   ,    ,     ­   , ..      .  , ,  .       ­ ,              ­   65.
4. В области права особенно высока степень субъективности оценок, что может вызвать недоверие пользователя к рекомендациям ЭС.          , ­     ,       .        : ­        ,       .     ­,  ,  ,      , ­    « ».
5. В настоящее время и в России, и еще в большей степени в странах Европы и США на рынке юридических услуг предложение превышает спрос. ,    ,   ­  ?      ,   .     ­      ­.       .        ,  -
64
Романов Ю. Scientia potential est // . 2000.  23. . 39.
65
Андреев А. М., Березкин Д. В., Кантонистов Ю. А.  
:   ? //  . 1998.  9.
46
 ( )         .
,       ­,              ,          ,   ­,        . ,          ,   -  .  ­  «     ,      .         ,   ,        »
66
.      ­      ,     100   ,   ,     ,     -
67
 
.      -
   .
       ­       ­,        ­      ,  .  ,      ­   .
          ­   ,   . ,    ,             ­   .           ,   ­  .   ()  ­,      :     -         ,      
66
Анисов А. М.    . . . URL: http://www.
philosophy.ru/iphras/library/phnauk2/SCIENCE2.htm ( : 25.07.2016).
67
  .       .  10 
2005.
47
       .    Legal Analysis System      ­  .     ­ - . ,  ­ 2000 .   .      
68
.          .  ,    2000.  :   (     )      ­     ,            
69
. ,   ,    ­     .   ­  ,             .
68
Susskind R. Transforming the Law — Essays on Technology, Justice and the Legal
Marketplace. Oxford, 2000. 314 p.
69
Pedro Valls Feu Rosa. e Electronic Judge // Time for AI and Society : Proceedings of the Symposium on Articial Intelligence and Legal Reasoning (17–20 April). University of Birmingham, England, 2000. P. 33.
48
 II.     
§ 1.   
 ,  ,     —    ,      .    ­     ,    ­, .   ,   , ­   —  ,   .      ,   —  .      (   )    ,   ,  ,   .
      .      -   ,       ,      ­ .      , ,   ,    ,       .    ,     ,  :
«По рзезульаттам илссеовадний одонго анлигйсокго унвиертисета, не иеемт занчнеия, в кокам пряокде рсапожолены бкувы в солве. Галвоне, чотбы преавя и пслоендяя бквуы блыи на мсете. Осатьлыне бкувы мгоут селдовтаь в плоонм бсепордяке, все рвано ткест чтаитсея без побрелм. Пичрионй эгото ялвятеся то, что мы не чиатем кдаужю бкуву по отд­льенотси, а все солво цликеом».
         ­      —  (­ ,       ­     ). ,     , .   
49
     , .. ­  .
     ,   ­ .    .
 ,   ,     ,    —   .  ­ ()     ­ ,          : ,   ,  ­,    .  ,   ,    ,    ­ — .      ,      ;     ,       ().
      n  ­ ()  ,    ­   n    ,    классификатора:     i-  (i- ­),   i- .  ,  ­        ­ (),       ­  .      ­     , ­   .    ­   ,     .     ,  ­,        ,       ­    ,    ­ ,    .
     ,    «» ,    ,   :
«Пендпяртриы пыпокти дковесртарутионь тагнсенорделцнтаьно съутебка петум эмцаииилни инаынетнммх ему оолисгиконтчех, гоеиоч­лкнсогиесх, цнныосетнх и пиочрх иатониранвв»
1
.
1
«     ­    , ,    » (Векленко П.В.  : , ­, . , 2012. . 59).
50
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]