Расширенный поиск  

Новости:

Автор Тема: Спагетти, как они есть  (Прочитано 3408 раз)

фок Гюнце

  • Энциклопедист
  • Герцог
  • *****
  • Карма: 4052
  • Оффлайн Оффлайн
  • Пол: Мужской
  • Сообщений: 26179
  • El sueño de la razón produce monstruos
    • Просмотр профиля
    • Мысли вслух
Re: Спагетти, как они есть
« Ответ #90 : 23 Мар, 2020, 09:18:31 »

Комбинаторика - штука сложная, непонятная и вообще вспомогательная.
А вот идея автоматического генерирования всевозможных высказываний, после которого задача познания существенно упрощается (по крайней мере, концептуально), сводясь в их верификации, очень перспективна.
Записан
Barbara, Celarent, Darii, Ferio
"Αν ένας γάιδαρος σε κλωτσήσει, δεν έχει νόημα να τον κλωτσήσεις και εσύ" (Σωκράτης)
(אַז מען עסט שוין חזיר, זאָל רינען איבער דער באָרד" (‏שלום עליכם"

Colombo

  • Герцог
  • *****
  • Карма: 3837
  • Оффлайн Оффлайн
  • Пол: Мужской
  • Сообщений: 7180
  • поручник
    • Просмотр профиля
Re: Спагетти, как они есть
« Ответ #91 : 23 Мар, 2020, 11:45:43 »

Комбинаторика - штука сложная, непонятная и вообще вспомогательная.
А вот идея автоматического генерирования всевозможных высказываний, после которого задача познания существенно упрощается (по крайней мере, концептуально), сводясь в их верификации, очень перспективна.
Математики с Вами не согласятся. Утешает, правда, что и сама математика под этим углом - штука не менее вспомогательная.

Даже если предположить, что задача верификации решена, автоматическая генерация высказываний, отвечающих определенным смысловым ограничениям, должна порождать огромное количество высказываний, столь же верных, сколь и бесполезных - как в анекдоте про Холмса и Ватсона на воздушном шаре. Верное высказывание должно найти своего адресата и/или наоборот, причем за  разумное время. А так - есть книги, буквально набитые верными высказываниями, которые невозможно читать в силу их занудства. Разумеется, к энциклопедиям это не относится, но в них и число статей на порядки меньше. Возможно, стоит подумать о поисковой системе над множеством верных высказываний и, соответственно, об автоматической генерации запросов к ней. И так далее...
Записан
Правда обычно хороша. Ложь порой превосходна. Смесь того и другого всегда отвратительна.
Ниро Вулф

фок Гюнце

  • Энциклопедист
  • Герцог
  • *****
  • Карма: 4052
  • Оффлайн Оффлайн
  • Пол: Мужской
  • Сообщений: 26179
  • El sueño de la razón produce monstruos
    • Просмотр профиля
    • Мысли вслух
Re: Спагетти, как они есть
« Ответ #92 : 23 Мар, 2020, 11:53:37 »

Комбинаторика - штука сложная, непонятная и вообще вспомогательная.
А вот идея автоматического генерирования всевозможных высказываний, после которого задача познания существенно упрощается (по крайней мере, концептуально), сводясь в их верификации, очень перспективна.
Математики с Вами не согласятся. Утешает, правда, что и сама математика под этим углом - штука не менее вспомогательная.
Именно так.
Если, скажем, у меня было два яблока, и я отдаю кому-то одно из них, то наука, позволяющая определить количество остающихся у меня яблок, носит сугубо вспомогательный характер по отношению к целому комплексу дисциплин - от экономики до диетологии. 

Даже если предположить, что задача верификации решена, автоматическая генерация высказываний, отвечающих определенным смысловым ограничениям, должна порождать огромное количество высказываний, столь же верных, сколь и бесполезных - как в анекдоте про Холмса и Ватсона на воздушном шаре. Верное высказывание должно найти своего адресата и/или наоборот, причем за  разумное время. А так - есть книги, буквально набитые верными высказываниями, которые невозможно читать в силу их занудства. Разумеется, к энциклопедиям это не относится, но в них и число статей на порядки меньше. Возможно, стоит подумать о поисковой системе над множеством верных высказываний и, соответственно, об автоматической генерации запросов к ней. И так далее...
В любом случае, логичнее вначале решать проблему автоматической верификации высказываний, а уже потом - их поиска.
Тем более, что высказывания отвечают не столько смысловым, сколько грамматическим ограничениям.
Именно поэтому и возник вопрос приобретения автоматического верификатора. 
Записан
Barbara, Celarent, Darii, Ferio
"Αν ένας γάιδαρος σε κλωτσήσει, δεν έχει νόημα να τον κλωτσήσεις και εσύ" (Σωκράτης)
(אַז מען עסט שוין חזיר, זאָל רינען איבער דער באָרד" (‏שלום עליכם"

Colombo

  • Герцог
  • *****
  • Карма: 3837
  • Оффлайн Оффлайн
  • Пол: Мужской
  • Сообщений: 7180
  • поручник
    • Просмотр профиля
Re: Спагетти, как они есть
« Ответ #93 : 23 Мар, 2020, 12:27:33 »

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

Тем более, что высказывания отвечают не столько смысловым, сколько грамматическим ограничениям.
Грамматические ограничения просто самые понятные народу.  Скажем, при генерации случайных тестов соблюсти их  не так трудно. Но тесты, запускаемые на разных платформах, должны работать одинаково, и вот тут-то начинаются смысловые ограничения. Например, нельзя читать оттуда, куда ничего не было записано. А грамматика... Даже "Пуськи бятые" без смысловой интерпретации вряд ли интересны. Особенно когда стоит задача уловить эту интерпретацию из текста.
Записан
Правда обычно хороша. Ложь порой превосходна. Смесь того и другого всегда отвратительна.
Ниро Вулф

фок Гюнце

  • Энциклопедист
  • Герцог
  • *****
  • Карма: 4052
  • Оффлайн Оффлайн
  • Пол: Мужской
  • Сообщений: 26179
  • El sueño de la razón produce monstruos
    • Просмотр профиля
    • Мысли вслух
Re: Спагетти, как они есть
« Ответ #94 : 23 Мар, 2020, 12:30:47 »

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

Тем более, что высказывания отвечают не столько смысловым, сколько грамматическим ограничениям.
Грамматические ограничения просто самые понятные народу.  Скажем, при генерации случайных тестов соблюсти их  не так трудно. Но тесты, запускаемые на разных платформах, должны работать одинаково, и вот тут-то начинаются смысловые ограничения. Например, нельзя читать оттуда, куда ничего не было записано. А грамматика... Даже "Пуськи бятые" без смысловой интерпретации вряд ли интересны. Особенно когда стоит задача уловить эту интерпретацию из текста.
Вот верификатор и установит истинность или ложность высказывания о том, бяты ли пуськи.
А также, все ли пуськи - бятые. Или же некоторые из пусек. Или никакие. 
И любого высказывания, их включающего. 
Записан
Barbara, Celarent, Darii, Ferio
"Αν ένας γάιδαρος σε κλωτσήσει, δεν έχει νόημα να τον κλωτσήσεις και εσύ" (Σωκράτης)
(אַז מען עסט שוין חזיר, זאָל רינען איבער דער באָרד" (‏שלום עליכם"

Colombo

  • Герцог
  • *****
  • Карма: 3837
  • Оффлайн Оффлайн
  • Пол: Мужской
  • Сообщений: 7180
  • поручник
    • Просмотр профиля
Re: Спагетти, как они есть
« Ответ #95 : 24 Мар, 2020, 08:13:59 »

В любом случае, логичнее вначале решать проблему автоматической верификации высказываний, а уже потом - их поиска.
Глупо тратить средства на верификацию того, чем все равно невозможно будет пользоваться. Но распорядителю средств, конечно, виднее.
Как это, невозможно?
Когда появится средство автоматически узнавать истинность или ложность любого высказывания, уж сами высказывания найти будет несложно!
Замечу, что термин "средства" мы используем в разных смыслах. Но замечу и передерг: исходно речь шла не о любых высказываниях, а о комбинациях, даваемых машиной Луллия и переформулированных ее оператором в высказывания. Их не так много, поэтому для верификации можно привлечь экспертов, а результаты свести в таблицу. Но, как я понял, у Вас нет даже пиратской копии машины Луллия, только копия Руководства пользователя?

Вот верификатор и установит истинность или ложность высказывания о том, бяты ли пуськи.
А также, все ли пуськи - бятые. Или же некоторые из пусек. Или никакие. 
И любого высказывания, их включающего.
А также - бяты ли Щербы. Ниже ссылка на пример, где целая куча верных высказываний такого рода.
https://giraffka.livejournal.com/46282.html
Записан
Правда обычно хороша. Ложь порой превосходна. Смесь того и другого всегда отвратительна.
Ниро Вулф

фок Гюнце

  • Энциклопедист
  • Герцог
  • *****
  • Карма: 4052
  • Оффлайн Оффлайн
  • Пол: Мужской
  • Сообщений: 26179
  • El sueño de la razón produce monstruos
    • Просмотр профиля
    • Мысли вслух
Re: Спагетти, как они есть
« Ответ #96 : 24 Мар, 2020, 08:20:51 »

В любом случае, логичнее вначале решать проблему автоматической верификации высказываний, а уже потом - их поиска.
Глупо тратить средства на верификацию того, чем все равно невозможно будет пользоваться. Но распорядителю средств, конечно, виднее.
Как это, невозможно?
Когда появится средство автоматически узнавать истинность или ложность любого высказывания, уж сами высказывания найти будет несложно!
Замечу, что термин "средства" мы используем в разных смыслах. Но замечу и передерг: исходно речь шла не о любых высказываниях, а о комбинациях, даваемых машиной Луллия и переформулированных ее оператором в высказывания. Их не так много, поэтому для верификации можно привлечь экспертов, а результаты свести в таблицу. Но, как я понял, у Вас нет даже пиратской копии машины Луллия, только копия Руководства пользователя?
Что есть машина?
В данном случае машиной считается ее описание. А не сама деревяшка, построенная в соответствии с ним.
В частности, машиной является любая программа, построенная в соответствии с описанием.

Вот верификатор и установит истинность или ложность высказывания о том, бяты ли пуськи.
А также, все ли пуськи - бятые. Или же некоторые из пусек. Или никакие. 
И любого высказывания, их включающего.
А также - бяты ли Щербы. Ниже ссылка на пример, где целая куча верных высказываний такого рода.
https://giraffka.livejournal.com/46282.html
Вот я и говорю - для таких высказываний нужен верификатор. Ибо я, например, не уверен, что факт произвольной кудланутости бокра любым объектом суждения в целом (или куздрой, в частности) является необходимым и/или достаточным условием некузявости этого объекта (или, хотя бы, куздры).
В результате верность высказывания " куздра некузявая, ибо куздра кудланула бокра" сомнительна.

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

А верификатор принципиально должен быть способен автоматически верифицировать подобные высказывания.

   
« Последнее редактирование: 24 Мар, 2020, 08:30:03 от фок Гюнце »
Записан
Barbara, Celarent, Darii, Ferio
"Αν ένας γάιδαρος σε κλωτσήσει, δεν έχει νόημα να τον κλωτσήσεις και εσύ" (Σωκράτης)
(אַז מען עסט שוין חזיר, זאָל רינען איבער דער באָרד" (‏שלום עליכם"

Colombo

  • Герцог
  • *****
  • Карма: 3837
  • Оффлайн Оффлайн
  • Пол: Мужской
  • Сообщений: 7180
  • поручник
    • Просмотр профиля
Re: Спагетти, как они есть
« Ответ #97 : 24 Мар, 2020, 08:46:21 »

Замечу, что термин "средства" мы используем в разных смыслах. Но замечу и передерг: исходно речь шла не о любых высказываниях, а о комбинациях, даваемых машиной Луллия и переформулированных ее оператором в высказывания. Их не так много, поэтому для верификации можно привлечь экспертов, а результаты свести в таблицу. Но, как я понял, у Вас нет даже пиратской копии машины Луллия, только копия Руководства пользователя?
Что есть машина?
В данном случае машиной считается ее описание. А не сама деревяшка, построенная в соответствии с ним.
В частности, машиной является любая программа, построенная в соответствии с описанием.
Хорошо, когда собеседник сам отвечает на свой вопрос. Жаль, что при этом он не отвечает на твой: что значит "машиной считается ее описание"? Тогда я дам описание верификатора как таблицы с двумя колонками: слева высказывания, а справа отметка об истинности либо ложности. Описание абсолютно бесплатное, авторство можно не указывать. :D Короче: машины нет.

Вот я и говорю - для таких высказываний нужен верификатор. Ибо я, например, не уверен, что факт произвольной кудланутости бокра любым объектом суждения в целом (или куздрой, в частности) является необходимым и/или достаточным условием некузявости этого объекта (или, хотя бы, куздры).
В результате верность высказывания " куздра некузявая, ибо куздра кудланула бокра" сомнительна.
Более того, она контекстно-зависима. Верификатор должен учитывать контекст. А в нем свои постулаты вроде "бутявки дюбые и зюмо-зюмо некузявые. От бутявок дудонятся". (c)

Именно поэтому Калуша недовольна теплыми отношениями Кукуси и Бутявчонка. Впрочем, онажемать.
Записан
Правда обычно хороша. Ложь порой превосходна. Смесь того и другого всегда отвратительна.
Ниро Вулф

фок Гюнце

  • Энциклопедист
  • Герцог
  • *****
  • Карма: 4052
  • Оффлайн Оффлайн
  • Пол: Мужской
  • Сообщений: 26179
  • El sueño de la razón produce monstruos
    • Просмотр профиля
    • Мысли вслух
Re: Спагетти, как они есть
« Ответ #98 : 24 Мар, 2020, 08:56:24 »

Замечу, что термин "средства" мы используем в разных смыслах. Но замечу и передерг: исходно речь шла не о любых высказываниях, а о комбинациях, даваемых машиной Луллия и переформулированных ее оператором в высказывания. Их не так много, поэтому для верификации можно привлечь экспертов, а результаты свести в таблицу. Но, как я понял, у Вас нет даже пиратской копии машины Луллия, только копия Руководства пользователя?
Что есть машина?
В данном случае машиной считается ее описание. А не сама деревяшка, построенная в соответствии с ним.
В частности, машиной является любая программа, построенная в соответствии с описанием.
Хорошо, когда собеседник сам отвечает на свой вопрос. Жаль, что при этом он не отвечает на твой: что значит "машиной считается ее описание"? Тогда я дам описание верификатора как таблицы с двумя колонками: слева высказывания, а справа отметка об истинности либо ложности. Описание абсолютно бесплатное, авторство можно не указывать. :D Короче: машины нет. 
Не совсем. Вернее, совсем не.
В описание машины входят, как нетрудно видеть, правила построения высказываний.
Если в описание верификатора будут входить и правила их (высказываний) верификации, то все прекрасно.
Если же описание будет включать в себя только рассказ о таблице с двумя колонками без описания правил ее (таблицы) построения - то верификатора нет. потому что нет законченного описания. 

Вот я и говорю - для таких высказываний нужен верификатор. Ибо я, например, не уверен, что факт произвольной кудланутости бокра любым объектом суждения в целом (или куздрой, в частности) является необходимым и/или достаточным условием некузявости этого объекта (или, хотя бы, куздры).
В результате верность высказывания " куздра некузявая, ибо куздра кудланула бокра" сомнительна.
Более того, она контекстно-зависима. Верификатор должен учитывать контекст. А в нем свои постулаты вроде "бутявки дюбые и зюмо-зюмо некузявые. От бутявок дудонятся". (c)

Именно поэтому Калуша недовольна теплыми отношениями Кукуси и Бутявчонка. Впрочем, онажемать.
Именно! Верификатор должен учитывать:
- грамматику (синтаксис) высказывания;
- семантику высказывания;
- контекст высказывания.

Только замечу: фраза "бутявки дюбые и зюмо-зюмо некузявые" является не постулатом, а, скорее, подлежащим верификации высказыванием. А точнее, не менее, чем тремя высказываниями:
- бутявки дюбые;
- бутявки некузявые;
- некузявость бутявок зюмая-зюмая.
Дополнительно верифицироваться должна степень зюмости некузявости бутявок. Зюмая-зюмая ли некузявость или просто зюмая. Это - если сам тезис об
 абсолютной некузявости бутявок верифицирован. 
   
Вот я и говорю:  нужен верификатор.
Записан
Barbara, Celarent, Darii, Ferio
"Αν ένας γάιδαρος σε κλωτσήσει, δεν έχει νόημα να τον κλωτσήσεις και εσύ" (Σωκράτης)
(אַז מען עסט שוין חזיר, זאָל רינען איבער דער באָרד" (‏שלום עליכם"

Colombo

  • Герцог
  • *****
  • Карма: 3837
  • Оффлайн Оффлайн
  • Пол: Мужской
  • Сообщений: 7180
  • поручник
    • Просмотр профиля
Re: Спагетти, как они есть
« Ответ #99 : 24 Мар, 2020, 09:17:49 »

Не совсем. Вернее, совсем не.
В описание машины входят, как нетрудно видеть, правила построения высказываний.
Если в описание верификатора будут входить и правила их (высказываний) верификации, то все прекрасно.
Если же описание будет включать в себя только рассказ о таблице с двумя колонками без описания правил ее (таблицы) построения - то верификатора нет. потому что нет законченного описания. 
Для машин класса малой машины Луллия наиболее реальной является заполнение таблицы экспертами, которым придется обработать не такое уж большое множество высказываний. Рискну предположить, что этот этап является необходимым, поскольку должен выявить сопутствующие проблемы.

Только замечу: фраза "бутявки дюбые и зюмо-зюмо некузявые" является не постулатом, а, скорее, подлежащим верификации высказыванием. А точнее, не менее, чем тремя высказываниями:
- бутявки дюбые;
- бутявки некузявые;
- некузявость бутявок зюмая-зюмая.
Дополнительно верифицироваться должна степень зюмости некузявости бутявок. Зюмая-зюмая ли некузявость или просто зюмая. Это - если сам тезис об
 абсолютной некузявости бутявок верифицирован. 
С этим тоже сложности, поскольку кому Бутявка, а кому - Бутява Бутявишна Йовович-Шер!
Л.С. Петрушевская, "Пуськи бятые". 9. И-ПЫЗЯВА

У Калуши — калушата: Канна, Манна, Гуранна и Кукуся.

У Бутявки — бутявчонок: Гага Прюшка.

И огды-егды бутявчонок Гага напызявил и-пызяву и оттырснул Кукусе:

Кукуся@пуськи.ru

О Кукуся! Шошляю Кукусю зюмо-зюмо!

Кукуся+Бутявчонок = ;^)(^; Кукуся и Бутявчонок — бдан-бдан! Шошляю Кукусю! С шошлью — Бутявчонок, кукусин на обагды! Чмяк! Кукусин Гага П. :))

А Кукуся напызявила Бутявчонку и-пызяву:

Бутявчонок.гагап@пуськи.ru

О Бутявчонок! Не бдан-бдан и не чмяк. Шошляешь Кукусю? Не яю. Огды… егды… Кукуся:^+

И Калуша напызявила и-пызяву Бутявчонку:

Бутявчонок.гагап@пуськи.ru

Йоу, @, пызявишь пызявы Кукусе? Йоу за «чмяки»? Чмякаться некузяво. Калуши не шошляют бутявок, прюшек и гаг. Бутявки дюбые и зюмо-зюмо некузявые. И не пызявь Кукусе ниогды! А то стрямкаю!

Ей-ей не v. ru

С некузявостью Калуша Помикова (; ^(

А Бутявка (за Бутявчонка) отпызявила Калуше:

Калуша@пуськи.ru

От @ смычим. С мырдявостью — Бутява Бутявишна Йовович-Шер

|:^ ((
Записан
Правда обычно хороша. Ложь порой превосходна. Смесь того и другого всегда отвратительна.
Ниро Вулф

фок Гюнце

  • Энциклопедист
  • Герцог
  • *****
  • Карма: 4052
  • Оффлайн Оффлайн
  • Пол: Мужской
  • Сообщений: 26179
  • El sueño de la razón produce monstruos
    • Просмотр профиля
    • Мысли вслух
Re: Спагетти, как они есть
« Ответ #100 : 24 Мар, 2020, 09:25:02 »

Не совсем. Вернее, совсем не.
В описание машины входят, как нетрудно видеть, правила построения высказываний.
Если в описание верификатора будут входить и правила их (высказываний) верификации, то все прекрасно.
Если же описание будет включать в себя только рассказ о таблице с двумя колонками без описания правил ее (таблицы) построения - то верификатора нет. потому что нет законченного описания. 
Для машин класса малой машины Луллия наиболее реальной является заполнение таблицы экспертами, которым придется обработать не такое уж большое множество высказываний. Рискну предположить, что этот этап является необходимым, поскольку должен выявить сопутствующие проблемы. 
Технология проектирования верификатора - это другой вопрос. Можно начинать с экспертов и ограниченного множества высказываний.
Но мы-то хотим в результате получить верификатор полнофункциональный (хоть многоэтажный офис с экспертами, хоть маленькая эвристическая машинка с анализатором, думателем и неонкой).   
Только замечу: фраза "бутявки дюбые и зюмо-зюмо некузявые" является не постулатом, а, скорее, подлежащим верификации высказыванием. А точнее, не менее, чем тремя высказываниями:
- бутявки дюбые;
- бутявки некузявые;
- некузявость бутявок зюмая-зюмая.
Дополнительно верифицироваться должна степень зюмости некузявости бутявок. Зюмая-зюмая ли некузявость или просто зюмая. Это - если сам тезис об
 абсолютной некузявости бутявок верифицирован. 
С этим тоже сложности, поскольку кому Бутявка, а кому - Бутява Бутявишна Йовович-Шер!
Л.С. Петрушевская, "Пуськи бятые". 9. И-ПЫЗЯВА

У Калуши — калушата: Канна, Манна, Гуранна и Кукуся.

У Бутявки — бутявчонок: Гага Прюшка.

И огды-егды бутявчонок Гага напызявил и-пызяву и оттырснул Кукусе:

Кукуся@пуськи.ru

О Кукуся! Шошляю Кукусю зюмо-зюмо!

Кукуся+Бутявчонок = ;^)(^; Кукуся и Бутявчонок — бдан-бдан! Шошляю Кукусю! С шошлью — Бутявчонок, кукусин на обагды! Чмяк! Кукусин Гага П. :))

А Кукуся напызявила Бутявчонку и-пызяву:

Бутявчонок.гагап@пуськи.ru

О Бутявчонок! Не бдан-бдан и не чмяк. Шошляешь Кукусю? Не яю. Огды… егды… Кукуся:^+

И Калуша напызявила и-пызяву Бутявчонку:

Бутявчонок.гагап@пуськи.ru

Йоу, @, пызявишь пызявы Кукусе? Йоу за «чмяки»? Чмякаться некузяво. Калуши не шошляют бутявок, прюшек и гаг. Бутявки дюбые и зюмо-зюмо некузявые. И не пызявь Кукусе ниогды! А то стрямкаю!

Ей-ей не v. ru

С некузявостью Калуша Помикова (; ^(

А Бутявка (за Бутявчонка) отпызявила Калуше:

Калуша@пуськи.ru

От @ смычим. С мырдявостью — Бутява Бутявишна Йовович-Шер

|:^ ((
Вот и Йовович-Шер нужно верифицировать. И высказывание насчет мырдявости - тоже. Хотя бы в качестве тестирования верификатора.
Записан
Barbara, Celarent, Darii, Ferio
"Αν ένας γάιδαρος σε κλωτσήσει, δεν έχει νόημα να τον κλωτσήσεις και εσύ" (Σωκράτης)
(אַז מען עסט שוין חזיר, זאָל רינען איבער דער באָרד" (‏שלום עליכם"

Colombo

  • Герцог
  • *****
  • Карма: 3837
  • Оффлайн Оффлайн
  • Пол: Мужской
  • Сообщений: 7180
  • поручник
    • Просмотр профиля
Re: Спагетти, как они есть
« Ответ #101 : 24 Мар, 2020, 09:32:49 »

Технология проектирования верификатора - это другой вопрос. Можно начинать с экспертов и ограниченного множества высказываний.
Но мы-то хотим в результате получить верификатор полнофункциональный (хоть многоэтажный офис с экспертами, хоть маленькая эвристическая машинка с анализатором, думателем и неонкой).
Я все пытаюсь уточнить, что обязательным приложением к эвристической машинке будет старикашка Эдельвейс с личным печатающим устройством. Много ли найдется желающих пользоваться таким человеко-машинным комплексом?
Записан
Правда обычно хороша. Ложь порой превосходна. Смесь того и другого всегда отвратительна.
Ниро Вулф

фок Гюнце

  • Энциклопедист
  • Герцог
  • *****
  • Карма: 4052
  • Оффлайн Оффлайн
  • Пол: Мужской
  • Сообщений: 26179
  • El sueño de la razón produce monstruos
    • Просмотр профиля
    • Мысли вслух
Re: Спагетти, как они есть
« Ответ #102 : 24 Мар, 2020, 09:47:22 »

Технология проектирования верификатора - это другой вопрос. Можно начинать с экспертов и ограниченного множества высказываний.
Но мы-то хотим в результате получить верификатор полнофункциональный (хоть многоэтажный офис с экспертами, хоть маленькая эвристическая машинка с анализатором, думателем и неонкой).
Я все пытаюсь уточнить, что обязательным приложением к эвристической машинке будет старикашка Эдельвейс с личным печатающим устройством. Много ли найдется желающих пользоваться таким человеко-машинным комплексом?
Ну, конечно, в том виде, в котором подобное устройство предлагалось Э.З.Машкиным, верификатор не устраивает. Нужен нормальный, сертифицированный, протестированный и  прогрессивный, освобождающий человека от тяжелого труда по верифицированию произвольных высказываний и обеспечивающий надежный и гарантированный результат верификации. 
Записан
Barbara, Celarent, Darii, Ferio
"Αν ένας γάιδαρος σε κλωτσήσει, δεν έχει νόημα να τον κλωτσήσεις και εσύ" (Σωκράτης)
(אַז מען עסט שוין חזיר, זאָל רינען איבער דער באָרד" (‏שלום עליכם"

Colombo

  • Герцог
  • *****
  • Карма: 3837
  • Оффлайн Оффлайн
  • Пол: Мужской
  • Сообщений: 7180
  • поручник
    • Просмотр профиля
Re: Спагетти, как они есть
« Ответ #103 : 24 Мар, 2020, 10:31:29 »

Нужен нормальный, сертифицированный, протестированный и  прогрессивный, освобождающий человека от тяжелого труда по верифицированию произвольных высказываний и обеспечивающий надежный и гарантированный результат верификации.
Я нижайше прошу прощения за оффтоп, но вот в 90-е годы всерьез считали, что тяжелый рутинный (обязательное ключевое слово!!!) труд по написанию программ - это ввод ключевых слов for, while, typedef и им подобных. Автоматизация состояла не только в том, что конец слова, пардон, выскакивал сам, но и вся структура той или иной конструкции, от первой до последней строки. Работало это,  естественно, быстрее мысли, и именно поэтому не прижилось. :D Соответственно, можно ожидать недоверия и к результатам автоматической верификации - хотя бы на примере автоматического перевода. Помнится, машину Машкина требовали разрушить по сходным соображениям. ;D
Записан
Правда обычно хороша. Ложь порой превосходна. Смесь того и другого всегда отвратительна.
Ниро Вулф

фок Гюнце

  • Энциклопедист
  • Герцог
  • *****
  • Карма: 4052
  • Оффлайн Оффлайн
  • Пол: Мужской
  • Сообщений: 26179
  • El sueño de la razón produce monstruos
    • Просмотр профиля
    • Мысли вслух
Re: Спагетти, как они есть
« Ответ #104 : 24 Мар, 2020, 10:40:16 »

Так ведь речь идет о том, что верификатор должен быть сертифицирован. В том числе, на адекватность верификации.
Чтобы мы были уверены, что истинность или ложность высказываний типа "С глаз долой - из сердца вон", "Моська сильна, ибо лает на слона", "Маршал Катина у Филипп разгромил армию Габона" и "Рыба пила" подтверждается с абсолютной (выше шестого знака) надежностью.     
Записан
Barbara, Celarent, Darii, Ferio
"Αν ένας γάιδαρος σε κλωτσήσει, δεν έχει νόημα να τον κλωτσήσεις και εσύ" (Σωκράτης)
(אַז מען עסט שוין חזיר, זאָל רינען איבער דער באָרד" (‏שלום עליכם"