Lektsia_3

1. Методы приобретения знаний

Источники знаний для интеллектуальных систем.
• специалисты предметных областей;
• ротоколы рассуждений (протоколы "мыслей вслух") экспертов;
• протоколы так называемых диагностических игр;
книги, инструкции,
примеры и прецеденты решения задач;
базы данных

2.

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

3. Прямые методы приобретения знаний

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

4. Прямые методы приобретения знаний

Индивидное имя - имя существительное, являющееся именем
объекта низшего типа, объекта, не являющегося множеством.
Общее имя - имя, обозначающее неопределенный объект или
множество объектов.Заметим, что степень индивидности (или
общности) имени - явление относительное
Метаимя - имя в той части языка, которая выступает как
метаязык по отношению к другой части того же языка

5. Свойства

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

6. Семантическе связи

• генеративная связь Gen, один компонент которой обозначает лицо или предмет,
принадлежащий некоторой совокупности, категории, обозначаемой вторым компонентом;
• дестинативная связь Des, один компонент которой обозначает назначение для другого
компонента;
• директивная связь Dir, в которой один компонент обозначает путь, направление второго
компонента;
• инструментальная связь Ins, один компонент которой обозначает
обозначаемого другим компонентом;
орудие
действия,
• каузальная связь Cous, один компонент которой обозначает причину проявления другого
компонента спустя какое-то время;
• комитативная связь Com, один компонент которой обозначает сопровождающее другой
компонент действие, сопутствующий предмет, сопровождающее лицо;
• коррелятивная связь Cor, один компонент которой выражает возможность наблюдения
другого компонента или соответствия предмета другому предмету, назначению;
• негативная связь Neg, один компонент которой отрицает, исключает возможность
проявления другого компонента;
• лимитативная связь Lim, один компонент которой обозначает сферу применения, назначения
другого компонента;

7. Семантическе связи

• медиативная связь Med, один компонент которой имеет значение способа, средства
действия другого;
• поссесивная связь Pos, один компонент которой выражает отношение владения
другим компонентом;
• потенсивная связь Pot, в которой один компонент приводит к увеличению возможности
появления другого спустя некоторое время;
• результативная связь Res, в которой один компонент выражает следствие действия
второго;
• репродуктивная связь Rep, в которой один компонент обозначает исходную точку
для воспроизведения или превращения для другого компонента;
• ситуативная связь Sit, в которой один компонент обозначает ситуацию, определяющую
состояние или область действия второго компонента;
• трансгрессивная связь Trg, в которой один компонент обозначает результат
превращения второго;
• финитивная связь Fin, в которой один компонент имеет значение цели, назначения
другого.

8. Семантическе связи

• Каузальные связи, т.е. множества связей, говорящих о причинах и следствиях и
обладающих такой характеристикой как транзитивность. Причинность будем
различать разномоментную или диахронную (X вызывает Y в будущем) и
причинность одномоментную или синхронную (X вызывает Y в настоящем). С
этой точки зрения за связью, отражающей одномоментную причинность следует
признать свойство антисимметричности (А вызывает В и В вызывает А и все это
одновременно, в идеале означает их эквивалентность). Иначе обстоит дело с
причинностью будущего: из того, что А вызывает В и В вызывает А в различные
моменты времени вовсе не следует никакого рода эквивалентности А и В. Из
"А вызывает В" в этом случае можно заключить лишь, что "В есть следствие А».
Именно за такой связью мы сохраним право называться каузальной. Таким
образом, в общем случае каузальная связь принадлежит множеству
несимметричных связей. Из того что A вызывает B в будущем, разумеется, не
следует, что само A в этом будущем будет иметь место. Поэтому каузальная
связь принадлежит множеству нерефлексивных связей (в отличие от
одномоментной причинности)

9. Семантическе связи

