Grammatical structure with the logical conclusion
DOI:
https://doi.org/10.15587/1729-4061.2012.5334Keywords:
grammatical structure, knowledge representation, hybrid structure, syllogism, grammatical conclusion, formal languageAbstract
The formal grammatical approach and the approach based on logical statements are general-purpose simulation means of information systems. These approaches are used in designing and representation of programming languages, algorithms, state machines, systems of pattern recognition, designing of compilers, bases of data and knowledge, and other applications of artificial intelligence.
The goal of this research is to construct a hybrid grammatical structure which allows to generalize and extend both grammatical structures with operations of substitution, matrix substitution, homomorphism and intelligent systems with the operations of substitution and logical syllogisms.
The formal hybrid system is constructed in two stages. At the first stage, the formal structure of knowledge is determined as an element of the grammatical structure carrier. And at the second stage, the formal grammatical system is determined with the logical conclusion. The formal structure of knowledge is based on the production approach of knowledge representation as a subjective formal constructive system. The system is constructed on the dictionary of notions using the proposed semiotics of formation formulas of knowledge. The set of formulas of knowledge forms an infinite knowledge base. The construction of the formal grammatical system with the conclusion is implemented on the formal structure of knowledge using the technique for the identification of the formal language based on a combination of logical syllogisms and operations of substitutions.
The formal grammatical system with logical conclusion can be used in the designing and synthesis of state machines and other objects of artificial intelligenceReferences
- Ільман, В. М. Формальні структури та їх застосування [Текст] / В. М. Ільман, В. В. Скалозуб, В. І. Шинкаренко. – Д.: Вид-во Дніпропет. нац. ун-ту залізн. трансп. ім.. акад. В. Лазаряна, 2009. – 205 с.
- Представление и использование знаний [Текст]. Пер. с япон. / Под ред. Х. Уэно, М. Исидзука – М.: Мир, 1989. – 220 с.
- Гаврилова, Т. А. Базы знаний интеллектуальных систем [Текст] / Т. А. Гаврилова, В. Ф. Хорошевский. – СПб.: Питер, 2000. – 384 с.
- Ахо, А. В. Структуры данных и алгоритмы [Текст] / А. В. Ахо, Д. Э. Хопкрофт, Д. Д. Ульман. – М.: Издательский дом «Вильямс», 2003. – 384 с.
- Топп, У. Структуры данных в [Текст] / У. Топп, У. Форд. – М.: ЗАО «Из-во БИНОМ», 1999. – 816 с.
- Фу, К. Структурные методы распознавания образов [Текст] / К. Фу. – М.: Мир, 1977. – 318 с.
- Гладкий, А.В. Формальные грамматики и языки [Текст] / А.В. Гладкий. – М.: Наука, 1973. – 368 с.
- Андон, Ф. И. Алгебро-алгоритмические модели и методы параллельного программирования [Текст] / Ф. И. Андон, А. Е. Дорошенко, Г. Е. Цейтлин, Е. А. Яценко. – К.: Академпериодика, 2007. – 634 с.
- Саломаа, А. Жемчужины теории формальных языков [Текст] / А. Саломаа. – М.: Мир, 1986. – 159 с.
- Мальцев, А. И. Алгебраические системы [Текст] / А. И. Мальцев. – М.: Наука, 1970. – 391 с.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2014 Виктор Иванович Шинкаренко, Вадим Александрович Андрющенко, Валерий Михайлович Ильман
![Creative Commons License](http://i.creativecommons.org/l/by/4.0/88x31.png)
This work is licensed under a Creative Commons Attribution 4.0 International License.
The consolidation and conditions for the transfer of copyright (identification of authorship) is carried out in the License Agreement. In particular, the authors reserve the right to the authorship of their manuscript and transfer the first publication of this work to the journal under the terms of the Creative Commons CC BY license. At the same time, they have the right to conclude on their own additional agreements concerning the non-exclusive distribution of the work in the form in which it was published by this journal, but provided that the link to the first publication of the article in this journal is preserved.
A license agreement is a document in which the author warrants that he/she owns all copyright for the work (manuscript, article, etc.).
The authors, signing the License Agreement with TECHNOLOGY CENTER PC, have all rights to the further use of their work, provided that they link to our edition in which the work was published.
According to the terms of the License Agreement, the Publisher TECHNOLOGY CENTER PC does not take away your copyrights and receives permission from the authors to use and dissemination of the publication through the world's scientific resources (own electronic resources, scientometric databases, repositories, libraries, etc.).
In the absence of a signed License Agreement or in the absence of this agreement of identifiers allowing to identify the identity of the author, the editors have no right to work with the manuscript.
It is important to remember that there is another type of agreement between authors and publishers – when copyright is transferred from the authors to the publisher. In this case, the authors lose ownership of their work and may not use it in any way.