Классификация экспертных систем
Общепринятая
классификация экспертных систем
отсутствует, однако наиболее часто
экспертные системы различают по
назначению, предметной области, методам
представления знаний, динамичности и
сложности:
Традиционные экспертные системы используют, в основном, эмпирические модели представления знаний и исчисление предикатов первого порядка.
Гибридные экспертные системы используют все доступные методы.
Поверхностные – по условию «если-то».
«ВЫСОКОУРОВНЕВЫЕ МЕТОДЫ ИНФОРМАТИКИ И ПРОГРАММИРОВАНИЯ»
Понятие уровня языка программирования. Языки программирования высокого уровня. Императивные и декларативные языки.
Модульное программирование: понятие, программный модуль, основные характеристики программного модуля, состав модулей программного продукта.
Структурный подход к разработке программ: понятие, основные принципы. Примеры процессно-ориентированных языков программирования.
Объектно-ориентированный подход к разработке программ: понятие, основные концепции. Примеры объектно-ориентированных языков программирования.
Методология RAD: понятие, основные технологии Инструментальные средства быстрой разработки программ.
Понятие уровня языка программирования. Языки программирования высокого уровня. Императивные и декларативные языки.
Языки программирования часто оценивают по уровню. Уровень языка показывает, насколько язык близок к естественной для человека записи. Языки программирования разделяются на две основные категории: языки высокого уровня и языки низкого уровня.
Язык высокого уровня - язык программирования, средства которого обеспечивают описание задачи в наглядном, легко воспринимаемом виде, удобном для программиста. К языкам высокого уровня относят Бейсик, Паскаль, Си и др. Как и обычный человеческий язык, такой язык имеет свой алфавит - множество символов, используемых в языке. Из этих символов составляются так называемые ключевые слова языка. Каждое из ключевых слов выполняет свою функцию. Ключевые слова связываются друг с другом в предложения по определённым синтаксическим правилам языка. Каждое предложение определяет некоторую последовательность действий, которые должен выполнить компьютер.
Традиционно под программой понимают последовательность операторов (команд, выполняемых компьютером). Этот стиль программирования принято называть императивным. Программируя в императивном стиле, программист должен объяснить компьютеру, как нужно решать задачу. Противоположный ему стиль программирования — так называемый декларативный стиль, в котором программа представляет собой совокупность утверждений, описывающих фрагмент предметной области или сложившуюся ситуацию. Программируя в декларативном стиле, программист должен описать, что нужно решать. Соответственно и языки программирования делят на императивные и декларативные. Решая задачу, императивный программист вначале создает модель в некоторой формальной системе, а затем переписывает решение на императивный язык программирования в терминах компьютера. В основе декларативных языков лежит формализованная человеческая логика. Человек лишь описывает решаемую задачу, а поиском решения занимается императивная система программирования. В итоге получаем значительно большую скорость разработки приложений, значительно меньший размер исходного кода, легкость записи знаний на декларативных языках, более понятные, по сравнению с императивными языками, программы. К императивным языкам относятся такие языки программирования, как Паскаль, Бейсик, Си и т. д. В отличие от них, Пролог является декларативным языком.