Предметная область описывается при этом с помощью предикатов и системы аксиом. Пример. Возьмем утверждение. Тогда можно рассматривать истинные и ложные предикаты, например, rInf. New, Inf. Old, 21, rInf. New, Inf. Old, 30 и т. Очень полезные операции для логических выводов операции импликации, эквиваленции и др. Логические модели удобны для представления логических взаимосвязей между фактами, они формализованы, строги теоретические, для их использования имеется удобный и адекватный инструментарий, например, язык логического программирования Пролог. Модель предметной области можно определить упрощенно в виде lt модель предметной области lt понятийные знания lt конструктивные знания. При реализации указанных выше моделей используются эвристики эмпирические или полуэмпирические правила, с помощью которых эксперт экспертная группа в отсутствие алгоритма например, задача плохо структурируема пытается найти решение, моделируя возможный ход рассуждений эксперта на основе эвристической информации, получаемых в результате опыта, наблюдения, сбора и анализа статистики. Пример. Сбор эвристической информации у представителей рынка приводит к следующим знаниям, которые можно представить, например, семантической сетью или продукциями нужно рекламировать свой товар активно в начальный период нужно поднимать цены в условиях отсутствия конкуренции нужно опускать цены в условиях жесткой конкуренции нужно стараться быть монополистом на рынке и др. Многие знания, особенно находящиеся на стыке наук, трудно формализовать и описать формальными моделями, исследовать аналитически. В таких случаях часто применяют эвристики, эвристические процедуры, использующие аналоги, опыт поиска нового, исследования родственных задач, перебор вариантов с учетом интуиции. Пример. Такими процедурами учат компьютер играть в шахматы. Шахматная программа один из самых ранних примеров невычислительного применения ЭВМ. Если в 5. 0 х годах она Что такое представление знаний Что такое категория, функтор Каковы типы моделейзнаний, их характеристики Задачи и упражнения. Формализуйте понятия. Методы формализации знания. Модели знания. Категориально функторный анализ и его применения.