Базы знаний на ЭВМ

Экспертные системы и базы знаний на ЭВМ - одно из перспек­тивных направлений в области искусственного интеллекта. Такие экспертные системы в ближайшем будущем станут интеллектуаль­ными ассистентами людей во многих областях профессиональной деятельности.

Базы знаний - это совокупность фактов и правил вывода, храня­щихся в памяти ЭВМ. Содержание любой базы знаний составляют конкретные и обобщенные факты и сведения об определенной предметной области или сфере деятельности. Примеры предметных областей - семья, школа, вуз, магазин, рынок, ферма, фирма, завод, офис, банк и т.п.

Конкретные сведения в базах знаний представляются фактами, которые записываются в виде предикатов с конкретными значениями. Примеры записи фактов в форме предикатов:

мама (Люба, Оля); - Люба - мама Оли

оценка (Вова, физика, 5); - Вова имеет 5 по физике

Обобщенные сведения в базах знаний записываются в форме правил вывода, выражающих определения понятий. Примеры обоб­щенных сведений:

бабушка (х, z) мама (х, у), мама (у, z) - бабушка - это мама мамы

двоечник (х) оценка (х, _ ,2) - двоечник - тот, у кого есть двойки

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

Базы знаний могут содержать правила вывода следующих видов:

- правила определения понятий;

- правила принятия решений;

- способы решения задач;

- правила поведения и т. п.

При определении новых понятий необходимо различать их объем и содержание.Объем понятия - это совокупность вещей или явлений, отвечающих данному понятию. Объем понятий соотносит словам и терминам соответствующие объекты предметной области.

Содержание понятия - это совокупность логических признаков, выделяющих объекты, отвечающие данному понятию, среди других объектов. С логической точки зрения определение понятия пред­ставляет описание совокупности признаков, характеризующих его содержание.

Приведем примеры определения понятий.

1. Понятие «мама». Объем понятия - совокупность всех мам. Содержание понятия - женщина, имеющая детей. Формализация понятия на Прологе может выражаться конкретными фактами. При­меры:

мама (Люба, Оля); - Люба - мама Оли

мама (Зина, Люба); - Зина - мама Любы

2. Понятие - «бабушка». Объем понятия - совокупность всех бабушек. Содержание понятия - «бабушка - это мама мамы или папы». Формализация этого понятия на Прологе:

бабушка (х, z) мама (х, у), мама (у, z); - бабушка - это мама мамы

бабушка (х, z) мама (х, у), папа (у, z); - бабушка - это мама папы

3. Понятие «музыкант». Объем понятия - совокупность людей, занимающихся музыкой. Содержание понятия - «музыкант - чело­век, который любит музыку и занимается музыкой». Это понятие на языке Пролог можно записать в виде правила: