Пошук академічних текстів

Інформація × Реєстраційний номер 0102U003204, ( 0207U000006  ) Науково-дослідна робота Назва роботи Розробити методи та засоби продукування і маніпулювання знаннями у операційному середовищі інтелектуалізації інформаційних технологій. Керівник роботи Летичевський Олександр Адольфович, Дата реєстрації 17-05-2002 Організація виконавець Інститут кібернетики імені В.М. Глушкова НАН України Опис роботи Розробка нових алгебро-граматичних методів високорівневого структурованого подання застосувань на базі моделі предметної області, здатних автоматизувати навігацію й взаємодію між формами-об'єктами на підставі виділення і семантичного впорядкування зв'язаних фрагментів БД. Введення елементів доведення теорем, як засоба інтелектуальної підтримки. Додано в НРАТ 2024-12-11 Закрити