Отрицания

Ишкушштвенный интеллект

Винер дал определение понятию "информация": "Информация - это информация, а не материя и не энергия". И все!

Отрицания вокруг нас. Их много и они разные. Известно, что отрицаний больше, чем утверждений! Так, например, утверждение: "Красный нос", это сложное утверждение, состоящее из большого количества элементарных: "Не оранжевый нос", "Не желтый нос", "Не зеленый нос" и так далее. Говорят, что художники, различают несколько сотен оттенков цвета. Потренируйтесь: нота "до" первой октавы, слово "азбука". А вот некоторые сопутствующие отрицанию проблемы, рассматриваемые в искусственном интеллекте.

Предположение о замкнутости мира (CWA). То есть, чего нет в базе, того нет вообще. Если в базу не занесен Бог, то на вопрос, о его существовании система ответит "Нет". И будет права в рамках своей компетенции.

Отрицание как неудача.

- Есть ли у нас на складе шестеренка Ы000?

(через час)

- Нет! (что означает, что беспорядок жуткий - не нашел!).

Отрицание по умолчанию: "Сталин выиграл битву", значит, что на вопрос "Выиграли ли эту битву Иванов, Петров и Жуков, участвовавшие в ней?" - должен следовать ответ "Нет". Но это в лучшем случае. А может означать и то, что Иванов, Петров и Жуков битву проиграли, со всеми вытекающими последствиями.

Отрицание как (выводимое) противоречие.

- Мне подойдет это шляпка?

- Разумеется, если всему городу уже подошла!

Логическое отрицание. Дано: "Все юзеры умные". Что есть отрицание:

1) НЕ все юзеры умные.

2) Все юзеры НЕ умные.

3) НЕ все юзеры НЕ умные.

4) Некоторые юзеры НЕ умные.

А если не очень комплексовать, то и

5) Все НЕ юзеры умные.

6) НЕ все НЕ юзеры умные.

7) НЕ все юзеры НЕ умные.

8) НЕ все НЕ юзеры НЕ умные.

9) Некоторые НЕ юзеры НЕ умные.

Несмотря на законные отрицательные эмоции, вызываемые этим разделом, отрицать наличие серьезных проблем нельзя.

А.Е.Соловьев, soloviev.nevod.ru, 1994 год