WEBVTT

00:00:08.154 --> 00:00:09.716
Здравствуйте, уважаемые студенты.

00:00:09.876 --> 00:00:13.761
Вашему вниманию предлагается лекция по
дисциплине «Модели знаний».

00:00:13.882 --> 00:00:16.765
Тема лекции — модели представления,
извлечении знаний.

00:00:17.446 --> 00:00:21.011
Лекцию ведёт кандидат технических наук,
доцент Чернчук Игорь Владимирович

00:00:26.149 --> 00:00:32.842
План лекции: логические модели,
продукционные модели, семантические сети,

00:00:32.922 --> 00:00:34.726
фреймы, вывод на знаниях.

00:00:42.613 --> 00:00:46.536
Существуют десятки моделей или языков
представления знаний для различных

00:00:46.656 --> 00:00:50.900
предметных областей. Большинство из них
может быть сведено к следующим классам:

00:00:50.980 --> 00:00:55.344
логические модели, продукционные модели,
семантические сети, фреймы.

00:00:56.065 --> 00:01:00.108
Логические модели. Основная идея подхода
при построении логических моделей

00:01:00.951 --> 00:01:05.028
Представление о знании состоит в том, что
вся информация, необходимая для решения

00:01:05.228 --> 00:01:10.264
прикладных задач, рассматривается как
совокупность фактов и утверждений, которые

00:01:10.584 --> 00:01:12.862
представляются как формулы в некоторой
логике.

00:01:13.221 --> 00:01:17.698
Знания отображается совокупностью таких
формул, а получение новых знаний сводится

00:01:17.818 --> 00:01:19.776
к реализации процедуры логического вывода.

00:01:20.531 --> 00:01:26.697
В основе логических моделей представления
знаний лежит понятие формальной теории,

00:01:27.458 --> 00:01:29.059
задаваемое четвёркой.

00:01:29.260 --> 00:01:35.706
S равно B, где Б — счётное множество
базовых символов.

00:01:36.056 --> 00:01:42.889
Алфавит, то есть F множество, называемое
формулами A, выделенное под

00:01:43.049 --> 00:01:48.564
множество априори известных формул, то
есть аксиом и Р, конечное множество

00:01:49.083 --> 00:01:53.279
отношений, то есть relations между
формулами, называемыми правилами вывода.

00:01:54.051 --> 00:02:00.248
Вот обозначение, например, соответственно,
Alfavit, то есть

00:02:00.368 --> 00:02:05.606
аксиомы. И, соответственно, Relations
отношения, в принципе, достаточно

00:02:05.726 --> 00:02:09.085
стандартные. Достоинство логических
моделей.

00:02:10.032 --> 00:02:13.792
Представление знаний. В качестве
фундамента здесь используется классический

00:02:13.952 --> 00:02:17.752
аппарат математической логики, методы
которого достаточно хорошо изучены и

00:02:17.832 --> 00:02:22.112
формально обоснованы. Существует
достаточно эффективная процедура вывода, в

00:02:22.152 --> 00:02:26.072
том числе реализованная в языке
логического программирования «Пролог».

00:02:26.440 --> 00:02:29.318
О котором мы говорили на первом
практическом занятии.

00:02:29.638 --> 00:02:34.474
В базе знаний можно хранить лишь множество
аксиом, а всё остальные знания получить из

00:02:34.594 --> 00:02:36.192
них по правилу вывода.

00:02:36.632 --> 00:02:40.709
Однако действительность не укладывается в
рамки классической логики.

00:02:40.828 --> 00:02:43.586
Так называемая человеческая логика,
применяемая при работе

00:02:44.332 --> 00:02:45.774
С неструктурированными знаниями.

00:02:45.894 --> 00:02:48.657
Это интеллектуальная модель с нечёткой
структурой.

00:02:48.938 --> 00:02:51.941
В этом её отличие от старой, то есть
классической логики.

00:02:52.341 --> 00:02:58.789
Таким образом, логика, адекватно
отражающая человека мышление, к настоящему

00:02:58.869 --> 00:03:00.070
времени ещё и не создана.

00:03:03.162 --> 00:03:07.520
Таким образом, в основе логической модели
лежит понятие формальной теории,

00:03:08.080 --> 00:03:12.958
задаваемой четвёркой, как мы сказали,
значит, Б счётное множество базовых

00:03:13.078 --> 00:03:19.795
символов, то есть алфавит теории S большое
F по множеству выражений или, как мы

00:03:19.915 --> 00:03:20.555
сказали, формул

00:03:22.003 --> 00:03:25.838
называемых формулами теории под
выражениями понимаются конечные

00:03:25.997 --> 00:03:28.314
последовательности базовых символов теории
S.

00:03:28.394 --> 00:03:32.068
Обычно существует эффективная процедура,
то есть множество синтаксических правил

00:03:32.922 --> 00:03:37.123
позволяющих строить из B синтаксически
правильное выражения, то есть формулы

00:03:37.443 --> 00:03:42.404
Adeno множество формул, называемых
аксиомами теории S, то есть множество

00:03:42.604 --> 00:03:44.365
априорно истинных формул.

00:03:44.445 --> 00:03:50.287
Аксиомой R — конечное множество отношений
между формулами, называемыми правилами

00:03:50.447 --> 00:03:52.527
вывода, правилами вывода.

00:03:52.807 --> 00:03:53.968
Для каждого R малого и

00:03:55.146 --> 00:04:01.586
То есть для каждого отношения существует
целое положительное число жи такое, что

00:04:01.746 --> 00:04:06.986
для каждого множества, состоящее из
Jormul, и для каждой формулы F эффективно

00:04:07.106 --> 00:04:13.105
решается вопрос о том, находится ли данные
J формула в отношении R и T формулой F.

00:04:13.936 --> 00:04:19.698
То есть вот формально ставится задачу так:
если отношение R иT выполняется, то F

00:04:20.018 --> 00:04:24.700
называется непосредственным следствием
данных формулы по правилу RT.

00:04:24.820 --> 00:04:29.982
Следствием, то есть выводом формулы F
какой-то N в теории S называется любая

00:04:30.142 --> 00:04:32.382
последовательность F1, F2 и так далее.

00:04:32.463 --> 00:04:33.303
FN формул

00:04:34.003 --> 00:04:39.483
Такая, что для любой И формула FIT есть
либо аксиома теории S, либо

00:04:39.603 --> 00:04:44.163
непосредственно следствие каких-либо
предыдущих формул по данному из правил

00:04:44.323 --> 00:04:44.763
вывода.

00:04:47.678 --> 00:04:51.840
Правило вывода позволяет расширять форм,
множество формул, которые считаются

00:04:52.040 --> 00:04:53.881
истинными в рамках данной теории.

00:04:54.281 --> 00:04:57.723
Соответственно, формальная теория
называется разрешимой, если существует

00:04:57.803 --> 00:05:01.966
единая эффективная процедура, позволяющая
узнать, для любой данной формулы

00:05:02.126 --> 00:05:03.566
существует ли её вывод в

00:05:04.823 --> 00:05:07.540
Формальная система S называется
непротиворечивой.

00:05:07.660 --> 00:05:12.854
Если не существует формулы A такой, что A
и-инверсия A выводимы.

00:05:13.414 --> 00:05:17.010
Соответственно, наиболее распространённой
формулой системы, используемой для

00:05:17.170 --> 00:05:20.806
представления знаний, является исчисление
предикатов первого порядка.

00:05:21.299 --> 00:05:25.021
Алфавит исчисления предигатов состоит из
следующего набора символов.

00:05:25.341 --> 00:05:29.063
Так, ну давайте отвлечёмся на список
литературы сразу.

00:05:34.546 --> 00:05:38.948
Так, нас там интересовало прежде всего
ссылки 7—8.

00:05:44.051 --> 00:05:48.286
Так, ну по мере необходимости будем список
продолжать дальше.

00:05:56.518 --> 00:06:00.194
Так, таким образом, алфавитное счисление
предикатов состоит из следующего набора

00:06:00.274 --> 00:06:02.112
символов: знаков пунктуации.

00:06:03.075 --> 00:06:09.031
Соответственно, фигурные скобки, круглые
скобки, точки с запятой.

00:06:10.190 --> 00:06:14.787
Пропозиционный связок, то есть,
соответственно, инверсия, дизъюнкция,

00:06:14.827 --> 00:06:20.143
конъюнкция, операция принадлежности мно.

00:06:20.183 --> 00:06:20.742
То есть операция

00:06:21.368 --> 00:06:28.129
Включение знаков квантеров, то есть
значок, квантор

00:06:28.369 --> 00:06:30.330
общности, квантор существования.

00:06:30.450 --> 00:06:35.851
Значок для каждого — перевёрнутое A от
слова «Eни» и, соответственно,

00:06:36.851 --> 00:06:37.971
перевёрнутое.

00:06:38.561 --> 00:06:44.446
Квантура существования от слова existence
символов переменных, соответственно,

00:06:44.526 --> 00:06:47.489
каких-то там X-K от одного до двух и так
далее.

00:06:47.649 --> 00:06:53.054
N местных функциональных букв, то есть,
соответственно, F какие-то КН-К больше

00:06:53.294 --> 00:06:53.494
равно

00:06:54.308 --> 00:06:59.428
Единица N больше равна нулю, F с индексом
K-0 называет константными буквами

00:07:01.508 --> 00:07:07.788
местных предикатных букв символов тоже
сколько-то там

00:07:07.988 --> 00:07:12.788
П-к-П К больше равно единице, Н больше,
равно единице.

00:07:12.908 --> 00:07:16.028
В дальнейшем, для упрощения вместо X-K
будем употреблять

00:07:17.089 --> 00:07:21.612
Какие-то значения типа U X gрек Z вместо,
соответственно, F

00:07:24.053 --> 00:07:30.816
K нулевое, соответственно, вместо функций
ABC вместо, соответственно, N

00:07:31.337 --> 00:07:33.378
вместо функций N не равно нулю.

00:07:34.015 --> 00:07:40.379
Какие-то F и вместо предикатных ПК большие
строчные буквы

00:07:40.979 --> 00:07:45.022
П-КСТ, то есть дубль Б.

00:07:45.462 --> 00:07:49.505
Из символов алфавита можно строить
различные выражения, выделяет термы,

00:07:49.585 --> 00:07:53.827
элементарные формулы, то есть атомы и
правильно построенные формулы или просто

00:07:54.107 --> 00:07:54.668
формулы.

00:07:55.262 --> 00:07:59.064
Всякий символ переменной или конкретной
буквы есть терм.

00:08:00.385 --> 00:08:06.748
То есть, если Т1 и так далее, T N больше
равно единице — термы, то, соответственно,

00:08:06.908 --> 00:08:09.269
F является термом.

00:08:09.830 --> 00:08:12.311
Если P — предикатная формула

00:08:14.890 --> 00:08:20.410
Если редикатная буква, соответственно, Т1
и так далее, ТН — термы, то,

00:08:20.650 --> 00:08:26.889
соответственно, P верхний индекс N1 —
элементарная формула, то есть атом.

00:08:27.009 --> 00:08:29.248
Атом является правильно построенной
формулой.

00:08:29.408 --> 00:08:32.928
Если A правильно построенной формулой, то
инверсия отA

00:08:34.050 --> 00:08:37.488
Соответственно, дизъюнкция A или B.

00:08:37.688 --> 00:08:44.284
Соответственно, конъюнкция , конъюнкция Б
и Б считается, соответственно, знак

00:08:49.081 --> 00:08:49.961
включение.

00:08:51.117 --> 00:08:56.272
То есть A включает Б — есть правильно
построенные формулы.

00:08:56.472 --> 00:09:01.467
Если A — правильно построенная формула, X,
соответственно, переменная В, то

00:09:01.627 --> 00:09:07.781
конструкции с навешиванием квантеров, то
есть вот для каждого X A, для каждого X.

00:09:08.319 --> 00:09:14.203
Существует X A, соответственно, правильно
построенные формулы.

00:09:14.603 --> 00:09:18.326
Выражение является правильно построенной
формулой только если она получена в

00:09:18.366 --> 00:09:20.328
соблюдении правенных выше правил.

00:09:20.568 --> 00:09:23.970
В принципе, так и же обоснован,
собственно.

00:09:26.335 --> 00:09:29.294
Это вот, что называется, классическое
изложение данной теории.

00:09:29.414 --> 00:09:35.254
В других учебниках, в принципе, от этого
способа описания не отклоняются.

00:09:35.694 --> 00:09:39.893
Для того чтобы придать формуле содержание,
её интерпретируют как утверждение,

00:09:39.973 --> 00:09:42.213
касающееся рассматриваемой предметной
области.

00:09:42.373 --> 00:09:43.413
Под интерпретации

00:09:44.458 --> 00:09:49.296
Понимает всякую систему, состоящую из
непустого множества D, называемую областью

00:09:49.336 --> 00:09:55.613
интерпретации и какого-либо соответствия,
относящего к каждой предикатной букве

00:09:55.893 --> 00:09:59.332
П-к-н некоторое N местное отношение в Д.

00:09:59.772 --> 00:10:00.771
Каждый функциональный

00:10:05.282 --> 00:10:09.727
В букве FK — нулевое некоторые элементы с
D.

00:10:10.047 --> 00:10:16.814
При заданной интерпретации переменные
мыслятся в кавычках пробегающими

00:10:17.014 --> 00:10:20.457
все значения в области D этой
интерпретации.

