Представление знаний в виде семантической сети, страница 4

Каждая вершина—НаДЛСЖИТОдномуилиблокам (например,вершина Мнесколькимтрём блокам).Дуги, принадлежащие блоку,задаютСЯметками(например, дуга, связывающаяВнутри прямоугольникамасамымМ С МПБТАМСЗ,принадлежитблоку, ограниченномуленькимненопринадлежит бЛОКУ›Ограничен:прямоугольником,”ОМУбольшимпрямоугольником) (рис. 8.15). Таким образомПринадлежитмание СеТИЩОКОВ'наблокиблокамТКЁ/ЁВУМ‚щМ являетсямниСитуации ВВвершинамиИ„И"3Ьядка(г(М,:.›'|‘()иЫСА-добавленыМ131111405элементомКлассаМ. Нанешт-КлассаязыкеВагентомВИДЕ“;„1‘;‚'Ё':""":’:у‚‚.„срждшиеВ являетсяНорИ‚1р?“иерархобразованияржде{11:15132135:(Строит).ТопляарЁИМПЛиКаЦИЯ)ПОЁ’МСЗМ 1151:01").‘Ё‘ЛИГнетсяснив:длявозможностьдает{шин"Реликтылогики`ИСГЖЁЗ'Шмзапишися‹‚3: “ЖОАОштМНЬГАМОЗХЗВСВШЬПЫВШВ)„‚ЖзнанииПредсшипенииНиши 8.ивидысоматичшмщ „ни‘94..в-.-смчтзтэё'ъзэтазЩ-\/1=(В)ГегМР2(Са\\/3={\/1‚В}\/4={МР2,В}\/Р1от%\/5={$1,\/Р1‚МР1,\/1,МР2,В}Рис.сетикванторовобщностииприменяетсяпривыбираетсяинформация,т.е.момент(рис.

8.15).Все структуры,ключеннаявразбиениянихсетиназваллежащиеговорят,вне(уйз’са). Эта«видом»изблоковсписокиИногда удобноблоков. Такую«пучок»одининформацииизвлеченииопределенныйтольковэтогочтовидвида,блокипозволяеткоторыхиз«вид»,данныйв«видим»за-следовательно,и,создаватьМеханикаВИДОВ,иерархиюИНформациюЕЁ‘ЁЧЁЁНВЁЁЁЗЁЁЭЁЗ’Ё;ЖирныеродительскогокиуказываютЦии.Внизу отЩихВИД.‚виднаКаждогосоставляю-список›изИдаМчеловекИ.Врассматриваемойна'гь блокилогиче с кихпликации.На рИС-иерархиистрелНаСЁеЬЗСрЁанияспособностиинформа612101351? выборкиблоков,образом1рмещенИ°‚вида.видов.НаТакимфраЗЫ'«Некото р 1, 1 й“Идеявыгоднокогдасети,—информация, будут игнорироваться.наком-представлятьсуществования.блоковкомбинацию блоков ХендриксССввозможностьимеетсянесколькоскомбинироватьиметьблоковПример иерархииобразом,вТакимбинацию8.15.вла«видна»Л еет°машинои3Эти 6 Ш) кисемантическойопеРации.особспно.‚ъц„‚сетиотрицания.важны'длячастьглагольнаяС»,могутапришито.дизъюнкциимимики"фра-сама\).иим-дедукции8.

Пшщшшшонио дшгший[тамипили шмпшичпской-т’‚.‹ш ›\к3|\Швы.-"Ё).сши1 95-‘-..‘‚‘-'.(ди.)Щит;.(‚.„с‚Сд меоЬ]а9ЬХ)8281Рис.системпостроенииприСемантическая8.16.онатоконъ-юнкции,утверждениясетьреализуетсяЧторешений.принятиявсетиспомощьюкасаетсямеханизманаследования.В семантическоймножествакоторогорис. 8.16ОМ.несеть,строилаизПредставлятьвособенностейважныхпроизвольносебядуга)вуетввхоцитвмире,являетсяКвантор существованиятомчтоеслисмысле,некоторый элементв данныйблок, то соответствующеекоторый данный блок представляет.Кванторсуществованияпредставлениялюбой формулыдУ Следующеепреобразование:Квантор существованиялюбойПредставления“(КХ)(Р(х))СИхсХ)(Р(х)имея,=[ихмогутотрицаниеиискванторомформулысвидусХ)Р(х)]=сущест-понятиеиспользоватьсяДЛЯимеяв ви—использоватьсядляквантором[НОС)ЙБ].с(вершина или,общностипреобразование:следующеевобщности«встроенным»общностимогутотрицаниеспособностькванторысгруппированныеНа«КомпанияееСУЩествования.понятиемместо.имеющихявляетсясетине-описаниеутверЖДение:представляющаяОЬВВЬАСК».данаОднойИвключаетотрицаниеи отношений,понятийсетиХом.На рис.

8.16 представленаСС утверЖДения: «КомпанияНа рис. 8.17 приведен пример представлестроила ОЬГ).В1.АСК›.няяв ССвсеобщности.квантора‘96|М!шишНЩццнтшнвнимпомощииот“”Миг—п”.|‘О/‚‚Зд\ | |\ ‘МГ‘\ТРис.Семантическая8.17.Дальнейшееразвитиеввыражениесвоетовболеедлясостоитидеяпадаетсярядсемантическимимыхвивалентноческаякатегорияэлементоввобластисемантическаяющихсяэто—состоящаяизэк-Семанти-определенных«мужчина»всехименНазывае-логике.совокупностирассуждений. Например,категория,вданноеимя,1) рас-категории»вприменяемому«сорта»,ОсновнаяДж.

Мак-Ски-И«семантическойпонятиепонятиюподмножеств,(Дж. МинкеркатегориямиВ сущностимин) [33].предика-(универсум) рассуЖДенийименованныхразличныхлогикизнаний.представленияобластьчтоблоки находитнамногосортнойиспользованиитом,всеобщностиквантораразбиения сетиидеиэффективноговнасетьэто—мужчин,име-БД.быть задан как списокКаждый элементрассуждений В можетэлемент.этотКаждый предикат, задаН'свойств, характеризующихкоте элементы,тольконый на В, допускаетв качествеаргументовсвойствами.торые обладают определеннымиВ дальнейшем универсумрассужденийбудетсчитатьсясальнойсемантическойИмена,ноидаваемыеявляютсямистроитсяский граф.ко-множестнешяыеобъектами.отношенийграфмеждузаданиясемантическимикатегорийсемантическихДляилитеОРеТ“°категорий:просто семантнчскот ‘Р_Семантическийрого служаткатегорией, обозначаемой ИМИ].могут определяться произволькатегориями,синтаксическимико-множественныхуНИВеР'граф6семантическиеотношения:естьграф, вершинамиДугн С указываютконечныйкатегории.вложения,Р“треп“равенства.

н‹‘т"""“"ш`знанийпредставлениеГлава 8.ввиде семантическойсети/_1 97_\`Висящие вершиныдополнения.Объединения,графапримитивнымикатегориями.категорийИзиспользованиемМОЖНОДОПОЛНЕНИЯИНеНИЯсГориаЛЬНЫС ВЬ1РЗЖ6НИЯ,операций пересеченияПОЛУЧИТЬкоторыевозможностиС называютакобъедибулевыКатеНЭЗЬ1ВЗЕМЬ1ЕСИЛЬНОтся‚УВЕЛИЧИВЭЮТВЬ1ра-семантическихзи-категорий (Дж МинкерДЖ. Мак—Скимин) [33]. Примеры булевых категориальных вырастудентмолоцой.жений: растение, животное,тельныеИобразом, вТакимсетиможносемантическтпт граф, который определяетвотношениявенныеМСЖдусостоящаяданных,извпредставленныхограптическиеследую-утвержденийвидеия.ичснтеоретико-множест-семантическимиобщих правилибазакатегориями;(законов),дизъюнктов;форм,семантическихпространствоавыделитькомпоненты:структурныещиесемантическойналоженныекотороенаопределяетаргументысеман-реляционныхп-ок;длякоторый ощтслсляетфункниттазшного именисловарь.окаЖдогобольшиеявляются:ннаглядностьзостьсистемыственногоидеязнаний.вателей.Этимзнаний,такиеисследо-наТакаяикакограннчитьления.ПредставленияметодовСС.мыоЫМИсубъекТИВНнаскольковидим,представлениянеоднозначностьнедостаток.открытостианализадляСколькоСС.иСС.можетяикакдОСТОИН'рассматриватьссвобОДеВ Ы Р аже-ДостоинствоА недостатоКстолькоавторов,СС.Вариантовнияфраз есте-структуреу разныхразличное воплощениеединой терминологииобъясняетсяотсутствиеоснованныхМогут бытьиис-Его достоинстваминашлаАнализируя примеры,госемантическойформальноопределяемойсемантикиСТВО,широкоориентированных графовдля пред-использованиязнанийставленияИсетейязыка.ОбщаяНсе-естественностьвозможности;выразительныезнаний.графически;блипредставленнойсетиструктурытуявляется.знаний.щ›едставленняпрактикевпользуетсяобласти,именииредикатногосемантическихаппаратвремяиэлементаоторой ончленомка‘гег‹с›рнк›.маитичсскуюВ настоящеекаждого——вбольшоиВСЛОЖНОСТИобработки.Поэтому Учет)“3свободу авторов И построитьсСамогоально-ихначалаболее протефорхталисИпред став-ПрилипшттиоН.|тнш‘98сгроснпя предикатнооб обезьяне и бананах.Другие.Всети.Р, различные ситуаЦИИстранстве состояний:ЯщиккомнатыР2.

