![]() Главная страница Случайная страница КАТЕГОРИИ: АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Трехзначная модальная логика.
В логическом подходе обработки знаний осуществляется представление знаний в виде суждений. Составными частями суждений являются объект суждения, предикаты и логические связки. В двухзначной логике Буля характер связи между объектом и субъектом суждения не устанавливается. Польский математик Ян Лукасевич впервые предложил устанавливать такой характер связи через модальные операторы: 1. (х) – необходимо х 2. ◊ (х) – возможно х 3. Назначение модальных операторов заключается в определении значения функции, зависящей от модальности.
Рис. 28. Исходные два класса семантических значений И и Л Лукасевич разбил на подклассы: необходимость и возможность, при этом подклассы необходимость И и Л рассматриваются приемники семантических значений И и Л. Подклассы возможных состояний не являются самостоятельными. Их объединяют в 2 класса случайных событий. Таким образом семантика любой переменной определяется 3 значениями: 0 – возможность 1 – необходимость 2 – случайность
Рассмотрим основные и вспомогательные модальные операции.
Рис. 29. Модальный оператор – двузначная функция, определяющая своим первым значением соответствующий ей модальный знак. Установим связь между модальными операциями прямого значения х с его отрицанием.
Рассматривая 2 таблицы можно определить эквивалентные преобразования операторов.
Рис. 30.
Данные преобразования модальных операторов применяются для минимизации трехзначных функций и для получения эквивалентных функций. Модальные операторы являются расширением двузначной записи в логике Буля. Для описания трехзначных функций Лукасевич ввел собственный вид представления. Любая функция раскладывается следующим образом:
![]()
При таком разложении функции в конечном итоге каждый терм умножается на некоторую константу. Таким образом получается, что в окончательной записи функции присутствуют только те термы, у которых значение константы равно 4. Лукасевич предложил раскладывать функцию на 3 составляющие:
В окончательной записи функции будут присутствовать только те термы, у которых const = 1 или 2. Рассмотрим запись трехзначной функции в виде таблицы и аналитически.
Для минимизации используются карты Лукасевича. Объединение переменных в терм выполняется по закону 3i,
Для минимизации функции используются графические и аналитические методы. В графическом функция представляется в виде гиперкуба (склеивание по вершинам, ребрам, плоскостям). ЛЕКЦИЯ 11, 12.
|