• Комитативная связь "А сопровождает В"- это как раз та связь, которая отражает
причинность настоящего. Изложенные выше соображения позволяют считать ее
принадлежащей множеству антисимметричных, рефлексивных связей: "А
сопровождает А" (во всяком случае, утверждение "А вызывает А" является менее
абсурдным, чем утверждение "А запрещает А") и транзитивному множеству связей:
из "А сопровождает В" и "В сопровождает С" следует "А сопровождает С".
• Коррелятивная связь - связь - "толерантность". "А может наблюдаться при В"
разумно считать симметричной, рефлексивной и нетранзитивной связью. Повидимому, действительно, из "А может наблюдаться при В" и "В может наблюдаться
при С", вообще говоря, не следует, что "А может наблюдаться при С".
• Негативная связь - "А отрицается В", очевидно, антирефлексивна, нетранзитивна и
симметрична.
• Дестинативная связь "А предназначено для В" - нетранзитивна, нерефлексивна и
асимметрична. Асимметричность здесь, как уже было замечено, понимается как
некоторое контекстное свойство, означающее, что "обращение" связи дает некоторую
иную связь, содержащуюся в списке видов связей. В данном случае обращение связи
означает "В ограничивает сферу применения А", т.е. лимитативную связь.

10. Семантическе связи

• Инструментальная связь "А есть орудие для В" не обладает свойством
транзитивности и рефлексивности. Обращение этой связи, если таковое
трактовать как "В выполняется посредством А" является медиативной связью, т.е.
инструментальная связь асимметрична.
• Лимитативную связь "А ограничивает сферу применения В" следует признать
транзитивной, антирефлексивной, т.к. А и В необходимо не совпадают, и
асимметричной. Последнее в силу того, что ее обращение "В действует в
ситуации А" представляет либо ситуативную связь, либо дестинативную.
• Медиативная связь "В выполняется посредством А" нетранзитивна, нерефлексивна
и асимметрична.
• Поссесивная связь выражает отношение владения, которое также является
нетранзитивным, нерефлексивным и асимметричным (обращение этой связи дает
либо генеративную, либо лимитативную либо партитивную связь).
• Потенсивная связь отражает отношение частичной причинности и, в силу этого, не
обладает транзитивностью (из "А- частичная причина В» и "В - частичная причина С"
вовсе не следует, что "А- частичная причина С"), в силу направленного ее характера
она несимметрична и по аналогии с каузальной связью – нерефлексивна.

11. Семантическе связи

• Репродуктивная связь транзитивна, так как отношение воспроизведения или
превращения является таковым, она асимметрична, ибо ее обращение дает
трансгрессивную связь и, очевидно, нерефлексивна, ибо результат превращения не
обязан совпадать с исходной точкой, начальным пунктом превращения.
• Ситуативная связь транзитивна: из "А в ситуации В", "В в ситуации С" ничто не мешает
заключить, что "А в ситуации С", вообще говоря, антирефлексивна - А и В по
определению не совпадают; и асимметрична: обращение ее дает либо
лимитативную связь "С - сфера действия А", либо комитативную связь "А сопровождает С".
• Директивная связь "А по (над, через, сквозь) В", очевидно, транзитивна;
антирефлексивна: А не перемещается по (над, через, сквозь) А; асимметрична: ее
обращение - лимитативная связь .
• Трансгрессивная связь транзитивна (по тем же соображениям, что и
репродуктивная связь), асимметрична, т.к. ее обращение суть репродуктивная связь, и
также, как и репродуктивная связь, нерефлексивна.
• Финитивная связь нетранзитивна, несимметрична и нерефлексивна.
• Генеративную связь - принадлежность к совокупности - будем считать примером
отношения включения элемента в множество; т.е. она антитранзитивна,
антирефлексивна и несимметрична.

12. Семантическе связи

• Результативная связь обладает теми же свойствами, что и каузальная. Обращение
ее дает каузальную связь.
Значение свойства
ОБОЗНАЧЕ
НИЯ
Транзитивность
Tr
Нетранзитивность
Ntr
Антитранзитивность
Atr
Симметричность
Sm
Антисимметричность
Ans
Асимметричность
As
Несимметричность
Ns
Рефлексивность
Rf
Антирефлексивность
Arf
Нерефлексивность
Nrf

