Правовая информатика - это область информатики .
Американская библиотечная ассоциация определяет информатику как «изучение структуры и свойств в информации , а также применение технологии в организациях , хранение , поиск и распространение информации.» Юридическая информатика, поэтому относится к области применения информатики в контексте правовой среды и как таковые предполагает закон о связанных организациях (например, адвокатские бюро, суды и юридические школы ) и пользователи информации иинформационные технологии в этих организациях. [1]
Проблемы политики в области правовой информатики возникают из-за использования информационных технологий при исполнении закона, таких как использование повесток в суд для получения информации, содержащейся в электронной почте, поисковых запросах и социальных сетях. Политические подходы к вопросам правовой информатики различаются во всем мире. Например, европейские страны, как правило, требуют уничтожения или анонимности данных, чтобы их нельзя было использовать для обнаружения. [2]
Широкое распространение облачных вычислений дает ряд преимуществ при предоставлении юридических услуг. Поставщики юридических услуг могут использовать модель « Программное обеспечение как услуга» для получения прибыли, взимая с клиентов плату за использование или подписку. Эта модель имеет несколько преимуществ по сравнению с традиционными индивидуальными услугами.
Программное обеспечение как услуга также усложняет отношения между адвокатом и клиентом, что может повлиять на его конфиденциальность . Традиционная модель предоставления услуг позволяет легко определить, когда адвокат-клиент имеет право, а когда нет. Но в более сложных моделях предоставления юридических услуг другие участники или автоматизированные процессы могут регулировать отношения между клиентом и его поверенным, что затрудняет определение того, какое общение должно быть юридически конфиденциальным . [3]
Искусственный интеллект используется в онлайн- платформах для разрешения споров, которые используют алгоритмы оптимизации и слепые торги. [4] Искусственный интеллект также часто используется при моделировании правовой онтологии , «явной, формальной и общей спецификации концептуализации свойств и отношений между объектами в данной области». [5]
Искусственный интеллект и право (ИИ и право) - это область искусственного интеллекта (ИИ), которая в основном занимается приложениями ИИ к проблемам правовой информатики и оригинальными исследованиями по этим проблемам. Он также заинтересован в том, чтобы внести свой вклад в другом направлении: экспортировать инструменты и методы, разработанные в контексте юридических проблем, в AI в целом. Например, теории принятия юридических решений, особенно модели аргументации , способствовали представлению и обоснованию знаний ; модели социальной организации, основанные на нормах , способствовали созданию многоагентных систем ; аргументация с юридическими делами способствовала аргументированию на основе дел; и необходимость хранить и извлекать большие объемы текстовых данных привела к вкладу в поиск концептуальной информации и интеллектуальные базы данных.
Хотя Ловингер [6] Аллен [7] и Мел [8] предвосхитили несколько идей, которые станут важными в ИИ и праве, первым серьезным предложением по применению методов ИИ в праве обычно считается Бьюкенен и Хедрик. [9] Ранние работы этого периода включают влиятельный проект TAXMAN [10] Торна Маккарти в США и проект LEGOL [11] Рональда Стампера в Великобритании. Вехой начала 1980-х гг. Являются работа Кэрол Хафнер по концептуальному поиску [12] работа Энн Гарднер по договорному праву [13] работа Риссленда по юридическим гипотезам [14]и работа в Имперском колледже Лондона по представлению законодательства с помощью исполняемых логических программ. [15]
Ранние встречи ученых включали разовую встречу в Суонси [16], серию конференций, организованных IDG во Флоренции [17], и семинары, организованные Чарльзом Уолтером в Хьюстонском университете в 1984 и 1985 годах. [18] В 1987 году. проводимая раз в два года конференция - Международная конференция по искусственному интеллекту и праву (ICAIL). [19] Эта конференция стала рассматриваться как главное место для публикации и развития идей в области искусственного интеллекта и права [20], и это привело к созданию Международной ассоциации искусственного интеллекта и права (IAAIL) для организации и проведения последующие ICAIL. Это, в свою очередь, привело к созданию журнала «Искусственный интеллект и право», впервые опубликованного в 1992 году.[21] В Европе ежегодные конференции JURIX (организованные Jurix Foundation для систем на основе правовых знаний) начались в 1988 году. Первоначально предназначенные для объединения голландскоязычных (т. Е. Голландских и фламандских) исследователей, JURIX быстро превратилась в международную конференции, в первую очередь европейские, а с 2002 года регулярно проводятся за пределами голландскоязычных стран. [22] С 2007 года семинары JURISIN проводятся в Японии под эгидой Японского общества искусственного интеллекта. [23]
Сегодня искусственный интеллект и право охватывают широкий спектр тем, в том числе:
Формальные модели юридических текстов и юридической аргументации использовались в искусственном интеллекте и праве, чтобы прояснить проблемы, дать более точное понимание и обеспечить основу для реализации. Использовались различные формализмы, включая исчисления высказываний и предикатов; деонтическая, темпоральная и немонотонная логика; диаграммы переходов между состояниями. Праккен и Сартор [26] дают подробный и авторитетный обзор использования логики и аргументации в искусственном интеллекте и праве, а также исчерпывающий набор ссылок.
Важная роль формальных моделей - устранять двусмысленность. Фактически, законодательство изобилует двусмысленностью: поскольку оно написано на естественном языке, скобок нет, и поэтому объем связок, таких как «и» и «или», может быть неясным. «Если» также допускает несколько интерпретаций, и составители закона никогда не пишут «если и только если», хотя часто это именно то, что они подразумевают под «если». Возможно, в самом раннем использовании логики для моделирования закона в искусственном интеллекте и праве непрофессионал Аллен в серии статей выступал за использование логики высказываний для разрешения таких синтаксических двусмысленностей. [7]
В конце 1970-х и на протяжении 1980-х годов значительная часть работы в области ИИ и права включала создание исполняемых моделей законодательства, заимствованных из TAXMAN [10] Торна Маккарти и LEGOL Рональда Стампера. [11] TAXMAN использовался для моделирования аргументов большинства и меньшинства в деле о налоговом законодательстве США ( Eisner v Macomber ) и был реализован на языке программирования micro-PLANNER . LEGOL использовался для предоставления формальной модели правил и положений, регулирующих деятельность организации, и был реализован на языке правил «условие-действие», который используется в экспертных системах.
Языки TAXMAN и LEGOL были исполняемыми языками, основанными на правилах, которые не имели явной логической интерпретации. Однако официальное оформление значительной части Закона о британском гражданстве Серго и др. [15] показали, что естественный язык юридических документов имеет большое сходство с подмножеством клаузулы Хорна исчисления предикатов первого порядка. Более того, он выявил необходимость расширить использование оговорок Хорна путем включения отрицательных условий для представления правил и исключений. Результирующие расширенные предложения Horn исполняются как логические программы .
Более поздняя работа над более крупными приложениями, такими как «Дополнительные преимущества» [27], показала, что логические программы нуждаются в дальнейших расширениях, чтобы иметь дело с такими сложностями, как множественные перекрестные ссылки, контрфактические утверждения, предполагаемые положения, поправки и высокотехнологичные концепции (например, условия взносов). ). Было предложено использовать иерархические представления [28] для решения проблемы перекрестных ссылок; и так называемые изоморфные [29] представления были предложены для решения проблем проверки и частого исправления. По мере развития 1990-х годов это направление работы было частично поглощено разработкой формализаций концептуализаций предметной области (так называемые онтологии), который стал популярным в искусственном интеллекте после работы Грубера. [30] Ранние примеры в области искусственного интеллекта и права включают функциональную онтологию Валенте [31] и фрейм, основанный на онтологиях Виссера и ван Кралингена. [32] С тех пор правовые онтологии стали предметом регулярных семинаров на конференциях по искусственному интеллекту и праву, и есть много примеров, начиная от общих онтологий верхнего уровня и основных [33] до очень конкретных моделей отдельных частей законодательства.
Поскольку закон состоит из наборов норм, неудивительно, что деонтическая логика была опробована в качестве формальной основы для моделей законодательства. Однако они не получили широкого распространения в качестве основы для экспертных систем, возможно, потому, что экспертные системы должны обеспечивать соблюдение норм, тогда как деонтическая логика представляет реальный интерес только тогда, когда нам нужно учитывать нарушения норм. [34] В установленных законом обязательствах [35], согласно которым обязательство возникает перед другим поименованным лицом, представляют особый интерес, поскольку нарушения таких обязательств часто являются основанием судебного разбирательства. Есть также интересная работа, объединяющая деонтическую логику и логику действия для изучения нормативных позиций. [36]
В контексте многоагентных систем нормы были смоделированы с использованием диаграмм перехода состояний. Часто, особенно в контексте электронных институтов [37], описанные таким образом нормы регламентированы (т. Е. Не могут быть нарушены), но в других системах нарушения также обрабатываются, что дает более точное отражение реальных норм. Хороший пример этого подхода см. В Modgil et al. [38]
Закон часто касается вопросов, касающихся времени, как связанных с содержанием, таких как периоды времени и крайние сроки, так и вопросов, относящихся к самому закону, например, открытия. Были предприняты некоторые попытки смоделировать эту временную логику с использованием как вычислительных формализмов, таких как исчисление событий [39], так и темпоральных логик, таких как устранимая временная логика. [40]
При любом рассмотрении использования логики для моделирования закона необходимо иметь в виду, что закон по своей сути немонотонен, о чем свидетельствуют права на обжалование, закрепленные во всех правовых системах, и способ, которым меняются толкования закона. со временем. [41] [42] [43] Более того, при разработке закона изобилуют исключения, а при применении закона прецеденты отменяются, а также соблюдаются. В подходах к логическому программированию отрицание как отказ часто используется для обработки немонотонности [44], но также используются специфические немонотонные логики, такие как устранимая логика [45] . Следуя развитию абстрактной аргументации, [46] однако эти проблемы все чаще решаются путем аргументации в монотонной логике, а не путем использования немонотонной логики.
Существуют как академические, так и проприетарные модели количественного правового прогнозирования. Одним из первых примеров работающей количественной модели правового прогнозирования стал проект прогнозирования Верховного суда . Модель прогнозирования Верховного суда попыталась предсказать результаты всех дел на срок полномочий Верховного суда 2002 года. Модель правильно предсказала 75% случаев по сравнению с экспертами, которые предсказали только 59,1% случаев. [47] Другой пример академических количественных моделей юридического прогнозирования - это модель 2012 года, которая предсказывала результат коллективных исков по федеральным ценным бумагам. [48] Некоторые ученые и стартапы в области юридических технологий пытаются создать алгоритмические модели для прогнозирования исходов дел. [49] [50]Частью этих общих усилий является улучшение оценки дел для финансирования судебных разбирательств. [51]
Чтобы лучше оценивать качество систем прогнозирования исходов случаев, было внесено предложение создать стандартизированный набор данных, который позволил бы проводить сравнения между системами. [52]
В концептуальной области практических вопросов продолжается прогресс как в области судебных разбирательств, так и технологий, ориентированных на транзакции. В частности, технология, включающая прогнозирующее кодирование, может существенно повысить эффективность юридической практики. Хотя прогнозное кодирование в значительной степени применяется в сфере судебных разбирательств, оно начинает проникать в практику транзакций, где оно используется для улучшения проверки документов при слияниях и поглощениях. [53] Другие достижения, включая кодирование XML в транзакционных контрактах и все более совершенные системы подготовки документов, демонстрируют важность правовой информатики в пространстве транзакционного права. [54] [55]
Текущие приложения ИИ в юридической сфере используют машины для проверки документов, особенно когда зависит высокий уровень полноты и уверенности в качестве анализа документов, например, в случаях судебных разбирательств и когда должная осмотрительность играет роль. [56] Прогностическое кодирование использует небольшие выборки для перекрестных ссылок на похожие элементы, отсеивает менее релевантные документы, чтобы адвокаты могли сосредоточиться на действительно важных ключевых документах, выдает статистически подтвержденные результаты, равные или превосходящие точность и, что особенно важно, уровень человеческого рассмотрение. [57]
Достижения в области технологий и правовой информатики привели к появлению новых моделей предоставления юридических услуг. Юридические услуги традиционно были продуктом «на заказ», созданным профессиональным юристом индивидуально для каждого клиента. [58] Однако, чтобы работать более эффективно, части этих услуг будут последовательно переходить от (1) заказных к (2) стандартизированным, (3) систематизированным, (4) пакетным и (5) коммодитизированным. [58] Переход от одного этапа к другому потребует использования различных технологий и систем знаний. [58]
Распространение Интернета и развитие юридических технологий и информатики расширяют юридические услуги для физических лиц и малых и средних компаний.
Корпоративные юридические отделы могут использовать правовую информатику для таких целей, как управление патентным портфелем [59], а также для подготовки, настройки и управления документами. [60]
|journal=
( помощь )Для этой статьи нужны дополнительные или более конкретные категории . ( Июль 2021 г. ) |