Искусственный интеллект

Таблица 2.3 X У -I X с-. У v у) -| X Л (-1 у v у) -| X Л (-, у V у) => -1 X Л л И и И И Л и и и и И И л л л л И И и л л л И 27 2. Логические рассуждения Из табл: 2.3 ясно, что формула ->хл(-,у\/у)=>-,хявляется общезначимой (во всех строках последнего столбца стоит значение И). Ранее было заявлено, что истинность высказывания ау эо; всегда означает, что истинность а, влечет истинность а2(здесь а, и выявляются формулами логики высказываний). Потому, установив факт общезначимости формулы а,г>а2и истинности а7, всегда можно сделать заключение об истинности а2. Так, например, предположим, что истинное значение логической переменной х в формуле -,хл(-,учу)г>-,х соответствует местонахождению кота слева (Слева), а ложное значение логической переменной хсоответствует местонахождению кота справа (Справа), истинное значение переменной у соответствует наличию сыра около левой комнаты (Да), а ложное его отсутствию там (Нет). В этом случае при истинности формулы -1 х л (-1 у v у) можно сделать заключение об истинности формулы -ix, что соответствует нахождению кота у правой комнаты (Справа).