3. Классификация интеллектуальных информационных систем

Интеллектуальной информационной системой называют автоматизированную информационную систему, основанную на знаниях, или комплекс программных, лингвистических и логико-математических средств для реализации основной задачи - осуществления поддержки деятельности человека и поиска информации в режиме продвинутого диалога на естественном языке.

В соответствии с перечисленными признаками ИИС делятся на: (данная классификация одна из возможных)

• системы с коммутативными способностями (с интеллектуальным интерфейсом);

• экспертные системы (системы для решения сложных задач);

• самообучающиеся системы (системы способные к самообучению);

• адаптивные системы (адаптивные информационные системы).

Естественно-языковый интерфейс используется для:

• доступа к интеллектуальным базам данных;

• контекстного поиска документальной текстовой информации;.

• голосового ввода команд в системах управления;

• машинного перевода с иностранных языков.

Характерными признаками самообучающихся систем являются:

• самообучающиеся системы "с учителем", когда для каждого примера задается в явном виде значение признака его принадлежности некоторому классу ситуаций (классообразующего признака);

• самообучающиеся системы "без учителя", когда по степени близости значений признаков классификации система сама выделяет классы ситуаций.

Адаптивная информационная система - это информационная система, которая изменяет свою структуру в соответствии с изменением модели проблемной области. При этом адаптивная информационная система должна:

1. в каждый момент времени адекватно поддерживать организацию бизнес-процессов;

2. проводить адаптацию всякий раз, как возникает потребность в реорганизации бизнес-процессов;

3. реконструкция информационной системы должна проводиться быстро и с минимальными затратами.

16.Логическое программирование

Логи́ческое программи́рование— парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода. Логическое программирование основано на теории и аппарате математической логики с использованием математических принципов резолюций.

Самым известным языком логического программирования является Prolog. Первым языком логического программирования был язык Planner, в котором была заложена возможность автоматического вывода результата из данных и заданных правил перебора вариантов (совокупность которых называлась планом). Planner использовался для того, чтобы понизить требования к вычислительным ресурсам и обеспечить возможность вывода фактов, без активного использования стека. Затем был разработан язык Prolog, который не требовал плана перебора вариантов и был, в этом смысле, упрощением языка Planner.