Лекции . Технология построения интеллектуальных систем. Методы представления знаний Формальные языки и формальные системы (стр. 10 )

Пусть , и является фрагментом , то есть.

Определение. Пусть - некоторое свойство . Будем называть положительным примером для относительно , если .

Обозначение: - множество положительных примеров

Определение. Пусть - некоторое свойство . Будем называть отрицательным примером для относительно , если .

Обозначение: - множество отрицательных примеров

Определение. Пусть - некоторое свойство . Будем называть неявным примером для относительно , если .

Обозначение: - множество неявных примеров

Определение. Пусть - некоторое свойство, - некоторый фрагмент , то есть  . Будем говорить, что удовлетворяет - условию для относительно , если , так что 

Ш содержит больше одного элемента, то есть .

Обозначение: -: обладает - условием для относительно .

Аналогичным образом вводятся определения для - условия и - условия:

Определение. Пусть - некоторое свойство, - некоторый фрагмент , то есть  . Будем говорить, что удовлетворяет - условию для относительно , если , так что 

Ш

содержит больше одного элемента, то есть .

Обозначение: -: обладает - условием для относительно .

Определение. Пусть - некоторое свойство, - некоторый фрагмент , то есть  . Будем говорить, что удовлетворяет - условию для относительно , если , так что 

Ш

содержит больше одного элемента, то есть .

Обозначение: -: обладает - условием для относительно .

Построим матрицу - матрица гипотез – следующим образом:

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

Фактически, это правило нам позволило определить гипотезу относительно влияния тех или иных причин на различные свойства.

Эту матрицу будем использовать для завершения процесса. Для этого определим правила вывода 2-го рода.

Пусть - некоторый объект, - некоторое свойство.

Будем говорить, что объектудовлетворяет -условию для относительно , если и . Обозначение: .

Будем говорить, что объектудовлетворяет -условию для относительно , если и . Обозначение: .