Добавил:

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

Вуз:

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

Предмет:

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

Файл:

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

.pdf

Скачиваний:

Добавлен:

07.09.2026

Размер:

1 Мб

Скачать

☆

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

 III.    



§ 1.     

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

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

131

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

,         «»       

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

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

Hart H. L. A. Positivism and the Separation of Law and Morals // Harvard Law

Review. Vol. 71. No. 4 (Feb., 1958). P. 593–629.

132

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

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

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

 ,           -

Грачев В. Д.      //  -

. 2008. 2. . 34.

133

.        ,    1970- .          TurboTax,  



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

.               .  , ,     ;       .

  TurboTax,     ,      ,      .        ,  ,      .         ,           .         

      

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

,   7,    -

.     -

McCarty L. T. Reections on TAXMAN: An experiment in articial intelligence and

legal reasoning // Harvard Law Review. Vol. 90. No. 5. P. 837–893.

Sergot M. J. et al. e British Nationality Act as a Logic Program // Communications

of the ACM. Vol. 29. No. 5 (May 1986). P. 370-386.

Eastman C. et al., Automatic Rule-Based Checking of Building Designs // Automation

in Construction. Vol. 18. Iss. 8 (Dec. 2009). P. 1017–1018.

Symantec Corporation, e Importance of Automating Compliance. URL: https:// www.symantec.com/business/resources/articles/article.jsp?aid=20090224_the_importance_ of_automating_compliance ( : 11.04.2013).

IBM Corporation, Compliance Management Solutions. URL: http://www.ibm.com/ soware/tivoli/governance/security/compliance.html ( : 11.04.2013).

IBM Corporation, Business Rule Management Systems for Financial Markets. URL: http://www.ibm.com/soware/websphere/industries/nancial/ ( : 11.04.2013).

134

       ,

  

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

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

 ()       .  юридическим контекстом        ,   ,    ,  .    « »            .

        (,        ).      (,  ,      ).          . ,    ,   ,  ,     ,    59%    . ,  -

Stanford University, Stanford Intellectual Property Exchange. URL: http://codex.

stanford.edu/projects.html ( : 11.04.2013).

Weitzner D. J. et al., Transparent Accountable Data Mining: New Strategies for Privacy Protection (2006). URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi= ?doi=10.1.1.128.1076 ( : 18.06.2010).

Lodder A. R. et al., AI & Criminal Law: Past, Present & Future // Legal Knowledge Based Systems, Jurix 1998. URL: http://jurix.nl/pdf/j98-05.pdf ( : 15.01.2017).

135

       -

     78%

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

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

-,   «» (   «»)    .

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

§ 2.     

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

Martin A. D. et al., Competing Approaches to Predicting Supreme Court Decision

Making // Perspectives on Politics. Vol. 2. Iss. 4 (Dec. 2004). P. 761–767.

136

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

  

.    , ,    ,     ..,        ,     .     -,      :

«Если человек получил от другого человека пахотное поле для культивирования, но не возделывал его, превращая в пустошь, то он должен отдать три меры ячменя за каждую единицу площади поля».

               «--».   Событие, . .   ,  ,    : ,   .      :

:



:

:



:       :        

  ,     



 действие —  ,     , усло- вие    ,            .           — ,  . ,        ,           .

         ( 300  ),     (653 ..).       ,      .      :

Logrippo L. From e-business to e-laws and e-judgments: 4,000 years of experience// CYBERLAWS 2011 : proc. of the 2nd International Conference on Technical and Legal Aspects of the e-Society (Feb. 2011). Gosier, Guadeloupe, France, 2011.  22–28.

137

«В случаях, когда кто-то сначала ударил человека …, азатем захватил его имущество, вычисляют стоимость захваченного имущества, чтобы применить закон о грабеже сприменением насилия. Если в результате наступила смерть, то наказание — каторга. Если он взял товары скрытно, используй закон о краже, но увеличь штрафы на одну степень. Если причинена смерть или повреждение, то следует применять законы о намеренном избиении».

«Тот, кто обрабатывает общественную или частную землю, на которую не имеет права, тот подвергается битью тридцатью ударами за первый му или меньше (здесь «му» — мера площади), увеличивая на одну степень за каждые пять му. После того, как наказание достигает ста ударов, степень увеличивается за каждые десять му. Максимальное наказание— каторжные работы полтора года. Наказание уменьшается на одну степень, если земля была некультивирована. Если применялось насилие, штраф увеличивается на одну степень. Зерновые культуры принадлежат правительству или владельцу».

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

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

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

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

138

  ,    .   ,          .  ,  , ,      ,     ,   ,   .      Демон- страция, Намерение, Судебное решение, Осуждение.

  Демонстрации   ,     ( ,   ,   ), : «  ,     B…», «-B…», «-…», «  ,  A  B      …».    ,    .

 Намерении       , ,  : « ,  A   B -A   B -   B -B - …», « ,    …», « ,  A   B,  B   …».

Судебное решение                           , : «  ,     ,  ».

Осуждение        : «  ,  A  B …;    ,     ».

      .     ,                .  ,  ,            (Исключения)       ;      .  ,  ,     ;      ,        ,  случай   Намерении, Условие —  Де-

монстрации  Намерении,  Действие —  Судебном решении   Осуждении.         -

,       ,      , .. ,   Условие  Намерении   

139

(      ,   ..). Судебное ре- шение  Осуждение    , ..     .

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

      ?  ,   ,         событие — условие — действие        (          ,   Prolog).       ,          . ,      .          ,                  событие— усло- вие— действие.         ,                            .     ,   ,    ,      .     (,   )     : «  ,    B  (   ):     A ,  B    X      6 ».         :                ; ,       : «    ».    ,   ,     ,         .  ,

140

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

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