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