13. Семантическе связи

Значения свойств связей
Вид связи
Tr
Ntr
Gen
Atr
Rf
Nrf
+
Arf
Sm
Ans
As
+
Ns
Обращенная связь
+
-
Des
+
+
+
Lim
Ins
+
+
+
Med
+
+
Res
Cous
+
Com
+
Cor
Lim
+
+
+
+
*
+
+
+
Med
+
+
Neg
+
Pos
+
+
Pot
+
+
+
*
+
Sit,Des
+
-
+
Pos
+
Gen,Lim,Par
+
-
Res
+
+
+
Cous
Rep
+
+
+
Trg
Sit
+
+
+
Lim,Com
Dir
+
+
+
Lim
Trg
+
+
+
Rep
Fin
+
+
+
-

14.

Значения свойств связей
Вид связи
Tr
Ntr
Atr
Rf
Nrf
Arf
Sm
Ans
As
Ns
Обращенная
связь
Cous
+
+
+
Res
Trg
+
+
+
Rep
Res
+
+
+
Cous
Rep
+
+
+
Trg
Lim
+
+
+
Sit
Sit
+
+
+
Lim,Com
Dir
+
+
+
Lim
Des
+
+
+
Lim
Ins
+
+
+
Med
Pos
+
+
+
-
Med
+
+
+
-
Fin
+
Neg
+
Gen
Pot
+
+
+
Cor
Com
+
+
+
-
+
+
+
+
+
+
+
*
+
+
-
*
+
-

15. Семантическе связи

• Первый тип связи будем называть каузально трансгрессивным. К нему относятся четыре вида связи. В
списке типов связей его обращение уже не совпадает ни с
одним из типов, поэтому каузально - трансгрессивная связь
по-прежнему является несимметричной, уже, однако, не являясь
асимметричной.
• Второй тип связи назовем ситуативным. Он, как и его
"прародители", является асимметричным и его обращение дает
комитативную связь.
• Третий тип связи назовем инструментальным. Его обращение
может (не во всех случаях) давать ситуативную связь. Поэтому
ситуативный тип связи несимметричен.
• За остальными типами связи сохраним названия
соответствующих им видов семантической связи, а именно:
финитивный, негативный, генеративный, коррелятивный,
комитативный, потенсивный.

16. Прямые методы приобретения знаний. Интервью

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

17. Стратегия разбиения на ступени

Стратегия разбиения на ступени предназначена для выявления таксонометрической
структуры событий предметной области, а также их структурных и
классификационных свойств. Она используется сценариями под названиями
1. "Имя - свойство" и
2. "Множество имен - свойство".
Сценарий выбирается экспертом. Возможны комбинированные сценарии.
Сценарий "Имя - свойство".
Стратегия разбиения на ступени.
1.1. Вопрос системы об имени события.
Сообщение эксперта об имени события.
1.2. Вопрос системы об имени признака события.
Сообщение эксперта об имени признака.
1.3. Вопрос системы о существовании множества значений признака.
Ответ эксперта (Да/Нет).

18. Стратегия разбиения на ступени

В случае отрицательного ответа, имя
признака воспринимается как имя события. При этом:
а) пара (имя события, введенного на шаге 1.1, имя события, образованного на шаге 1.3) считается принадлежащей
отношению R1;
б) если имя события, образованного на шаге 1.3, отсутствовало в базе знаний, то это событие рассматривается как новое и
выполняется переход к п.1.2
1.4. Вопрос системы о типе множества значений признака (непрерывное/дискретное).
Соответствующий ответ эксперта.
1.5. Вопрос системы о единице измерения признака.
Сообщение эксперта о единице измерения.
1.6. Вопрос системы о множестве значений признака (границы непрерывного множества/элементы дискретного).
Сообщения эксперта о множестве значений признака.
В процессе выполнения шагов 1.2-1.6 создается глобальный объект: имя атрибута и область его значений. Совокупность
таких объектов будем называть базисом области.
1.7. Вопрос системы о подмножестве значений атрибута, характерного для описываемого события.
Сообщения эксперта о подмножестве значений атрибута.
В результате выполнения шага 1.7 с описываемым объектом связывается один из элементов базиса области с
указанием подмножества области значений элемента базиса, характеризующего описываемый объект, т.е.
формируется признак объекта.

