2.1.2. Классификация знаний

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

Таблица 2.1

Классификация знаний

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

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

2.1.3. Логический вывод. Использование дедукции, индукции и аналогии

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

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

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

Дедуктивный логический вывод (от общего к частному) – вывод частных утверждений путем подстановки в общие утверждения других известных частных утверждений. Различают прямую (от данных к цели) и обратную (от цели к данным) цепочки рассуждений.

Индуктивный логический вывод (от частного к общему) – вывод (обобщение) общих утверждений на основе множества частных.

Абдуктивный вывод (от частного к частному) – вывод частных утверждений на основе поиска других аналогичных утверждений (вывод по аналогии).

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