00:10:20.537 --> 00:10:22.459
То есть как бы по всем элементам.

00:10:23.313 --> 00:10:27.989
А всякой элементарной формуле
приписывается значение истинно или ложно

00:10:28.308 --> 00:10:35.222
L. Приписывание значения элементарной
формуле, соответственно, ПК от

00:10:35.462 --> 00:10:38.659
Т1 и так далее TN осуществляется по
следующим правилам.

00:10:39.770 --> 00:10:45.768
Если термы предикатной буквы соответствуют
элементам из D, удовлетворяющим отношение

00:10:45.968 --> 00:10:50.487
определяемому данной интерпретации, то
значение элементарной формулы будет

00:10:50.687 --> 00:10:52.486
истина. В противном случае ложь.

00:10:53.709 --> 00:10:58.268
Значение неэлементарной формулы
вычисляется рекурентно, исходя из значения

00:10:58.428 --> 00:11:02.467
составляющего формулу. Очевидно, что
значения формул могут быть истинными или

00:11:02.667 --> 00:11:05.946
ложными в зависимости от выбранной
интерпретации.

00:11:07.686 --> 00:11:12.245
Основной задачей, решаемой в рамках
исчисления предикатов, является выяснение

00:11:12.605 --> 00:11:17.043
истинности или ложности, заданной
формулой, на которой область, на некоторой

00:11:17.123 --> 00:11:22.482
области интерпретации. При этом особая
роль отводится общезначимым формулам, то

00:11:22.562 --> 00:11:25.081
есть формулам, истинным при любой
интерпретации.

00:11:25.898 --> 00:11:29.775
...и невыполнимым формулам, то есть
формулам ложным при любой интерпретации.

00:11:30.095 --> 00:11:33.492
Справедливость, следующая,
основополагающая теорема дедукции.

00:11:34.252 --> 00:11:41.046
Пусть даны формулы, соответственно, Б1,
Б2, Б и формула A.

00:11:43.275 --> 00:11:48.078
Формула A является логическим следствием
B1 и так далее БН.

00:11:48.198 --> 00:11:54.401
Тогда и только тогда, когда формула B1,
конъюнкция и так далее

00:11:55.081 --> 00:12:01.004
B2, BN, соответственно, является
подмножеством A общезначима.

00:12:01.164 --> 00:12:01.444
То есть

00:12:02.631 --> 00:12:06.995
Соответственно, вот, как видите,
используется такой символ вывода.

00:12:09.958 --> 00:12:12.121
Соответственно, B1, B2.

00:12:13.362 --> 00:12:18.327
Напоминаем, что формула A логически
следует из формулы Б1Б тогда и только

00:12:18.527 --> 00:12:20.129
тогда, когда всякая интерпретация

00:12:21.305 --> 00:12:26.229
Соответственно, И большое удовлетворяющее
конъюнкции Б1 и так далее БН,

00:12:26.229 --> 00:12:27.870
удовлетворяет также и A.

00:12:28.271 --> 00:12:31.994
Формулы B1 и так далее BN называются
посылками.

00:12:32.554 --> 00:12:36.917
А с заключением логического следствия
обозначает, соответственно, Б1 и так далее

00:12:37.038 --> 00:12:37.398
БН.

00:12:39.334 --> 00:12:43.656
Выводится A. Задачей доказательства
теоремы называют выяснение вопроса

00:12:43.776 --> 00:12:46.658
логического следствия некоторой формулы.

00:12:46.738 --> 00:12:53.021
А из-за данного множества формул,
соответственно, Б1 и так далее БН, что

00:12:53.141 --> 00:12:56.703
равносильно доказательству общезначимости
формулы.

00:12:57.660 --> 00:13:04.536
Соответственно, B1 и так далее, БН,
подмножество

00:13:04.696 --> 00:13:10.732
A. Или невыполнимости формулы B1,
соответственно, и так далее, БН,

00:13:11.292 --> 00:13:12.011
коньюнкция

00:13:13.754 --> 00:13:14.991
Инверсия ОТ.

00:13:15.111 --> 00:13:19.380
Известно, что для исчисления предлагаемых
первого порядка не существует

00:13:20.302 --> 00:13:23.262
общего метода установления общей
значимости любых формул, то есть

00:13:23.382 --> 00:13:26.821
вычисление предикатов первого порядка
является неразрешимым.

00:13:27.021 --> 00:13:31.021
Однако, если некоторая форма вычисления
предикатов общезначима, то существует

00:13:31.141 --> 00:13:35.220
процедура для проверки её общей
значимости, то существление предикатов

00:13:35.660 --> 00:13:38.260
можно назвать полуразрешимым.

00:13:38.380 --> 00:13:42.899
Наиболее известным методами доказательств
теорем является метод резолюций и обратный

00:13:43.019 --> 00:13:43.259
метод

00:13:44.337 --> 00:13:48.779
Соответственно, приведём пример записи
некоторого факта в виде формулы исчисления

00:13:48.899 --> 00:13:55.663
предикатов. Так, вот как здесь описано в
данном примере

00:13:57.504 --> 00:14:00.946
дать, то есть Михаил Михаилу Владимиру
книгу.

00:14:02.100 --> 00:14:08.142
Для каждого X элемент X, соответственно,
событие дать

00:14:08.862 --> 00:14:14.704
соответственно коньюнкция источник: X
Михаил и адресат: X Владимир, конъюнкция

00:14:14.824 --> 00:14:16.304
объект, X Книга.

00:14:16.664 --> 00:14:18.625
Так, ну вот тут можно поосмыслить.

00:14:20.044 --> 00:14:24.999
Подробное исчисление предикатов мы будем
рассматривать несколько позже.

00:14:25.718 --> 00:14:31.192
Вот. Ну, конечно, с непривычки кажется,
какое-то такое нагромождение, но тем не

00:14:31.272 --> 00:14:33.070
менее логически всё выполняется.

00:14:33.310 --> 00:14:36.547
Значит, здесь описаны два способа записи
одного факта.

00:14:36.906 --> 00:14:38.744
Михаил дал книгу Владимиру

00:14:39.562 --> 00:14:42.642
Основным достоинством использования
вычисления предикатов в качестве модели

00:14:42.722 --> 00:14:46.242
представления знаний является наличие
формальной единообразной процедуры

00:14:46.522 --> 00:14:47.921
доказательства теорем.

00:14:48.361 --> 00:14:54.441
Однако высокая степень единообразия влечёт
за собой и основной недостаток данного

00:14:54.601 --> 00:14:58.000
подхода — сложность использования
доказательства эвристики.

00:14:58.445 --> 00:15:01.164
Отражающих специфику конкретной проблемной
среды.

00:15:01.604 --> 00:15:06.681
Указанный недостаток особенно выражен,
особенно важен при построении экспертных

00:15:06.801 --> 00:15:10.439
систем, вычислительная мощность которых в
основном определяется знаниями,

00:15:10.519 --> 00:15:12.717
характеризующими специфику проблемной
среды.

00:15:12.917 --> 00:15:14.956
Другим недостатком формульных систем
следует

00:15:15.643 --> 00:15:17.442
Нести их монотонность.

00:15:17.722 --> 00:15:21.322
Соответственно, отсутствие средств для
структурирования используемых элементов,

00:15:21.402 --> 00:15:23.241
недопустимость противоречий.

00:15:24.321 --> 00:15:27.800
Так, ну ещё раз список литературы

00:15:32.519 --> 00:15:36.399
Так, ну, можно найти и другие книги,
просто это вот наиболее фундаментальное

00:15:36.479 --> 00:15:36.958
издание.

00:15:37.180 --> 00:15:43.852
В своё время они переиздавались, и, в
принципе, в более поздней литературе такие

00:15:43.932 --> 00:15:47.489
же теоретические построения, то есть теми
же обозначениями имеется в виду.

00:15:53.785 --> 00:15:58.502
Стремление устранить недостатки формальных
систем при их использовании в качестве

00:15:58.662 --> 00:16:03.219
модели представления привело к появлению
семиотических систем.

00:16:04.098 --> 00:16:07.896
Так, ну давайте вот мы уж как в
историческом плане рассматриваем

00:16:09.375 --> 00:16:11.094
семиотические системы.

00:16:11.213 --> 00:16:12.892
То есть, вот у нас было до тринадцатого

00:16:18.574 --> 00:16:25.526
Далее начиная девятнадцатый, двадцатый,
двадцать третий, можно

00:16:25.726 --> 00:16:27.364
сказать, такие вехи развития.

00:16:32.428 --> 00:16:36.707
Стремление устранить недостатки формальных
систем, как мы говорили при использовании

00:16:36.907 --> 00:16:40.666
в качестве модели представления, привело к
появлению так называемых семиотических

00:16:40.746 --> 00:16:44.505
систем. Семиотическая система формально
задаётся уже восьмёркой.

00:16:44.985 --> 00:16:46.624
Соответственно, F равно B

00:16:48.392 --> 00:16:53.594
Ар от B, Q, Q и Q.

00:16:53.754 --> 00:16:59.116
Здесь первые четыре компонента известные
нам, то есть теми, те же, что и в

00:16:59.196 --> 00:17:01.757
предыдущем определении в формальной
системе.

00:17:02.037 --> 00:17:06.359
Остальные компоненты — правила изменения
первых четырёх компонентов под влиянием

00:17:06.479 --> 00:17:09.400
накапливаемого в базе знания
интеллектуальной системы опыта.

00:17:10.091 --> 00:17:15.252
О строении функционирование сущностей в
данной проблемной среде, то есть области.

00:17:15.372 --> 00:17:21.334
Необходимо отметить ясную близость понятий
семиотической системы и системы возможных

00:17:21.414 --> 00:17:22.814
миров в крипке.

00:17:23.094 --> 00:17:26.935
Соответственно, книжки 2 источники
21—22—23

00:17:31.018 --> 00:17:34.339
Тоже фундаментальные труды своего времени.

00:17:38.100 --> 00:17:43.580
Можно считать, что правила: QB, QF, QA, Q
после каждого своего

00:17:44.679 --> 00:17:49.720
Применение фиксирует некоторый возможный
мир, полностью описываемый соответствующей

00:17:49.800 --> 00:17:54.321
формальной моделью. При такой трактовке
семиотическая система описывается на двух

00:17:54.361 --> 00:17:57.482
уровнях: на нижнем уровне модель
представления о знания описывается

00:17:57.562 --> 00:18:01.483
традиционной формальной системой; на
верхнем уровне задаётся модель

00:18:01.603 --> 00:18:04.764
перестройки, то есть адаптации этой
формальной системы.

00:18:05.084 --> 00:18:08.485
Теория таких систем находится на начальной
стадии развития.

00:18:18.195 --> 00:18:19.635
Так, дальнейшее развитие.

00:18:19.836 --> 00:18:21.196
Продукционные модели.

00:18:21.316 --> 00:18:25.158
Психологические исследования процессов
принятия решений человеком показали, что

00:18:25.278 --> 00:18:30.200
рассуждения, рассуждая и принимая решения,
человек использует правила продукции или

00:18:30.401 --> 00:18:34.763
так называемые продукционные правила от
английского продакшн, то есть правила

00:18:34.843 --> 00:18:35.123
вывода

00:18:35.914 --> 00:18:37.315
Порождающее правило.

00:18:37.995 --> 00:18:42.359
При использовании таких моделей у систем,
основанных на знаниях, имеется возможность

00:18:42.760 --> 00:18:47.484
применения простого, точного механизма
использования знаний, представления знаний

00:18:47.604 --> 00:18:50.847
с высокой однородностью, описываемых по
единому синтаксису.

00:18:51.247 --> 00:18:51.568
Эти две

00:18:52.373 --> 00:18:56.613
Отличительные черты и определили широкое
распространение методов представления

00:18:56.733 --> 00:19:02.413
знаний правилами. Впервые продукционные
системы были предложены Постом ещё в 1941

00:19:02.733 --> 00:19:06.133
году. Продукция в системе Поста имеет
следующую схему.

00:19:06.613 --> 00:19:09.413
Соответственно, T1, T2 и так далее, ТН

00:19:11.070 --> 00:19:15.072
Соответственно, условная дробь Т.

00:19:15.672 --> 00:19:22.514
Где Т1, Т2 — ТН — посылки, AT, то есть
условный знаменатель, как бы записано —

00:19:22.594 --> 00:19:28.957
заключение. Применение схемы поставывается
на

00:19:29.117 --> 00:19:32.118
подстановке цепочек знаков вместо
переменных.

00:19:32.839 --> 00:19:37.279
Причём место вхождения одной и той же
переменной представляется одна и та же

00:19:37.359 --> 00:19:41.319
цепочка. Общим для систем продукции
является то, что они состоят из трёх

00:19:41.399 --> 00:19:45.640
элементов. Первое — набор правил,
используемых как база знаний.

00:19:46.040 --> 00:19:48.200
Его ещё называют базой правил.

00:19:49.522 --> 00:19:54.159
Второе — рабочая память, где хранятся
предпосылки, касающиеся отдельных задач, а

00:19:54.239 --> 00:19:58.036
также результаты вывода, получаемые на
основе этих предпосылок, то есть

00:19:58.156 --> 00:20:00.634
динамическая база данных — ДБД.

00:20:01.513 --> 00:20:05.430
Механизм логического вывода, использующий
правило в соответствии с содержанием