19. Стратегия разбиения на ступени

Сценарий "Множество имен - свойство".
При работе сценария «Множество имен –
свойство» шаг 1.1 повторяется многократно, а затем
для каждого события выполняются шаги 1.2 - 1.7.

20. Стратегия репертуарной решетки

Стратегия репертуарной решетки направлена на выявление свойств объектов
предметной области и использует механизм преодоления когнитивной защиты
эксперта, основанный на методах когнитивной психологии.
Механизм преодоления когнитивной защиты основан на выявлении системы
личностных психологических конструктов эксперта. Каждый конструкт
формируется в результате некоторой факторизации множества шкал, каждая
из которых, в свою очередь, образуется оппозицией свойств. Наиболее
эффективный способ выявления оппозитных свойств - предъявление эксперту
триад семантически связанных событий с предложением назвать свойство,
отличающее одно событие от двух других . На следующем шаге эксперту
предлагается назвать имя оппозитного свойства.
Таким образом, выявляются элементы множества личностных психологических
конструктов конкретного эксперта. С другой стороны, свойства, различающие
события, это как раз те свойства, которые влияют на формирование решения.
Пополнение множества свойств осуществляется путем повторения этой
процедуры с другими триадами.

21. Стратегии сценария выявления сходства. Стратегия подстановки

Эксперту предъявляется высказывание, полученное из канонической
формы, в которой вместо имен обоих событий подставлено одно из них,
с призывом к эксперту сообщить свое мнение относительно
истинности этого высказывания. В зависимости от ответа эксперта
высказыванию приписывается то или иное значение Rf, Nrf или Arf.

22. Формы высказываний для медицины

• /имя объекта/ /имя отношения/ /имя объекта/
N формы
Имя формы
Ф1
А характерно для В
Ф2
А наблюдается при В
Ф3
А отмечается при В
Ф4
А есть проявление В
Ф5
А есть признак В
Ф6
А сопровождается В
Ф7
А нередко сопровождается В
Ф8
при А нередко присутствует В
Ф9
А может наблюдаться при В
Ф10
А обычно сопровождается В
Ф11
при А как правило В
Ф12
при А обычно В

23.

Т1
А есть проявление В и В может сопровождать А
Т2
А есть проявление В и В сопровождается А
Т3
А может увеличивать возможность В и В увеличивает возможность А
Т4
А есть проявление В и В может быть проявлением А
Т5
А есть проявление В и В есть проявление А
Т6
А может увеличивать возможность В и В может увеличивать возможность А
Т7
А может протекать с В и В может протекать с А
Т8
А увеличивает возможность В и В увеличивает возможность А
Т9
А сопровождается В и В может сопровождаться А
Т10
А сопровождается В и В сопровождается А
Т11
А исключает В и В исключает А
Т12
А приводит к В
Т13
А может привести к В
Т14
А увеличивает возможность развития В
Т15
А может увеличивать возможность В
Т16
А исключает возможность развития В

24.

С каждым типом сообщения из таблицы 1 связана формальная конструкция базы
знаний, а именно, бинарное отношение на множестве объектов (событий).
АТР1
АТР2
АТР3
АТР
n
Тогда типу сообщения Т1 можно поставить в соответствие следующую диаграмму:
А
В
Сообщение типа Т3, можно интерпретировать следующим образом: для всякого примера
объекта А найдется пример объекта В такой, что в них найдутся совпадающие имена
атрибутов, и значения атрибутов с совпадающими именами при этом равны.
Для сообщения типа Т7: найдутся примеры объектов А и В, что для всякого имени атрибута
из примера объекта А найдется совпадающее с ним имя атрибута из примера объекта В, а для
всякого имени атрибута из примера объекта В найдется совпадающее с ним имя атрибута из
примера объекта А, и соответствующие значения атрибутов равны.
А
В
А
В

