Дедуктивный вывод
Cтраница 2
Ниже рассмотрены результаты работы нескольких алгоритмов дедуктивного вывода на графе связей, разработанных другими авторами, на тестовой задаче Стимроллер. [17]
Структурирование проблемной области также позволяет увеличить эффективность дедуктивного вывода за счет существенного сокращения пространства поиска. [18]
Пока первые шесть правил не дают возможности дедуктивного вывода. Правилам 5 п 6 следует придать предикатно-логическую форму. [19]
В данной главе рассматриваются типы параллелизма в дедуктивном выводе: параллелизм на уровне термов, на уровне дизъюнктов и на уровне поиска. Описывается алгоритм дедукции на раскрашенных графах дизъюнктов с использованием операторов удаления и расщепления вершин, и приводятся пять типов параллелизма, возникающих в этом алгоритме. [20]
В широком смысле к достоверному выводу и относится дедуктивный вывод, который в настоящее время хорошо изучен и исследован. В классической логике дедуктивный вывод рассматривается как вывод от общего к частному. Дедукция - в высшей степени идеализированная и ограниченная форма рассуждений, и если мы хотим моделировать некоторые аспекты человеческих рассуждений ( здравый смысл, неопределенность, противоречивость информации и т.п.), то дедукции будет совершенно недостаточно, и нужно привлекать недедуктивные или правдоподобные формы рассуждений, такие как абдукция и индукция. [21]
В системе EL хранятся записи зависимостей для всех дедуктивных выводов и предположений. Утверждение в EL считается убедительным ( активным), если оно хорошо обосновано на уровне атомных предположений. Утверждение без такого обоснования считается пассивным. Если некоторое пассивное утверждение становится активным, то говорят, что оно активируется. На рис. 4.7 показан пример, отражающий этот процесс в базе данных. Предположим, что А1 и А2 - два взаимоисключающих предположения о состоянии устройства. [22]
Последователи Аристотеля, основываясь на силлогизме, сформулировали принципы дедуктивного вывода для высказываний, которые находятся на более высоком уровне абстракции по сравнению с суждениями. [23]
На рис. 3.13 а, б представлены результаты работы нескольких алгоритмов дедуктивного вывода на тестовой задаче Стимроллер. Следует отметить, что здесь не рассматриваются случаи многосортных логик. [24]
Из рассмотренного выше примера следует, что аппарат MLL увеличивает эффективность дедуктивного вывода по сравнению с MSL за счет сокращения пространства поиска. Это сокращение достигается структуризацией проблемной области и представления структурных отношений в префиксе логической формулы, что влечет удаление большого числа предикатов, которые загромождают описание проблемной области и снижают эффективность дедуктивного вывода. [25]
Ин-фолог - информационно-логическая система, предназначенная для представления сложноструктурированной информации и дедуктивного вывода на ее основе. Программное средство Инфолог создано для поддержки задач, решаемых разработчиками интеллектуальных систем на этапе моделирования проблемной области. Она позволяет пользователю описать требуемую проблемную область: задать объекты, атрибуты объектов, определить различные отношения между объектами, описать закономерности проблемной области в виде логических выражений, а также реализовать запросы, требуемые для получения тех или иных фактов. [26]
Из рассмотренного выше следует, что это расширение синтаксиса MLL повышает эффективность дедуктивного вывода по памяти и быстродействию. [27]
При использовании же нескольких ЭВМ или при использовании ЭВМ параллельной организации алгоритмы параллельного дедуктивного вывода имеют заведомое преимущество над алгоритмами последовательного дедуктивного вывода. [29]
Неотъемлемой частью любой БЗ являются механизмы обработки знаний, одним из которых является дедуктивный вывод. [30]
Страницы: 1 2 3 4