Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://eadnurt.diit.edu.ua/jspui/handle/123456789/2104
Название: Грамматические структуры с логическим выводом
Другие названия: Граматичні структури з логічним виводом
Monitoring System of Plagiarism in Student Works
Авторы: Шинкаренко, Виктор Иванович
Шинкаренко, Віктор Іванович
Shinkarenko, Viktor I.
Shynkarenko, Viktor I.
Ильман, Валерий Михайлович
Ільман, Валерій Михайлович
Ilman, Valeriy M.
Ключевые слова: грамматическая структура
структура представления знаний
гибридная структура
силлогизм
грамматический вывод
формальный язык
граматична структура
структура представлення знань
гібридна структура
силогізм
граматичний виведення
формальна мова
grammatical structure
knowledge representation
hybrid structure
syllogism
grammatical conclusion
formal language
КІТ
Дата публикации: 2012
Издательство: Восточно-Европейский журнал передовых технологий
Краткий осмотр (реферат): RU: Предложено формирование грамматической структуры и языковых конструкций через представление знаний, что расширяет возможности формальных грамматических структур в системах искусственного интеллекта.
UK: Запропоновано формування граматичної структури і мовних конструкцій через представлення знань, що розширює можливості формальних граматичних структур у системах штучного інтелекту.
EN: 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.
Описание: Шинкаренко, В. И. Грамматические структуры с логическим выводом / В. И. Шинкаренко, В. М. Ильман // Восточно-Европейский журнал передовых технологий. — 2012. — № 6/2. — С. 25—31.
URI (Унифицированный идентификатор ресурса): http://eadnurt.diit.edu.ua:82/jspui/handle/123456789/2104
Располагается в коллекциях:Статті КІТ

Файлы этого ресурса:
Файл Описание РазмерФормат 
11.pdf236,45 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.