Труды КНЦ вып.9 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 10/2018(9))

5 . К а п у с т и н а М . А . О п о н я т и и « п р а в о в о е п о л е » / М . А . К а п у с т и н а / / П р а в о в е д е н и е . 2 0 0 6 . № 6 . С . 2 2 0 - 2 2 2 6 . Р а з р а б о т к а т е х н о л о г и и п р о в е р к и и с о г л а с о в а н и я н о р м а т и в н о - п р а в о в о й б а з ы н а о с н о в е о н т о л о г и й / / П . А . Л о м о в , А . Г . О л е й н и к 7 . А л ь ч у р р о н К . Э . О т д е л е н и е и о т м е н я е м о с т ь в д е о н т и ч е с к о й л о г и к е / п е р . с а н г л . Е . Н . Л и с а н ю к , А . М . П а в л о в о й / / « Н о р м а т и в н ы е с и с т е м ы » и д р у г и е р а б о т ы п о ф и л о с о ф и и п р а в а и л о г и к е н о р м / К . Э . А л ь ч у р р о н , Е . В . Б у л ы г и н , П . Г е р д е н ф о р с , Д . М а к и н с о н ; п о д р е д . Е . Н . Л и с а н ю к . С П б . , 2 0 1 3 . 3 8 0 с 8 . А . И в и н . Л о г и к а . Р е ж и м д о с т у п а : h t t p s : / / w w w . e - r e a d i n g . c l u b / b o o k . p h p ? b o o k = 2 4 0 4 4 9 . А . И в и н , Л о г и к а , у ч е б н и к д л я г у м а н и т а р н ы х ф а к у л ь т е т о в . П с и х о л о г и ч е с к а я б и б л и о т е к а К и е в с к о г о Ф о н д а с о д е й с т в и я р а з в и т и ю п с и х и ч е с к о й к у л ь т у р ы . Р е ж и м д о с т у п а : h t t p : / / p s y l i b . o r g . u a / b o o k s / i v i n a 0 1 / t x t 0 8 . h t m 1 0 . Э п и с т е м и ч е с к а я л о г и к а в п р о б л е м а т и к е и с к у с с т в е н н о г о и н т е л л е к т а . М а г и с т е р с к а я д и с с е р т а ц и я с т у д е н т а 2 к у р с а К л я ш т о р н о г о А . С 1 1 . М и к о в А . И . Ф о р м а л и з а ц и я ц е л е й и о г р а н и ч е н и й И Т С с р е д с т в а м и д е о н т и ч е с к о й л о г и к и / / А Н О « И н с т и т у т к о м п ь ю т и н г а » , г . П е р м ь , с . 4 7 1 2 . Г о р с к и й Д . П . , И в и н А . А . , Н и к и ф о р о в А . Л . К р а т к и й с л о в а р ь п о л о г и к е / / П р о с в е щ е н и е , М о с к в а , 1 9 9 1 , с . 2 0 8 1 3 . К л и н и С . М а т е м а т и ч е с к а я л о г и к а / / И з д а т е л ь с т в о М и р , М о с к в а , 1 9 7 3 , с . 4 8 0 , К о л м о г о р о в А . Н . , Д р а г а л и н А . Г . В в е д е н и е в м а т е м а т и ч е с к у ю л о г и к у / / И з д а т е л ь с т в о М о с к о в с к о г о у н и в е р с и т е т а , М о с к в а , 1 9 8 2 , с . 2 4 0 ] 14. С и д о р е н к о Е . А . Л о г и к а . П а р а д о к с ы . В о з м о ж н ы е м и р ы . Р а з м ы ш л е н и я о м ы ш л е н и и в д е в я т и о ч е р к а х . / / Е д и т о р и а л У Р С С , М о с к в а , 2 0 0 2 , с . 3 1 2 1 5 . П о с п е л о в Д А . М О Д Е Л И Р О В А Н И Е Р А С С У Ж Д Е Н И Й . О п ы т а н а л и з а м ы с л и т е л ь н ы х а к т о в . М о с к в а « Р а д и о и с в я з ь » 1 9 8 9 г . 1 6 . A l c h o u r r o n C a r l o s E . A n d B u l y g i n E u g e n i o . N o r m a t i v e S y s t e m s . L i b r a r y o f E x a c t P h i l o s o p h y , N o . 5 . S p r i n g e r - V e r l a g , N e w Y o r k a n d V i e n n a 1 9 7 1 , X V I I I + 2 0 8 p p . 1 7 . A l c h o u r r o n , C a r l o s E . ( 1 9 9 3 ) . P h i l o s o p h i c a l F o u n d a t i o n s o f D e o n t i c L o g i c a n d t h e L o g i c o f D e f e a s i b l e C o n d i t i o n a l s . I n M e y e r & W i e r i n g a 1 9 9 3 , 4 3 - 8 4 . 1 8 . A l l e n L . E . , S a x o n C . S . A n a l y s i s o f t h e l o g i c a l s t r u c t u r e o f l e g a l r u l e s b y a m o d e r n i z e d a n d f o r m a l i z e d v e r s i o n o f H o h f e l d ' s f u n d a m e n t a l l e g a l c o n c e p t i o n s . - 1 9 8 5 . 1 9 . M a n n B . H . T h e F o r m a l i z a t i o n o f I n f o r m a l L a w : A r b i t r a t i o n B e f o r e t h e A m e r i c a n R e v o l u - t i o n / / N Y U L R e v . - 1 9 8 4 . - Т . 5 9 . - С . 4 4 3 . 2 0 . F r a n c e s c o n i E . e t a l . ( e d . ) . S e m a n t i c p r o c e s s i n g o f l e g a l t e x t s : W h e r e t h e l a n g u a g e o f l a w m e e t s t h e l a w o f l a n g u a g e . - S p r i n g e r , 2 0 1 0 . - Т . 6 0 3 6 . 2 1 . B r i g h i R . , P a l m i r a n i M . L e g a l t e x t a n a l y s i s o f t h e m o d i f i c a t i o n p r o v i s i o n s : a p a t t e r n o r i e n t e d a p p r o a c h / / P r o c e e d i n g s o f t h e 1 2 t h I n t e r n a t i o n a l C o n f e r e n c e o n A r t i f i c i a l I n t e l l i g e n c e a n d L a w . - A C M , 2 0 0 9 . - С . 2 3 8 - 2 3 9 . 2 2 . V o n W r i g h t G . H . E x p l a n a t i o n a n d u n d e r s t a n d i n g . - C o r n e l l U n i v e r s i t y P r e s s , 2 0 0 4 2 3 . К у з н е ц о в И . П . С е м а н т и к о - о р и е н т и р о в а н н ы е с и с т е м ы н а о с н о в е б а з з н а н и й / И . П . К у з н е ц о в , А . Г . М а ц к е в и ч / / М Т У С И , 2 0 0 7 I S B N 5 9 4 8 7 4 0 2 7 7 . - М о с к в а , 2 0 0 7 , 1 7 3 с . 2 4 . М ь ё Т х е т Н а у н г , Д е в я т к о в В л а д и м и р В а л е н т и н о в и ч Ф о р м а л ь н а я п р о в е р к а п р а в и л ь н о с т и с е т е в о г о в з а и м о д е й с т в и я а г е н т о в , с п е ц и ф и ц и р у е м ы х н а 118