Системы искусственного интеллекта.

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

Естественно-языковой интерфейс был наиболее привлекателен для общения с ЭВМ с момента ее появления. Это позволило бы исключить необходимость обучения конечного пользователя языку команд и другим приемам формулировки своих заданий для решения на компьютере, поскольку естественный язык является наиболее приемлемым средством общения для человека. Поэтому работы по созданию такого рода интерфейса начались с середины 20-го века. Однако, несмотря на весь энтузиазм исследователей и проектировщиков, эта задача не решена и по сей день из-за огромных сложностей, связанных с пониманием предложений естественного языка и связанного текста в целом. Некоторые программные продукты, которые появлялись на рынке, носили скорее экспериментальный характер, имели множество ограничений и не решали задачу кардинально. Тем не менее, несмотря на кажущийся застой в этой сфере, данная проблема остается актуальной и по сей день и вошла в состав проблематики, связанной с проектом ЭВМ пятого поколения.

Экспертные системы впервые появились в области медицины. Возникла идея интеграции знаний экспертов в области медицины или ее отдельных разделов в некоторую электронную форму, которая позволила бы начинающему врачу иметь своеобразного электронного советника при принятии решений по тому или иному врачебному случаю. Выбор области медицины объясняется слишком большой ценой ошибок, которые касаются жизни и здоровья людей. Постепенно от области медицины эта технология распространилась и на другие сферы деятельности человека, например, производство. Технология использования экспертных систем предполагает первоначальное «обучение» системы, т.е. заполнение ее конкретными знаниями из той или иной проблемной области, а потом уже эксплуатацию наполненной знаниями экспертной системы для решения прикладных задач. Эта идеология проявила себя в проекте ЭВМ пятого поколения в части привлечения конечного пользователя к решению своих задач и связана с проблемой автоформализации знаний.

Интеллектуальные пакеты прикладных программ позволяют, аналогично экспертным системам, предварительно создавать базу знаний, включающую совокупность знаний из той или иной области деятельности человека, а затем решать практические задачи с привлечением этих знаний. Различие этих видов пакетов состоит в том, что экспертные системы, в отличие от интеллектуальных ППП, позволяют интегрировать знания из так называемых слабо формализуемых предметных областей, в которых сложно определить входные и выходные параметры задачи, а также невозможно сформировать четкий алгоритм ее решения. Кроме того, экспертные системы не формируют алгоритм решения задачи как в случае интеллектуальных ППП, а лишь выдают «советы» пользователю на основании запроса.

Используемые в настоящее время пакеты моделирования можно классифицировать (рис. 4.4)

Рис. 4.4 Классификация пакетов моделирования

Специализированные пакеты используют специфические понятия конкретной прикладной области (химическая технология, теплотехника, электротехника и т.д.) и имеют узкую область применения.

Область применения универсальных пакетов шире, т.к. они ориентированы на определённый класс математических моделей и применимы для любой прикладной области, в которой эти модели используются.

Математические пакеты (Mathematics, MATLAB, Maple MathCAD) используются в случаях, когда математическая модель всей моделируемой системы уже построена и её требуется только исследовать. Математические пакеты позволяют проводить символьные преобразования модели, находить решения уравнений в замкнутой форме или решать их численно.

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