Резольвента

При организации работы интеллектуальной системы принятия решений в режиме оперативного управления предусматривается наличие двух контуров выводов рекомендаций — быстрого и медленного . В быстром контуре система использует метод поиска на экспертных моделях, описанных языком логики предикатов первого порядка. Метод основан на процедуре поиска резольвент. Последнюю в системе реализует дедуктивный решатель, входящий в состав планировщика-интерпретатора. Эта процедура позволяет быстро оценивать ситуации и выводить качественные решения. Медленный контур использует только вычислительные модели. Незапланированные флюктуации режима, аварийные [c.347]

Тогда, выделяя контрарную пару литер (10 и О), образующих пустую формулу (пустой дизъюнкт), получают резольвенту О Ру VI/ ). [c.155]

Обоснованность получения таким образом резольвент вытекает из теоремы, утверждающей, что резольвента О, полученная из двух дизъюнктов О у и 2, является логическим следствием этих дизъюнктов. [c.155]

О у, Оз,. ..,0 ., такая, что любой О, является либо дизъюнктом из 5, либо резольвентой, полученной принципом резолюций, и . [c.155]

В результате первого шага процедуры резолюции определяют контрарную пару литер (14 и А), входящих в логические формулы У1 (А) и У4 (1 А), и образуют резольвенту 1В, оставляя без изменения все остальные формулы (высказывания). [c.156]

Действительно, если имеются два дизъюнкта Оу Р(х) V 1/ (дг) 2- Р(/(х)) vO(y), то резольвента может быть получена только после применения к подстановки / х) вместо х. Получают [c.157]

Существенный недостаток принципа резолюции заключается в формировании на каждом шаге вывода множества резольвент— новых дизъюнктов, большинство из которых оказываются лишними. В связи с этим предложены различные модификации принципа резолюции, использующие более эффективные стратегии поиска и различного рода ограничения на вид исходных дизъюнктов. [c.159]

Вывод цели удобно представлять в виде дерева И/ИЛИ с корнем в целевой вершине (см. разд. 4.3). Вершина типа И дерева соответствует конъюнкции условий некоторого правила (т.е. Ау, А2,...,А, ). Вершине типа ИЛИ соответствует вариант, когда к одному и тому же заключению (резольвенте) приводят различные правила. [c.161]

Резольвента этого ядра получена М. А. Колтуновым в виде- [c.60]

Отметим, что резольвента Гр(г) может быть представлена в виде ряда [c.117]

Поскольку в правой части появляется резольвента оператора , мы видим, что скорость убывания корреляций связана со спектральными свойствами трансфер-оператора и, следовательно, с аналитическими свойствами соответствующей динамической дзета-функции. [c.208]

Ядро Е —5д) является резольвентой ядра hit—Sn) и. наоборот [149]. Известны различные типы аппроксимирующих функций, предложенных [157] для ядер уравнений (2.32) и (2.33), Их подробный анализ приведен, например, в работе [149]. [c.44]

Следовательно, для резольвенты имеем [c.43]

Использование метода функций Грина (или метода резольвенты) [c.58]

Практика использования ядра (1.23) при описания процессов релаксации и его резольвенты [c.22]

Для практического применения методики определения параметров сингулярного ядра и резольвенты, а также модуля упругости и коэффициента Пуассона используем таблицы теоретических функций 8т (О и 1) и их значений, найденных для достаточно широкого диапазона изменения параметров а , Л при I 0,0001 [7]. При этом примем р = 0,05. Время 1 такое же, как в опытах экспериментальные кривые податливости построены в координатах е 1) а — 1. [c.23]

