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

Аксиома А: «Незнание» является необходимой составляющей самого понятия «Знание», т.е. любая СЗн включает оппозицию «Знание-Незнание».

Таким образом, Аксиома А является ключевым компонентом Метазнания, необходимо включаемым в саму концепцию СЗн. И поскольку она является необходимой составляющей любой СЗн, то это определяет и существование в каждой СЗн ее зоны H_abs. включающей все (и только такие) компоненты, которые не выделены в текущей СЗН, т.е. не воспринимаются ею как различимые сущности.

Из Аксиомы А следует вывод:

Познаваемость Мира - т. е. Система Знаний - всегда ограничена.

Если бы это было не так, то были бы возможны СЗн, в которых H_abs могла стать пустой, что противоречит Аксиоме А.

Другими словами, зона Habs разделяется на две соответствующие составляющие: знания познаваемые и непознаваемые.

3.3. К Аксиоме А примыкает Презумпция А¹:

Презумпция A¹: H_abs

содержит не только знания, но и Метазнания.

Презумпция А¹ не является необходимым следствием Аксиомы А, поскольку примитивные СЗн могут предполагать, что все Метазнания уже известны, и H_abs, таким образом, включает только факты.

Однако для любой СЗн, превысившей этот барьер (а мы здесь рассматриваем только такие), Презумпция А¹ становится Аксиомой А¹.

К этим двум Аксиомам добавим еще Презумпцию А²:

Презумпция А²: Кроме Метазнаний, H_ahs содержит и Мета-Ме-тазнания (Системы Знаний, нам неизвестные).

Таким образом, для тех СЗн, в которых Презумпция А² имеет статус Аксиомы, содержание H_abs

структурируется по двум измерениям: по одному оно делится на три составляющие: факты, Метазнания и Мета-Метазнания,

по другому - знания в этих трех составляющих расслаиваются на познаваемые и непознаваемые.

3.4. В этом месте приходится обратить внимание на своеобразие взаимосвязи СЗн с Абсолютным Незнанием:

с одной стороны все составляющие H_ilbs в текущей СЗн пребывают латентно, поскольку в явном виде в ней отсутствуют;

однако, из этих латентных компонентов H_ilbs познаваемые могут появиться в СЗн в процессе ее расширения и эволюции (т.е. включены в нее и перейти в другие ее зоны), а непознаваемые остаются в H_abs данной СЗн навсегда;

эти обнаруженные компоненты могут быть совместимыми или несовместимы с текущей СЗн (оценка К), последнее может привести к ее значительной или даже радикальной перестройке.

Это своеобразие отражается соответствующими дополнениями наших Аксиом. В частности, они могут быть дополнены Утверждениями (а) и (б), развивающими Аксиому А²:

Утверждения: Неизвестные нам Системы Знаний, т.е. такие СЗн В H_abs, к которым наша СЗн может получить прямой или косвенный доступ, могут оказаться несовместимыми по содержанию:

(а) , с нашей текущей СЗн,

(б) , с нашей СЗн даже при ее развитии, т.е. в принципе.

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

Мы можем абстрактно «макетировать» ощущения, выходящие за рамки нашей системы чувств, но проинтерпретировать их восприятие в ее рамках не представляется возможным. Еще менее вероятной кажется возможность совместить в одной СЗн наш мир и мир элементарной частицы, окажись она живым или, тем более, мыслящим существом.

3.5. Статус Утверждений (а) и (б) в рассматриваемых СЗн позволяет разделить их на:

открытые: готовые к «встрече» с качественно новыми знаниями, которые не только могут потребовать радикальной перестройки текущей СЗн, но и в принципе быть с ней несовместимыми, - Утверждение (б) в статусе Аксиомы;

приземленные

: признающие, что развитие СЗн идет по спирали и радикальные перестройки в ней возможны, но принципиально несовместимые с ней знания вряд ли мыслимы, - Утверждение (а) в статусе Презумпции;

консервативные: развитие СЗн в основном достигнуто и никакие радикальные перестройки в ней невозможны или очень мало правдоподобны, - Утверждение (а) недостоверно.

К Аксиомам и Утверждениям (а) и (б) стоит добавить Утверждения А³ и А⁴:

Утверждение A³: H_ilbs не только несоизмеримо больше З_аы, но и гораздо сложнее, поскольку содержит более развитые СЗн. Это Утверждения А³ следует из Утверждения (а).

Утверждение А⁴: Процесс расширения Картины Мира (Системы Знаний) потенциально бесконечен.