Интеллсист - Новая интеллектуальная система общего назначения

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