Описание
Раньше я с предубеждением относился к разговорам об искусственном интеллекте. Думал, что это морочат некоторые ученые простому народу голову. И дальше систем «умный дом», «умный город» и «умный транспорт» дело не пойдет. Не станет микропроцессор умнее человека, а будет решать по жесткому алгоритму рутинные задачи.
Тем более, что сам я всю жизнь занимался автоматизацией выпуска серийной продукции и выпуском микропроцессорных, то есть интеллектуальных приборов. Причем проборы были измерительные. Ио есть, что такое метрология я знал не понаслышке и метрологов с метеорологами не путал.
Но, оказывается все не совсем так. А точнее совсем не так. Поскольку я, как и большинство людей, связанных с программированием, учили императивные языки. А в них предписывалось: делай так, потом вот эдак. И ветвление по условию. При отрицательном результате делай так. А при положительном – вот эдак. Все строго, все заранее определено. Как говорится « Шаг в сторону – побег, прыжок на месте – провокация».
Но языки бывают не только императивные. Есть еще логические языки. Иам все совсем по-другому. Там существуют вопросы, логические предположения или гипотезы и верные утверждения. Или по другому, более так сказать научно, Программа на прологе состоит из предложений, которые могут быть фактами, правилами или вопросами.
Тут мир для меня и перевернулся! Логические языки, в конечном итоге могут создать искусственный интеллект. Который не только избавит человека от производственной или бытовой рутины, но и сам будет формулировать и ставить себе задачи и сам же их решать. Или руководить решением.
Хорошо это или плохо будет – не знаю. С одной стороны заманчиво создать думающих роботов. А с другой стороны, любое открытие человечество ставило себе во вред. Не успел Гуттенберг напечатать первую книгу, как тут же пошли книги со скабрезными стихами и рассказами. Человек подчинил себе атом, но сначала он получил атомную бомбу, а только потом атомоходы и атомные электростанции.
Сейчас некоторые наши заклятые «друзья» из Штатов договорились до того, что возможна тактическая ядерная война. Придуманы кучи беспилотников, которые управляются оператором с земли. Живые летчики не гибнут, а враг несет ощутимый урон.
Похоже, и искусственному интеллекту, вернее его значительной части, предстоит стать воинами. И крушить врагов направо и на лево в три смены и без выходных.
Но я хотел рассказать вкратце об языке Пролог, а не кормить вас страшилками о войнах будущего. Попробуем найти всех родителей в какой ио группе лиц.
Сначала составим базу данных, где опишем все пары родитель – ребенок. А потом будем задавать вопросы про детей о родителей, получая ответы «да» или «нет».
Можно написать переменную и оперировать с ней. Я, конечно, не агитатор за внедрение языка Пролог, и еще мало про него знаю. Но небесно-голубые или мрачно-черные дали искусственного интеллекта мне видны.
Получится, скорее всего, золотая середина. Будут и великие открытия, сделанные искусственным интеллектом. И великие войны, им же развязанные. Единственно, хотелось бы чтобы человек управлял искусственным интеллектом, а не наоборот!