Обезьянаи“,(прим.рПровнахоцятся‘›Ь1“И`’разборсМпримера-‚ 1‚‚3а/ШЧУОбОЗНаЧИМЧ свразличныхпроТОЧКах19,с;а,ИБананывидит‚..предикатшлгописаниеБананыИсоответственно—(Аммонит,‚ИмВОЗНИКЗЮЩие(ПРЕДЛОЖЕНИЯХрезР1. Обезьяна,орассмотримкачествесловесноедатьследуетВначалейМыШ.СС(1,1типовнесколькориссмп'грспыи(ъугпвныс. „срарХПЧССКИСбыл"„шт,и нипредикатнойпостроенияМетодика8.8.знанииихпытаетсядостать,Бананыновысоко;висятРЗ. Обезьяна подходитЯщик;Р4. Обезьяна достаетМыегопереноситвПрОразбитьихследуетблоками».«крупнымипростыенапростыхтрикоит.к.И,соединяетНамменность.Союзпредложения.«комната»,ещеточка,посуществу,предметной областиописаниеР111. Точкаа естьчастькомнатыестьчастькомнатыс естьчастьР112.

Точка ЬТочкачастьввиде(И)(И)в т.(И)аиз. БзикнаходятсяР21.Обнанывидит Бананы (И)р22;ОбЁЁЁЁнапытаетсядостатьв т.с.БаианьнаБананывисятРЁИ. (Ж:—„32ор‘п.М,.-(„гайкапершимит()б„‚„,т:?г:..высоко.06”,‚.1‚.: ‚ни/4‚‚1(питает(тот/шт_ящику (И)кЯщикона}!щик.ч[шпаныодноврепонятиемсВкомнаты.полу-итогепредложений:системыПредикатная записьЧасть(а, Комната);Часть(Ь, Комната);°а т.достатьПытается’подходитсвяз-(6, Комната ‚'Находитсяв(0‚ 0);Находитсяв(Я‚ д);Находитсяв(Б‚ С)›`Видит (О, Б);Ь (И)в т.наЧастькомнаты.{1:113.

находитсяР12.вбезьянанаходитсяпред-соедине-иха не«точка»понятие—нихраспадаетсядействий,связатьвидим,представляетсянездесьпоследовательностьнадлежитведь«и»Мыиздватрех простых,второев своюсвязкой И. Третье предложение,очередь,ЬЫ.затем‚три простыхносостоиттакжеложения;чаемсДля построе-предложения.соединяетсуществу,попредложение,первоеныточкуБананы.состояниеописалисетичтоИназалезаетнияЯщикукс.(Б Высока).Подходитк“) Я„(тещогит «(0 Я ).°..‚./яВлас-тетЛ встает°’наи0. Я):; 1.).›оПредставлениезнанииГлава 8.ввидесемантическойсети191”Комната=Г“`“""7'щР1115..‚../""7”""“"ящик“Р112„______5кЧасть/‚Ёжщжы``г;Р1135Хт.а/^)`т-”:1*****:„х-.„."`Г/,\т.с'_;__акт—„ъР! 1‚‚‚Жаходится*г„.`_‚Ь`’/’’’’’’’’’ц‚хгт—т/’Р 12у‚51ВидитуОАА7А‘›'“"‘4ЯР2|у!‚-ъи‹и1‚'Р22в-\\//д.,"де“;Р13Высоко\/\\Ж-‘*5'.ГР23РЗ!'1Пытается"533РЗ)\Х'-?Подходит'_4[//&\-`ь[типтВисят)}‘к-\`_\‘—/‚``Г1ереносит Влезает Достает/Ё?\__›,_Рис.Остается построитьсамуТУальныеНИЯСемантическая8.18.сетьзадачиДля удобства объекты (концеп-сеть.вершины) будем обозначать треугольником,(ПРОПОЗИЦиональныевершины)прямоугольником,предЛОЖе'а—катные вершинылинией› СтрелкиСтрелкуПервогома`—овалом.СтрелкупредикатовтермапредикаталогическихШТРИХПунктирнымилиниями,Мера (места объектовна Рис.8.18.в—предикатавыделимсвязоксплошной, стрелку—предИ;жирНОИПУНКТИР0М›ВТОРОГОТЕР"ноцифрами над СТРелкамипредложении).

Полученная сеть показана—Продсшшшниезнанийиниш,Глава 8.200Шмтпщт"Какиеобъектыдругую?втыКтоответынамножим, „и,действияПредставлениеСамвиду.ВИДеегоМСРОВразнымисемантическойиСЕТИт.е.иМпа`итотЖесмыслСМЫСЛтекстаобеспечиваемкак бымыкакформальномразИдаетвозможностьинформа-СИСТЕМ.недостаткисетейсемантическихОднакоописания.СУЩЕСТВЕННООДИНПОЗВОЛЯЕТавтоматизированныхПОИСКОВЫХпрозрачностьКОписываячтопостроениятипатекстасети,представления,ИдостоинстваПростотасодержаниебыть различным,СС дляционно-справочных8.9.КОт.п‚предикатноготекстами.конкретнойиспользованияССвидепривестиописанединственностьвтекстаможеттекстбытьможетОдной точкиизобезьяна? Ивыполнятьможетлегкоотносительнобыть переносимымогутпсубъектом Действий?являетсяКакие1.датьНапример:разных вопросов.в комнате?находятсяКакие предметымыхвможетсетьгсмантттчщ‘каяДанная‘”ИмисВРЕМЯ ПОИСКЗ,УВЕЛИЧИВЗСТСЯраз-увеличениемТСРЯЕТСЯНЗГЛЯДНОСТЬ.2.Открытость, позволяющаяпри необходимости.3.По сравнениюсщество:всязнанийвокругвместе.одномЭтовселогикойточнобылипреимуинформация расположена в базеизвестнаясоответствующейВНеоцнозначность2.Отсутствие формального аппарата3.отметим.недостатковпротивоРеЧи'установленияописания.Сложностьвнесенияизменений.Основное ПрИменениесемантическиеязыков,а‚сетитакжеиспользуютсяфизическихболее сложнойструктуры,Для работы с этой главойифокусируетсят.е.описания.обработкиестественныхобразов,в которых ССтуре, форме и свойствахССважноеимеютвершины,качестве1.востиССпредикатовдостоинства.модифицировать ССидополнятькакосновными16,17,21‚30,34,41,49‚52,65‚72‚117Ъвнаходятвсистемахраспознана“?системахСТРУЁЯзнаний одля храненияобъектов.