Построение формальных систем с изменяющейся логикой отношений. Модальный оператор. Множественное наследование с наследованием не всех свойств

Построение формальных систем с изменяющейся логикой отношений

Операторы

Unless-если не

p(x) unless q(x)→ r(x)

p(z)

r(w) →s(w)

Модальный оператор  М (“не противоречит”)

Для любого Х  good student(x).Mstudy_hard→graduate(x)

Основная проблема области истинности оператора М

Множественное наследование с наследованием не всех свойств.

Логика умолчания

A(z)∩B(z) → C(z)  если А(z) доказуемо и не противоречит B(z)  то – вывод теоремы

Для защиты логической целостности заключение системы вывода используют специальные системы.

Если происходят противоречия происходит откат назад

Апдукция – силологизм  у которого большая посылка достоверна , а меньшая только вероятна.

Индукция- получение общего знания на основании исследования отдельных представителей.

Индуктивная и апдуктивная модели – логически не полные

Неточный вывод на основе фактора уверенности .

С каждым правилом базы сопоставляется определенное значение фактора уверенности .(Между 0 и1 ) При использовании конкретной