00:20:05.550 --> 00:20:09.987
рабочей памяти. Конфигурацию системы
продукции упрощённо можно представить вот

00:20:10.227 --> 00:20:11.346
следующей структурой.

00:20:12.985 --> 00:20:19.431
Видите, у нас имеется механизм вывода
сопоставления производящий рабочая память

00:20:19.711 --> 00:20:25.196
ДБД, соответственно, и база правил БЗ.

00:20:25.557 --> 00:20:29.520
В общем случае продукционное правило можно
представить в следующем виде.

00:20:31.176 --> 00:20:37.301
Соответственно, посылки SLA,

00:20:37.702 --> 00:20:44.307
соответственно, вывод, значок вывода

00:20:45.308 --> 00:20:48.151
Бу, где и индивидуальный номер продукции

00:20:48.682 --> 00:20:53.398
С — описание класса ситуаций, в котором
данная структура может использоваться.

00:20:53.758 --> 00:21:00.354
Л — условие, при котором продукция
активируется, соответственно, а влечёт Б.

00:21:00.474 --> 00:21:03.912
Да, кстати, вот вместо звёздочки
предполагается вот эта стрелочка.

00:21:05.207 --> 00:21:09.563
А влечёт Б, соответственно, A, стрелочка Б
— ядро продукции.

00:21:09.682 --> 00:21:16.636
Например, если, соответственно, A или
какие-то два и так далее N, то Б.

00:21:16.756 --> 00:21:21.312
То есть, если у нас справедливый какой-то
набор посылок, между ними предполагается

00:21:21.512 --> 00:21:23.430
одновременно справедливый, то есть
конъюнкция

00:21:24.332 --> 00:21:28.215
То тогда у нас справедливая Б истина и Б.

00:21:28.295 --> 00:21:33.899
Вот такая запись означает, что если все
условия от I до N являются истинной, то Б

00:21:34.179 --> 00:21:41.064
также истинна. Или же, когда условие A1 с
A1 дон становится истинной,

00:21:41.144 --> 00:21:43.146
то следует выполнить действие Б.

00:21:44.120 --> 00:21:49.755
Дальше ку. Постусловия продукционного
правила описывает операции и действия, то

00:21:49.835 --> 00:21:53.752
есть процедуры, которые необходимо
выполнить после выполнения Б.

00:21:54.231 --> 00:21:58.867
Например, внести изменения в данные, либо
в саму продукцию.

00:22:03.060 --> 00:22:07.540
Суть использования правил продукции для
представления знаний состоит в том, что в

00:22:07.660 --> 00:22:11.100
левой части ставятся в соответствие
некоторые условия, в правой части —

00:22:11.180 --> 00:22:15.140
действия. Если перечень условий, то
перечень действий.

00:22:15.860 --> 00:22:20.460
В такой интерпретации левая часть правил
оценивается по отношению к базе данных, то

00:22:20.500 --> 00:22:22.420
есть известному набору фактов системы.

00:22:23.783 --> 00:22:29.577
И если эта оценка в определённом смысле
соответствует логическому значению истина,

00:22:29.617 --> 00:22:32.854
то выполняется действие, заданное в правой
части продукции.

00:22:33.774 --> 00:22:37.850
В общем случае под условием, то есть
акцендентом, понимается некоторое

00:22:37.970 --> 00:22:42.046
предложение, то есть образец, по которому
осуществляет поиск в базе знаний.

00:22:42.210 --> 00:22:48.295
А под действием, то есть конси-секретным
действия, выполняемые при успешном исходе

00:22:48.415 --> 00:22:55.021
поиска. Это могут быть реальные действия,
если система, управляющая или заключение,

00:22:55.381 --> 00:23:00.625
вывод, представляющий собой новое
фактуальное знание или некоторую цель.

00:23:01.344 --> 00:23:05.661
При использовании продукционной модели
база знаний состоит из набора правил.

00:23:05.861 --> 00:23:11.497
Программа, удовлетворяющая перебором
правил, называется машинной вывода.

00:23:11.617 --> 00:23:16.534
Механизм выводов связывает знание воедино,
а затем выводит из последовательности

00:23:16.694 --> 00:23:17.933
знаний заключение.

00:23:21.145 --> 00:23:25.668
В продукционных системах, основанных на
знаниях, процесс обработки информации

00:23:25.828 --> 00:23:27.508
может осуществляться двумя способами.

00:23:28.029 --> 00:23:32.271
Первый предполагает обработку информации в
прямом направлении, то есть метод

00:23:32.351 --> 00:23:36.553
сопоставления. При втором подходе
обработка информации осуществляется в

00:23:36.633 --> 00:23:40.515
обратном направлении, то есть метод
генерации или выдвижения гипотезы, её

00:23:40.675 --> 00:23:41.275
проверки.

00:23:41.692 --> 00:23:44.251
Стратегия от цели к данным.

00:23:44.611 --> 00:23:48.649
Таким образом, продукционные правила могут
применяться к описанию состояния и

00:23:48.769 --> 00:23:51.128
описывать новое состояние, то есть
гипотезы.

00:23:51.208 --> 00:23:51.888
Или же напротив

00:23:52.815 --> 00:23:57.372
Использовать целевые состояния задачи как
базу, когда система работает в обратном

00:23:57.492 --> 00:24:01.489
направлении. При этом продукционные
правила применяются к целевому описанию

00:24:01.609 --> 00:24:05.366
для порождения подцели, то есть образуя
систему редукций.

00:24:05.845 --> 00:24:09.003
Свойства продукционных моделей, прежде
всего модуль.

00:24:10.517 --> 00:24:15.802
Модульность. Каждое продукционное правило
— самостоятельный элемент знаний.

00:24:16.963 --> 00:24:19.165
Третье — простота интерпретаций.

00:24:20.206 --> 00:24:25.491
Естественность, недостатки продукционных
систем проявляются тогда, когда число

00:24:25.611 --> 00:24:28.654
правил становится большим и возникают
предсказуемое

00:24:29.789 --> 00:24:32.832
Побочный эффект от изменения старого
добавления нового правила.

00:24:32.952 --> 00:24:38.437
Кроме того, затруднительна оценка
целостного образа знаний, содержащихся в

00:24:38.517 --> 00:24:41.040
системе. Так.

00:24:41.160 --> 00:24:46.725
Ну и таким образом, продукционная модель
или модель основанная на правилах,

00:24:46.765 --> 00:24:47.166
позволяет

00:24:47.676 --> 00:24:52.875
Представить знание в виде предложений
типа: «Если условие, то действие».

00:24:53.235 --> 00:24:57.515
Где условие — это образец, по которому
осуществляется поиск в базе.

00:24:57.915 --> 00:25:02.634
Действия, действия или операторы,
выполняемые при успешном исходе поиска,

00:25:02.714 --> 00:25:05.673
могут быть промежуточными, вступающими
далее как условия.

00:25:07.251 --> 00:25:11.208
Терминальными или целевыми, завершающими
работу системы.

00:25:11.967 --> 00:25:15.205
Так, ну давайте к следующему блоку ссылок
перейдём.

00:25:15.844 --> 00:25:21.560
Значит, мы остановились в скрипке 24
Гаврилова-Червинского, извлечение

00:25:21.720 --> 00:25:24.158
структурированных знаний для экспертных
систем.

00:25:24.592 --> 00:25:26.354
Тоже довольно классическая работа.

00:25:26.794 --> 00:25:32.398
Ну, как видите, у нас, в принципе, много
работ за прошлые годы, но мы рассматриваем

00:25:32.518 --> 00:25:36.882
как раз пока историческое развитие
моделей, так что ничего удивительного.

00:25:41.872 --> 00:25:45.990
При использовании продукционной модели
база знаний состоит из набора правил.

00:25:46.190 --> 00:25:50.828
Программа, управляющая перебором правил,
называется машиной вывода.

00:25:51.188 --> 00:25:55.786
Чаще всего вывод бывает прямой, то есть от
данных к поиску цели или обратной от цели

00:25:55.946 --> 00:25:57.306
для её подтверждения к данным.

00:25:57.465 --> 00:26:02.143
Данные — это исходные факты, на основании
которых запускается машина вывода.

00:26:02.747 --> 00:26:05.467
То есть программа, перебирающая правила из
базы.

00:26:05.827 --> 00:26:09.908
Продукционная модель чаще всего
применяется в промышленных экспертных

00:26:09.988 --> 00:26:15.310
системах. Она привлекает разработчиков
своей наглядностью, высокой модульностью,

00:26:15.430 --> 00:26:20.071
лёгкостью внесения дополнений, изменений и
простотой механизмов логического вывода.

00:26:20.583 --> 00:26:25.823
То есть имеется большое число программных
средств, реализующих продукционный подход.

00:26:25.983 --> 00:26:32.462
Вот, например, язык ОПС, соответственно,
оболочки

00:26:33.102 --> 00:26:36.541
или пустые экспертные системы эксис.

00:26:38.078 --> 00:26:44.952
Эксперт, инструментальные системы PS28,
СПС-29, а также

00:26:45.072 --> 00:26:48.429
промышленные экспортные системы на основе
ФИАТР.

00:26:48.709 --> 00:26:52.905
Соответственно, ну, это, можно сказать,
всё та же история, но тем не менее шаги

00:26:53.105 --> 00:26:56.622
развития экспортных систем, видите, на
основе системы продукции.

00:26:57.704 --> 00:27:01.662
Давайте, значит, там до двадцать восьмого.

00:27:25.873 --> 00:27:30.754
Так, соответственно, вот описаны в
литературе указанные системы.

00:27:32.754 --> 00:27:36.355
В традиционном программировании команды
устанавливаются в жёсткой фиксированной

00:27:36.435 --> 00:27:39.996
последовательности по умолчанию после
выполнения итой команды выполняется и плюс

00:27:40.076 --> 00:27:43.797
первая команда. Если итая команда не
является командой ветвления

00:27:44.701 --> 00:27:47.902
Все места в традиционном программировании
указываются явно.

00:27:48.022 --> 00:27:51.543
Подобный способ программирования удобен в
тех случаях, когда последовательность

00:27:51.703 --> 00:27:54.424
обработки мало зависит от обрабатываемых
данных.

00:27:54.584 --> 00:27:58.626
То есть тогда, когда ветвление является
исключением, а не нормой.

00:27:58.706 --> 00:28:02.507
В противном случае программу легче
рассматривать как совокупность независимых

00:28:02.627 --> 00:28:04.268
модулей, управляющих образцами.

00:28:04.962 --> 00:28:09.480
На каждом шаге работы такая программа
анализирует текущую ситуацию и определяет

00:28:10.000 --> 00:28:15.518
по анализу образцов, какой модуль подходит
для обработки этой ситуации.

00:28:16.478 --> 00:28:21.436
Каждый управляемый образцом модуль — ум —
образцы — управляемый образцом модуль.

00:28:21.944 --> 00:28:24.747
Такая вот особенность реализации
экспертных систем.

00:28:24.867 --> 00:28:29.151
Состоит из механизмов исследования и
модификации одной или нескольких структур

00:28:29.231 --> 00:28:34.155
данных. Диапазон ООМ может колебаться в
широких пределах, от простого

00:28:34.276 --> 00:28:38.119
продукционного правила до процедуры
произвольной степени сложности.

00:28:39.245 --> 00:28:40.446
Вызываемые по образцу.

00:28:40.566 --> 00:28:45.450
Каждый Оом на очередном шаге работы
анализирует данные рабочей памяти,

00:28:45.571 --> 00:28:50.455
провергая наличие, проверяя наличие
структур, которые сопоставляются с его

00:28:50.615 --> 00:28:56.220
образцом. Системы, построенные на основе
ом, называют системами вывода,

00:28:56.300 --> 00:28:57.781
управляемыми образцами.

00:28:57.901 --> 00:29:00.143
Функция управления в этих системах
осуществляется

00:29:00.632 --> 00:29:04.429
Интерпретатор. С точки зрения
представления знаний, подход, использующий

00:29:04.508 --> 00:29:08.585
управляемыми образцами модулей, можно
характеризовать следующими особенностями:

00:29:09.064 --> 00:29:14.219
разделение постоянных знаний, хранимых в
базе знаний и временных знаний.

00:29:14.789 --> 00:29:16.268
Хранимых в рабочей памяти.

00:29:16.348 --> 00:29:19.985
Структурная независимость модулей,
облегчающая модификацию и

00:29:20.065 --> 00:29:24.940
совершенствование системы, что чрезвычайно
важно для экспертных систем, постоянно

00:29:25.060 --> 00:29:26.658
модифицирующих свои знания.

00:29:27.018 --> 00:29:32.773
Кроме того, независимость модулей упрощает
объединение программ, написанных разными

00:29:32.893 --> 00:29:33.452
авторами.

00:29:34.781 --> 00:29:40.780
Соответственно, отдельные схемы управления
от модулей, несущих знания о проблемной

00:29:40.900 --> 00:29:44.059
области, что позволяет применять различные
схемы управления.

00:29:44.419 --> 00:29:48.858
Системы управляемые образцами
классифицируются в соответствии с

00:29:48.898 --> 00:29:51.137
ограничениями, накладываемыми на модули.

00:29:51.871 --> 00:29:54.669
Вот как показано на рисунке.

00:29:58.467 --> 00:30:03.263
На рисунке 4.1 приведена классификация
систем, управляемых образцами, которая

00:30:03.503 --> 00:30:07.860
может рассматриваться как классификация
модулей, управляемыми образцами.

