МОДЕЛИРОВАНИЕ РАССУЖДЕНИЙ АЛГЕБРАИЧЕСКИМИ МЕТОДАМИ

Автор(ы): Кулик Борис Александрович, Зуенко Александр Анатольевич, Фридман Александр Яковлевич

Рубрика: Математическая кибернетика

Выпуск: 2014-1 (4)

Страницы: 321-331

Ключевые слова: Алгебра кортежей, Логический вывод, Правдоподобные рассуждения, Коллизии

Аннотация: Среди алгебраических методов в логике широко известна алгебра логики – аналог исчисления высказываний. В качестве моделей исчисления предикатов были предложены алгебра Линденбаума-Тарского, полиадические алгебры Халмоша и др. Однако эти алгебры слишком абстрактны и трудно поддаются алгоритмизации. В данной работе рассматривается разработанная авторами алгебра кортежей, которую также можно представить как обобщение математической теории отношений.

Библиографическая ссылка: Кулик Б.А., Зуенко А.А., Фридман А.Я. МОДЕЛИРОВАНИЕ РАССУЖДЕНИЙ АЛГЕБРАИЧЕСКИМИ МЕТОДАМИ // Образовательные ресурсы и технологии. – 2014. – № 1 (4). – С. 321-331. doi: