Правовая информатика
Политика
Вопросы политики в правовой информатике возникают из-за использования информационных технологий в реализации закона, таких как использование повесток для информации, найденной в электронной почте, поисковых запросах и социальных сетях. Политические подходы к вопросам правовой информатики различаются во всем мире. Например, европейские страны, как правило, требуют уничтожения или анонимизации данных, чтобы их нельзя было использовать для обнаружения.
История[править]
Хотя Левингер, Аллен и Мел предвидели несколько идей, которые станут важными в ИИ и праве, первое серьезное предложение о применении методов ИИ к закону обычно принимается Бьюкенен и Хедрик. ранняя работа с этого периода включает влиятельный проект налоговика Торна Маккарти в США и проект LEGOL Рональда Стэмпера в Великобритании. Ориентиры в начале 1980-х включают работу Кэрол Хафнер над концептуальным поиском ,работу Энн Гарднер над договорным правом ,работу Риссленда над юридическими гипотетиками] и работа в Имперском колледже Лондона по представлению законодательства посредством исполняемых логических программ.
Ранние встречи ученых включали одноразовую встречу в Суонси ,серию конференций, организованных IDG во Флоренции и семинары, организованные Чарльзом Уолтером в Университете Хьюстона в 1984 и 1985. в 1987 году была учреждена двухгодичная конференция-Международная конференция по Ма и праву (ICAIL). эта конференция начала рассматриваться как основное место для публикации и развития идей в рамках ИИ и права, и это привело к созданию Международной ассоциации искусственного интеллекта и права (IAAIL) для организации и созыва последующих ICAILs. Это, в свою очередь, привело к созданию журнала искусственного интеллекта и права, впервые опубликованного в 1992 году. В Европе ежегодные конференции JURIX (организуемые Фондом правовых знаний Jurix Foundation for Legal Knowledge Based Systems) начались в 1988 году. Первоначально предназначенный для объединения голландскоязычных (т. е. голландских и фламандских) исследователей, JURIX быстро превратился в международную, прежде всего европейскую, конференцию и с 2002 года регулярно проводится за пределами голландскоязычных стран.[21] с 2007 года семинары JURISIN проводятся в Японии под эгидой японского общества искусственного интеллекта .
Область действия[править]
Сегодня ИИ и закон охватывают широкий круг тем, в том числе:
- Формальные модели правового обоснования
- Вычислительные модели аргументации и принятия решений
- Вычислительные модели доказательного рассуждения
- Правовое обоснование в мультиагентных системах
- Исполняемые модели законодательства
- Автоматическая классификация и обобщение юридических текстов
- Автоматизированное извлечение информации из юридических баз данных и текстов
- Машинное обучение и интеллектуальный анализ данных для электронного обнаружения и других юридических приложений
- Концептуальный или основанный на модели поиск правовой информации
- Lawbots для автоматизации мелких и повторяющихся юридических задач
- Оценка рисков, ценообразование и прогнозы сроков судебных разбирательств с использованием машинного обучения и искусственного интеллекта.
Формальные модели юридического рассуждения[править]
Формальные модели правовых текстов и правовых аргументов использовались в ИИ и праве для прояснения вопросов, более точного понимания и обеспечения основы для осуществления. Использовались различные формализмы, включая пропозициональные и предикатные исчисления, деонтическую, временную и немонотонную логику, диаграммы переходов состояний. Праккен и Сартор [26] дают подробный и авторитетный обзор использования логики и аргументации в ИИ и праве вместе с полным набором ссылок.
Важная роль формальных моделей заключается в устранении двусмысленности. На самом деле, законодательство изобилует двусмысленностью: поскольку оно написано на естественном языке, нет скобок, и поэтому объем таких связок, как "и" и "или", может быть неясным. "Если" также способен на несколько интерпретаций, а законный составитель никогда не пишет "если и только если", хотя это часто то, что они подразумевают под "Если". Возможно, в самом раннем использовании логики для моделирования права в ИИ и праве непрофессионал Аллен выступал за использование пропозициональной логики для решения таких синтаксических двусмысленностей в серии статей.[6]]
В конце 1970-х и на протяжении 1980-х годов значительная часть работы по ИИ и праву включала в себя производство исполняемых моделей законодательства, начиная с TAXMAN Торна Маккарти [9] и LEGOL Рональда Стэмпера . TAXMAN использовался для моделирования аргументов большинства и меньшинства в случае налогового права США ( Eisner v Macomber) и был реализован на языке программирования micro-PLANNER. LEGOL была использована для обеспечения формальной модели правил и положений, регулирующих деятельность организации, и была реализована на языке правил, определяющих условия, который используется для экспертных систем.
Языки TAXMAN и LEGOL были исполняемыми, основанными на правилах языками, которые не имели явной логической интерпретации. Однако формализация значительной части британского Закона О гражданстве Sergot et al показала, что естественный язык юридических документов имеет близкое сходство с подмножеством предложения Хорна исчисления предикатов первого порядка. Кроме того, она указала на необходимость расширения использования положений о Роге путем включения негативных условий для представления норм и исключений. Полученные расширенные предложения Horn выполняются как логические программы .
Более поздняя работа над более крупными приложениями, такими как то на дополнительных преимуществах, показала, что логические программы нуждаются в дальнейших расширениях, чтобы иметь дело с такими осложнениями как многократные перекрестные ссылки, контрфактуалы, рассматривая положения, поправки и очень технические понятия (такие как условия вклада). Для решения проблемы перекрестной ссылки предложено использование иерархических представлений и так называемых изоморфных для решения проблем проверки и частых поправок было предложено представить свои представления. По мере развития 1990-х годов это направление работы стало частично поглощаться разработкой формализаций концептуализаций предметной области (так называемых онтологий), которые стали популярными в ИИ после работы Грубера. ранние примеры в ИИ и праве включают функциональную онтологию Валенте и основанные на кадре онтологии Виссера и Ван Кралингена. Юридические онтологии с тех пор стали предметом регулярных семинаров на конференциях по искусственному интеллекту и праву, и есть много примеров, начиная от общих онтологий верхнего уровня и основных онтологий [33] до очень конкретных моделей конкретных законодательных актов.
Поскольку право включает в себя наборы норм, неудивительно, что деонтическая логика рассматривается в качестве формальной основы для моделей законодательства. Однако они не были широко приняты в качестве основы для экспертных систем, возможно, потому, что экспертные системы должны обеспечивать соблюдение норм, тогда как деонтическая логика представляет реальный интерес только тогда, когда мы должны рассматривать нарушения норм. в законе направленные обязательства, при этом особый интерес представляют обязательства перед другим поименованным лицом, поскольку нарушения таких обязательств часто являются основой судопроизводства. Существует также ряд интересных работ, объединяющих деонтическую логику и логику действий для изучения нормативных положений.
В контексте многоагентных систем нормы моделируются с использованием диаграмм перехода состояний. Часто, особенно в контексте электронных учреждений, нормы, описанные таким образом, регламентированы (т. е., не могут быть нарушены), но в других системах нарушения также обработаны, давая более точное отражение реальных норм. Хороший пример такого подхода см. В Modgil et al.
Закон часто касается вопросов, касающихся времени, как связанных с содержанием, таких, как сроки и предельные сроки, так и связанных с самим законом, таких, как открытие производства. Некоторые попытки были сделаны, чтобы смоделировать эти временные логики, используя и вычислительные формализмы, такие как исчисление событий и временные логики, такие как defeasible временная логика.
При любом рассмотрении вопроса об использовании логики для моделирования права необходимо иметь в виду, что право по своей сути немонотонно, о чем свидетельствуют права на обжалование, закрепленные во всех правовых системах, и то, каким образом толкования права меняются с течением времени. кроме того, при разработке проектов законов имеется большое количество исключений, а при применении права прецеденты отменяются, а также следуют. В подходах логического программирования отрицание как неудача часто используется, чтобы обращаться с немонотонностью, но определенными немонотонными логиками, такими как побеждаемая логика] также были использованы. После развития абстрактной аргументации ,однако, эти проблемы все больше решаются через аргументацию в монотонной логике, а не через использование немонотонных логик.
Количественное юридическое предсказание[править]
Существуют как академические, так и собственные модели количественного правового прогнозирования. Один из самых ранних примеров работающей модели количественного правового прогнозирования произошел в форме проекта прогнозирования Верховного Суда. Модель прогнозирования Верховного Суда попыталась спрогнозировать результаты всех дел на срок полномочий Верховного Суда 2002 года. Модель правильно предсказала 75% случаев по сравнению с экспертами, которые предсказали только 59,1% случаев. Другим примером академических моделей количественного правового прогнозирования является модель 2012 года, которая предсказала результат исков по искам к федеральным ценным бумагам. Некоторые ученые и стартапы юридических технологий пытаются создать алгоритмические модели для прогнозирования результатов дела. часть этих усилий связана с улучшением оценки дел для финансирования судебных процессов.
Для того чтобы лучше оценить качество систем прогнозирования результатов наблюдений, было предложено создать стандартизированный набор данных, который позволил бы проводить сравнения между системами.
Юридическая практика[править]
В концептуальной области практических вопросов по-прежнему наблюдается прогресс как в области судебных разбирательств, так и в области транзакционных технологий. В частности, технология, включающая прогнозирующее кодирование, может привести к существенному повышению эффективности юридической практики. Хотя прогностическое кодирование в основном применяется в судебных процессах, оно начинает активно внедряться в практику сделок, где оно используется для улучшения анализа документов при слияниях и поглощениях. Другие достижения, включая кодирование XML в договорах сделок и все более совершенные системы подготовки документов, демонстрируют важность правовой информатики в пространстве транзакционного права.
Современные применения Ма в правовой области используют механизмы для рассмотрения документов, особенно в тех случаях, когда от высокого уровня полноты и уверенности в качестве анализа документов зависит, например, в случаях судебных разбирательств и когда должная осмотрительность играет определенную роль. . Прогностическое кодирование использует небольшие выборки для перекрестных ссылок на аналогичные предметы, отсеивает менее релевантные документы, чтобы адвокаты могли сосредоточиться на действительно важных ключевых документах, дает статистически подтвержденные результаты, равные или превосходящие точность и, что особенно важно, скорость обзора человека.
Предоставление услуг[править]
Достижения в области технологии и правовой информатики привели к появлению новых моделей оказания юридических услуг. Юридические услуги традиционно являются "заказным" продуктом, созданным профессиональным юристом на индивидуальной основе для каждого клиента.Однако, чтобы работать более эффективно, части этих услуг будут последовательно переходить от
- (1) заказного к
- (2) стандартизированному,
- (3) систематизированному,
- (4) упакованному и
- (5) коммерциализированному.Переход от одного этапа к другому потребует применения различных технологий и систем знаний .
Распространение интернета и развитие юридических технологий и информатики способствуют распространению юридических услуг среди физических лиц и малых и средних компаний.
Корпоративные юридические отделы[править]
Корпоративные юридические отделы могут использовать правовую информатику для таких целей, как управление патентными портфелями, а также для подготовки, настройки и управления документами.