DIGISTYLE

ЦИФРОВОЙ СТИЛЬ ТВОЕГО МИРА

Проверка древесного контекста

Напомним, что гипотетические СинтО создавались на основе проверки условий синтагм, описывающих только линейный контекст (условия первой и второй групп). После получения графа гипотетических СинтО можно перейти к проверке древесного контекста (условия третьей и четвертой групп). Для нормальной работы оборудования можно использовать кабель для iPad.

 

Проверка этих условий также представляет собой процедуру построении подтверждающих (опровергающих) примеров для групп необходимых (невозможных) древесных условий, причем для переменных, которые уже встречались в линейных условиях, берутся ранее найденные значения.

 

Отметим принципиальную трудность, возникающую при работе с синтагмами. Если проверка условий синтаксического правила производится на готовой СинтС, то наличие (отсутствие) подтверждающего примера означает истинность (ложность) группы необходимых условий, а отсутствие (наличие) опровергающего примера означает истинность (ложность) группы невозможных условий. Иначе обстоит дело на этапе СинтА, где вместо дерева приходится просматривать граф гипотетических СинтО. Лишь отсутствие подтверждающего (опровергающего) примера означает ложность (истинность) соответствующей группы необходимых (невозможных) условий. В то же время наличие подтверждающего примера для группы необходимых условий, вообще говоря, не означает их истинности, так же как и наличие опровергающего примера для группы невозможных условий не означает их ложности, потому что в процессе снятия омонимии и уничтожения избыточных гипотез контекст может уточниться и найденные примеры перестанут существовать.

 

Для учета этих обстоятельств некоторые предикаты, занятые подбором значений переменных, на этапе СинтА могут вырабатывать, помимо значений «истина» и «ложь», третье истинностное значение «квазиистина». Значение «квазиистина» вырабатывается предикатами в тех случаях, когда в качестве значения переменной подобран некоторый узел графа, связанный с данным узлом требуемым СинтО, но это СинтО не является окончательным. Логические операции над предикатами — это операции трехзначной логики. Поэтому могут возникнуть «квазиистинные» условия. Заметим, что могут быть окончательные гипотезы, в которых некоторые условия еще «квазиистинны». С другой стороны, могут существовать неокончательные гипотезы, у которых все условия истинны.

После проверки условий третьей и четвертой групп часть гипотез отсеивается.

 

VN:F [1.9.18_1163]
Rating: 0.0/10 (0 votes cast)

Опубликовано: Октябрь 19, 2013

Классные штуки!