Details

Title: Вывод следствий с предварительно заданными свойствами // Системный анализ в проектировании и управлении: сборник научных трудов XXV Международной научной и учебно-практической конференции, 13–14 октября 2021 г.: [в 3 частях]. Ч. 2
Creators: Кулик Борис Александрович
Organization: Российская академия наук. Институт проблем машиноведения
Imprint: Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2021
Collection: Общая коллекция
Subjects: Математическая логика; логический вывод; интересные следствия; алгебра кортежей; правило обобщения; минимальное следствие; проекция; элиминация атрибутов
UDC: 510.6
Document type: Article, report
File type: PDF
Language: Russian
DOI: 10.18720/SPBPU/2/id21-157
Rights: Доступ по паролю из сети Интернет (чтение, печать, копирование)
Record key: RU\SPSTU\edoc\67484

Allowed Actions:

Action 'Read' will be available if you login or access site from another network Action 'Download' will be available if you login or access site from another network

Group: Anonymous

Network: Internet

Annotation

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

In deductive analysis based on mathematical logic, two main tasks are relevant: checking the correctness of the intended consequence and the conclusion of the consequence with predefined properties. The main theoretical potential of mathematical logic is aimed at solving the first problem. As for the task of finding “interesting” consequences, there are practically no useful developments for it. In this paper, we propose methods for solving the problem of calculating consequences with given properties based on the n-tuple algebra.

Document access rights

Network User group Action
ILC SPbPU Local Network All Read Print Download
External organizations N2 All Read
External organizations N1 All Read
Internet Authorized users SPbPU Read Print Download
Internet Authorized users (not from SPbPU) Read
-> Internet Anonymous

Usage statistics

stat Access count: 0
Last 30 days: 0
Detailed usage statistics