Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

Модальные логики.

Читайте также:
  1. ЗАНЯТИЕ 7 МОДАЛЬНЫЕ ГЛАГОЛЫ
  2. Многозначные логики.
  3. Модальные суждения
  4. Упр. 482. Вставьте модальные глаголы to have to или to be to.
  5. Упр. 530. Вставьте подходящие модальные глаголы (must, may, can, need, to have to, to be able to).

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

A) Логика возможного (дополнительные кванторы?

(29) ,

?(30)

B) Логика веры (дополнительные кванторы?

(29) ,?

(30)

C) Логика времени (дополнительные кванторы

?(29) ,

?(30) .

D) Другой вариант логики времени (добавляются также квантификаторы G – всегда в будущем, H -всегда в прошлом, F – иногда в будущем, P – иногда в прошлом).

E) Другие логики.

Пример. Опишем на языке логики времени утверждение «иногда в прошлом рабочий день Сергея продолжался до 23 часов».

Введем предикат Q(x, y) - рабочий день x продолжается дон часов.

Тогда, P [Q(Сергей, 23)].

Модальные логики и логический вывод на модальных логиках, в настоящее время находят все более широкое применение.

 

Дата добавления: 2015-09-06; просмотров: 117 | Нарушение авторских прав

Читайте в этой же книге: Булева алгебра. | Метод резолюции в ЛВ. | Основные определения. | Метод резолюции в ЛППП. | Стратегии проведения резолюции. | Упорядоченный линейный вывод в ЛППП. | Применение поиска в пространстве состояний при реализации автоматизированного логического вывода. | Логический вывод на хорновских дизъюнктах. | Понятие экспертной системы и применение логического вывода при построении экспертных систем. | Запросы класса C. |
<== предыдущая страница | следующая страница ==>
Понятие о нечетком выводе| Многозначные логики.
mybiblioteka.su - 2015-2024 год. (0.006 сек.)