Антецедент

Cтраница 1

Антецедент и сукцедент имеют вид конъюнктивных или дизъюнктивных нормальных форм пропозициональной логики или логики предикатов, атомарные формулы которых ( см. гл. [1]

Антецедент удовлетворяется, если все образцы, перед которыми не стоит минус, сопоставляются с элементами данных и никакой из образцов, перед которым стоит минус, не сопоставляется с элементами данных. [2]

Психиатрические антецеденты современной концепции PTSD уходят корнями к описаниям психической травмы, полученной в ходе боевых действий во время и после мировых войн. Однако причины, симптомы, течение и эффективное лечение этого часто приводящего к нервному истощению состояния были все еще плохо изучены, когда в середине 70 - х годол десятки тысяч участников вьетнамской войны стали обращаться в американские госпитали для ветеранов, к домашним и тюремным врачам, в ночлежки для бездомных. Теперь известно, что этому состоянию подвержено большинство перенесших травму людей, включая оставшихся в живых жертв технологических катастроф, преступлений, террористических актов, жестокого обращения в семье. [3]

Все антецеденты утвердительны, а консеквент - общеутвердительное предложение. [4]

Все антецеденты утвердительны, а консеквент - частноутвердительное предложение. Здесь мы также должны различать несколько подслучаев. [5]

Все антецеденты истинны, а консеквент ложен; следовательно, выражение ( 1) опровергается. [6]

Модель координирующего субавтомата. а - сеть Петри. б - граф достижимости. [7]

Если в антецеденты входят только переменные D, а в консеквенты - только переменные К и V, то логические выражения для управляющих воздействий можно получить без промежуточного представления в виде сети. [8]

Консеквент и антецедент) является высказыванием, противоречащим нек-рому факту или общепринятому мнению, напр. [9]

Правило связывает антецедент с одним действием, если значением его антецедента является истина, и ( второе необязательно) с другим действием, если значением его антецедента является ложь. Антецедент всегда представляет собой конъюнкцию одного или более условий. Условие представляет собой либо ( 1) дизъюнкцию одного или более условий, либо ( 2) предикат, примененный к тройке атрибут-объект-значение. Поскольку предикат может включать отрицание, антецедент можно рассматривать как произвольную булевскую комбинацию предикатов над ассоциативными тройками, которая оказывается выраженной в конъюнктивной нормальной форме. [10]

Связь между антецедентами и соответствующими консеквентами, создаваемая в результате применения некоторого правила вывода. Посредством зависимостей записывается способ, которым решения выводятся из исходных данных и предшествующих решений. [11]

Значениями в антецеденте и консеквенте могут быть числа, символы или переменные. [12]

Образцы в антецеденте представляют собой частичные описания элементов данных. Интерпретатор определяет, сопоставим ли образец с элементом данных, сравнивая подэлементы образца с соответствующими подэлементами элемента данных. Каждыйподэлемент условия должен быть сопоставим с соответствующим подэлементом данных по следующим правилам: ( 1) символ константы или числа сопсставим только с равной константой, ( 2) переменная сопоставима с любым символом или числом, однако если переменная в антецеденте встречается несколько раз, то все вхождения этой переменной дожны быть сопоставимыми с одним и тем же значением. [13]

Теперь в антецедентах секвенций, стоящих выше самой нижней строки, может встречаться также формула - i С, а в сукцедентах - С. [14]

Подразумевается, что антецедент не несет логического ударения. В противном случае фраза перестает быть трансформом исходной, ибо меняется актуальное членение. [15]

Страницы: 1 2 3 4