![](/user_photo/2706_HbeT2.jpg)
- •1. Знаки: понятия и термины.
- •2. Термин "знание" и его семантика.
- •3. Методы приобретения знаний.
- •4. Множество. Принадлежность. Способы задания и представления множеств.
- •5. Отношения на множествах. Понятие подмножества.
- •6. n-арное отношение. Область определения.
- •7. Бинарное отношение.
- •8. Рефлексивное бинарное отношение.
- •Примеры рефлексивных отношений
- •[править]Примеры антирефлексивных отношений
- •9. Арефлексивное бинарное отношение.
- •10. Симметричное бинарное отношение.
- •11. Антисимметричное бинарное отношение.
- •12. Асимметричное бинарное отношение.
- •13. Транзитивное бинарное отношение.
- •14. Понятие отношения порядка.
- •15. Понятие отношения эквивалентности.
- •16. Понятие соответствия. Частичное соответствие и полное соответствие.
- •19. Понятие функции.
- •20. Понятие биекции.
- •21. Понятие образа элемента.
- •22. Понятие прообраза элемента.
- •23. Алгебраическая операция.
- •24. Операция композиции Б отн
- •25. Понятие гомоморфизма.
- •26. Понятие изоморфизма.
- •27. Алгебраические системы. Алгебры.
- •28. Алгебра множеств.
- •29. Реляционная алгебра. Операция соединения отношений.
- •30. Алгебра логики.
- •31. Дискретная математическая модель. Гиперграфовая модель.
- •32. Графовая модель.
- •33. Иерархическая модель представления данных
- •Иерархическая модель данных
- •Структурная часть иерархической модели
- •34. Сетевая модель представления данных. Понятие сети. Основные принципы.
- •35. Реляционная модель представления данных. Логическая схема реляционной БД. Основные принципы.
- •36. Диаграмма сущность-связь (ER-диаграмма). Типы узлов и рёбер.
- •37. Реляционные СУБД. Типы хранимых данных.
- •38. Первая нормальная форма реляционной модели.
- •[править]Пример
- •39. Вторая нормальная форма реляционной модели.
- •[править]Пример
- •40. Третья нормальная форма реляционной модели.
- •Пример
- •41. 4я норм форма и выше. Нормализация
- •Нормализация
- •Нормальные формы
- •42. Формальный язык.
- •43. Язык запросов SQL
- •Операторы
- •44. Понятие семантики. Рефлексивная семантика, проективная семантика, дескриптивная семантика.
- •45. Фреймовая модель представления знаний. Понятие фрейма.
- •46. Продукционная модель представления знаний. Понятие продукции.
- •47. Семантические сети. Язык SC.
- •Семантические отношения
- •Иерархические
- •Вспомогательные
- •48. Язык SC. Понятие семантически нормализованного множества.
- •49. Язык SC. Семантика позитивной дуги.
- •50. Язык SC. Семантика негативной дуги.
- •51. Язык SC. Кортеж.
- •52. Язык SC. Атрибут.
- •53. Логическая модель представления знаний. Понятие формальной аксиоматической теории.
- •54. Логический язык. Понятие интерпретации логической формулы.
- •55. Понятие подформулы.
- •56. (Общезначимая ЛФ)Классы логических формул.
- •57. Нейтральная логическая формула.
- •58. Противоречивая логическая формула.
- •59. Равносильные логические формулы.
- •60. Понятие предиката. Связь с моделью.
- •61. Квантор общности. Семантика.
- •62. Квантор существования. Семантика.
- •63. Двойственность кванторов. Открытые и замкнутые формулы.
- •64. Формальная теория логики высказываний.
- •65. Формальная теория логики предикатов.
- •66. Понятие полноты теории (модели).
- •67. Понятие адекватности теории (модели).
- •68. Понятие непротиворечивости теории.
- •69. Отношение выводимости, его свойства и правила логического вывода.
- •70. Понятие формального вывода.
- •71. Полнота базы знаний. Представление неполных знаний.
- •73. Темпоральная модель и темпоральные отношения.
- •74. Представление знаний о нестационарных предметных областях на семантических сетях.
- •75. Представление спецификаций программ.
- •76. Императивное представление знаний. Язык SCP.
- •77. Декларативное представление знаний. Язык SCL.
- •78. Понятие цели и целевой ситуации. Типология целей.
- •79. Понятие задачи. Классы задач.
- •80. Информационный запрос как частный случай цели. Язык представления запросов к базе знаний, примеры.
- •81. Процедурные и непроцедурные способы обработки знаний в базах знаний.
- •82. Языки описания и представления онтологий.
![](/html/2706/349/html_Kyg9sMY50o.MibQ/htmlconvd-YFRTU556x1.jpg)
44. Понятие семантики. Рефлексивная семантика, проективная семантика, дескриптивная семантика.
Семантика (фр. sémantique от др.-греч. σημαντικός — обозначающий), также семасиология — наука о понимании определённых знаков, последовательностей символов и других условных обозначений; раздел семиотики.
Семантика (лингвистика)
Семантика (программирование)
Существует также отдельная самостоятельная дисциплина общая семантика, рассматривающая общую теорию оценки фактов, отношений, ощущений и т. д. не с точки зрения просто вербальных определений того, что говорится о значениях, но с точки зрения того, как в действительности происходят оценочные реакции у человека.
Виды семантики:
декларативная - описывает знаки и значения в предметной области
проективная - если есть другая модель, то в качестве знаний могут предполагаться другие модели
рефлексивная - знаки моделей с частями моделей
![](/html/2706/349/html_Kyg9sMY50o.MibQ/htmlconvd-YFRTU557x1.jpg)
45. Фреймовая модель представления знаний. Понятие фрейма.
Фрейм – это некоторая структура для представления знаний, которая при ее заполнении соответствующими значениями превращается в описание конкретного факта, события или ситуации. Каждый фрейм можно рассматривать как семантическую сеть, состоящую из выделенных вершин и связей.
Фреймовая модель основана на принципе фрагментации знаний.
Основа фреймовой модели – слот, который состоит из имени некоторого признака, значений этого признака и связи с другими слотами.
Например, описание ситуации «Студент Иванов получил книгу А. Я. Архангельского «100 компонентов Delphi» в библиотеке ТГПУ им. Л. Н. Толстого в г. Туле» может быть представлено следующим образом:
ПОЛУЧЕНИЕ:
ОБЕКТ (КНИГА: (Автор, А. Я. Архангельский), (Название, 100 компонентов Delphi)); АГЕНТ (СТУДЕНТ: (Фамилия, Иванов)); МЕСТО: (БИБЛИОТЕКА: (Название, ТГПУ), (Расположение, Тула)).
Здесь ОБЪЕКТ, АГЕНТ и МЕСТО – это роли, которые играют слоты КНИГА, СТУДЕНТ и БИБЛИОТЕКА в рамках фрейма ПОЛУЧЕНИЕ.
Фреймовую модель можно представить в виде таблицы, у которой в отличие от реляционной модели данных есть ряд особенностей:
возможность смешанного заполнения слотов константами и переменными;
возможность наличия пустых слотов;
размещение в слотах указателей на другие фреймы для создания сети;
размещение в слотах имен выполняемых процедур.
![](/html/2706/349/html_Kyg9sMY50o.MibQ/htmlconvd-YFRTU558x1.jpg)
46. Продукционная модель представления знаний. Понятие продукции.
Продукционная модель представления знаний является развитием логических моделей в направлении эффективности представления и вывода знания.
Продукция – это выражение, содержащее ядро, интерпретируемое фразой «Если А, то В», имя, сферу применения, условие применимости ядра и постусловие,
представляющее собой процедуру, которую следует выполнить после успешной реализации ядра. Все части, кроме ядра, являются необязательными. Взаимосвязанный набор продукций образует систему. Основная проблема вывода знания в системе продукций является выбор для анализа очередной продукции. Конкурирующие продукции образуют фронт.
Преимущества продукционной модели:
простота и ясность основной единицы – продукции;
независимость продукций и легкость модификации БЗ;
строгость, простота и изученность механизма логического вывода. Недостатки:
малая степень стуктуризации БЗ;
неясность взаимных отношений продукций;
неуниверсальность.
Наибольшее применение для реализации продукционных моделей получил язык ПРОЛОГ.