Грамматические структуры с логическим выводом

Simple item page
dc.contributor.authorШинкаренко, Виктор Ивановичru_RU
dc.contributor.authorИльман, Валерий Михайловичru_RU
dc.contributor.authorАндрющенко, Вадим Александровичru_RU
dc.date.accessioned2014-03-04T09:50:24Z
dc.date.available2014-03-04T09:50:24Z
dc.date.issued2012
dc.descriptionВ. Шинкаренко: ORCID 0000-0001-8738-7225; В. Ильман: ORCID 0000-0003-0983-8611; В. Андрющенко: ORCID 0000-0002-9103-8391ru_RU
dc.description.abstractRUS: Предложено формирование грамматической структуры и языковых конструкций через представление знаний, что расширяет возможности формальных грамматических структур в системах искусственного интеллекта.ru_RU
dc.description.abstractUKR: Запропоновано формування граматичної структури і мовних конструкцій через представлення знань, що розширює можливості формальних граматичних структур у системах штучного інтелекту.ru_RU
dc.description.abstractENG: 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 intelligence.en
dc.identifier.citationШинкаренко, В. И. Грамматические структуры с логическим выводом / В. И. Шинкаренко, В. А. Андрющенко, В. М. Ильман // Восточно-Европейский журнал передовых технологий. – 2012. – Т. 6, № 2 (60). – С. 25–31.ru_RU
dc.identifier.issn1729-3774 (Print)
dc.identifier.issn1729-4061 (Online)
dc.identifier.urihttp://eadnurt.diit.edu.ua:82/jspui/handle/123456789/2104en
dc.identifier.urihttp://journals.uran.ua/eejet/article/view/5334en
dc.language.isoru_RU
dc.publisherНВП ПП «Технологічний Центр», Харківuk_UA
dc.subjectграмматическая структураru_RU
dc.subjectструктура представления знанийru_RU
dc.subjectгибридная структураru_RU
dc.subjectсиллогизмru_RU
dc.subjectграмматический выводru_RU
dc.subjectформальный языкru_RU
dc.subjectграматична структураuk_UA
dc.subjectструктура представлення знаньuk_UA
dc.subjectгібридна структураuk_UA
dc.subjectсилогізмuk_UA
dc.subjectграматичне виведенняuk_UA
dc.subjectформальна моваuk_UA
dc.subjectgrammatical structureen
dc.subjectknowledge representationen
dc.subjecthybrid structureen
dc.subjectsyllogismen
dc.subjectgrammatical conclusionen
dc.subjectformal languageen
dc.subjectКІТuk_UK
dc.titleГрамматические структуры с логическим выводомru_RU
dc.title.alternativeГраматичні структури з логічним виводомuk_UA
dc.title.alternativeGrammatical Structure with the Logical Conclusionen
dc.typeArticleen
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
11.pdf
Size:
236.45 KB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Статті КІТ