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

Купить iphone 7 Севастополь на apple-market.net. | На сайте www.interkarton.ru новогодняя упаковка из картона. | Если Вас заинтересует аренда авто на самуи или техническое обслуживание. | рейтинг казино 2016 | Процент плагиата в дипломе на сайте www.anti-anti.ru. |

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


Второе - "правило заключения" (латинское название Modus Ponens - положительный модус) состоит в следующем: Если а и ? > ? являются истинными высказываниями посылками, тогда и высказывание заключение ? также истина. Записывается правило в виде дроби:

α, α → β
β

Пример. Пусть имеются следующие истинные высказывания:

  1. Если самолет проверен и заправлен, то он готов к вылету.
  2. Если самолет готов к вылету и дано разрешение на взлет, то он либо взлетел, либо находится па взлётной полосе.
  3. Если самолет взлетел, то он выполняет рейс.
  4. Самолет ЯК-42 проверен и заправлен.
  5. Самолет ТУ-134 проверен.
  6. Самолет ИЛ-62 заправлен.
  7. Самолету ЯК-42 дано разрешение на вылет.
  8. Самолет ЯК-42 не находится на взлетной полосе.

Требуется найти, какой из самолетов в момент времени Т выполняет рейс.

Проведем анализ данных высказываний. Высказывания 1, 2, 3 являются сложными и построены с использованием логических связок > (импликация), ? (И). Во всех элементарных высказываниях, из которых построены предложения 1,2,3, субъектом является

298

понятие "самолет"; предикатами выступают сказуемые, описывающие свойства всех объектов, принадлежащих классу "самолет". Высказывания 4-8 являются фактами, истинными на момент времени Т. Они являются элементарными высказываниями, описывающими свойства конкретных объектов предметной области.

Для формального описания задачи введем следующие одноместные предикаты:

ПРОВЕРЕН(Х) - самолет X проверен;

ЗАПРАВЛЕН(Х) - самолет X заправлен;

ГОТОВ(Х) - самолет X готов к вылету;

ДАНО_РАЗР(Х) - самолету X дано разрешение на вылет;

ВЗЛЕТЕЛ(Х) - самолет X взлетел;

НАХ_ВЗП(Х) - самолет X находится на взлетной полосе;

НЕ_НАХ_ВЗП(Х) - самолет X не находится на взлетной полосе;

ВЫП_РЕЙС(Х) - самолет X выполняет рейс.

Тогда исходное описание на языке логики предикатов будет иметь вид:

  1. ?Х(ПРОВЕРЕН(Х)? ЗАПРАВЛЕН(Х) > ГОТОВ(Х))
  2. ?Х(ГОТОВ(Х) ? ДАНО_РАЗР(Х)иНЕ_НАХ_ВЗП(Х) > ВЗЛЕТЕЛ(Х))
  3. ?Х(ГОТОВ(Х) ? ДАНО_РАЗР(Х)1Ю ВЗЛЕТЕЛ(Х) > НАХ_ВЗП(Х))



  4. Начало  Назад  Вперед