| DC Field | Value | Language |
|---|
| dc.contributor.author | Зуенко, А. А. | - |
| dc.date.accessioned | 2017-10-05T08:07:01Z | - |
| dc.date.available | 2017-10-05T08:07:01Z | - |
| dc.date.issued | 2014 | - |
| dc.identifier.citation | Зуенко, А. А. Матричное представление конечных предикатов для автоматизации логико-семантического анализа / А. А. Зуенко // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2014) : материалы IV междунар. науч.-техн. конф. (Минск, 20-22 февраля 2014 года) / редкол.: В. В. Голенков (отв. ред.) [и другие]. – Минск : БГУИР, 2014. – С. 251 - 256. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/26086 | - |
| dc.description.abstract | В статье рассматривается программная система, основанная на матричном представлении конечных предикатов и теоретико-множественной интерпретации логических операций, принятой в алгебре кортежей. Система реализует оригинальные алгебраические методы решения таких задач логико-семантического анализа, как проверка правильности следования; вывод абдуктивных заключений; анализ семантических некорректностей. Также система может быть полезна при решении задач удовлетворения ограничений, которые сводятся к поиску выполняющих подстановок конъюнктивной нормальной формы конечного предиката. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | логико-семантический анализ | ru_RU |
| dc.subject | алгебра кортежей | ru_RU |
| dc.subject | матричное представление конечных предикатов | ru_RU |
| dc.title | Матричное представление конечных предикатов для автоматизации логико-семантического анализа | ru_RU |
| dc.type | Статья | ru_RU |
| Appears in Collections: | OSTIS-2014
|
