Логическая модель описания и обработки данных

Abstract

В статье рассматриваются вопросы представления данных средствами логического программирования в задачах поддержки принятия решений. Используя синтаксис предикатов первого порядка, построена модифицированная модель описания данных за счет сокращения кванторов существования в предикатном выражении. Что позволяет группировать отрицательную информацию для обеспечения редукции логических правил к синтаксису запроса.

У статті розглядаються питання представлення даних засобами логічного програмування в задачах підтримки прийняття рішень. Використовуючи синтаксис предикатів першого порядку, побудована модифікована модель опису даних за рахунок скорочення кванторів існування в предикатних виразах. Що дозволяє групувати від’ємну інформацію для забезпечення редукції логічних правил до синтаксису запиту.

The article devoted the presentation of data by means of logic programming in problems of decision support systems. Using the syntax of first-order predicate, construct a modified model for the description of data by reducing the existential quantifiers in the predicate expression. That allows to group negative information to ensure the reduction of logical rules to the syntax of the query.