Формулировка предметной задачи. Задачная ситуация.
Основные области исследований информатики.
Отмечено, что история информатики связана с постепенным расширением области ее интересов. Возможность расширения диктовалась развитием компьютеров и накоплением моделей и методов их применения при решении задач различного типа. На протяжении полувековой истории информатики в ней неоднократно возникали и исчезали те или иные направления. В настоящее время в нее входят следующие основные области исследования:
1. теория алгоритмов (формальные модели алгоритмов, проблемы вычислимости, сложность вычислений и т.п.);
2. логические модели (дедуктивные системы, сложность вывода, нетрадиционные исчисления: индуктивный и абдуктивный вывод, вывод по аналогии, правдоподобный вывод, немонотонные рассуждения и т.п.);
3. базы данных (структуры данных, поиск ответов на запросы, логический вывод в базах данных, активные базы и т.п.);
4. искусственный интеллект (представление знаний, вывод на знаниях, обучение, экспертные системы и т.п.);
5. бионика (математические модели в биологии, модели поведения, генетические системы и алгоритмы и т.п.);
6. распознавание образов и обработка зрительных сцен (статистические методы распознавания, использование признаковых пространств, теория распознающих алгоритмов, трехмерные сцены и т.п.);
7. теория роботов (автономные роботы, представление знаний о мире, децентрализованное управление, планирование целесообразного поведения и т.п.);
8. инженерия математического обеспечения (языки программирования, технологии создания программных систем, инструментальные системы и т.п.);
9. теория компьютеров и вычислительных сетей (архитектурные решения, многоагентные системы, новые принципы переработки информации и т.п.);
10. компьютерная лингвистика (модели языка, анализ и синтез текстов, машинный перевод и т.п.);
11. числовые и символьные вычисления (компьютерно-ориентированные методы вычислений, модели переработки информации в различных прикладных областях, работа с естественно-языковыми текстами и т.п.);
12. системы человеко-машинного взаимодействия (модели дискурса, распределение работ в смешанных системах, организация коллективных процедур, деятельность в телекоммуникационных системах и т.п.);
13. нейроматематика и нейросистемы (теория формальных нейронных сетей, использование нейронных сетей для обучения, нейрокомпьютеры и т.п.);
14. использование компьютеров в замкнутых системах (модели реального времени, интеллектуальное управление, системы мониторинга и т.п.).
Одним из важнейших стратегических факторов развития современного общества является использование новых информационных технологий. Умение их применять в значительной степени определяет, наряду со знанием предметной области, эффективность решения научных и производственных задач. Информатика предоставляет методы и средства для решения задач другим областям. Отсюда - актуальность «правильного» взаимодействия специалистов разных профилей, участвующих в постановке и решении задачи при помощи ЭВМ.
Общая формальная схема процесса постановки и решения задачи состоит из:
1) формулирования предметной задачи;
2) формализации задачи;
3) выбора способа решения;
4) решения задачи на ЭВМ;
5) формального анализа результатов;
6) содержательной интерпретации результатов.
Предметную задачу формулирует специалист-предметник. Формализацией задачи занимаются системный аналитик и предметник. Выбор способа решения - за прикладным математиком. Решает задачу на ЭВМ технолог. Формальный анализ результатов производит системный аналитик. Интерпретацию - специалист-предметник.
Формулирование предметной задачи включает указание:
1) цели;
2) представлений о модели объекта исследования (поиска);
3) исходных данных;
4) ожидаемого результата (что он должен из себя представлять);
5) критериев оценки ожидаемого результата.
На практике часто возникают ситуации, когда задача не содержит тех или иных необходимых атрибутов. Случай, при котором известны цель, исходные данные и ожидаемый результат, называют задачной ситуацией.
Задачи, сформулированные на языке предметной области знаний (экологии, биологии, медицины, экономики) называются предметными задачами. Они отличаются степенью формализации: хорошо формализованные, слабо формализованные и неформализованные.