| Title: | Матричное представление конечных предикатов для автоматизации логико-семантического анализа |
| Authors: | Зуенко, А. А. |
| Keywords: | материалы конференций;логико-семантический анализ;алгебра кортежей;матричное представление конечных предикатов |
| Issue Date: | 2014 |
| Publisher: | БГУИР |
| Citation: | Зуенко, А. А. Матричное представление конечных предикатов для автоматизации логико-семантического анализа / А. А. Зуенко // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2014) : материалы IV междунар. науч.-техн. конф. (Минск, 20-22 февраля 2014 года) / редкол.: В. В. Голенков (отв. ред.) [и другие]. – Минск : БГУИР, 2014. – С. 251 - 256. |
| Abstract: | В статье рассматривается программная система, основанная на матричном представлении конечных предикатов и теоретико-множественной интерпретации логических операций, принятой в алгебре кортежей. Система реализует оригинальные алгебраические методы решения таких задач логико-семантического анализа, как проверка правильности следования; вывод абдуктивных заключений; анализ семантических некорректностей. Также система может быть полезна при решении задач удовлетворения ограничений, которые сводятся к поиску выполняющих подстановок конъюнктивной нормальной формы конечного предиката. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/26086 |
| Appears in Collections: | OSTIS-2014
|