00:30:08.666 --> 00:30:13.012
Вот опять источник восемь вернёмся,
соответственно.

00:30:20.559 --> 00:30:25.685
Программы. Системы управляемые образцами,
выделенные отдельно, как видите.

00:30:26.086 --> 00:30:27.928
Системы, основанные на правилах.

00:30:28.088 --> 00:30:29.410
Системы, основанные на сетях.

00:30:29.450 --> 00:30:31.853
О сетях мы тоже сейчас непосредственно
поговорим.

00:30:32.494 --> 00:30:35.417
Продукционные системы, тоже основанные на
правилах.

00:30:36.263 --> 00:30:41.224
Системы управляемого данными, условия,
системы управляемой целями, действия.

00:30:41.904 --> 00:30:46.226
Дальше — трансформационные системы,
формальные системы, системы формальных

00:30:46.346 --> 00:30:51.347
грамматик. Вот таким образом классификация
систем управляемых образцами.

00:30:57.171 --> 00:31:02.727
Так, если системы, управляемые образцами,
состоят из модулей локализованных на

00:31:02.807 --> 00:31:09.043
вершинах сети, которые активизируются
сигналами, проходящими по дугам, то такие

00:31:09.123 --> 00:31:11.682
системы называют системами, основанными на
сетях.

00:31:17.415 --> 00:31:21.729
Большинство систем управляемыми образцами
удовлетворяет следующему ограничению: все

00:31:21.889 --> 00:31:26.483
исследования данных рабочей памяти в
каждом модуле объединены и предшествуют

00:31:26.523 --> 00:31:29.559
всем действиям по модификации данных.

00:31:29.639 --> 00:31:33.035
Таким образом, модуль разделяется на две
части: предусловие.

00:31:34.380 --> 00:31:39.736
Исследующие, исследующие данные и
действия, модифицирующие данные.

00:31:39.976 --> 00:31:44.972
То есть модули, имеющие такое деление,
называют правилами.

00:31:45.012 --> 00:31:48.649
А системы, использующие такие правила,
называют системами, основанными на

00:31:48.768 --> 00:31:54.084
правилах. Разделение операций исследования
и модификации данных облегчает отладку

00:31:54.204 --> 00:31:54.764
системы.

00:32:01.600 --> 00:32:03.438
Системы, основанные на правилах.

00:32:03.957 --> 00:32:09.671
Разделяют по видам правил на продукционные
системы и трансформационные системы.

00:32:09.711 --> 00:32:12.348
Вот в соответствии с рисунком, который мы
рассматривали.

00:32:12.668 --> 00:32:16.784
Продукционные системы образованы из
правил, в которых составляющие

00:32:17.412 --> 00:32:21.128
Составление и планирование, то есть
управление являются явными функциями

00:32:21.208 --> 00:32:24.045
системы, зафиксированными в
интерпретаторе.

00:32:24.125 --> 00:32:28.361
Трансформационные системы, в отличие от
продукционных, могут не иметь явных

00:32:28.440 --> 00:32:31.398
функций по сопоставлению правил и
управления правилами.

00:32:32.197 --> 00:32:36.233
Примерами трансформационных систем
являются формальные системы и системы

00:32:36.353 --> 00:32:37.312
формальных грамматик.

00:32:37.571 --> 00:32:42.050
Продукционные системы могут быть разделены
на продукционные системы, управляемые

00:32:42.330 --> 00:32:48.408
данными, то есть предусловиями правил, и
на продукционные системы, управляемые

00:32:48.488 --> 00:32:50.607
целями, то есть действиями правил.

00:32:50.807 --> 00:32:55.046
Традиционно под продукционными системами
понимают только системы, использующие

00:32:55.126 --> 00:32:55.326
вывод

00:32:56.674 --> 00:33:00.991
Направляемой данными. Обычно предусловие,
то есть анцендент задаётся в виде

00:33:01.071 --> 00:33:04.508
логической комбинации утверждения данных
рабочей памяти.

00:33:04.948 --> 00:33:10.984
А действием, то есть конк-секентом,
является некоторая операция по модификации

00:33:11.144 --> 00:33:11.983
рабочей памяти.

00:33:12.829 --> 00:33:17.068
Сложность действий колебаний колебается в
значительных пределах от простой операции

00:33:17.988 --> 00:33:21.547
присвоения до функции произвольной степени
сложности.

00:33:21.827 --> 00:33:27.146
Так, опять же ссылку уже неоднократно
указываем источникам.

00:33:27.225 --> 00:33:31.424
В продакционных системах, управляемых
целями, предусловия и действия являются

00:33:31.544 --> 00:33:32.824
утверждениями о данных.

00:33:33.552 --> 00:33:36.594
Здесь вывод осуществляется в обратном
направлении, в подтверждении, которые

00:33:36.834 --> 00:33:43.118
должны быть доказаны управляемых целями.

00:33:43.198 --> 00:33:47.040
Обращаем внимание. То есть необходимо
подчеркнуть, что образцы могут быть заданы

00:33:47.240 --> 00:33:49.362
как декларативно, так и процедурно.

00:33:50.488 --> 00:33:52.808
Так, ну ещё раз вот вернёмся к нашей этой

00:33:54.289 --> 00:33:59.010
рисунку, то есть, обратим

00:33:59.090 --> 00:34:05.372
внимание, управляемые данными,
управляемыми целями.

00:34:05.572 --> 00:34:07.772
То есть мы разделяем продукционную
систему.

00:34:19.992 --> 00:34:25.312
Итак, представление знаний в виде о и,
соответственно, продукционные правила

00:34:25.393 --> 00:34:27.273
обладает следующими достоинствами.

00:34:27.393 --> 00:34:29.833
Вот, согласно авторами.

00:34:30.433 --> 00:34:33.114
Давайте ещё раз ссылки седьмая-восьмая

00:34:36.714 --> 00:34:38.755
модульностью организации знаний.

00:34:40.085 --> 00:34:44.124
Вне зависимостью правил, выражающих
самостоятельные фрагменты знаний,

00:34:44.564 --> 00:34:50.922
лёгкостью и естественностью модификации
знаний, отделением управляющих знаний, что

00:34:52.081 --> 00:34:55.040
позволяет применять различные управляющие
стратегии.

00:34:55.200 --> 00:34:59.119
Возможность создания для ряда приложений
управляющих механизмов для автоматического

00:34:59.279 --> 00:35:00.118
решения задач.

00:35:01.785 --> 00:35:05.542
Основным недостатком данного подхода
является его более низкая эффективность по

00:35:05.582 --> 00:35:07.900
сравнению с методами традиционного
программирования.

00:35:07.980 --> 00:35:11.856
То есть вот различные авторы по-разному
классифицируют продукционные системы.

00:35:12.536 --> 00:35:16.732
Те же самые авторы 7 и восемь, одни
относят их

00:35:17.405 --> 00:35:20.481
Одни к декларативному представлению,
другие — к процедурному или

00:35:20.641 --> 00:35:22.000
декларативно-процедурному.

00:35:22.080 --> 00:35:25.636
Вероятно, расхождение объясняется тем, что
несколько широко трактуется понятие

00:35:25.756 --> 00:35:27.114
продукционное правило.

00:35:27.474 --> 00:35:32.149
По мнению вот авторов, которых
неоднократно мы ссылались источников семь

00:35:32.309 --> 00:35:32.669
и восемь

00:35:35.300 --> 00:35:40.223
Даже в самом простом продукционном
правиле, то есть в правиле не содержащем

00:35:40.503 --> 00:35:45.306
присоединённых процедур, есть элемент
процедурности, так как предполагается, что

00:35:46.803 --> 00:35:49.765
Правило будет использовано для выполнения
некоторого действия.

00:35:49.885 --> 00:35:54.007
Именно это и означает процедурное
представление, отличает, прошу прощения,

00:35:54.287 --> 00:35:57.569
процедурное представление от
декларативного, поскольку декларативные

00:35:57.649 --> 00:36:02.252
знания не несут никакой информации о том,
как они будут использованы.

00:36:05.218 --> 00:36:10.059
В более сложных продукционных правилах
степень процедурности в кавычках ещё выше.

00:36:10.139 --> 00:36:14.180
Однако в продукционных правилах и даже в
модулях управляемых образцами, есть

00:36:14.420 --> 00:36:15.901
элемент декларативности.

00:36:16.341 --> 00:36:20.342
Так как способ использования правил и
модулей в самих правилах и модулях не

00:36:20.422 --> 00:36:21.302
указывается. В общем

00:36:22.010 --> 00:36:26.724
Можно считать, что так же, как и
представляю в виде фреймов иерархических

00:36:26.803 --> 00:36:30.518
сетей, продукционное правило объединяет в
себе свойства декларативного и

00:36:30.638 --> 00:36:32.555
процедурного представления.

00:36:34.233 --> 00:36:35.631
Семантические сети.

00:36:36.021 --> 00:36:39.698
Способ представления знаний с помощью
сетевых моделей наиболее близок к тому,

00:36:39.858 --> 00:36:42.456
как они представлены в текстах на
естественном языке.

00:36:42.736 --> 00:36:46.773
В его основе лежит идея о том, что
необходимая информация может быть описана

00:36:46.933 --> 00:36:51.209
как совокупность троек, то есть арп, где,
соответственно,

00:36:51.907 --> 00:36:58.667
A и B — объекты или понятия, а,
соответственно, бинарное

00:36:58.787 --> 00:37:04.187
отношение между ними. Это так называемый
инфиксная способ записи.

00:37:04.347 --> 00:37:06.907
То есть, ну, обычно R пишут большим.

00:37:07.725 --> 00:37:10.124
Здесь вот они ненаглядно получаются, что
маленькое.

00:37:10.204 --> 00:37:14.002
Ну, как правило, действительно операции
обозначают маленьким значком.

00:37:14.082 --> 00:37:17.281
Ну вот так, например: A+ B.

00:37:17.481 --> 00:37:22.239
Вот. Или отношение какое-то, скажем, A
меньше Б.

00:37:22.919 --> 00:37:26.678
Вот Р имеется в виду какое-то бинарное
отношение произвольное.

00:37:27.327 --> 00:37:30.284
То есть, соответственно, сравниваются две
величины.

00:37:30.884 --> 00:37:33.881
И на выходе мы имеем либо истину, либо
ложь.

00:37:34.320 --> 00:37:35.599
Пять больше трёх.

00:37:35.839 --> 00:37:39.915
Истина. Один больше трёх — ложно.

00:37:40.395 --> 00:37:41.753
Вот отношение больше.

00:37:41.953 --> 00:37:43.312
Пример бинарного отношения.

00:37:43.512 --> 00:37:47.428
Бинарное отношение может быть,
соответственно, выше, иметь тот же цвет.

00:37:48.607 --> 00:37:51.925
Соответственно, и довольно много их можно
привести.

00:37:52.525 --> 00:37:57.884
Формально сетевые модели представления
знаний могут быть заданы в виде Hoшое

00:37:58.124 --> 00:38:03.522
равно Elшое c1 и так далее, ЦН Г.

00:38:04.162 --> 00:38:06.121
Ну, тут, скорее всего греческая гамма.

00:38:06.956 --> 00:38:12.716
где — множество информационных единиц,
соответственно, один и так далее, Ц —

00:38:12.876 --> 00:38:15.555
множество типов связей между элементами
«И».

00:38:17.275 --> 00:38:24.155
Отображение гамма большое задаёт между
информационными единицами, входящими в «И

00:38:24.315 --> 00:38:27.475
большое», связи из заданного набора типов
связей

00:38:28.090 --> 00:38:30.488
Соответственно, множество каких-то Ц и ТЭ.

00:38:30.928 --> 00:38:35.566
В зависимости от типов связи, то есть
множество Ц, и различают классифицирующие

00:38:35.726 --> 00:38:38.604
сети, функциональные сети и сценарии.

00:38:38.964 --> 00:38:43.002
Если в сетевой модели допускаются связи
различного типа, то её называют

00:38:43.122 --> 00:38:44.202
семантической сетью.

00:38:45.092 --> 00:38:51.417
Семантическая сеть — это модель основы,
для которых является формализация знаний в

00:38:51.457 --> 00:38:54.780
виде ориентированного графа с размеченными
вершинами и дугами.

00:38:55.100 --> 00:38:59.624
Вершинам соответствуют объекты, понятия
или ситуация, а дугам отношение между

00:38:59.824 --> 00:39:04.148
ними. В качестве понятия обычно выступают
абстрактные или конкретные объекты.

00:39:04.797 --> 00:39:06.836
Отношения — это типа связи.

00:39:07.356 --> 00:39:14.232
Соответственно, око, iC of или что
по-русски

00:39:14.312 --> 00:39:20.828
называется это, или имеет частью бас-парт,
принадлежит, любит и тому

00:39:20.948 --> 00:39:22.947
подобное. Это вот всё есть отношения.

00:39:24.090 --> 00:39:26.009
Нравится-не нравится — тоже отношение.

00:39:26.129 --> 00:39:28.889
Это наиболее общая модель представления
знаний.

00:39:29.249 --> 00:39:35.808
Так как в ней имеются средства реализации
всех характерных для знаний свойств

00:39:35.968 --> 00:39:39.528
внутренней интерпретации,
структурированности, семантической метрики

00:39:39.648 --> 00:39:40.368
и активности.

