ДСМ-метод

ДСМ-метод.

Схема индуктивной резолюции. А также множество аналогичных методов, использующих некоторые другие методики логического вывода.

Методы индуктивного вывода в формальных исчислениях

Данные методы разработаны на основании теории исчисления предикатов. Их различия заключаются в применении различных схем вывода. Наиболее известны следующие методы:

2) Метод "звезды". Особенность заключается в применении эвристик для выбора наиболее перспективных гипотез.

4) GUHA-метод (авторы – коллектив Гаека). Особенность заключается в применении теории вероятностей и математической статистики. В логический вывод вводится элемент случайности и вероятностная мера.

В основу метода положены следующие принципы индукции (схемы Милля):

1. Принцип единственного различия. «Если после введения какого-либо фактора появляется (или после его удаления исчезает) известное явление, причем мы не вводим и не удаляем никакого другого обстоятельства, которое могло бы иметь влияние, то указанный фактор составляет причину явления.»

2. Принцип единственного сходства. «Если все обстоятельства явления, кроме одного, могут отсутствовать, не уничтожая этим явления, то это обстоятельство является причиной данного явления.»

3. Принцип единственного остатка. «Если вычесть из какого-либо явления ту его часть, которая является следствием известных причин, то остаток явления есть следствие остальных причин.»

Дата добавления: 2014-01-03