21. Подпрограммы в языке Паскаль. Стандартные модули языка Паскаль. Модульное программирование.

Метод нисходящего проектирования призван сократить временные затраты на написание алгоритма и последующую отладку программы. Заключается в следующем: Изначально в задаче выделяются некоторые "главные" подзадачи, формирующие алгоритм в целом, но не обязательно "опускающиеся" до деталей этого алгоритма. После этого каждая подзадача решается тем же методом.

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

   Подпрограммы в языке паскаль представлены с помошью процедур и функций.

   Стандартные модули:System, Crt, Dos, Graph, Graph3, Overlay, Printer, Turbo3 и Turbo Vision.

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

   Crt - содержит средства управления дисплеем и клавиатурой компьютера.

   Dos - включает средства, позволяющие реализовывать различные функции Dos.

   Graph3 - поддерживает использование стандартных графических подпрограмм.

   Overlay - содержит средства организации специальных оверлейных программ.

   Printer - обеспечивает быстрый доступ к принтеру.

   Turbo3 - обеспечивает максимальную совместимость с версией Турбо Паскаль 3.0.

   Graph - содержит пакет графических средств.

   Turbo Vision - библиотека объектно-ориентированных программ для разработки пользовательских интерфейсов.

22. Модели представления знаний. Логическое программирование. Представление знаний о предметной области в виде фактов и правил базы знаний.

Знания - это выявленные закономерности предметной области, позволяющие решать задачи в этой области.

   Существуют несколько видов моделей представления знаний.

   1)Продукционная модель (модель основанная на правилах), позволяет представить знания в виде предложений типа: Если (условие), то (действие).

   2) Семантические сети – ориентированный граф, вершины которого – понятия, а дуги – отношения между ними. Эта модель способна отображать структуру знаний во всей сложности их взаимосвязей, связывать в единое целое объекты и их свойства.

   3) Фреймы. Фрейм является единицей представления знаний об объекте, которую можно описать некоторой совокупностью понятий и сущностей. Фрейм имеет определённую внутреннюю структуру, состоящую из множества элементов, называемых слотами. Каждый слот в свою очередь, представляется определённой структурой данных, процедурой, или может быть связан с другим фреймом.

   4) Формальные логические модели. Основаны на классическом исчислении предикатов I порядка, когда предметная область или задача описывается в виде набора аксиом.

   Логическое программирование. Центральным понятием в логическом программировании является отношение. Программа представляет собой совокупность определений отношений между объектами. Процесс выполнения программы трактуется как процесс общезначимости логической формулы. В реляционном программировании нужно только специфицировать факты, на которых алгоритм основывается. Это свидетельствует о декларативности языка логического программирования. Языки логического программирования характеризуются: высоким уровнем; строгой ориентацией на символьные вычисления; возможностью инверсных вычислений, то есть переменные в процедурах не делятся на входные и выходные; возможной логической неполнотой.

23. Понятие искусственного интеллекта. Экспертные системы: структура, назначение, возможности. Рекурсия в программах на языке Пролог.

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

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

   Под интеллектуальной задачей понимается задача, не имеющая известного алгоритма решения.

   Компьютерные инструментальные средства системы ИИ включают следующие функциональные сервисы:

   1. математические модели логических рассуждений

   2. базы данных

   3. алгоритмический язык системы ИИ

   4. машины вывода

   Экспертыне системы - комплекс ПО, помогающий человеку принимать обоснованные решения. ЭС используют информацию, полученную заранее от экспертов.

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

   ЭС должны:

   - хранить знания об пределенной предметной области

   - Уметь общаться с п-лем на ограниченном естественном языке

   - обладать комплексом логических средств для выведения новых знаний

   - ставить задачу по запросу и находить ее решение

   Структура ЭС: пользователь <-> интерфейс пользователя <->(Решатель, база знаний, Подсистема обьяснений)<-> Интеллектуальный редактор базы знаний <-> Инженер + эксперт по знаниям.

   Назначение ЭС: описание ситуации по информации, определение последствий, выявление причин неправильного функционирования сист., определение последовательности действий и т.д.

   Возможности: ЭС будут играть ведущую роль во всех фазах проектирования, разработки, производства, распределения, продажи, поддержки и оказания услуг;