верифікація, верификация ; переклади, переводы, translations ; природна мова, естественный язык ; продукція, продукция ; система булевих формул, система булевых формул ; технічні завдання, технические задания ; умовні секвенції, условные секвенции ; штучна мова, искусственный язык

Розв'язано задачу породження системи булевих формул безпосередньо з тексту технічного завдання з допомогою ПЕОМ. Була використана запропонована модель "текст - смисл". Доведено 10 тверджень, на підставі яких складена програма, що дає змогу кінцевому коритувачеві ПЕОМ у інтерактивному режимі отримати результат для керування його технологічними процесами. Саме на кінцевих користувачів ПЕОМ зорієнтовано дане дослідження, бо воно дозволяє їм розв'язувати практичні завдання, виходячи з словесно описаних моделей управління технологічними процесами, в тому числі з допомогою розробленої автором програми. Зроблена спроба перевірки дослідження вимогам розробленого концептуально-технологічного підходу до створення нових інформативних технологій. автор сподівається, що роботу можна розглядати як спробустворення системи, заснованої на знаннях, а не на застарілому принципі "аби вийшло".

• УДК // Загальні питання теорії керуючих систем. Моделі. Побудова моделей. Кодування. Теорія мереж