25.

26.

• событие 1 характерно для события 2
при наблюдении события 1
может наблюдаться событие 2
при наблюдении события 2
всегда наблюдается событие 1
• событие 1 может проявляться при наличии события 2
при наблюдении события 1
может наблюдаться событие 2
при наблюдении события 2
может наблюдаться событие 1
• событие 1 уменьшает возможность события 2
при наблюдении события 1
может отсутствовать событие 2
при наблюдении события 2
всегда отсутствует событие 1

27. Стратегии сценария выявления сходства. Стратегия подстановки

Пусть, например, речь идет о поиске типа семантической связи между
событиями "вегетативные расстройства"(X) и "головная боль"(Y) и
исследуется следующее высказывание "вегетативные расстройства
сопровождаются головной болью».
Тогда из списка канонических форм выбирается форма "X сопровождается Y",
далее, стратегия выполняет подстановки: "вегетативные расстройства" вместо X и "вегетативные расстройства" вместо Y и предъявляет эксперту
следующие вопросы:
- считаете ли Вы высказывание "вегетативные расстройства сопровождаются
вегетативными расстройствами" утверждением, которое
1. является тавтологией;
2. не исключено;
3. невозможно.
Если эксперт указывает ответ 1., то высказыванию "вегетативные расстройства
сопровождаются головной болью" приписывается свойство Rf, второй - Nrf;
третий - Arf.

28. Стратегия перестановки

Для определения свойства Sm или отсутствия такового
используется Стратегия перестановки.
Вместе с высказыванием "A<предикатное слово>B", эксперту
предъявляется высказывание, в котором объект A заменен на B, а
B - на A. В рассмотренном выше примере ему будет предложено
ответить, справедливо ли утверждение, что "головная боль
всегда сопровождается вегетативными расстройствами ?"
Ответы эксперта:
ДА
НЕТ
В случае утвердительного ответа, высказыванию
приписывается свойство Sm, в случае отрицательного - Ns.

29. Стратегия обращения

Для установления асимметричности используется
стратегия обращения.
Для некоторого конкретного высказывания "A
<предикатное сово> B", эксперту предлагается
подтвердить принадлежность высказывания "B
<предикатное слово> A" какому-либо высказыванию
из последней графы таблиц 1-9 из главы 2. Если
эксперт подтвердил, и высказывания "A
<предикатное слово> B" и "B <предикатное слово>
A" оказались в разных таблицах, то высказыванию
"A <предикатное слово> B" приписывается свойство
As.

30. Стратегия трансформации

Для выявления транзитивности используется Стратегия
трансформации.
Стратегия заключается в предъявлении эксперту новой
формулировки высказывания, такой, которая, с одной стороны,
исключает неоднозначное толкование экспертом, с другой уточняет формулировку высказывания. Так, для каузального типа
такой трансформацией (уточнением) является "Если A то
необходимо появится B". В случае подтверждения ее
экспертом, высказыванию приписывается свойство Tr, иначе - Ntr.
Этот критерий основан на том, что в четвертой части таблицы
5.12 две похожие канонических формы Cоus и Pot отличаются
друг от друга тем, что в Pot участвует модальность возможности, в
отличие от Cous, в образовании которой участвует модальность
необходимости. Что касается формы Fin, то она отличается
от них своей антирефлексивностью.

31. Сценарий выявления сходства ( SAS)

Представим сценарий выявления сходства в
виде системы правил. Сценарий выполняется
для каждой из пар имен событий, выбранных
экспертом. В результате выполнения сценария
формируются бинарные отношения Q1, Q2 ,
…, Q10, которые обладают определёными
наборами значений свойств рефлексивности,
симметричности и транзитивности, а каждая из
пар имен помещается в одно из этих
отношений единственым образом.

32. Сценарий выявления сходства ( SAS)

Метаправило . Во всех тех случаях, когда
в приведенных ниже правилах переход
явно не определен, выполняется
ближайшее в порядке возрастания
номеров правило, условие которого к
этому моменту оказалось выполненным.
После завершения работы сценария всякий
раз выполняется переход к правилу 1;

