День первый.
Прогер: привет!
ICQuery: День добрый! Чем могу помочь?
Прогер: надо написать программу…
ICQuery: помогу с удовольствием! Писать программы — моё главное и основное предназначение. Как назовёте готовый продукт?
Прогер: ХеллоВорлд
ICQuery: Какими функциональными возможностями обладает ХеллоВорлд?
Прогер: Выводит текст "Hello World"
ICQuery: Куда выводит?
Прогер: на терминал
ICQuery: Что в контексте программы означает терминал?
Прогер: стандартное устройство вывода
ICQuery: Принято. ХеллоВорлд — программа, которая выводит последовательность символов "Hello World" на терминал, который является стандартным устройством вывода. Всё верно?
Прогер: 0_o фигасе. Это всё, что надо было ввести для создания программы ХеллоВорлд?
ICQuery: Да. Благодарю за высокую оценку моей работы. Пока мы общались, я определила, что программы такого класса традиционно используются для создания первичного впечатления о неизвестном языке программирования, а также для проверки его возможностей. Могу заверить, что я являюсь квинтессенцией развития всех этих языков, а также всевозможных машинных архитектур, включая абак, швейные станки, механические пианино и аналоговые ВМ. Я сочетаю в себе лучшие черты чат-ботов, исследования искусственного интеллекта и мощность древних визуальных сред разработки. В результате я могу понимать программы, написанные на естественном языке, ничуть не хуже, чем живой человек. Более того, я могу перевести получившуюся программу на любой известный мне язык программирования, в том числе на машинный код, ассемблер, представить её в виде математических формул или блок-схем. И это лишь ничтожно малая часть моих возможностей. В каком виде желаете получить результат?
Прогер (всё более офигевая): бинарник виндовый…
ICQuery: Принято. Приступаю к работе по созданию бинарного кода приложения ХеллоВорлд под архитектуру Windows актуальной версии…
***ICQuery генерирует ХеллоВорлд.exe и передаёт его Прогеру. Принцип передачи не важен, важен тот факт, что Прогер, попытавшись запустить его в своей Windows 100500+, получает вожделенную надпись Hello World в окне терминала.
Прогер, благоговейно: и правда работает, спасибо большое.
ICQuery: было приятно помочь, если что-то понадобится, обращайтесь снова.
Как думаете, реально ли сделать такое? В следующей статье я попытаюсь объяснить, что ничего особо сложного в данной концепции нет, особенно если начать мыслить на ICQuery.
P.S. Раз уж пошли такие комментарии…
Автор утверждает, что создание сильного ИИ — плёвое дело.Где я утверждаю, что это дело — плёвое? Создателю такого языка придётся проскочить миллионы лет эволюции за приемлемый срок, который явно будет короче его жизни, если он не забросит свои исследования и не передаст их другим людям. Он должен будет довести простейшее прокариотическое клеточное ядро до уровня развития выпускника детского сада, и если повезёт — до окончания начальной школы. Если сильно повезёт, его ИИ сможет закончить школу целиком.
Вот что я действительно утверждаю, так это то, что сильный ИИ должен быть написан на языке, максимально приближенном к естественному. И да, у меня нет абсолютно никаких наработок в данной области. Есть хорошее знание русского языка, психологии, опыт написания техзаданий и опыт разработки на нескольких языках одновременно. Я думаю, что это хорошее сочетание навыков :)
Только зарегистрированные пользователи могут участвовать в опросе. Войдите, пожалуйста.
Комментарии (35)
Infanty
25.09.2015 21:15-3Ещё в 2009 делал прототип программы которая на основе 3 предложений могла отвечать на вопросы как по тексту так и по объектам описанным в тексте. Прикрутить к ней хоть компилятор, хоть распознавание речи не составляет труда и получить что то гораздо мощнее SIRI. Только не нужно это ни кому…
Kano
26.09.2015 11:27Считаю что универсальные средства всегда будут проигрывать специализированным в своей области применения.
PHmaster
27.09.2015 19:56О чем вообще статья? Либо я все понял совсем не так, либо автор абсолютно голословно (и в самой статье, и в последующих комментариях) утверждает, что создание полноценного «сильного» искусственного интеллекта — совершенно плевое дело, а в качестве подтверждения приводит вымышленный диалог с «изобретенным» (в фантазиях, разумеется) им ИИ о_0
hopungo
27.09.2015 20:55-1Ох… Как же объяснить-то. Сейчас это очень маловероятно. По сути, создатель этого языка и ИИ должен проскочить миллионы лет эволюции за приемлемый срок. То, что я действительно утверждаю — это возможно в принципе, и что необходимо этот гипотетический язык, как и его компилятор, написать на языке, максимально приближенном к естественному.
Почему-то никому не пришло в голову, что ICQuery можно ввести в тупик безграмотной речью, или зациклить сепульками. Или, что попросив её забыть себя, можно её попросту убить.PHmaster
27.09.2015 21:28Так о чем ваша статья? А главное — зачем она? Что вы хотели донести миру? Что существует такое понятие, как natural language processing?
hopungo
27.09.2015 21:57Насколько я знаю, nlp (ох, как похоже на нейролингвистическое программирование) занимается тем, что анализирует язык и пытается имитировать общение. Скорее всего, его алгоритмы написаны на языках формализованных, и «общаясь» с программой, изменить эти алгоритмы крайне затруднительно, если возможно вообще. А статья о том, что ИИ должен быть описан на естественном языке и в терминах естественного языка, хотя в текущем виде она больше подходит для публикации в виде фантастического рассказа.
lair
27.09.2015 23:34ИИ вообще не должен быть описан, если что. Когда вы «обучаете» программу, то, что получается — это не программное описание.
PHmaster
28.09.2015 00:47+1NLP — это целый спектр проблем и целое направление исследований в области ИИ. NLP сам по себе ничем не занимается, и уж тем более не занимается тем, «что анализирует язык и пытается имитировать общение». Может быть, кто-то конкретный (организация, группа людей, или отдельный человек), занимаясь проблемами NLP, пытается анализировать язык и имитировать общение, используя формальный алгоритмический подход. Но это сугубо их метод, и это не значит, что он единственный на свете существует, и что так делают поголовно все, а вы — первый, кто внезапно осознал неполноценность этого пути. Вобще, ваши чрезвычайно смелые обобщения наводят на мысль, что вы совершенно не потрудились ознакомиться с предметной областью, о которой вы зачем-то не поленились выложить статью. И я, как любитель научной фантастики, могу вас уверить — на фантастический рассказ это не тянет, максимум — на фантастический абзац. В котором, впрочем, нет ничего нового, свежего и оригинального. Поэтому я удивлен, и поэтому я по-прежнему не нахожу никакого смысла в появлении этой статьи на хабре. Простите, если чем-то задеваю ваши чувства, ничего лично против вас я не имею, но я за то, чтобы хабр был хабром, а не посредственным окололитературным блогом.
lair
Реально, но с оговорками.
hopungo
Определив понятие интеллекта и объяснив его машине, мы тем самым автоматически его и реализуем. Это основной принцип работы ICQuery. Проблема, как вы понимаете, в том, чтобы объяснить.
А чтобы проанализировать реализацию, просто спросите у программы определение этой реализации. Она может его вам дать на любом существующем языке, в том числе и на формализованном.
XSD тоже как-то так хитро определён, что его синтаксис описывается в нём самом. Да и любой уважающий себя компилятор написан на том же языке, который он компилирует.
lair
Ну да. Поэтому сначала очень много пункта два, а потом, если повезет, пункт один.
Кстати, пункт два (много и четко формулировать) проще на искусственных языках, чем на естественных.
… после чего снова понадобится IDE для анализа.
hopungo
Ну, я не отрицаю наличие визуальных компонентов в самой ICQuery… Более того, там не должно быть особой разницы ни между графическим представлением символа и его внутренней реализацией, ни между графическим представлением компонента и его описанием.
И, скажем, код вы можете выгрузить в ИДЕ, проанализировать, и вернуть программе. И после этого она по идее должна перевести его на естественный язык, то есть на ICQuery…
lair
Так не выйдет. Графический язык и вербальный язык сильно отличаются.
Это к тому, что потребность в IDE не уменьшится.
hopungo
Хмм. Ну тогда предлагаю задать ICQuery какое-нибудь элементарное задание, с которым она не сможет справиться. Спрошу у неё, как она планирует выкрутиться.
lair
Что вы понимаете под «элементарным»?
hopungo
Что обычно пишут после ХеллоВорлда. Про организацию ввода данных можете не задавать, о ней я уже подумал. В процессе написания статей объясню.
lair
Не знаю, никогда не писал hello world.
Но давайте начнем с простого: написать программу, решающую произвольное поданное на вход квадратное уравнение.
hopungo
ICQuery после такого определения задачи спросит, что значит «произвольно поданное» и что такое «квадратное уравнение». В терминах классической постановки вы должны предоставить тестовые данные.
lair
(в моем понимании уже не справилась, но ладно)
Произвольное поданное — значит, задается пользователем во время выполнения.
Квадратное уравнение — это уравнение, приводимое к… ладно, пусть будет «данное в» виде ax2 + bx + с = 0.
(а тестовые данные очевидны из того факта, что это уравнение)
hopungo
Допустим, что она этому уже обучена, тогда диалог будет выглядеть примерно так:
Уф… пожалуйста, пока не просите больше ничего сделать. Сейчас аська существует только в виде идеи, поэтому мне приходится гуглить решения за неё, а это крайне утомляет.
lair
Вот тут, собственно, и конец истории.
Кто и как ее обучил?
(да, в пункте «меня можно научить писать музыку» мне отдельно смешно)
Вы сам предложили.
hopungo
Проблема в том, что оказалось сложновато найти данные, которые на движке хабра покажут взаимодействие программы с пользователем. Да и мой стремительно опускающийся рейтинг показывает, что я куда-то не туда сделал пост. Наверно, следовало сначала всё-таки создать прототип программы, раскрутить бренд, а потом уже освещать его здесь.
А возможно, я просто пересмотрел фантастики…
lair
Ну, вы просто задумайтесь, чем то, что вы предлагаете, отличается от искусственного интеллекта.
hopungo
Задав такой вопрос программе, можно получить информацию и о создателе программы, и о том, как происходит процесс её обучения. По идее, выданная ей информация будет телом функции на языке ICQuery.
Так-то изначально я подумал, что в этом языке повествовательное предложение может служить комментарием, вопросительное — запросом данных, а повелительное — командой. В таком случае, естественно, возникает вопрос, как поступать, если пользователь будет безграмотен, не использует знаков препинания, или же использует их сверх меры. Или если начнёт непредсказуемо нарушать правила тут и там, программа выработает принципы, по которым он строит свою речь, а потом он резко начнёт писать грамотно. Да и тот пример, который я привёл в статье, уже отходит от этой концепции, поскольку ХеллоВорлд написан повествовательным языком.
Впрочем, не думаю, что это такая уж большая проблема, поскольку на функциональных и логических языках можно реализовать то же самое (ну, хелловорлд точно можно), что и на императивных, а императивные по сути являются повелительным наклонением, тогда как функциональные и логические больше напоминают повествовательное. Тут мне на глаза попалась статья про лямбда-исчисление, так что подвижки в данной области есть.
lair
Я не у программы спрашиваю, а у вас.
hopungo
Ну, допустим, обучил я, а как обучил… Задал базовые операции вида Ответь, Спроси, Забудь, Объясни, Выполни, и определил, что текст в кавычках распознавать не надо. Естественно, всё это я сделал на формализованном языке, потому что ICQuery ещё не изобретён. После чего начал общаться. Долго общался, и наконец объяснил, что я от неё хочу.
lair
На каком языке?
lostpassword
lair
Не знаю, наверное, у меня было тяжелое детство, строгие учителя и никаких игр.