1.2.2. Лабораторная часть

1.8. Создать в компьютере входные базы данных для объектов, их свойств и вопросника, используя любую традиционную систему создания баз данных ("Dbase", "Paradox", текстовый массив и др.).

1.9. Разработать программу решения задачи ЭС, поставленную в п.1.5, на любом алгоритмическом языке высокого уровня ("Delphi", "Turbo-Pascal", "С++" и др.).

1.10. Отладить программу решения задачи ЭС, вставив в нее все необходимые комментарии, связанные с алгоритмом ее решения.

1.11. Создать базу выходных данных, содержащую результаты работы программы.

1.12. Продемонстрировать работу ЭС в диалоговом режиме с пользователем при решении поставленной задачи.

1.3. Отчет о работе

Отчет о лабораторной работе должен иметь следующую структуру и содержать разделы:

Титульный лист (см.выше)

Содержание работы

Название и цель работы (см.выше)

Реферат (теоретические сведения и общая характеристика работы – см.выше)

1.3.1. Расчетно-графическая часть

Вариант задания (см. выше - привести только свой вариант с "шапкой" табл.1.3)

Cловарь (перечень объектов) ПО

Свойства (признаки) объектов ПО

Состав базы знаний (табл.1.1)

Запрос пользователя (постановка задачи ЭС)

Вопросник для осуществления диалога пользователя с ЭС (табл.1.2)

Пошаговое описание (блок-схема) алгоритма решения задачи ЭС

1.3.2. Лабораторная часть

Базы входных данных для объектов, их свойств и вопросника (здесь и далее – привести листинг (распечатку) и указать используемый тип системной базы данных)

Программа решения задачи распознавания (здесь и далее -привести листинг и указать используемую систему программирования)

Выходная база данных (результаты работы программы)

Анализ результатов решения задачи и выводы

Список использованной литературы.

2. Лабораторная работа №2 "Модели представления знаний"

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

2.1. Основные теоретические сведения

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

2.1.1. Логические модели представления знаний

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

Основные понятия исчисления предикатов первого порядка

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

Табл.2.1. Логические формулы в исчислении предикатов

Логическая формула	Запись	Интерпретация
Конъюнкция	a & b	"a и (and) b"
Дизъюнкция	a  b	"a или (or) b"
Отрицание	~ a	"не (not) a"
Импликация	a  b	"из a следует b"
Тождество (эквивалентность, равенство)	a  b	"a эквивалентно b"
Ошибочность	a  	"ошибочность а"

С каждым предикатом может быть связан квантор - элемент, который определяет, при каких условиях предикат превращается в истинное выражение. Различают квантор обобщения  (all – для всех) и квантор существования  ( exist - существует ).

Например: запись  u r означает, что r справедливо для всех u; запись  u r означает, что существует u, для которого r справедливо.

Элементарным объектом логики предикатов является литерал (атомарная формула), представляющее собой элементарное истинное утверждение, которое состоит из предиката и связанных с ним переменных, которые называют термами. Литерал имеет вид:

P ( t₁ , t ₂ , … t_n )

где P – обозначение предиката; t_i ( i =1…n ) – термы.

Литерал называется негативным, если он стоит под знаком отрицания; в противном случае он называется позитивным.

Дизъюнкция ("или") некоторого числа литералов называется фразой (дизъюнктом). Дизъюнкция, среди литералов которой имеется лишь один позитивный литерал, называется фразой Хорна.

Например, фраза Хорна ~ A  ~B  ~ C  D, в которой все литералы, кроме D, являются негативными, эквивалентна фразе: ~ ( A B C )  D, т. е. A , B, C  D.

Как видно из данного примера, фразы Хорна по существу являются импликациями.