Извини, что не отвечаю прямо твой вопрос - выскажу только замечание. Попытки наверняка делались, но, я думаю, лишь на уровне научных работ. А значит - закрытое или/и ограниченное применение. Обилие ньюансов и иногда просто ошибок в текстах (http://irbis.asu.ru/mmc/golev/22.ru.shtml, что-то еще в Компьютерре читал), а также привязка к конкретному языку делают анализ противоречий нереализуемым технически. Надеюсь, что я ошибаюсь.
Ситуацию можно упростить, если привести все существующие законы и приводить новые к единому формату, согласовать терминологию, как-то структурировать. И тогда машинные алгоритмы можно будет существенно упростить.
Можно немного помечтать на тему, что будет в государстве, если такие системы появятся и будут широко доступными.
Ситуацию можно упростить, если привести все существующие законы и приводить новые к единому формату, согласовать терминологию, как-то структурировать. И тогда машинные алгоритмы можно будет существенно упростить.
Я вот тоже как раз в эту сторону и думал, т.к. разбирать законы просто в виде языка, в том виде, в котором он есть, это задача искусственного интелекта, к тому же о-о-о-очень продвинутого.
Думаю нужен некий формат, подлежащий автоматизированной обработке. Все законы изначально выходят в двух видах: алгоритмизованном в этом самом формате и в виде перевода этого формата на человеческий язык. Причем важно, чтобы первичным был именно формализованный вариант, который не дает возможности "цепляться" в словам или выдумывать всякие новые смыслы. Т.е. решение спорных вопросов будет вестись именно в терминах этого формата. А вот кстати перевод на "человеческий" язык из формата как раз будет можно автоматизировать. Правда результаты будет сухие и штампованные, но зато однозначные :)
мне кажется, эти юридические закорючки крайне сложно формализовать. все вермя с ужасом вспоминаю, как мы изучали журнал Главный бухгалтер с мамой и папой. Почти в каждый фразе мы все находили свой смысл, полностью противоречащий другим :) А уж что имели в виду сами "настоящие бухгалтеры", у которых обычно вообще проблемы с ээээ логическим и аналитическим - представить сложно(попрошу никого из знакомых мне бухгалтеров не обижаться)
А вот в том-то все и дело, что формализованный язык, я надеюсь, почти не оставит места для всех этих "закорючек" и "прочих смыслов", т.е. все это будет раздавлено в зародыше :)
"Закорючки" - это вредное следствие, а вовсе не причина издания законов (по крайней мере так должно быть:) ) Именно с ними я предлагаю бороться формализованным подходом, в котором не будет места ньюансам использования слов, построения фраз и всему прочему, что вытекает непосредственно из формулировки на конкретном человеческом языке.
Хочется верить, что если пойти таким путем, то можно будет избавится от львиной доли имеющихся сейчас в этой области проблем. Насколько это реально, я точно не знаю. Вот жду, пока юристы скажут свое слово...
Если действовать так, как я написал в комменте выше, то это скорее всего реально, очень сложно, но реально.
Гораздо менее реальным выглядит то, чтобы после того, как придумают как это формализовать, все государства (ну или хотя бы наше) стало это использовать.
Comments 10
Ситуацию можно упростить, если привести все существующие законы и приводить новые к единому формату, согласовать терминологию, как-то структурировать. И тогда машинные алгоритмы можно будет существенно упростить.
Можно немного помечтать на тему, что будет в государстве, если такие системы появятся и будут широко доступными.
Reply
Я вот тоже как раз в эту сторону и думал, т.к. разбирать законы просто в виде языка, в том виде, в котором он есть, это задача искусственного интелекта, к тому же о-о-о-очень продвинутого.
Думаю нужен некий формат, подлежащий автоматизированной обработке. Все законы изначально выходят в двух видах: алгоритмизованном в этом самом формате и в виде перевода этого формата на человеческий язык. Причем важно, чтобы первичным был именно формализованный вариант, который не дает возможности "цепляться" в словам или выдумывать всякие новые смыслы. Т.е. решение спорных вопросов будет вестись именно в терминах этого формата. А вот кстати перевод на "человеческий" язык из формата как раз будет можно автоматизировать. Правда результаты будет сухие и штампованные, но зато однозначные :)
Reply
все вермя с ужасом вспоминаю, как мы изучали журнал Главный бухгалтер с мамой и папой.
Почти в каждый фразе мы все находили свой смысл, полностью противоречащий другим :)
А уж что имели в виду сами "настоящие бухгалтеры", у которых обычно вообще проблемы с ээээ логическим и аналитическим - представить сложно(попрошу никого из знакомых мне бухгалтеров не обижаться)
Reply
"Закорючки" - это вредное следствие, а вовсе не причина издания законов (по крайней мере так должно быть:) ) Именно с ними я предлагаю бороться формализованным подходом, в котором не будет места ньюансам использования слов, построения фраз и всему прочему, что вытекает непосредственно из формулировки на конкретном человеческом языке.
Хочется верить, что если пойти таким путем, то можно будет избавится от львиной доли имеющихся сейчас в этой области проблем. Насколько это реально, я точно не знаю. Вот жду, пока юристы скажут свое слово...
Reply
слишком уж сложно все.
Reply
Гораздо менее реальным выглядит то, чтобы после того, как придумают как это формализовать, все государства (ну или хотя бы наше) стало это использовать.
Reply
Leave a comment