являются истинными высказываниями посылками, тогда
Второе -
"правило заключения" (латинское название Modus Ponens - положительный модус) состоит в следующем: Если а и ? > ? являются истинными высказываниями посылками, тогда и высказывание заключение ? также истина. Записывается правило в виде дроби:
Пример. Пусть имеются следующие истинные высказывания:
Если самолет проверен и заправлен, то он готов к вылету.
Если самолет готов к вылету и дано разрешение на взлет, то он либо взлетел, либо находится па взлётной полосе.
Если самолет взлетел, то он выполняет рейс.
Самолет ЯК-42 проверен и заправлен.
Самолет ТУ-134 проверен.
Самолет ИЛ-62 заправлен.
Самолету ЯК-42 дано разрешение на вылет.
Самолет ЯК-42 не находится на взлетной полосе.
Требуется найти, какой из самолетов в момент времени Т выполняет рейс.
Проведем анализ данных высказываний. Высказывания 1, 2, 3 являются сложными и построены с использованием логических связок > (импликация), ? (И). Во всех элементарных высказываниях, из которых построены предложения 1,2,3, субъектом является
298
понятие "самолет"; предикатами выступают сказуемые, описывающие свойства всех объектов, принадлежащих классу "самолет". Высказывания 4-8 являются фактами, истинными на момент времени Т. Они являются элементарными высказываниями, описывающими свойства конкретных объектов предметной области.
Для формального описания задачи введем следующие одноместные предикаты:
ПРОВЕРЕН(Х) - самолет X проверен;
ЗАПРАВЛЕН(Х) - самолет X заправлен;
ГОТОВ(Х) - самолет X готов к вылету;
ДАНО_РАЗР(Х) - самолету X дано разрешение на вылет;
ВЗЛЕТЕЛ(Х) - самолет X взлетел;
НАХ_ВЗП(Х) - самолет X находится на взлетной полосе;
НЕ_НАХ_ВЗП(Х) - самолет X не находится на взлетной полосе;
ВЫП_РЕЙС(Х) - самолет X выполняет рейс.
Тогда исходное описание на языке логики предикатов будет иметь вид:
?Х(ПРОВЕРЕН(Х)? ЗАПРАВЛЕН(Х) > ГОТОВ(Х))
?Х(ГОТОВ(Х) ? ДАНО_РАЗР(Х)иНЕ_НАХ_ВЗП(Х) > ВЗЛЕТЕЛ(Х))
?Х(ГОТОВ(Х) ? ДАНО_РАЗР(Х)1Ю ВЗЛЕТЕЛ(Х) > НАХ_ВЗП(Х))
Содержание Назад Вперед