2. База знаний проектируемой нтеллектуальной системы

Справочные системы состоят из 3-х компонентов:

- База знаний(необходима для хранения знаний в системе);

- Машина обработки знаний(осуществления поиска, навигации и обработки знаний);

- Пользовательский интерфейс(осуществления взаимодействия пользователя с системой.

Разработка базы знаний состоит из следующих этапов[9]:

1. идентификация проблемы;

2. получение знаний;

3. структурирование знаний;

4. формализация знаний;

5. реализация;

6. тестирование и верификация.

2.1. Задачно-ориентированная спецификация базы знаний проектируемой интеллектуальной системы

Для начала разберёмся с основными понятиями:

База знаний в информатике и исследованиях искусственного интеллекта (БЗ; англ. knowledge base, KB) — это особого рода база данных, разработанная для оперирования знаниями (метаданными), т.е это информационные массивы, содержащие знания. Под базой знаний понимают совокупность фактов и правил вывода, допускающих автоматические умозаключения и осмысленную обработку информации.

При разработки БЗ существует чёткий план, которого необходимо придерживаться.

1. Выявление основных элементов БЗ.

2. Выделение объектов (возможно классов объектов) которые необходимо описывать.

3. Составление перечня вопросов для данных объектов и тестирование.

2.1.1. Тестовый сборник вопросов

Вопросы о классах объектов (принадлежность объекта классам и теоретико‑множественные отношения):

1. Какие объекты относятся к классу высказываний? Какие существуют кванторные операции? Какие существуют виды переменных? 

2. . Какая формула является теоремой исчисления высказываний? 3. Виды сложных суждений ? 4. Какое суждение называется простым? 5. По какому признаку элементарности разбивается высказывание? По какому признаку количеству посылок разбивается умозаключение? По какому признаку направление вывода разбивается умозаключение? 6. Чем являются предметные переменные и константы? Чем определяется каноническая система? 7. На сколько групп делятся аксиомы исчисления предикатов? 8. Когда формула называется истинной в данной интерпретации? 9. При каком условии формула называется ложной в данной интерпретации? 10. Чем определяется каноническая система? 11. Какой существует другой способ детерминизации формальных систем? 12. Что содержится в булевых формулах кроме переменных и скобок? 13. Какой может быть формула логики предикатов? 14.Верно ли что любая формальная теория , содержащая формальную арифметику неполна? 15. В чём отличие Первой теоремы Геделя от Второй теоремы Геделя? 16.Где используется правило вывода? 17.Как называется умозаключение, в котором на основании сходства предметов в одних признаках делается заключение о сходстве предметов в других признаках? 18.Как иначе называются системы продукции Поста ? Как называется утверждение, для которого в рассматриваемой теории существует доказательство? 19. Из чего состоит алфавит исчисления предикатов ? 20. Каким образом теория получает свои теоремы? 21. Принципы построения формальных теорий? 22. Какое отличие дедуктивного и индуктивного доказательства? 23. С какой целью используется правило резолюций? 24. Выполняется ли первая теорема Геделя? 25. Для чего используются формальная теория? 26. Верно ли что , если формула истинна при любых значениях входящих в неё переменных, то формула является тождественно истинной? 27. Кем была сформулировано понятие теорема о дедукции?