00:39:41.083 --> 00:39:45.125
Характерной особенностью семантических
сетей является обязательное наличие трёх

00:39:45.165 --> 00:39:49.167
типов отношений. Класс — тире — элемент
класса.

00:39:49.247 --> 00:39:50.688
Вот как цветок розы.

00:39:50.888 --> 00:39:52.969
Роза принадлежит классу цветков.

00:39:53.169 --> 00:39:58.452
Соответственно. Свойства-тире-значения, то
есть цвет жёлтый.

00:39:59.550 --> 00:40:04.228
Соответственно, пример элемента класса —
роза чайная.

00:40:04.747 --> 00:40:09.785
Можно предложить несколько классификаций
семантических сетей, связанных с типами

00:40:09.865 --> 00:40:11.424
отношений между понятиями.

00:40:11.544 --> 00:40:13.662
По количеству типов отношений.

00:40:14.382 --> 00:40:16.221
Соответственно, однородные.

00:40:17.138 --> 00:40:22.020
С единым типом отношений, неоднородные, с
различными типами отношений.

00:40:22.140 --> 00:40:23.260
По типам отношений

00:40:24.209 --> 00:40:27.690
Бинарные, в которых отношения связывают
два объекта.

00:40:27.850 --> 00:40:33.411
Энарные, в которых есть специальные
отношения, связывающие более двух понятий.

00:40:33.571 --> 00:40:37.053
Наиболее часто в семантических частях
используются следующие отношения.

00:40:37.453 --> 00:40:41.374
Связи типа — часть целая, то есть класс
подкласс, элемент множества и тому

00:40:41.454 --> 00:40:41.854
подобное.

00:40:42.767 --> 00:40:48.441
Функциональные связи, то есть определяющие
обычно глаголами производит, влияет и так

00:40:48.601 --> 00:40:55.154
далее. Количественные, то есть больше,
меньше равно пространственные, далеко от,

00:40:55.234 --> 00:40:58.071
близко, от зад, над.

00:40:59.294 --> 00:41:01.774
Временные, раньше, позже, в течение.

00:41:02.654 --> 00:41:06.575
Атрибутивные связи иметь свойства, иметь
значение.

00:41:07.055 --> 00:41:10.535
Логические инее, лингвистические связи и
другие.

00:41:10.695 --> 00:41:14.696
Проблема поиска решений в базе знаний типа
семантической сети сводится к задаче

00:41:14.856 --> 00:41:18.376
поиска фрагмента сети, соответствующей
некоторой подсети, отражающей

00:41:19.369 --> 00:41:21.408
Поставленный запрос к базе.

00:41:22.608 --> 00:41:26.486
Так, ну вот, допустим, примеры
семантических сетей.

00:41:28.365 --> 00:41:33.483
Вот видите, тут животное, кошка, шерсть,
млекопитающие.

00:41:35.802 --> 00:41:37.002
Вот интересный пример.

00:41:40.075 --> 00:41:47.036
Так, вот, соответственно, видите, летающие
объекты и самолёт Т-134 является

00:41:47.556 --> 00:41:52.196
самолётом, имеет крылья, умеет летать.

00:41:52.596 --> 00:41:55.877
И вот такие, соответственно, тут понятия
связаны отношениями.

00:41:57.372 --> 00:41:59.693
Показывает очень интересная картинка.

00:42:09.457 --> 00:42:13.738
Так, вот у нас описание сказки в виде
семантической сети.

00:42:15.130 --> 00:42:17.212
Узнаете, какая сказка.

00:42:29.343 --> 00:42:30.504
Так, очень наглядно и

00:42:31.313 --> 00:42:35.351
Интересный способ представления знаний.

00:42:37.950 --> 00:42:40.748
Так, вот, соответственно, ещё один пример.

00:42:43.707 --> 00:42:49.983
Двигатель цвет красный, Волга, автомобиль
Иванов, человек, вот связаны между собой

00:42:50.063 --> 00:42:50.543
связями.

00:42:52.430 --> 00:42:59.112
Иванов любит автомобиль принадлежит
Иванову.

00:42:59.952 --> 00:43:02.232
Волга — это автомобиль?

00:43:02.912 --> 00:43:04.913
Да, они название реки.

00:43:05.553 --> 00:43:09.353
Так, ну конечно, вы можете сделать паузу,
вернуться на предыдущую картинки,

00:43:09.393 --> 00:43:10.073
поразмышлять.

00:43:11.729 --> 00:43:13.527
Можно даже покритиковать.

00:43:13.727 --> 00:43:17.403
Данная модель представления знаний была
предложена американским психологом

00:43:17.962 --> 00:43:24.874
Куэллином. Основным её преимуществом
является то, что она более других

00:43:24.994 --> 00:43:28.870
соответствует современным представлениям
об организации долговременной памяти

00:43:29.030 --> 00:43:29.429
человека.

00:43:29.908 --> 00:43:33.950
То есть недостатком этой модели является
сложность организации процедуры поиска в

00:43:33.990 --> 00:43:35.271
семантической сети.

00:43:36.071 --> 00:43:39.994
Достоинства сетевых моделей, большие
выразительные возможности.

00:43:40.074 --> 00:43:41.754
Ну, тут видите, кто бы спорил.

00:43:42.915 --> 00:43:47.478
Наглядность системы знаний, представленной
графической, близость структуры сети,

00:43:47.598 --> 00:43:51.000
представляющей систему знаний в
семантической структуре фраз.

00:43:51.457 --> 00:43:56.056
На естественном языке соответствие
современным представлениям об организации,

00:43:56.136 --> 00:43:57.855
долговременной памяти человека.

00:43:57.975 --> 00:44:03.294
Недостатки — эта сетевая модель не даёт,
точнее, не содержит ясного представления о

00:44:03.334 --> 00:44:06.453
структуре предметной области, который ей
соответствует.

00:44:07.822 --> 00:44:10.864
Поэтому формирование модификации такой
модели затруднительно.

00:44:10.945 --> 00:44:14.668
Сетевые модели представляют собой
пассивные структуры для обработки которых

00:44:14.948 --> 00:44:17.871
необходим специальный аппарат формального
вывода и планирования.

00:44:17.991 --> 00:44:23.436
Проблема поиска решений в базе знаний типа
семантической сети становится, сводится к

00:44:23.516 --> 00:44:26.879
задаче поиска фрагмента сети,
соответствующей некоторой подсети,

00:44:26.919 --> 00:44:28.080
представляющей задачи.

00:44:28.662 --> 00:44:31.908
Это, в свою очередь, обусловливает ещё
один недостаток модели — то есть сложность

00:44:32.068 --> 00:44:34.071
поиска вывода на семантических сетях.

00:44:38.357 --> 00:44:44.160
Давайте ещё всё обобщим, что в основе
модели семантических сетей лежит понятие

00:44:44.280 --> 00:44:47.602
сети, образованных, помеченными вершинами
и дугами.

00:44:47.922 --> 00:44:51.724
Вершины сети представляют некоторые
сущности, то есть объекты, события,

00:44:51.804 --> 00:44:57.448
процессы, явления, дуги, соответственно,
отношения между сущностями, которые они

00:44:57.568 --> 00:45:02.370
связывают. Пример семантической сети
приведён на рисунке.

00:45:03.520 --> 00:45:08.283
Соответственно, вот в указанном ниже —
семантическая сеть.

00:45:08.363 --> 00:45:14.727
В качестве вершин тут выступает понятие
человек, Иванов, Волга, автомобиль, вид

00:45:14.887 --> 00:45:19.650
транспорта, двигатель. Кстати, мы вот в
другом виде эту картинку видели.

00:45:20.928 --> 00:45:22.527
В качестве двух отношения.

00:45:22.767 --> 00:45:28.323
Это из Эко, то есть Acand Of является

00:45:29.682 --> 00:45:33.559
имеет частью Хеспарт, принадлежит, любит.

00:45:33.838 --> 00:45:37.875
Соответственно, вот ссылка на источник 24.

00:45:42.602 --> 00:45:44.203
Вот из учебника Гаврилова,

00:45:44.203 --> 00:45:51.205
Червинская.

00:45:51.565 --> 00:45:58.407
Так, вот можно поразглядывать ещё раз,
посмотреть, соответственно, виды связи

00:45:58.567 --> 00:46:00.207
ещё раз.

00:46:01.890 --> 00:46:08.130
Этонтов, сокращённо, Ако является

00:46:10.210 --> 00:46:13.370
имеет частью Эспарт, принадлежит, любит.

00:46:17.730 --> 00:46:21.725
Характерной особенностью семантической
сетей является наличие трёх важнейших

00:46:21.765 --> 00:46:28.116
типов отношений: класс элемент класса —
это свойства значения:

00:46:28.276 --> 00:46:32.591
цвет-красный и пример элемента класса.

00:46:32.790 --> 00:46:33.110
Например

00:46:34.381 --> 00:46:36.499
То есть, соответственно, вот

00:46:46.011 --> 00:46:49.089
перечисленных, семантических сетях
используются следующие типы отношений.

00:46:49.209 --> 00:46:50.727
Связи типа — часть целая.

00:46:50.807 --> 00:46:53.965
То есть класс, подкласс, элемент,
множество и тому подобное.

00:46:55.580 --> 00:47:00.942
Функциональные связи: объект свойства,
свойства значения, атрибутивные связи,

00:47:01.022 --> 00:47:05.864
количественные, временные,
пространственные, логические, и-и-и

00:47:06.345 --> 00:47:07.625
лингвистические связи.

00:47:07.745 --> 00:47:12.227
Семантические сети можно классифицировать,
соответственно, на, согласно вот источнику

00:47:12.467 --> 00:47:12.707
2.

00:47:16.191 --> 00:47:22.107
Тоже фундаментальный учебник на однородные
с единственным типом отношений и

00:47:22.347 --> 00:47:24.865
неоднородные с различными типами
отношений.

00:47:25.025 --> 00:47:28.062
Бинарные, в которых отношения связывают
два объекта.

00:47:28.422 --> 00:47:32.659
Н-арные, в которых есть специальные
отношения, связывающие более двух понятий.

00:47:33.488 --> 00:47:38.773
Проблема поиска решений в базе знаний типа
семантической сети сводится к поиску

00:47:38.893 --> 00:47:43.258
фрагмента сети, соответствующего некоторой
подсети, представляющей вопрос.

00:47:44.018 --> 00:47:50.064
Наложив ограничения на описание вершин и
дуг, можно научить, можно получить сети

00:47:50.225 --> 00:47:51.025
различного вида.

00:47:51.837 --> 00:47:56.914
Если вершина не имеет собственной
внутренней структуры, то соответствующие

00:47:56.994 --> 00:47:59.153
сети называют простыми сетями.

00:48:08.520 --> 00:48:12.600
На следующем рисунке изображён фрагмент
простой семантической сети, выражающий

00:48:12.680 --> 00:48:14.000
примерно следующую информацию.

00:48:14.120 --> 00:48:21.118
Михаилу в течение интервала времени Т1, Т2
принадлежат Жигули No 25 15.

00:48:21.278 --> 00:48:25.518
Так, давайте посмотрим эту картинку, а
потом вернёмся к описанию.

00:48:41.956 --> 00:48:46.913
Так, значит Михаил есть агент, то есть
собственник события Б1.

00:48:47.033 --> 00:48:52.470
Михаил является элементом множества
человек, Жигулей No 25:15 является

00:48:52.749 --> 00:48:54.069
элементом множества машин.

00:48:54.189 --> 00:48:57.427
Событие Б1 является элементом множества
всех событий, владейте

00:48:58.255 --> 00:49:02.935
...который является подмножеством,
соответственно, множества ситуаций и так

00:49:03.055 --> 00:49:09.854
далее. Использование на рисунке 4.3 дуги
типа елемент и Poжество служит для

00:49:09.974 --> 00:49:14.694
выражения таксономии понятий,
представления вершин представленных

00:49:14.814 --> 00:49:16.533
вершинами. Важность таксономичности

00:49:17.246 --> 00:49:21.282
Таксономия заключается в том, что
множества обычно имеют свойства, присущие

00:49:21.361 --> 00:49:23.199
всем элементам данного множества.

00:49:23.679 --> 00:49:28.194
Эти свойства связываются в сети, не с
конкретными элементами, а с вершинами,

00:49:28.833 --> 00:49:32.429
составляемыми всему множеству.

00:49:32.629 --> 00:49:33.828
Допустим, так-дуга.

00:49:34.589 --> 00:49:39.312
П. Соответственно, вот, как показано
здесь, П, указывает отношение быть

00:49:39.512 --> 00:49:42.113
подмножеством. В связи с тем, что
большинство подмножеств является

00:49:42.434 --> 00:49:47.556
различными, то есть не пересекающимся для
их, представление удобно внести дугу

00:49:47.797 --> 00:49:51.118
специального вида. ПР — подмножество
различное.

00:49:52.274 --> 00:49:57.350
В общем, дуга PR, имеющая идущие из
вершины X, например, люди, вершину,

00:49:57.430 --> 00:50:01.026
например Z, например, официальные лица,
указывает, что множество, представленное

00:50:01.106 --> 00:50:05.183
вершиной X — люди; есть под множеством
множества, представленное вершиной Z

00:50:05.662 --> 00:50:06.901
официального лица.

00:50:07.261 --> 00:50:10.698
И что люди, соответственно, X, люди не
пересекаются.

00:50:10.982 --> 00:50:16.542
Ни с какими другими подмножественными,
представляющими вершину вершины R.

