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

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

Full description

Saved in:
Bibliographic Details
Published in:Искусственный интеллект
Date:2013
Main Author: Танянский, С.С.
Format: Article
Language:Russian
Published: Інститут проблем штучного інтелекту МОН України та НАН України 2013
Subjects:
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/85113
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Логическая модель описания и обработки данных / С.С. Танянский // Искусственный интеллект. — 2013. — № 2. — С. 86–91. — Бібліогр.: 12 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
Description
Summary:В статье рассматриваются вопросы представления данных средствами логического программирования в задачах поддержки принятия решений. Используя синтаксис предикатов первого порядка, построена модифицированная модель описания данных за счет сокращения кванторов существования в предикатном выражении. Что позволяет группировать отрицательную информацию для обеспечения редукции логических правил к синтаксису запроса. У статті розглядаються питання представлення даних засобами логічного програмування в задачах підтримки прийняття рішень. Використовуючи синтаксис предикатів першого порядку, побудована модифікована модель опису даних за рахунок скорочення кванторів існування в предикатних виразах. Що дозволяє групувати від’ємну інформацію для забезпечення редукції логічних правил до синтаксису запиту. 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.
ISSN:1561-5359