Непейвода Н.Н. Программирование. Раздел 1

Непейвода Н.Н. Программирование. Страница 100

В случае наиболее распространенной классической логики и языка исчисления предикатов либо некоторого его расширения на систему аксиом можно смотреть как на описание предметной области (либо, что то же самое, на задание соотношений между данными). Вычисли­тельные действия в подобной системе активизируются по запросам, целью которых является вывод некоторой формулы (что для классиче­ской логики и элементарных формул соответствует выводу истинности либо ложности некоторого факта; такой вывод уже не назовешь про­веркой, поскольку он не является элементарной операцией). Програм­миста в такой системе обычно интересует не способ вывода, а лишь его осуществимость.

Не все из этих направлений представлены одинаково в экспериментальных разработках языков, экспертных систем и, тем более, оборудования. Напри­мер, в полном соответствии с теоретическими результатами об окольных пу­тях в доказательствах и парадоксом изобретателя (см. [65] или краткий очерк в Приложении А), прямая реализация аксиоматических систем, несмотря на их явную привлекательность, заведомо неалгоритмична, а потому в чистом виде они могут быть основой лишь для весьма узких классов описаний прикладных областей.

Аксиоматические системы могут служить иллюстрацией того, как по­пытки неоправданного распространения методов за сферу их адекватной применимости губят идею. Пусть у нас есть потребность в вычислении значений формул исчисления высказываний. Для этой области можно ука­зать конструктивное решение, в точности соответствующее потребности и даже допускающее реализацию в оборудовании. Имея гипотетическую си­стему, которая позволяет устанавливать факты (теоремы) из данной области, пользователь очень скоро может захотеть большего, пусть даже внешне не очень отличающегося от формул исчисления высказываний. Иначе говоря, предполагается желание распространить "хорошо себя зарекомендовавшую систему" на исчисление предикатов. Даже оставляя без внимания, что это должно привести к радикальной переделке внутренних механизмов (в част­ности, прежняя реализация на уровне оборудования оказывается непригод­ной), видно, что мы переходим в область алгоритмической неразрешимости. Но на уровне пользовательской модели абстрактных вычислений изменения, на первый взгляд, не очень заметны: как в старом, так и в новом случае мы бы хотели, задавая формулы, поручать системе делать заключение об их истинности, совершенно не заботясь о том, как такие заключения будут по­лучены. В результате стремления к распространению в систему включаются инородные элементы, компенсирующие, например, невозможность полного перебора вариантов. Но проблемы неразрешимости все равно дают о се­бе знать: система не справляется с, казалось бы, корректно поставленными задачами. И хотя она попрежнему в состоянии выполнять задания из перво­начально очерченной области, в отношении к ней, как минимум, появляются элементы недоверия. Вот что случается, когда нарушен принцип обобщения без потерь.

Новости

  • 1
  • 2
Prev Next

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

24.01.2016

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

Роскосмос не планирует в течение ближайшего десятилетия осуществлять пуск тяжёлой ракеты-носителя А...

Ученые РФ опровергли выводы исследований о вреде ГМО

24.01.2016

Ученые РФ опровергли выводы исследований о вреде ГМО

Исследователи из Института проблем передачи информации (ИППИ РАН) проанализировали несколько самых п...

Летающие "Крокодилы"

24.01.2016

Летающие "Крокодилы"

20 удивительных фактов о боевом вертолете Ми-24.Этот вертолет стал таким же узнаваемым символом сове...

В Аргентине описали новый вид динозавра-гиганта

24.01.2016

О ранее неизвестном виде динозавра, относящемуся к инфраотряду зауроподов, рассказали аргентинские п...

Реклама