Cтраница 4
Такой вид структуры управления правилами получил наименование цепочки обратного вывода ( backward chaining), поскольку путь рассуждений идет от того, что нужно доказать, к фактам, на которых основывается доказательство. При прямой цепочке рассуждение ведется, отталкиваясь от имеющихся фактов. В этом отношении система MYCIN напоминает STRIPS, где цель также достигалась разбиением ее на подцели, к которым можно было бы применить определенные операторы. [46]
Другую модель использования свидетельств и заключений предлагает стратегия обратного вывода. В некоторых задачах имеется всего несколько решений при наличии огромных объемов входной информации. В этом случае целесообразно в каждый момент времени рассматривать только одно из возможных решений, а затем собрать и проверить все свидетельства, которые могут его подтвердить или опровергнуть. [47]
Но отсюда ни в коем случае не следует обратного вывода, будто основной капитал неизбежно должен состоять из неподвижных вещей. Корабль или локомотив действуют только в движении; и все же они функционируют - не для своего производителя, а для того, кто их эксплуатирует, - как основной капитал. С другой стороны, оборотными составными частями производительного капитала являются вещи, которые действительно закреплены в процессе производства, совершают в нем весь круг своей жизни и, раз вступив в него, уже никогда его не покидают, - напр. Они являются оборотными не потому, что они физически вместе с продуктом покидают процесс производства и обращаются как товар, а потому, что их стоимость целиком входит в стоимость товара, производству которого они содействуют, и, следовательно, целиком должна быть возмещена путем продажи товара. [48]
Продукционные системы бывают двух диаметрально противоположных типов - с прямыми и обратными выводами. [49]