Cтраница 3
В соответствии с этой интерлретацией все антецеденты выражения ( 2) истинны, а консеквент ложен; выражение поэтому опровергается. Но этот второй набор чисел не опровергает выражения ( 1), потому что Aab истинно, а следовательно, NAab ложно, а ложный антецедент обеспечивает истинность импликации. [31]
Чувство или сознательное состояние не есть необходимый антецедент, или причина движений. Это прямое отрицание того положения Уорда, что движению во всех случаях предшествует сознание. [32]
Заменим выбранный предикат в S1 на антецеденты импликации S1 или, если S2 является фактом, просто вычеркнем этот предикат; в результате получается новое ( возможно, пустое) отрицание. [33]
Правило выбирается на основе точного сопоставления антецедента и данных в рабочей памяти. Прецедент выбирается на основе частичного сопоставления, причем учитываются еще и знания о сущности характеристик, по которым выполняется сопоставление. [34]
Квантор общности может быть поставлен перед антецедентом истинной импликации при всех условиях, связывая встречающуюся в антецеденте свободную переменную, однако перед консеквентом истинной импликации квантор общности ставится только при том условии, если переменная, связанная в консеквенте, не встречается в качестве свободной переменной в антецеденте. [35]
Здесь мы имеем пример истинной импликации, антецедент которой является отрицанием ее консеквента. [36]
В этих случаях относительно-союзное местоимение замещает свой антецедент. [37]
Консеквент имеет вид Aab, и существуют антецеденты типа Aaf с f, отличным от а. Если существует цепь, ведущая от а к 6, выражение принимается на основании аксиомы 3, модуса Barbara; если такой цепи нет, выражение отбрасывается. [38]
Проводится сравнение всех сообщений из списка с антецедентами всех правил. [39]
Противоречие возникает, когда два правила с одинаковыми антецедентами имеют противоречивые консеквенты. Одно правило является частью другого в том случае, когда совокупность условий антецедента одного правила представляет собой подмножество совокупности условий другого правила, а их консеквенты одинаковы. Но в состав TEIRESIAS не включены знания о какой-либо конкретной предметной области или о стратегии решения проблем, которая может быть использована в проектируемой экспертной системе. [40]
Ни одна из вышеприведенных формул с одним отрицательным антецедентом не является положением, что может быть доказано сведением их к случаю лишь с утвердительными элементами. [41]
Консеквент отрицателен, отрицателен и более чем один антецедент. Выражения этого рода могут быть сведены к более простым выражениям и в конечном счете ко второму случаю. Разрешение этого случая требует применения правила отбрасывания Слупецкого. [42]
Консеквент имеет вид lab, а в качестве антецедента выступает или Aab, или Aba, или lab, или Iba очевидно, что во всех этих случаях выражение должно быть принято. [43]
При этом относительно-союзные местоимения qui ( употребленное с антецедентом) и que существенно отличаются от соответствующих вопросительных местоимений как по своему ( лексическому указательному) значению, так и по синтаксической функции. [44]
С, то есть совершая подстановку только в антецеденте, так как недопустимо подставлять что-либо на место связанной переменной. [45]