Кто в армии служил... полностью

Так же как и в казино, люди намного легче расставались с виртуальными деньгами.

Но карты стали использовать не только в банках. Карты использовали как ключи для доступа в помещение, как счетчики числа посещений заведения, как пропуск и т. д. Бумажник человека был набит картами. Не за горами был тот день, когда человек получит еще один орган – электронную карту, в которой будет записана вся информация о нем, начиная с даты рождения и группы крови, кончая всеми счетами в банках и сертификатами об образовании.

Системы искусственного интеллекта

Под системой искусственного интеллекта человек понимал любую систему, моделирующую деятельность его интеллекта. Человек наивно полагал, что в основе его мышления лежит какая-то логика, которую, в конце концов, можно реализовать на компьютере.

Суть логики можно продемонстрировать следующим образом.

Под фактом будем понимать элементарное утверждение об окружающем мире, выражаемое простым предложением, например, «Иванов – человек», «Казахстан – государство» и т. д. Под конкретным знанием будем понимать утверждение, связывающее два факта в причинно-следственное отношение и выражаемое сложноподчиненным предложением типа: «Если Некто – человек, то Некто ошибается».

Если заменить конкретные слова естественного языка символами, то факты можно представить в форме «X – с», а знания – в форме «(X – с) – > (X – d)». Назовем эти формы, соответственно, формальными фактом и знанием.

Логический механизм вывода позволяет формально из известных фактов и знаний выводить новые факты. Используя введенные выше обозначения, простейший механизм вывода можно представить следующим образом: из известных факта «X– с» и знания «(X– с) – > (X– d)» следует (выводится) факт «X – d».

Работу правила вывода на конкретных фактах и знаниях демонстрирует следующий пример. Человек знает, что «все люди ошибаются», или, другими словами, есть знание «Если Некто – человек, то этот Некто ошибается». Также у него есть знакомый по фамилии Иванов, то есть имеет место факт «Иванов – человек». Если подставить в первое предложение Иванов вместо Некто, получим «Если Иванов – человек, то Иванов ошибается». Работа правила вывода заключается в том, что оно позволяет констатировать, что «Иванов ошибается». Важно понять, что в логике этот факт без механизма вывода не выводится. Предположим, что имеет место еще один факт – «Шарик – собака». Подставив Шарик вместо Некто, мы не выведем заключения «Шарик ошибается», поскольку «Шарик – не человек». Можно, конечно, решить, что Шарик не ошибается. Возможно, и так.

Назовем факт выводимым (доказуемым), если он может быть выведен в теории с помощью логического правила вывода. С другой стороны, факты должны подтверждаться наблюдениями. Назовем факт достоверным, если подавляющее большинство людей либо наблюдали этот факт, либо признают свидетельства очевидцев (факт имеет место быть в модели). Факты, одновременно и достоверные в модели, и выводимые в соответствующей этой модели теории, назовем относительно истинными. Достоверность не влечет за собой выводимость, и обратно – выводимость не означает достоверность. Абсолютная истина недостижима, но для практических целей всегда можно прийти к соглашению об относительной истинности. Теорию, в которой выводятся все достоверные факты соответствующей модели, назовем относительно истинной, или адекватной.

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

Если не удается доказать новые факты в рамках принятой теории (новое знание противоречит совокупности знаний этой теории), то необходимо скорректировать знания так, чтобы новая теория сохраняла непротиворечивость и при добавлении нового знания, и таким образом истинность теории будет восстановлена. В истории развития человеческого интеллекта это происходит постоянно.