Все выпуски

Проблема П.С. Новикова для суперинтуиционистской логики $L$ состоит в описании семейства всех максимальных консервативных (то есть полных по П.С. Новикову) расширений $L$ в обогащенном дополнительными логическими связками и константами языке. В связи с континуальностью семейства всех суперинтуиционистских логик имеет смысл рассматривать проблему П.С. Новикова применительно к логикам, уже попавшим по тем или иным причинам в поле зрения исследователей.

Известно, что существуют три так называемые предтабличные суперинтуиционистские логики (то есть не являющиеся табличными, но такие, что все их собственные расширения уже табличны). Одна из них - логика $L2$ - характеризуется классом корневых упорядоченных множеств глубины 2. Установлено, что для суперинтуиционистской логики $L2$ в языке с единственной дополнительной константой существует ровно пять полных по Новикову расширений; дано их семантическое описание.

В настоящей работе предлагается явная аксиоматика гильбертовского типа для каждого из пяти существующих полных по П.С. Новикову расширений суперинтуиционистской логики $L2$ в языке с одной дополнительной логической константой.

The Novikov problem for a superintuitionistic logic $L$ is to describe the class of all maximal conservative (i.e. P.S. Novikov complete) extensions of $L$ in the language with additional logical connectives and logical constants. Since the family of all superintuitionistic logics has the power of the continuum, it is sensible to apply the P.S. Novikov problem to superintuitionistic logics which for one reason or other have already come to researchers' attention.

In particular, there are three so-called pretabular superintuitionistic logics (i.e. non-tabular, but all their own extensions are tabular). One of them - the logic $L2$ - is characterized by the class of finite rooted linearly ordered sets of depth 2. It is established that for superintuitionistic logic $L2$ in the language with one additional constant there are exactly five P.S. Novikov complete extensions; their semantic description is given.

In this paper we propose an explicit axiomatics for each of the five existing P.S. Novikov complete extensions of the superintuitionistic logic $L2$ in the language containing an additional constant.

В работе предлагается для формального описания и структурного анализа изображений использовать расширение $ \mathcal{ALC}(GI)$ дескрипционной логики $ \mathcal{ALC} $. Концепты и роли логики $ \mathcal{ALC} (GI)$ интерпретируются на графе изображения и его подграфах. Описана модель изображения в виде многослойного атрибутивного графа. Граф изображения содержит слой цветовых сегментов, слой границ, слой скелетонов. Каждый слой представляет собой планарный граф, слои связаны между собой отношениями «предок-потомок». Переход от пиксельного представления изображения к графовому позволяет существенно увеличить эффективность его анализа. Приведены примеры предметных терминологических аксиом, определяющих структурные элементы изображения и составленные из них буквы, а также результаты эксперимента, проведенного на задаче распознавания букв в слитном рукописном тексте.

In this paper, it's proposed to use the extension $\mathcal{ALC}(GI)$ of description logic $\mathcal{ALC}$ for the formal description and structural analysis of images. Concepts and the roles of $\mathcal{ALC}(GI)$ are interpreted on an image graph and its subgraphs. The model of image in the form of multi-layered attribute graph is presented. It contains a layer of color segments, a layer of boundaries and a layer of skeletons. Each layer is a planar graph, layers are linked by means of “ancestor-descendant” relations. The transition from the pixel representation of an image to the graph one allows us to increase the effectiveness of image analysis. Examples of terminological axioms that define structural elements of an image and letters composed of them, as well as the results of an experiment of recognizing letters in a cursive handwritten text are presented.

В статье определяются и исследуются основные конструкции и семантика языка описания действий (action description language), предназначенного для описания и анализа преобразований отношений моделей ситуаций (реляционных преобразований).
Основное отличие описываемого языка KSL (Knowledge Specification Language) от традиционных (STRIPS, ADL, PDDL и т. п.) - использование кроме традиционных (STRIPS-like) правил их теоретико-множественных композиций. Это существенно повышает выразительность языка.
Точная характеризация основных свойств реляционных преобразований на языке логики предикатов первого порядка (FOL), но без использования дополнительных конструкций ситуационного исчисления, дает возможность сформулировать и доказать естественный критерий реализуемости (непротиворечивости) системы правил реляционных преобразований и, соответственно, явно описывать и исправлять логические противоречия рассматриваемой системы преобразований.

The paper describes and investigates basic constructions and semantics of an action description language developed to analyze transformations of relations between situation models (relational transformations).
The main difference between KSL (Knowledge Specification Language) and traditional languages (STRIPS, ADL, PDDL, etc.) is the exploitation of not only traditional (STRIPS-like) rules but also their set-theoretic compositions. This greatly increases the expressiveness of a language.
A clear first order logic characterization of relational transformations (without using additional constructions of a situation calculus) makes it possible to formulate and prove a natural criterion of realizability (consistency) of the system of relational transformations and, consequently, to describe and fix the logical contradictions of the given system.