?

Log in

No account? Create an account
kouzdra [entries|archive|friends|userinfo]
kouzdra

[ website | www.kouzdra.org ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

July 6th, 2018

По поводу "механизации юриспруденции" [Jul. 6th, 2018|09:29 am]
kouzdra
У меня в комментах происходит массовое упраженение в иллюстрировании известной статьи Тьюринга на тему машинного мышления. Ну разве что задача обсуждается менее глобальная. Причем главный мотив imho тут "возражение №2":
2. Возражение со «страусиной» точки зрения

«Последствия машинного мышления были бы слишком ужасны. Будем надеяться и верить, что машины не могут мыслить».

Это возражение редко выражают в столь открытой форме. Но оно звучит убедительно для большинства из тех, кому оно вообще приходит в голову. Мы склонны верить, что человек в интеллектуальном отношении стоит выше всей остальной природы. Лучше всего, если бы удалось доказать, что человек необходимо является самым совершенным существом, ибо в таком случае он может бояться потерять своё доминирующее положение. Ясно, что популярность теологического возражения связана именно с этим чувством. Это чувство, вероятно, особенно сильно у людей интеллигентных, так как они ценят силу мышления выше, чем остальные люди, и более склонны основывать свою веру в превосходство человека на этой способности.

Я не считаю, что это возражение является достаточно существенным для того, чтобы требовалось какое-либо опровержение. Утешение здесь было бы более подходящим: не предложить ли искать его в учении о переселении душ?
Не могу не согласиться.

Тем более что в отличие от времен Тьюринга "засовывать голову в песок" уже намного труднее - почти все тогдашние "неразрешимые" задачи нынешние машины успешно решают.
Link20 comments|Leave a comment

Вообще же - на тему "машинизации" [Jul. 6th, 2018|09:39 am]
kouzdra
Все адепты "незаменимости человеческого интеллекта" мне больше всего напоминают адептов кодирования на ассмеблере - мол машина никогда не сможет генерировать код лучше написанного человеком.

Ну где они все? Я конечно понимаю - кодирование на асме - навык довольно сложный, а процесс - увлекательный, я это и умею и по себе знаю.

Но лично я окончательно забил на это в начале 90-х - когда осознал, что я конечно на отдельно взятом фрагменте могу уделать компилятор Ваткома, но на сколько-нибудь большой программе он уделает меня - просто потому что у меня не хватит сил за всем уследить - а машина - она железная.

И ассемблер у меня остался только для ситуаций где машина действительно не справляется.

Тут - точно также будет.

PS: Скажем на тему автоматизации юридического доказывания (этим пока не занимаются - но ничего невозможного и тут нет): мне кто-то привел "аргумент от теоремы Геделя" - мол грамотный адвокат систему намерено запутает.

Так ведь не будет никакого "автоматического судьи" - будет proof assistant - который как и обычные proof assistant'ы будет с подсказками от пользователя (адвоката или прокурора применительно к) заниматься поиском вариантов доказательств и проверкой корректности созданной аргументации.

И теорема Геделя как и везде практически где с ней вылезают будет не при делах. Хотя магия словосочетания "задача [алгоритмически] неразрешима" весьма сильна

Как я сказал Гастриту в комментах У Фарита:
вы (как вся ваша шобла с "непротиворечивостью" и "разрешимостью") радостно доказываете что "задачу решить нельзя", беря задачи которые конечно решить нельзя - но и не надо. Потому как на практике надо совсем другое - и это вполне можно сделать (и делают).

Например "алгоритмическая разрешимость" к практической разрешимости отношения не имеет почти никакого (причем кстати - в обе стороны, что забавно - алгоритмически неразрешимые задачи практически решаются сплошь и рядом, равно как и разрешимая задача часто оказывается неразрешима практически) и сейчас мало кого волнует (довольно маргинальный и скорее технический момент - важный - но совсем в другом смысле - неразрешимость означает что некоторые подходы не надо даже пробовать).

Нет - я понимаю - угробить жизнь на доказательство никому не нужной фигни обидно. Я понимаю.
Link179 comments|Leave a comment

"Рукотворный нетопырь поднимающий человека" [Jul. 6th, 2018|09:45 pm]
kouzdra
АКА "мы же разобьемься" - а как же?

Ну тут в комментах выплыло:



"Сказку странствий" я много за что не люблю - но это как бы претензии с другой высоты.

Вы до нее хотя бы доберитесь....
Link10 comments|Leave a comment

navigation
[ viewing | July 6th, 2018 ]
[ go | Previous Day|Next Day ]