СИМВОЛИЧЕСКОЕ МОДЕЛИРОВАНИЕ МЕХАНИЗМА ВЫВОДА В РАМКАХ КЛАССИЧЕСКОЙ ЛОГИКИ. БАЗА ЗНАНИЙ

Исчисление высказываний внутренне ограничено, так как не обладает способностью оперировать обобщенными выражениями типа

Все ценные бумаги удостоверяют имущественные права.

Можно рассмотреть возможность обозначения данного выражения буквой р, а выражения «акция — ценная бумага» — буквой q.

Практически из символов алфавита можно строить разные выражения, выделяя из них термы, элементарные формулы (атомы)

Таким образом, возможность правильно построить выражение определяется точным соблюдением указанных правил образования формул.

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

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

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

• с процессом решения задачи;

• языком общения и организации диалога;

• модификацией состава и представления знаний;

• организацией объяснений действий системы;

• взаимодействием системы с внешней средой.