The modification of the meta-language of normal forms of knowledge

• Дата: 2019
• Автор: Kurgaev, A.F.
• Формат: Стаття
• Мова: rus
• Опубліковано: Інститут програмних систем НАН України 2019
• Теми: modified meta-language; self-description of the meta-language; self-description graph of the meta-language; commitment relation; non-commitment relation; structure brackets; UDC 004.8
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/363
• Назва журналу: Problems in programming

The set of the relations of normal forms of knowledge (alternative, concatenation, negation and iteration) is expanded by the two new relations: commitment relation – non-zero number of repetitions of some structure, non-commitment relation of some structure and structure brackets. The introduction...