00:50:16.702 --> 00:50:23.462
Например, предприятия, имеющие друг другу,
соответственно, ПР и ЗР — предприятия,

00:50:23.542 --> 00:50:25.422
соответственно, ЗТ — официальные лица.

00:50:25.502 --> 00:50:27.862
По аналогии можно вести и отношения Р.

00:50:39.231 --> 00:50:41.109
Так, вот он наш Михаил.

00:50:42.388 --> 00:50:48.542
Как видите, вот он человек.

00:50:48.981 --> 00:50:49.021
Это

00:50:56.175 --> 00:50:57.933
у нас элементы типа Эр.

00:51:02.512 --> 00:51:05.154
То есть не такое глобальное это, как
вообще.

00:51:08.515 --> 00:51:12.437
Есть просто Жигули, есть Жигули No 25—15.

00:51:13.838 --> 00:51:17.159
Так, ну можно, конечно, сделать паузу и
ещё порассматривать.

00:51:17.520 --> 00:51:21.402
Одно из основных отличий иерархических
семантических сетей от простых

00:51:21.522 --> 00:51:22.522
семантических сетей

00:51:23.585 --> 00:51:30.066
Состоит в возможности разделить сеть на
подсети, то есть

00:51:30.226 --> 00:51:36.506
пространства, и устанавливать отношения не
только между вершинами, но и между

00:51:36.826 --> 00:51:41.867
пространствами. Все вершины и дуги
являются элементами, по крайней мере,

00:51:41.947 --> 00:51:43.027
одного пространства.

00:51:44.438 --> 00:51:46.640
Источник девять. Вернёмся.

00:51:54.008 --> 00:51:58.292
Отметим, что понятие пространства
аналогично понятию скобок математической

00:51:58.452 --> 00:52:01.575
нотации. Различные пространства,
существующие в сети могут быть

00:52:02.661 --> 00:52:06.339
Упорядоченные в виде дерева пространства,
вершинами которых соответствует

00:52:06.419 --> 00:52:08.498
пространство догам отношения видимости.

00:52:08.618 --> 00:52:13.456
На рисунке 4—4 приведён пример дерева
пространств, в соответствии с которым,

00:52:13.896 --> 00:52:18.893
например, из пространства П6,
пространства-потомок, выводимы все вершины

00:52:18.973 --> 00:52:21.292
и доги, лежащие в пространствах предков.

00:52:21.412 --> 00:52:23.451
То есть П-4, П2, П-0.

00:52:23.731 --> 00:52:25.930
Но картинка тут не такая наглядная.

00:52:31.106 --> 00:52:35.218
П-ноль. Как видите, тут корневая вершина.

00:52:36.057 --> 00:52:39.411
На рисунке приведён пример дерева
пространств, в соответствии с которым,

00:52:39.491 --> 00:52:41.647
например, из пространства П6.

00:52:42.561 --> 00:52:46.080
Пространство потоков, потомок выводимые
все вершины и дуги, лежащие в

00:52:46.160 --> 00:52:49.558
пространствах предках: П4, П2, П-ноль, как
мы посмотрели.

00:52:49.638 --> 00:52:51.718
Основные пространства — невидимые.

00:52:52.157 --> 00:52:55.156
Отношение видимости позволяет
структурировать пространство управления

00:52:55.316 --> 00:52:56.555
множества перспективы.

00:52:56.675 --> 00:53:00.034
Перспектива обычно используется для
ограничения сетевых сущностей, то есть

00:53:00.114 --> 00:53:02.633
видимых некоторой процедурой, работающей
сетью.

00:53:03.462 --> 00:53:08.263
Обычно в перспективу включают нелюбые
иерархически сгруппированные пространства.

00:53:08.383 --> 00:53:11.983
При графическом изображении иерхической
сетей обычно используют следующее

00:53:12.063 --> 00:53:17.465
соотношение. Вершины и дуги, лежащие в
одном пространстве, ограничиваются на

00:53:17.545 --> 00:53:21.505
рисунках многоугольником, обычно
прямоугольником.

00:53:22.290 --> 00:53:25.728
Дуга принадлежит тому пространству, в
котором находится имя дуги.

00:53:25.928 --> 00:53:30.247
Пространство П-и-, точнее, ограничивающее
многоугольник.

00:53:30.820 --> 00:53:34.982
Изображаемое внутри пространства пожитое
считается потомком, то есть внутренним

00:53:35.062 --> 00:53:39.143
уровнем. То есть из, соответственно,
поитое видимо пожитое.

00:53:39.263 --> 00:53:43.665
Пространство поитое может рассматриваться
как супервершина, которая лежит,

00:53:43.705 --> 00:53:46.667
соответственно, в поитое. Свойство
невидимости позволяет повысить

00:53:46.747 --> 00:53:48.667
эффективность операций поиска в сети.

00:53:48.787 --> 00:53:52.389
Например, при поиске конкретных функтов
информация из

00:53:53.762 --> 00:54:00.044
Квантовых утверждений и правил невыводимо,
невидимо, так как она заключается в

00:54:00.084 --> 00:54:02.886
пространстве, ограничивающих эти
утверждения и правила.

00:54:03.366 --> 00:54:08.968
Так, ссылки 7—8, которые вот мы раньше
очень часто к ним обращались.

00:54:12.548 --> 00:54:14.869
Ну вот, возвращаемся к этим рисункам.

00:54:15.510 --> 00:54:19.593
Как видите, П6, П4, П2, P0 — видимый.

00:54:20.553 --> 00:54:22.514
Значит, остальные получаются невидимые.

00:54:22.634 --> 00:54:27.878
При необходимости в иерахических сетях
можно представить любые логические связки

00:54:27.958 --> 00:54:28.678
и кванторы.

00:54:29.417 --> 00:54:34.378
Вот на рисунке 4.5 и 4.6 приведены
представления выражений, соответствующих,

00:54:34.578 --> 00:54:39.180
содержащих, соответственно, импликацию и
квантор общности, то есть выражены через

00:54:39.340 --> 00:54:43.341
импликацию. Кроме представления логических
связок и кванторов

00:54:44.543 --> 00:54:48.702
Сеть может использоваться, использована
также для кодирования других структур

00:54:48.782 --> 00:54:52.262
высших порядков. То есть, при решении
многих конкретных задач представление

00:54:52.422 --> 00:54:57.901
знаний только в виде семантических сетей
оказывается неудобным или неэффективным.

00:54:57.981 --> 00:55:01.100
По этой причине в семантических сетях
вводят механизм процедур

00:55:01.734 --> 00:55:07.690
Присоединений. Так, ну, во-первых, рисунок
4—5 — сетевое представление импликации,

00:55:07.730 --> 00:55:09.169
только если то.

00:55:09.968 --> 00:55:16.603
То есть, видите, вот Наталья, Владимир:
Москва, следствие.

00:55:29.120 --> 00:55:30.601
Так, следующий рисунок.

00:55:32.362 --> 00:55:38.244
Соответственно, видите, для каждого X,
принадлежащего X большое выполняется P от

00:55:38.364 --> 00:55:43.245
X. Тождественно, что для каждого X,
принадлежащего X большое, следовательно,

00:55:43.565 --> 00:55:44.926
истина p от X.

00:55:56.711 --> 00:56:00.986
Основным преимуществом семантической
модели является то, что она более других

00:56:01.466 --> 00:56:05.022
соответствует современным представлениям
об организации долговременной памяти

00:56:05.142 --> 00:56:08.938
человека и была предложена психологом
Кулианом.

00:56:09.098 --> 00:56:13.293
Термин «семантическая» означает смысловая,
а сама семантика — это наука,

00:56:13.373 --> 00:56:14.252
удовлетворяющая

00:56:14.942 --> 00:56:18.820
устанавливающие отношения между символами
и объектами, которые они обозначают, то

00:56:18.860 --> 00:56:21.458
есть наука, определяющая смысл знаков.

00:56:21.858 --> 00:56:26.055
Недостатком этой модели является сложность
организации процедуры поиска, вывода

00:56:26.215 --> 00:56:28.893
семантической сети, как мы вот уже
говорили.

00:56:29.253 --> 00:56:32.571
Для реализации семантических сетей
существуют специальные

00:56:33.420 --> 00:56:40.226
Сетевые языки. Вот язык NET1 волна 32—33 и
другие широко

00:56:40.346 --> 00:56:43.189
известные экспертные системы, используемые
семантические сети.

00:56:43.189 --> 00:56:48.754
В качестве языка представления знаний,
соответственно Проспектрис, соответственно

00:56:51.618 --> 00:56:57.330
Cass Net Tros 3435 ссылки посмотрим.

00:57:21.643 --> 00:57:27.481
Фреймовые модели. Термин «фрейм», то есть
фрейм-каркас, рамка, предложен Минским в

00:57:27.561 --> 00:57:31.279
семидесятые годы для обозначения структуры
знаний, для восприятия пространственных

00:57:31.359 --> 00:57:35.317
сцен. Эта модель, как и семантическая
сеть, имеет глубокое психологическое

00:57:35.397 --> 00:57:35.957
обоснование.

00:57:36.712 --> 00:57:39.430
Под фреймом понимается абстрактный образ
или ситуация.

00:57:39.470 --> 00:57:42.587
В психологии и философии известные понятие
абстрактного образа.

00:57:42.747 --> 00:57:48.342
Например, слово «комната» вызывает образ
комнаты — жилое помещение с четырьмя

00:57:48.382 --> 00:57:50.860
стенами, полом, потолком, окнами и дверью.

00:57:50.940 --> 00:57:52.818
Из этого описания ничего нельзя убрать.

00:57:52.938 --> 00:57:56.055
Например, убрав окна, мы получаем уже
чулан, а не комнату.

00:57:56.688 --> 00:58:00.811
Ну, в нём есть слоты, соответственно, или
щели

00:58:03.173 --> 00:58:08.578
незаполненные значения некоторых
атрибутов: количество окон, цвет стен,

00:58:08.738 --> 00:58:13.262
высота потолка, покрытие пола и другие,
соответственно.

00:58:13.382 --> 00:58:15.383
Такой образ называется фреймом.

00:58:15.947 --> 00:58:17.786
Фремом минимального описания.

00:58:18.146 --> 00:58:23.503
Соответственно, фремом называется также и
формализованная модель этого образа.

00:58:23.903 --> 00:58:28.301
Фремова-модель, основанная на теории
Минского, представляет собой

00:58:28.381 --> 00:58:32.660
систематизированную в виде единой теории
технологическую модель памяти человека и

00:58:32.739 --> 00:58:33.619
его сознания.

00:58:34.448 --> 00:58:37.969
Важным элементом этой теории является
понятие фрейма.

00:58:38.409 --> 00:58:42.931
То есть структуры данных для представления
некоторого концептуального объекта.

00:58:43.051 --> 00:58:49.012
Информация, относящаяся к этому фрейму,
содержится в состоящих фрейма-слотах.

00:58:49.052 --> 00:58:52.373
То есть, в отличие от моделей других
типов, во фреймовых моделях фиксируется

00:58:52.494 --> 00:58:56.135
жёсткая структура, которая называется
протафреймом, то есть фреймом

00:58:56.980 --> 00:58:58.581
Прототипом или образцом.

00:58:58.701 --> 00:59:01.383
В общем случае фрейм определяется
следующим образом.

00:59:01.583 --> 00:59:08.427
Где, соответственно, F — имя фрейма,
соответственно, V и значение слота или имя

00:59:08.507 --> 00:59:09.708
фрейма. Таким образом.

00:59:09.788 --> 00:59:11.189
Имя Freyma, двоеточие.

00:59:12.003 --> 00:59:16.245
Имя первого слота — значение первого
слота, имя второго слота, значение второго

00:59:16.365 --> 00:59:19.167
слота, имя энного слота, значение энного
слота.

00:59:19.607 --> 00:59:23.169
Значением слота может быть практически
всё, что угодно, то есть числа или

00:59:23.329 --> 00:59:27.131
математические соотношения, тексты на
естественном языке или программы.

00:59:27.251 --> 00:59:28.132
Правило вывода.

00:59:28.960 --> 00:59:32.760
Или ссылки на другие слоты данного фрейма.

00:59:32.800 --> 00:59:38.759
В качестве значения слота может выступать
набор слов более низкого уровня, что

00:59:38.919 --> 00:59:44.119
позволяет во фремовых представлениях
реализовывать принцип матрёжки, то есть

00:59:44.279 --> 00:59:46.238
вот такой вот вложенности одно в другое.

00:59:46.852 --> 00:59:51.568
В качестве значения слота можно выступать
имя другого фрейма.

00:59:51.648 --> 00:59:53.327
Так образуются сети фреймов.

00:59:53.407 --> 00:59:58.842
Все фреймы взаимосвязаны и образуют единую
фреймовую структуру, в которой органически

00:59:59.042 --> 01:00:01.520
объединены декларативные процедуры знания.

01:00:01.800 --> 01:00:04.078
Это даёт возможность достаточно
естественно производить

01:00:04.887 --> 01:00:09.648
Композицию, декомпозицию информационных
структур, аналогичную тому, как это делал

01:00:09.728 --> 01:00:12.249
бы человек при описании структуры своих
знаний.

01:00:12.769 --> 01:00:17.330
Кроме фреймов, образцов и прототипов,
хранящихся в базе знаний, различают

