Cтраница 1
Дедуктивный вывод представляет собой цепь утверждений, каждое из к-рых есть или посылка, или утверждение, непосредственно следующее по законам логики из утверждений, уже имевших место в этой цепи. В случае дедуктивного вывода следствия содержатся в посылках в скрытом виде, и они должны быть извлечены из них в результате применения методов логического анализа. [1]
Рассмотрим традиционный дедуктивный вывод, основанный на применении правила вывода Modus Ponendo Ponens, в среде нечетких знаний. [2]
Блок дедуктивного вывода реализует дедуктивные рассуждения, с помощью которых на основании общих закономерностей из базы закономерностей, конкретных фактов из базы фактов и правил вывода из базы правил выводятся новые факты. С помощью этого же блока происходит поиск пути на сценариях при заданной конечной цели. [3]
Алгоритм дедуктивного вывода на раскрашенных С-графах является наиболее эффективным для решения задачи Стимроллер, что определяется ее представлением в виде графа дизъюнктов, который имеет множество независимых вершин. При работе алгоритма происходит стяжка сети, на каждом шаге резольвирование идет по нескольким вершинам, что повышает эффективность алгоритма вывода. [4]
Рассмотрим пример OR-параллельного дедуктивного вывода на графе связей. [5]
В случае дедуктивного вывода следствия содержатся в посылках в скрытом виде, и они должны быть извлечены из них в результате применения методов логического анализа. [6]
В случае дедуктивного вывода следствия содержатся в посылках в скрытом виде, и они должны быть извлечены из них в результате применения методов логического анализа. [7]
В отличие от дедуктивного вывода существуют задачи, в которых некоторый общий вывод необходимо построить на основе совокупности частных утверждений. При этом используют аппарат математической логики, теории вероятностей и математической статистики. [8]
Так как система дедуктивного вывода в общем случае недетерминирована, проблема управления поиском вывода актуальна для построения эффективных решателей проблем. Одним из путей решения этой проблемы является параллелизм, который может быть реализован как мулътипоиск и распределенный поиск. В мультипоиске стратегии приписывают каждому параллельному процессу свой план поиска, в то время как стратегии распределенного поиска выдают каждому параллельному процессу свою порцию пространства поиска. Эти два подхода не являются взаимоисключающими, между ними имеется связь. [9]
Необходимо предусмотреть работу дедуктивного вывода в открытой проблемной области. Рассмотрим процесс дедуктивного вывода более подробно. В процесс дедуктивного вывода вовлекаются два важных алгоритма: алгоритм сколемизации и алгоритм унификации. Эти алгоритмы в MLL являются дальнейшим развитием соответствующих алгоритмов исчисления предикатов первого порядка. Исходная формула для алгоритма сколемизации должна быть представлена в пренексной нормальной форме. [10]
Функции принадлежности для выбора типа химического реактора.. 6 - ft ( A2. в - / i ( Аз. [11] |
Рассмотрим сущность процедур нечеткого дедуктивного вывода. [12]
ЭС первого поколения дедуктивного вывода средств для реализации индуктивного ( от частного к общему) и абдуктивного ( от частного к частному) выводов, а также проведения немонотонных рассуждений, в процессе которых поступившие факты иногда изменяют истинность выведенных ранее заключений. Кроме того, системы второго поколения могут обрабатывать в процессе вывода временные и пространственные закономерности. [13]
Рассмотрим одно из применений дедуктивного вывода, а именно, получение экстенсионалов отношений, которое позволяет значительно сократить экстенсиональную составляющую БЗ. [14]
Под силлогизмом понимается специфическая форма дедуктивного вывода, при котором из двух посылок получают заключение, не содержащееся в посылках. Посылки строятся на основе одноместных предикатов и могут иметь следующие формы: Все А суть В, Некоторые В суть А, Ни одно В не есть С, Некоторые С не суть В. В процессе силлогистического вывода оба крайних термина, А и С, переходят в заключение, которое также построено из одноместных предикатов и имеет одну из указанных выше структур. Комбинирование возможных форм суждений, составляющих силлогистическое умозаключение, позволяет построить 256 силлогизмов1; некоторые из них представлены на рис. 182 в качестве примеров. [15]