Основы современных компьютерных технологий


Процент плагиата в дипломе на сайте www.anti-anti.ru. |

Логические системы - часть 3


Второе - "правило заключения" (латинское название 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Ю ВЗЛЕТЕЛ(Х) > НАХ_ВЗП(Х))



  • Содержание  Назад  Вперед