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

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

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

Стадія завершеності розробки: Підготовлено до впровадження

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

Результати дослiджень
Забезпечує отримання стабільних результ

Фотодоповнення

Країна Україна

Для отримання додаткової інформації звертайтесь::
E-mail: gal@uintei.kiev.ua