01:00:17.490 --> 01:00:21.972
фреймы-экземпляры, которые создаются для
отображения разных ситуаций на основе

01:00:22.853 --> 01:00:28.778
поступающих данных. При конкретизации, то
есть о значении фрейма ему и слотам

01:00:28.818 --> 01:00:32.742
присваиваются конкретные имена, происходит
заполнение слотов.

01:00:32.822 --> 01:00:36.786
Таким образом, из прото-фреймов получаются
фреймы-экземпляры.

01:00:37.306 --> 01:00:40.950
Если в качестве значения слотов
использовать реальные данные из таблицы

01:00:42.124 --> 01:00:44.406
То получается фрейм-экземпляр.

01:00:45.767 --> 01:00:49.851
Если в качестве значения слотов
использовать реальные данные из таблицы,

01:00:49.891 --> 01:00:51.532
то получается фрейм-экземпляр.

01:00:51.652 --> 01:00:55.816
Важнейшим свойством фреймов является
заимствованное из теории семантических

01:00:55.896 --> 01:00:57.097
сетей исследование свойств.

01:00:58.014 --> 01:01:02.931
И во фреймах, и в семантических сетях
исследование происходит по ако-связям, то

01:01:02.971 --> 01:01:04.609
есть Acit of.

01:01:05.249 --> 01:01:11.924
То есть это можно перевести на русский
язык, хотя, конечно, с натяжкой.

01:01:12.004 --> 01:01:14.562
Слот Aco Caint of.

01:01:16.268 --> 01:01:21.068
Указывает на фрем более высокого уровня
иерархии, откуда они явно наследуются, то

01:01:21.148 --> 01:01:26.667
есть переносятся значения аналогичных
слотов, причём исследование свойств может

01:01:26.827 --> 01:01:30.626
быть частичным. Фремовые модели являются
достаточно универсальными, поскольку

01:01:30.706 --> 01:01:33.786
позволяют отобразить всё многообразие
знаний о мире.

01:01:33.866 --> 01:01:37.185
Через фремы структуры для обозначения
объектов и понятий.

01:01:38.082 --> 01:01:43.241
Заём, аналог вексель, фреймы-роли,
фреймы-сценарии, фреймы ситуации, то есть

01:01:43.361 --> 01:01:46.360
тревога, авария, рабочий режим устройства
и тому подобное.

01:01:46.880 --> 01:01:50.640
Основным достоинством модели фреймов, как
модели представления о знании, является

01:01:50.960 --> 01:01:55.919
способность отражать концептуальную основу
организации памяти человека, а также

01:01:57.106 --> 01:01:59.586
Естественность, наглядность представления.

01:02:00.186 --> 01:02:03.626
Модульность, поддержка возможности
использования значений слотов по

01:02:03.666 --> 01:02:06.826
умолчанию. Однако фрем-представление
является не конкретным языком

01:02:06.986 --> 01:02:11.066
представления знаний, а некоторой
идеологической концепцией, реализуемой

01:02:11.146 --> 01:02:13.146
по-разному на различных, в различных
языках.

01:02:14.228 --> 01:02:18.467
Основным недостатком фреймовых моделей
является отсутствие механизмов

01:02:22.667 --> 01:02:24.067
управления выводом.

01:02:24.307 --> 01:02:28.386
Отчасти этот недостаток устраняется при
помощи присоединённых процедур,

01:02:28.426 --> 01:02:30.426
реализуемых силами пользователей системы.

01:02:30.877 --> 01:02:34.561
Рассмотренные модели представления знаний
во многом близки между собой.

01:02:35.202 --> 01:02:38.685
По сути, они обладают одинаковыми
возможностями описывать и представлять

01:02:38.765 --> 01:02:43.450
знания. Разница состоит лишь в том,
насколько-насколько удобно и естественно

01:02:43.690 --> 01:02:47.494
представлять те или иные знания в виде
логических формул, семантических сетей,

01:02:47.534 --> 01:02:48.735
фремов или продукции.

01:02:49.625 --> 01:02:53.862
Обобщая анализ модели представления
знаний, можно сделать два основных вывода.

01:02:54.342 --> 01:02:58.659
Невозможно дать универсальные рекомендации
по выводу модели, по выбору модели.

01:02:58.739 --> 01:03:01.937
Выбор конкретной модели определяется
важностью и удобством представления

01:03:02.056 --> 01:03:05.094
исследуемой области с учётом необходимости

01:03:06.411 --> 01:03:08.807
Не только представление, но и
использование знаний.

01:03:08.887 --> 01:03:13.398
Однако чаще используют севристические, а
не логические модели представления знаний.

01:03:15.035 --> 01:03:15.873
Наиболее мощным

01:03:16.851 --> 01:03:18.969
Оказываются смешанными представлениями.

01:03:19.049 --> 01:03:20.808
Ну, далее о фреймах ещё поговорим.

01:03:20.888 --> 01:03:24.645
Стремление разработать представление,
соединяющее в себе достоинства различных

01:03:24.765 --> 01:03:28.442
моделей, привело к возникновению так
называемых фрейм-представлений.

01:03:28.562 --> 01:03:32.279
То есть вот источник 36 от слова «фрейм»,
рамка.

01:03:33.952 --> 01:03:37.674
Рама. Соответственно, по Минскому Fram —
это структура данных, то есть

01:03:37.754 --> 01:03:40.915
декларативное представление,
предназначенные для представления

01:03:41.075 --> 01:03:43.036
некоторой стандартной ситуации.

01:03:43.637 --> 01:03:46.798
Так, ну вот источник 36, Минский.

01:03:47.679 --> 01:03:49.720
Фамилия вроде похожа на русскую, но видите

01:03:50.635 --> 01:03:55.959
Источник на русском языке на русский язык
был сделан перевод психология машинного

01:03:56.119 --> 01:04:02.925
зрения с

01:04:03.005 --> 01:04:07.529
каждым фреймом ассоциируется разнообразная
информация, в том числе и процедуры.

01:04:07.649 --> 01:04:11.252
Например, информация о том, как
пользоваться данным фреймом, каковы

01:04:11.998 --> 01:04:14.158
Ожидаемые результаты выполнения фрейма.

01:04:14.238 --> 01:04:17.476
Что делать, если ожидания не оправдались и
тому подобное?

01:04:17.996 --> 01:04:24.074
Фрейм можно представить в виде сети,
состоящей из вершин и отношений друг.

01:04:24.354 --> 01:04:27.393
Соответственно, верхние уровни — фрейм
фиксированные.

01:04:28.962 --> 01:04:30.922
...и представляют сущности.

01:04:31.202 --> 01:04:34.322
Всегда истинные в ситуации описывают
данным фреймом.

01:04:35.402 --> 01:04:40.522
Нижние уровни заканчиваются слотами, от
английского — слот, то есть поле, которое

01:04:40.642 --> 01:04:43.362
заполняется конкретной информацией при
вызове фрема.

01:04:43.442 --> 01:04:47.642
Можно привести аналогичную между фремами и
описанием процедур в языках

01:04:47.722 --> 01:04:48.362
программирования.

01:04:49.130 --> 01:04:54.524
Фрейм соответствует описанию процедуры, а
значенный фрейм, то есть фрейм-пример

01:04:54.724 --> 01:04:56.322
соответствует вызову процедуры.

01:04:56.442 --> 01:05:00.518
Отличие фреймов от описаний процедур
состоит в том, что фреймы могут вызываться

01:05:00.678 --> 01:05:05.832
не по имени, а по соответствию текущей
ситуации, той ситуации, которую описывает

01:05:06.032 --> 01:05:06.712
данный фрейм.

01:05:07.302 --> 01:05:13.066
Кроме того, фрейм-слоты и механизмы их
значения описывают ситуацию в

01:05:13.106 --> 01:05:18.269
семантических, а не синтаксических
терминах и материалах, мета-терминах.

01:05:18.629 --> 01:05:24.113
С каждым слотом фрейма связано описание
условий, которые должны быть соблюдены,

01:05:24.233 --> 01:05:26.475
чтобы много могло произойти означение

01:05:28.033 --> 01:05:32.430
Слота. В простейших случаях эти условия
могут сводиться к указанию семантических

01:05:32.470 --> 01:05:35.148
категорий, которым должны удовлетворять
значения слота.

01:05:35.228 --> 01:05:41.584
В более сложных случаях условия могут
касаться отношений между

01:05:41.824 --> 01:05:45.022
знаниями, выбираемыми для некоторых
слотов.

01:05:45.142 --> 01:05:48.659
Итак, фрейм-пример может быть представлен
в виде следующей конструкции: F

01:05:49.881 --> 01:05:56.878
Соответственно, как некоторая
последовательность пар R1, R2 V2,

01:05:56.918 --> 01:06:03.674
RN. Где, соответственно, Fifra, R — имя
слота, какое-то имя

01:06:03.754 --> 01:06:04.913
слота, Viтое.

01:06:05.708 --> 01:06:10.509
Значение слота. В качестве значения слотов
могут выступать имена других фреймов, что

01:06:10.589 --> 01:06:12.269
обеспечивает связь между фремами.

01:06:12.349 --> 01:06:14.230
Так образуются сети фремов.

01:06:14.710 --> 01:06:19.710
Также можно записать представление в виде
таблицы, вот как предложено в источнике

01:06:19.870 --> 01:06:20.550
24.

01:06:21.723 --> 01:06:24.202
Вернёмся к двадцать четвёртому источнику.

01:06:27.560 --> 01:06:32.278
Имя слота, тип слота, значение слота,
присоединённая процедура.

01:06:34.890 --> 01:06:38.133
Таблица «Дополнительный столбец»
предназначен для возможного присоединения

01:06:38.213 --> 01:06:42.457
к тому или иному слоту специальных
процедур, что допускается в теории фремов

01:06:42.578 --> 01:06:44.179
для указания типа слота.

01:06:44.900 --> 01:06:48.023
Родственные фремы связываются в систему
фреймов.

01:06:48.143 --> 01:06:52.748
Система содержит описание зависимостей,
причинных, временных и тому подобное.

01:06:54.055 --> 01:06:55.813
Между входящими в неё фреймами.

01:06:55.933 --> 01:07:00.729
Для выражения указанных зависимостей
фреймы, входящие в некоторую систему,

01:07:00.809 --> 01:07:02.647
имеют общее множество слотов.

01:07:03.006 --> 01:07:06.882
Представление зависимости в явном виде
позволяет предсказать переход от одного

01:07:07.002 --> 01:07:09.640
состояния A, выражаемого фреймом A к
другому.

01:07:10.372 --> 01:07:14.890
...зависимому от него состоянию B, то есть
выражаемому фремом Brex.

01:07:15.369 --> 01:07:22.246
Осуществить этот переход эффективно, то
есть не вычленяя заново значения,

01:07:22.446 --> 01:07:26.125
не вычисляя заново значения всех
параметров, характеризующие состояние B, и

01:07:26.205 --> 01:07:28.843
перечислив только изменившиеся или новые
параметры.

01:07:30.972 --> 01:07:36.049
Различают фреймы-образцы, хранящиеся в
базе знаний, и фреймы-экземпляры, которые

01:07:36.488 --> 01:07:42.165
создаются для отображения реальных
фактических ситуаций на основе поступающих

01:07:42.245 --> 01:07:45.963
данных. Модель фрейма является достаточно
универсальной, поскольку существуют не

01:07:46.083 --> 01:07:49.960
только фреймы для обозначения объектов и
понятий, но и фреймы-роли.

01:07:50.777 --> 01:07:57.013
То есть отец, мать, начальник, пешеход,
фремы, сценарии, лекции, собрания, фремы

01:07:57.173 --> 01:08:03.290
ситуации: тревога, авария, рабочий режим
устройства и другие источники: 24.

01:08:07.848 --> 01:08:11.685
Феноменологическая сила фрем-представления
во многом описывается

01:08:12.731 --> 01:08:16.168
Основывается на включении в него
предположений и ожиданий.

01:08:16.328 --> 01:08:21.403
Слотом фрейма могут быть заранее прописаны
по умолчанию некоторые стандартные

01:08:21.523 --> 01:08:26.679
значения. Эти это позволяет анализировать
с помощью фреймов ситуаций, в которых

01:08:27.678 --> 01:08:30.036
отсутствует упоминание ряда деталей.

01:08:30.116 --> 01:08:31.075
Стандартные значения

01:08:32.055 --> 01:08:36.617
Присвоенные по умолчанию не жёстко связаны
со своими слотами и могут быть замещены

01:08:36.777 --> 01:08:41.419
более подходящими значениями, если они
найдены в обрабатываемой ситуации.

01:08:41.499 --> 01:08:45.541
Использование концепции умолчания часто
позволяет исключить необходимость в

01:08:45.621 --> 01:08:47.903
квантовных утверждениях.

01:08:47.983 --> 01:08:52.145
Система фрейма, в свою очередь, обычно
организует в информационно-поисковую сеть.

01:08:52.782 --> 01:08:56.819
Эта сеть используется в случаях, когда
предложенный фрейм не удаётся привести в

01:08:56.859 --> 01:08:58.259
соответствие с данной ситуацией.

01:08:58.339 --> 01:09:02.097
То есть, когда слотам не могут быть
присвоены значения, удовлетворяющие

01:09:02.137 --> 01:09:04.016
условиям, связанным с этими слотами.

01:09:04.416 --> 01:09:09.293
В подобных ситуациях сеть используется для
того, чтобы продолжить какой-либо другой