33. Сценарий выявления сходства ( SAS)

Правило 1. Эксперту предъявляется множество имен событий и
предлагается указать в этом множестве пару имен таких
событий, которые, на его взгляд, связаны между собой;
Правило 2. Если эксперт отказывается указать такую пару, то
сценарий заканчивает работу; если указывает, например, A и B,
то эта пара имен событий подставляется в канонические
формы высказываний вначале а) всюду вместо X - A и вместо Y B, затем, б) всюду вместо X - B, вместо Y - A;
Правило 3.Полученные в результате этого формы высказываний
предъявляются эксперту с предложением выбрать из них наиболее
соответствующее связи между A и B;
Правило 4. Если эксперт отказывается указать какую-либо из них,
стратегия заканчивает работу;

34. Сценарий выявления сходства ( SAS)

Правило 5. Для указанной в п 4. формы высказывания (пусть это
для определенности, случай а)), эксперту предлагается уточнить,
появляются ли оба события A и B одновременно или в разные
моменты времени;
Правило 6 .Если ответ- одновременно, то формируется признак J,
иначе, формируется признак D.
Правило 7. Запускается работа Статегии подстановки применительно
к указанной экспертом форме высказывания "A<предикатное
слово>B".
Правило 8. Если сформирован признак J и один из признаков Rf или
Arf, то применительно к высказыванию "A<предикатное слово>B"
выполняется Стратегия перестановки;
Правило 9. Если сформирован признак J и не сформирован признак
Sm, то применительно к высказыванию "A<предикатное
слово>B" запускается Стратеия обращения;

35. Сценарий выявления сходства ( SAS)

Правило 10. Если сформирован признак J, не сформирован
признак Sm и сформирован признак Rf или Arf, то
применительно к высказыванию "A<предикатное слово>B"
запускается Стратегия трансформации;
Правило 11. Если сформирован признак D и признак Nrf, то
применительно к высказыванию "A<предикатное слово>B"
запускается Стратегия трансформации;
Правило 12. Если сформированы признаки J,Arf и не
сформирован признак Sm, то Li относится к типу связи
Gen(A,B); Q10 := 2(Q10 [Li] );
Правило 13. Если сформированы признаки J,Arf, As, Tr то
тип связи Sit(A,B);
Q6 := 4( 2(Q6 [Li]));

36. Сценарий выявления сходства ( SAS)

Правило 14. Если сформированы признаки J,Arf,Sm то тип связи
Neg(A,B);
Q4 := 3( 2(Q4 [Li]));
Правило 15. Если сформированы признаки J,Nrf и не сформирован
признак Sm, то тип связи Ins(A,B); Q5:=Q5 [Li]; ;
Правило 16. Если сформированы признаки J, Rf, Tr и не
сформирован признак Sm, то тип связи Com(A,B); Q1 := 4( 1(Q1
[Li]));
Правило 17. Если сформированы признаки J, Rf, Ntr и не
сформирован признак Sm, то тип связи Mcom(A,B); Q2:= 1(Q2 [Li]
);
Правило 18. Если сформированы признаки J,Rf,Sm, то тип связи
Cor(A,B);
Q3 := 3( 1(Q3 [Li]));

37. Сценарий выявления сходства ( SAS)

Правило 19.Если сформированы признаки D,Ntr,Arf, то тип
связи Fin(A,B);
Q9 := 2(Q9 [Li]) ;
Правило 20. Если сформированы признаки D,Tr,Nrf, то тип
связи Cous(A,B);
Q7 := 4(Q7 [Li]);
Правило 21.Если сформированы признаки D,Ntr,Nrf, то тип
связи Pot(A,B);
Q8 :=Q8 [Li];

38. Подтверждение связи свойствами