Легко убедиться, что и резольвента ядра после замены (1.58) примет вид /( = К /ау, где [c.36]

Здесь К ( , 8) — функция двух переменных, называемая резольвентой уравнения (2.36) [c.46]

ДЛЯ которого резольвента имеет вид [c.64]

Рассмотрим свойства ядра Кц (р Р) и резольвенты Ад (р Р), так как они широко используются при расчете процессов рассеяния и определении спектра частиц. Функция Ко (р Р) при р Р = О имеет нуль второго порядка. При больших значениях аргумента (рр 1) ядро (рР) имеет асимптотический вид [64] [c.33]

Резольвента Ад (рр) при рр = О имеет нуль первого порядка. При р р О [c.33]

При больших значениях аргумента (р Р > 1) резольвента ко (р р) имеет асимптотический вид [64] [c.33]

Пусть дизъюнкты Р[, Рг содержат контрарные пары. Коит-ра )н 1я пара состоит из литеры Ь и ее отрицания Тогда, вы-черк 1у 1 Р и соответственно из Р] и Рг, образуем дизъюнкцию оставшихся дизъюнктов. Полученный в результате этой опе-рац и дизъюнкт называется резольвентой дизъюнктов Р и Ро. [c.121]

Т перь применим метод резолюций, строя граф опровержения (рис. 2.14). Сравьивая формулы Р/ н Рз, замечаем, что в них содержится контрарная пара Л1 тер, т. е. атомарная формула Л и ее отрицание "1Л вычеркнем А и А из формул Р ц Р[, тогда образуется новый дизъюнкт р4 -В, называемый резольвентой дизъюнктов fl и Рз поместим дизъюнкты Р/ и Р в вершины графа, соединив их стрелками с вершиной Р . изображающей их резольвенту. Поступая аналогичным образом, получим в результате пустой (ложный) дизъюнкт. [c.123]

Метод [ езо. поцип изобраиим графически и впде дерева опровержения (рис. 2.23), в вершины которого поместим дизъюнкты, содержащие контрарные пары. Резольвенты этих дизъюнктов, получающиеся при вычеркивании контрарных пар предикатов, будут образовывать новые вершины. Из рисунка видно, что в результате описанной здесь процедуры в корневой верш 1не графа опровержения находится пустой (ложный) дизъюнкт. Это служит доказательством того, что есть логическое следствие аксиом или, что все равно, 5 есть логическое следствие [c.144]

В общем случае каждый шаг процедуры логического вывода на основе ПР состоит в нахождении двух дизъюнктов, один из которых содержит литеру, а другой —ее отрицание. На основании этого сравнения формируется новый дизъюнкт, называемый/ езотгь-вснтой. Порождение новых дизъюнктов, или резольвент, является основой принципа резолюции. Пара литер, состоящая из некоторой литеры и отрицания этой литеры, называется контрарной, ти дополнительной, парой. Операция поиска и исключения контрарных, или дополнительных, пар литер называется операцией резолюции. [c.155]

Если в процессе вывода новых дизъюнктов (резольвент) получают два однолитерных дизъюнкта, образующих контрарную пару, то резольвентой этих двух дизъюнктов будет пустой дизъюнкт , или нулевая резольвента. [c.155]

На втором шаге, исключая из У1 и >2 контрарную пару (1В и В), получают высказывания в виде контрарной пары (У2.С УЗ. 1С), образующей пустую формулу, т. е. пустую резольвенту. Следовательно, истинность исходного высказывания А доказана. Процедуру доказательства этой теоремы можно отобразить в виде дерева вывода — дерева резолюции, показанного на рис. 5.2. [c.156]

Резольвента этого ядра, известная как Э, -функция Работнова ), имеет впд [c.60]

I ползучести предложены различные варианты ядер в соответствующих урав-<ениях Больцмана-Вольтерры. Сводное описание этих ядер и нх резольвент 1меется в монографии [112 . Ядра содержат три или четыре параметра, при-1 M, как правило, имеют дробную степень времени, так как только в этом лу чае воз южно описание экспериментальных данных по релаксации напря-кения и полз чести с хорошим приближением. [c.293]

Поскольку резольвенты от ядер (270) и (279) еще не найдены, для описа-процесса по пучесш полимеров можно воспользоваться теми же ядрами I) и (279), но с друп4ми параметрами, чем те, которые претодны для опита релаксации напряжения. [c.321]

Матрица С называется гриновской матрицей системы или резольвентой оператора Н. Ее элементы следует рассматривать как аналитические функции комплексной переменной е. [c.50]

Справочник химика 21

Химия и химическая технология