01:09:09.373 --> 01:09:09.813
фрейм.

01:09:12.087 --> 01:09:16.211
Необходимо отметить, что Fream
представление, также как и декларативное,

01:09:16.171 --> 01:09:19.655
и процедурное представление, является не
конкретным языком для представления

01:09:19.776 --> 01:09:23.780
знаний, а некоторой концепцией,
реализуемой по-разному в таких конкретных

01:09:23.860 --> 01:09:27.745
языках, например, как КР, Кноудж.

01:09:28.168 --> 01:09:33.128
Репрезентан Лэнгвич, соответственно,
источник 34.

01:09:46.168 --> 01:09:48.288
Источник 34 нас интересовал.

01:09:52.682 --> 01:09:56.644
ФР, соответственно, Frame Representation
Langigh.

01:09:56.724 --> 01:09:58.484
Источник 37.

01:10:00.966 --> 01:10:02.246
Байдун Бунин.

01:10:02.366 --> 01:10:06.728
Средство представления об обработке знаний
в системе FRPS.

01:10:07.489 --> 01:10:08.249
Как видите.

01:10:08.698 --> 01:10:11.380
Предложено в восемьдесят восьмом году.

01:10:12.541 --> 01:10:17.824
В частности, фреймы могут быть
представлены с помощью иерархических

01:10:17.985 --> 01:10:23.989
семантических сетей, как это сделано,
соответственно, в Коннете, где некоторые

01:10:24.109 --> 01:10:28.072
пространства и сети рассматриваются как
фрейм, а дуги, связывающие это

01:10:28.232 --> 01:10:28.632
пространство

01:10:30.049 --> 01:10:32.408
Состальной сетью рассматриваются как
слоты.

01:10:32.608 --> 01:10:37.445
Важнейшим свойством теории фремов является
заимствованное из теории семантических

01:10:37.525 --> 01:10:39.404
сетей наследование свойств.

01:10:40.084 --> 01:10:44.642
И во фреймах, и в семантических сетях
исследование происходят по аква, то есть

01:10:45.401 --> 01:10:47.080
KOF, как мы говорили.

01:10:47.487 --> 01:10:50.763
Связям. Наследование свойств может быть
частичным.

01:10:51.283 --> 01:10:56.796
Основным преимуществом фреймов как модели
представления знаний является то, что она

01:10:57.356 --> 01:11:02.310
отражает концепцию концептуальную основу
организации памяти человека, а также её

01:11:02.470 --> 01:11:03.668
гибкость и наглядность.

01:11:04.373 --> 01:11:08.496
Специальные языки представления знаний в
сетях фреймов позволяют эффективно строить

01:11:08.656 --> 01:11:11.578
промышленные экспертные системы.

01:11:11.659 --> 01:11:14.941
Широко известны такие
фреймо-ориентированные экспертные системы,

01:11:15.021 --> 01:11:20.385
как аналист, модис, соответственно, ссылки
38—39.

01:11:39.062 --> 01:11:41.306
Так, ну вот примеры можно посмотреть.

01:11:41.466 --> 01:11:46.035
Фремиувая модель база знаний, транспортные
средства как иллюстрация.

01:11:57.489 --> 01:12:01.449
Так, объектно-ориентированный подход ещё
существует для представления знаний.

01:12:01.569 --> 01:12:04.690
Наиболее развитым способом представления
знаний в экспертных системах является

01:12:05.010 --> 01:12:06.410
объектно-ориентированная парадигма.

01:12:06.490 --> 01:12:10.290
Этот подход является развитием фреймого
представления, в его основе лежат понятия

01:12:10.410 --> 01:12:11.690
объект и класс.

01:12:12.330 --> 01:12:13.090
Соответственно,

01:12:13.611 --> 01:12:18.252
В реальном мире в течение, а точнее, в
интересующей разработчика предметной

01:12:18.332 --> 01:12:21.933
области в качестве объекта могут
рассматриваться конкретные предметы, а

01:12:22.013 --> 01:12:24.013
также абстрактные или реальные сущности.

01:12:24.093 --> 01:12:30.934
Например, объектами могут быть покупатель,
фирма, производящая определённые товары,

01:12:31.054 --> 01:12:32.775
банк, заказ на поставку.

01:12:32.935 --> 01:12:33.655
Объект обладает

01:12:34.468 --> 01:12:39.267
индивидуальностью поведением имеет
атрибуты, значение которых определяет его

01:12:39.427 --> 01:12:44.826
состояние. Так, конкретный покупатель,
делая заказ, может оказаться в состоянии,

01:12:44.866 --> 01:12:47.826
когда денег на его счёте не хватает для
оплаты.

01:12:47.986 --> 01:12:52.945
Его поведение в этом случае заключается в
обращении банка за кредитом.

01:12:53.864 --> 01:12:57.982
Так, ну опять же, давайте к источнику семь
вернёмся.

01:13:02.379 --> 01:13:06.297
Каждый объект является представлением
некоторого класса одинаковых объектов.

01:13:06.417 --> 01:13:08.976
Класс определяет общие свойства для всех
объектов.

01:13:09.427 --> 01:13:13.787
К таким свойствам относится состав,
структура данных, описываемые атрибуты

01:13:13.947 --> 01:13:15.827
класса и соответствующих объектов.

01:13:15.907 --> 01:13:19.186
Совокупность методов, процедур,
определяющих взаимодействие объектов этого

01:13:19.386 --> 01:13:20.706
класса с внешней средой.

01:13:21.146 --> 01:13:25.466
Например, описание класса магазины может
включать такие атрибуты, определяющие

01:13:25.506 --> 01:13:27.665
состояние объектов, как название, адрес

01:13:28.582 --> 01:13:32.859
которые индивидуальны для каждого объекта
этого класса: конкретного магазина: штат

01:13:33.019 --> 01:13:38.296
сотрудников, размеры текущего счёта, а
также методы формирование заказов на

01:13:38.416 --> 01:13:42.333
поставку товаров, передача товаров со
склада в торговую секцию и так далее.

01:13:42.453 --> 01:13:43.612
Объекты и классы обладают

01:13:44.101 --> 01:13:48.137
Характерными свойствами, которые активно
используются при объектно-ориентированном

01:13:48.217 --> 01:13:51.294
подходе, во многих, во многом определяют
его преимущества.

01:13:51.414 --> 01:13:55.490
К этим свойствам относится следующее:
инкапсуляция, то есть скрытие информации

01:13:55.810 --> 01:13:58.207
при объектно-ориентированном
программировании имеется возможность

01:13:58.327 --> 01:14:02.083
запретить любой доступ к атрибутам
объектов, доступ возможен только через его

01:14:02.243 --> 01:14:02.683
методы.

01:14:03.343 --> 01:14:06.380
Внутренняя структура объекта в этом случае
скрыта от пользователя.

01:14:06.460 --> 01:14:10.216
Объекты могут считать самостоятельными
сущностями, отдельными от внешнего мира.

01:14:10.376 --> 01:14:14.132
Для того, чтобы объект производил
некоторое действие, ему извне необходимо

01:14:14.252 --> 01:14:17.769
послать сообщение, которое инициирует
выполнение нужного мента.

01:14:18.008 --> 01:14:19.607
Инкапсуляция позволяет изменить

01:14:20.747 --> 01:14:24.110
изменять реализацию любого класса объектов
без описания.

01:14:24.270 --> 01:14:27.433
Это вызывает нежелательный побочный эффект
в программной системе.

01:14:27.473 --> 01:14:34.159
Тем самым упрощается процесс исправления
ошибок модификаций программ.

01:14:34.239 --> 01:14:35.641
Наследование.

01:14:35.721 --> 01:14:38.523
Возможность создавать из классов новые
классы по принципу

01:14:38.922 --> 01:14:43.038
От общего к частному наследование
позволяет новым классам при сохранении

01:14:43.158 --> 01:14:47.834
всех свойств классов родителей, называемых
в дальнейшем супер-классами, добавлять

01:14:47.914 --> 01:14:52.829
свои черты, отражающие их индивидуальность
с точки зрения программиста.

01:14:52.949 --> 01:14:54.268
Новый класс должен содержать

01:14:55.138 --> 01:15:00.299
Только коды и данные для новых из
сменяющихся методов сообщений, обработка

01:15:00.419 --> 01:15:05.019
которых не обеспечивается собственными
методами классов передаются супер-классу.

01:15:05.059 --> 01:15:08.819
Унаследование позволяет создавать иерархии
классов и является эффективным средством

01:15:08.899 --> 01:15:11.820
внесения изменений и дополнений в
программные системы.

01:15:12.142 --> 01:15:18.068
Полиморфизм. Способность объектов выбирать
метод на основе типов данных, принимаемых

01:15:18.228 --> 01:15:22.112
в сообщении. Каждый объект может
реагировать по-своему на одно и то же

01:15:22.192 --> 01:15:27.157
сообщение. Полиморфизм позволяет
упростить, соответственно, исходные тексты

01:15:27.277 --> 01:15:29.439
программы, обеспечивает их развитие за
счёт

01:15:30.428 --> 01:15:32.309
... введение новых методов обработки.

01:15:32.389 --> 01:15:36.111
Итак, объективно-ориентированный подход
заключается в представлении системы в виде

01:15:36.191 --> 01:15:39.753
совокупности классов и объектов предметной
среды.

01:15:39.833 --> 01:15:44.355
При этом эархический характер сложной
системы отражается в виде иерархии

01:15:44.475 --> 01:15:48.236
классов, а её функционирование
рассматривается как взаимодействие

01:15:48.276 --> 01:15:51.398
объектов, с которыми ассоциируются,
например, продукционные правила.

01:15:52.096 --> 01:15:56.253
Ассоциирование продукционных правил с
иерархией классов осуществляется за счёт

01:15:56.453 --> 01:15:57.852
использования общих правил.

01:15:57.932 --> 01:16:03.008
В качестве префикса которых обычно
используется ссылка на класс, к которому

01:16:03.208 --> 01:16:04.607
данное правило применимо.

01:16:04.727 --> 01:16:10.163
Указанный префикс с точки зрения
декларативного представления знаний.

01:16:12.234 --> 01:16:16.516
Семантически подобен квантову всеобщности
исчисления предикатов.

01:16:16.676 --> 01:16:21.198
Так, ну вот как пример
объектно-ориентированной модели хорошо

01:16:21.559 --> 01:16:24.120
наглядно представляется в языке УМЛ.

01:16:24.240 --> 01:16:26.961
То есть, соответственно, nefide Modul
langigh.

01:16:27.201 --> 01:16:29.322
Соответственно, прежде всего диаграмма
классов.

01:16:30.651 --> 01:16:34.613
Основывается на описании
объектно-ориентированных систем.

01:16:35.294 --> 01:16:39.576
Вот, соответственно, можно посмотреть
диаграммы классов как вариант

01:16:39.656 --> 01:16:43.138
представления знаний, то есть описание
предметной области в

01:16:43.218 --> 01:16:44.979
объектно-ориентированном виде.

01:16:48.301 --> 01:16:51.943
Так, соответственно, диаграмма классов
состоит из классов

01:16:52.458 --> 01:16:53.857
...и связи между ними.

01:16:54.457 --> 01:16:57.536
Вот в Mail написывается несколько видов
связей.

01:16:57.816 --> 01:17:03.694
Связь типа обобщения показывает
связь-отношения, соответственно,

01:17:04.573 --> 01:17:07.892
класс, подкласс является экземпляром
класса.

01:17:08.637 --> 01:17:13.439
Ассоциации, вот как вариант ассоциации с
агрегацией, с ромбом на конце, то есть

01:17:13.679 --> 01:17:15.240
отношение — часть целая.

01:17:15.480 --> 01:17:20.883
Или более даже жёсткий вариант агрегации,
так называемая композиция.

01:17:21.203 --> 01:17:24.445
Когда удаляется композит, соответственно,
все подчинённые

01:17:27.123 --> 01:17:31.199
Элементы с этим классом будут
автоматически удалены.

01:17:31.319 --> 01:17:35.955
Так, ну существуют и другие типы связей,
более тонкие, например, как зависимость.

01:17:36.714 --> 01:17:39.951
В данном случае они здесь на этом не
показаны.

01:17:40.031 --> 01:17:43.428
Ну, это особый вопрос, то есть
объектно-ориентированное моделирование

01:17:43.548 --> 01:17:45.547
систем средством языка ОМЭЛ.

01:17:46.331 --> 01:17:49.648
И соответственно, оно изучается в других
предметах.

01:17:49.888 --> 01:17:56.042
Но мы тоже его тут указываем как вариант
описания

01:17:56.242 --> 01:18:00.438
данных. То есть, соответственно,
объект-ориентированный подход к описанию

01:18:00.518 --> 01:18:03.076
данных, который тоже может быть платформой
для

01:18:03.818 --> 01:18:05.419
Описание знаний.

01:18:06.941 --> 01:18:12.906
Соответственно. Так, ну давайте,
соответственно, мы не успели рассмотреть

01:18:13.187 --> 01:18:17.231
выводы на знаниях, переходим на следующей
лекции — вопросы.

01:18:17.671 --> 01:18:20.353
Рассмотрим ещё раз список литературы.

01:18:30.480 --> 01:18:37.026
Так, литература классическая, поэтому
где-то есть довольно старые издания.

01:20:27.796 --> 01:20:28.868
Спасибо за внимание.