[Текст] / Б.А. Кулик, А.А. Зуенко, А.Я. Фридман. - Санкт-Петербург : Издательство Политехнического университета, 2010. - 235 с. : ил., табл. ; 20 см. - Библиогр.: с. 216 - 223. - Предм. указ.: с. 231 - 233. - 300 экз. -
ISBN 978-5-7422-2836-3 : Б. ц.
ББК З 811в641 + В123
Аннотация: В книге представлен новый математический аппарат –
алгебра кортежей (АК), которая относится к классу булевых алгебр и позволяет реализовать алгебраический подход к логическому анализу в системах искусственного интеллекта. В АК, в отличие от формальных систем, где основа – символьные конструкции, в качестве базового выбрано понятие “многоместное отношение” и предложены обобщения операций алгебры множеств для работы с отношениями, заданными в разных схемах. Это позволило расширить возможности существующих систем обработки данных и знаний, основанных на бинарных и реляционных отношениях. АК дает возможность унифицировать представление и анализ как данных, так и знаний, и, следовательно, решить проблему сопряжения баз данных и баз знаний в рамках одной программной системы. Алгоритмы обработки отношений, записанных в виде АК-объектов, хорошо поддаются распараллеливанию. Кроме того, разработаны дополнительные методы уменьшения трудоемкости, а в некоторых случаях – и вычислительной сложности интеллектуальных процедур. В алгебре кортежей, помимо известных методов логических исчислений, реализованы новые алгебраические методы проверки корректности следствия и поиска следствий из заданной системы аксиом. В ходе вывода учитывается внутренняя структура обрабатываемых знаний, что ускоряет решение стандартных задач логического анализа. Помимо логического вывода, АК служит для формализации широкого круга логических задач (абдуктивные и модифицируемые заключения, моделирование графов и семантических сетей, экспертных правил и т.д.).
Держатели документа: ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Доп.точки доступа: Зуенко, Александр Анатольевич; Фридман, А.Я.; Российская ассоциация искусственного интеллекта
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)