3.Дайте определения понятиям "знание" и "данные" и укажите их различие

Знание – это обоснованное истинное убеждение. Убеждение – это то, что записано в БЗ. Обоснование – это подтверждение убеждений дополнительными фактами, наблюдениями.

С этим определением фактически пересекается определение понятия «знание», приводимое в Российской энциклопедии 1902 года под редакцией Южакова: «Знание в субъективном смысле – это убеждение в его истине по реальным причинам».

Не смотря на отсутствие формального определения понятия «знание» имеются специфические признаки, отличающие знания от данных. В качестве таких специфических признаков знаний в связи с представлением их в ЭВМ можно выделить следующие четыре признака: интерпретируемость, структурированность, связность, активность.

Данные, помещённые в ЭВМ, могут содержательно интерпретироваться лишь соответствующей программой. Знания отличаются тем, что в них возможность содержательной интерпретации всегда существует.

При использовании ЭВМ новые знания порождаются программами, а данные пассивно хранятся в памяти ЭВМ. Человеку свойственна познавательная активность, то есть, знания человека активны. И это принципиально отличает знания от данных.

4.Назовите основные признаки знаний и дайте им определения.

В качестве таких специфических признаков знаний в связи с представлением их в ЭВМ можно выделить следующие четыре признака: интерпретируемость, структурированность, связность, активность.

Интерпретируемость. Данные, помещённые в ЭВМ, могут содержательно интерпретироваться лишь соответствующей программой. В отрыве от программы, данные не несут никакой содержательной информации. Знания отличаются тем, что в них возможность содержательной интерпретации всегда существует.

Структурированность можно рассматривать, как свойство декомпозиции сложных объектов на более простые и установление связей между простыми объектами, что означает использование отношений «часть – целое», «класс – подкласс», «род – вид» и т.д. Отношения подобного рода встречаются в иерархических и сетевых БД.

Связность. Наши знания связаны не только в смысле структуры. Они отражают закономерности относительно фактов, процессов, явлений и причинно – следственные отношения между ними.

Активность. При использовании ЭВМ новые знания порождаются программами, а данные пассивно хранятся в памяти ЭВМ. Человеку свойственна познавательная активность, то есть, знания человека активны. И это принципиально отличает знания от данных. Например, обнаружение противоречий в знаниях становятся побудительной причиной их преодоления и появления новых знаний. Таким же стимулом активности является неполнота знаний, выражающаяся в необходимости их пополнения.

5.Логическая модель представления знаний (предикатная функция).

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

Алфавит исчисления предикатов состоит из следующего набора символов:

• знаки пунктуации { ( , ) . };

• логические связи {, , ,  };

• знаки кванторов {,  };

• символы переменных {a, b, x, v, …};

• функциональные буквы {f, g, s, …};

• предикатные буквы {P, Q, N, …}.

Логика предикатов, называемая также логикой первого порядка, допускает четыре типа обозначений (имен):

- Константы. Они служат именами индивидуумов (в отличие от имен совокупностей), объектов, людей, событий. Константы обозначаются прописными буквами вроде: К, Слон, G.

- Переменные. Обозначают имена совокупностей, таких как человек, книга, посылка, событие, i, k. Для переменных имен используются строчные буквы.

- Предикатные имена (Предикатные константы). Они задают правила соединения констант и переменных, например правила грамматики, процедуры, математические операции. Для предикатных имен используются прописные буквы: Соединить, Посылка, А, P.

- Функциональные имена представляют такие же правила, как и предикаты. Функциональные имена пишут одними строчными буквами: фраза, сложить, разделить, g, f. Их называют также функциональными константами.

Из символов алфавита можно строить различные выражения. Выделяют термы, элементарные формулы (атомы) и правильно построенные формулы.

Основным объектом исследований в логике предикатов является формула. При её определении используется понятие “терм”, объединяющее название аргументов, к которым применяется предикатная буква. Терм рекурсивно определяется следующим образом:

- всякая предметная переменная или предметная константа есть терм;

- если f функциональная буква и t₁, t₂,… ,t_n термы, то f (t₁, t₂,… ,t_n) – есть терм;

Введем понятие “элементарная формула”.

- Всякая буква, обозначающая высказывание, есть элементарная формула;

- Если F- n местный предикат. и t₁, t₂,… ,t_n термы, то F (t₁, t₂,… ,t_n) – элементарная формула.

Формулы в исчислении предикатов образуются с помощью логических связок →, , ~,  и также кванторов  и , которые применяются к элементарным формулам.

Формула имеет определенный смысл, т.е. обозначает определенное высказывание, если существует какая-либо интерпретация. Интерпретировать формулу – значит связать с ней определенное непустое множество М, т.е. конкретизировать предметную область, называемую также областью интерпретации и указать соответствие.