Назначение разработки: Предназначено для автоматизации научной и образовательной деятельности теоретических и прикладных исследований в рамках программы Алгоритм очевидности (Evidence Algorithm). А также - для создания средств дедуктивной и аналитической обработки компьютерных знаний, представленных близкой к естественной формальным языком.

Рекомендуемая область применения: - автоматизация соображений; - проверка корректности математических (и других формализованных) текстов; - дистанционное обучение математическим дисциплинам; - выделение знаний по математическим работ; - создание баз формализованных знаний; - проверка корректности протоколов (криптографических, коммуникационных и т.п.); - верификация программного и аппаратного обеспечения.

Преимущества перед аналогами: - САД является одной из ведущих мировых систем помощи человеку в интеллектуальной (математической) деятельности; - по ряду принятых решений и характеристик САД превосходит их; - САД не имеет аналогов в Украине.

Стадия готовности разработки: Готово к внедрению

Описание разработки:
()
Разработан лингво-дедуктивный подход для осуществления автоматизации рассуждений с целью поддержки интеллектуальной деятельности человека в различных областях. Версия осуществляет автоматический поиск выводов в логике 1-го порядка и верифицирует математические тексты, представленные естественной формальным языком.

Результаты испытаний
Обеспечивает получение стабильных резуль

Фотоприложение

Cтрана Украина

За дополнительной информацией обращайтесь:
E-mail: gal@uintei.kiev.ua