Cтраница 1
Индуктивный вывод правил из фактов применен также в системах AQ, AQUINAS, KSSI, INSTIL и некоторых других. [1]
Индуктивный вывод, используя некоторое множество фактов ( А), формирует базу для общего правила. Общее правило должно быть совместимо с А, но не обязательно является верным. При появлении дополнительной информации правило может быть отвергнуто. Использование общего правила позволяет более компактно представлять информацию. Несмотря на важность индуктивного вывода, результаты по построению систем, использующих его, весьма скромны. [2]
Индуктивным выводом является, например, следующей: Золото, серебро, железо и др. суть металлы. Золото, серебро, железо и др. тяжелее воды. [3]
Всякий индуктивный вывод является и редуктивным. [4]
Правила индуктивного вывода, используемые в ДСМ-методе, основываются на схемах, предложенных в работах Милля. Принципы установления причинно-следственных отношений, которые предложил Милль, основываются на идеях выделения сходства и различия в наблюдаемых ситуациях внешнего мира. [5]
В индуктивных выводах используются различные методы установления причинно-следственных отношений. Формулируются они в виде принципов, основными из которых являются принципы: единственного различия, единственного сходства, единственного остатка, аналогии и другие. [6]
В подсистеме индуктивного вывода закономерностей и построения прогнозных карт реализованы методы аппроксимации функций многих переменных, применяемые в условиях существенной априорной неопределенности: нахождение нелинейной зависимости между прогнозируемым свойством и описанием объектов либо зависимости между логарифмом отношения правдоподобия двух гипотез и описанием объектов. Подсистема также отбирает группы наиболее информативных признаков и поддерживает детальный анализ найденного решения. [7]
Учение об индуктивных выводах в истории рус. [8]
Учение об индуктивных выводах в истории рус. Велико к и и, Пола. [9]
Пусть тг - индуктивный вывод, х - переменная и t - терм. [10]
Основой каждой модели индуктивного вывода является набор правил ( схем) индуктивного вывода. В работах Плоткина за основную схему вывода была выбрана схема индуктивной резолюции. [11]
Михальский строил схему индуктивного вывода в рамках модификации языка исчисления предикатов первого порядка, включающей обобщенные кванторы и префиксную запись отношений равенства и неравенства. [12]
Проблемам индукции и индуктивного вывода в интеллектуальных системах уделяется большое внимание. [13]
Основой каждой модели индуктивного вывода является набор правил ( схем) индуктивного вывода. [14]
Логико-математический подход к индуктивному выводу базируется на многозначных логиках, формальных уточнениях методов сходства и различия, а также на некоторых обобщениях и модификациях этих уточнений. В предложенном подходе существенную роль играют правила вывода по аналогии, посредством которых порождаются индуктивные обобщения. Метод генерирует специфические предикаты, применяемые как к множеству положительных примеров, так и к множеству отрицательных. Поэтому оценка существования гипотезы и оценки ее несуществования являются независимыми. [15]