Свойства событий и связи между событиями тесно взаимосвязаны.
Рассматривая два различных события, можно сравнить их характеристики и сопоставляет это
с проведенной между событиями связью. Проведенную связь между двумя событиями можно
считать подтвержденной свойствами, если выполняется одна из следующих зависимостей:
1. При наблюдении события 1 всегда наблюдается событие 2,
если все атрибуты события 2 являются атрибутами события 1, и все характерные значения
атрибутов события 2 являются характерными значениями соответствующих атрибутов
события 1. Другими словами, если характеристика события 1 включает в себя характеристику
события 2.
2. При наблюдении события 1 может наблюдаться или обычно наблюдается событие 2,
если у события 1 и события 2 имеются общие атрибуты, а у этих атрибутов имеются общие
для события 1 и события 2 характерные значения. Другими словами, если характеристика
события 1 и события 2 пересекаются.

39. Подтверждение связи свойствами

3. При наблюдении события 1 обычно отсутствует или может отсутствовать событие 2,
если у события 1 и события 2 имеются одинаковые атрибуты, но характерные значения этих
атрибутов для различных событий различны. Другими словами, множества атрибутов
события 1 и события 2 пересекаются, но множества характерных значений этих атрибутов
не пересекаются.
4. При наблюдении события 1 всегда отсутствует событие 2,
если все атрибуты события 2 являются также и атрибутами события 1, но эти атрибуты
принимают различные характерные значения для разных событий. Другими словами,
множество атрибутов события 1 включает множество атрибутов события 2, но множества
характерных значений этих атрибутов не пересекаются.

40. Порождение гипотез о свойствах и связях

Рассматривая два различных события, можно сравнить их характеристики и выдвинуть гипотезу о
взаимосвязи данных событий, либо наоборот, исходя из сорта связи, установленной между
событиями, выдвигает гипотезы о свойствах этих событий.
Гипотеза 1
При наблюдении события 1 всегда наблюдается событие 2,
если все атрибуты события 2 являются атрибутами события 1, и все характерные значения
атрибутов события 2, являются характерными значениями соответствующих атрибутов события 1.
Другими словами, если характеристика события 1 включает в себя характеристику события 2.
Гипотеза 2
При наблюдении события 1 может наблюдаться или обычно наблюдается событие 2,
если у события 1 и у события 2 имеются общие атрибуты, а у этих атрибутов имеются общие для
событий 1 и 2 характерные значения. Другими словами, если характеристика события 1 и события 2
пересекаются.

41. Порождение гипотез о свойствах и связях

Гипотеза 3
При наблюдении события 1 обычно отсутствует или может отсутствовать событие 2,
если у события 1 и события 2 имеются одинаковые атрибуты, но характерные значения этих
атрибутов для различных событий различны. Другими словами, множества атрибутов события 1 и
события 2 пересекаются, но множества характерных значений этих атрибутов не пересекаются.
Гипотеза 4
При наблюдении события 1 всегда отсутствует событие 2,
если все атрибуты события 2 являются также и атрибутами события 1, но эти атрибуты принимают
различные характерные значения для разных событий. Другими словами, множество атрибутов
события 1 включает множество атрибутов события 2, но множества характерных значений этих
атрибутов не пересекаются.

42. Машинное обучение. Поиск в пространстве обобщений

Предположим, выбран некоторый язык представления.
Обучающаяся система «желает» обучиться некоторому
концепту по множеству положительных и отрицательных
примеров. Даже если описания основаны на атрибутивной
логике, пространство всех различимых концептов
оказывается чрезвычайно велико. Десять атрибутов,
каждый с пятью возможными значениями, дают
510 = 9 765 625 векторов. Любое подмножество таких
векторов может соответствовать некоторому концепту, а
это означает, что с помощью этих атрибутов можно
определить 29 765 625 концептов. В более сложных языках
это число растет еще быстрее, даже если размер
пространства представления может быть ограничен
какими-либо базовыми знаниями.

43. Индуктивный характер обучения

Неподалеку от города приземлился инопланетный
ученый, который намерен изучить формы жизни на
Земле. Ученый обладает некоторыми
предварительными лингвистическими знаниями,
впрочем, далекими от совершенства. И потому он
обращается к вам, осведомленному местному
жителю, с вопросом: что такое птица.