Технология построения онтологий из текстов на естественном языке, страница 4

В следующем примерепервая именная группа переводится на квантор существования, такой как (  x:Number). Вследующем предложении ссылочная именная группа это число представлена ссылкой нату же переменную x.Четное число больше 6 есть меньше 9;что есть это число?Знак вопроса в конце последнего предложения ограничивает область действия всехкванторов в распространенном предложении.3.2.3 СловаСлова УРЯ разделяются на небольшое количество зарезервированных слов и нанеограниченное число объявленных слов.

Все зарезервированные слова записываются каки русские слова, но их значения ограничены только одним смыслом либо малым числомсмыслов, различимых синтаксисом. Имеется десять типов зарезервированных слов:1. Булевы операторы: не, и, одно из двух, или, ни одно из двух, тоже не, если, тогда.2. Кванторы: некоторый, нечто, некто, любой, всѐ, все, нет, ничто, никто.3. Специальные глаголы: есть, имеет, ―- это‖.4. Вопросы: кто, что, когда, где, какой.5.

Относительное местоимение: который.6. Соединитель списков: и.7. Специальные списки: пустой, остальные, ничего больше, никого больше.8. Маркеры аргументов: из, чем, как.9. Специальные фразы: существует; как этот; только если; тогда и только тогда;ложно, что; истинно, что.Некоторые зарезервированные слова имеют более одного смысла, но правильный смыслвсегда может быть получен из синтаксиса.Объявленные слова могут обозначать имена, существительные, глаголы, прилагательные,наречия или предлоги.

Это могут быть слова с тем же написанием, что и слова русскогоязыка, слова, составленные с помощью подчеркивания жесткий_диск, или произвольные17последовательности букв, цифр и подчеркиваний. Перед использованием слова в УРЯ егосинтаксис и отображение в отношение логики первого порядка должны быть заданыдекларацией.3.2.4 ИменаИмя — это слово, которое отсылает к некоторой сущности, называемой ссылкой.

ИменаУРЯ представляют собой строки символов, заключенных в одинарные кавычки; любаяодинарная кавычка, появляющаяся в имени, должна быть продублирована, например'O''Reilly'. Если символы, появляющиеся в имени, являются буквами, цифрами иподчеркиваниями, заключение в кавычки можно опустить.Имена можно объявить в декларации, являющейся повелительным предложением,начинающемся с глагола объявить. Эта декларация также может обозначать одноместныйпредикат, принимающий значение истины для сущности, на которую ссылается имя.Объявить 'Grand Central Terminal' как имя строения,Снежок как имя кота,Сью как имя женщины.Имена Снежок и Сью представляются кванторами существования (  Пушок:Кот) и ( Сью:Женщина). Имя, включающее специальные символы, переводится во внутреннеегенерируемое имя, начинающееся с подчеркивания и не содержащее никакихспециальных символов:(  _GrandCentralTerminal:Строение)(_GrandCentralTerminal='Grand Central Terminal')Область действия подобных имен распространяется на весь текст, в котором даннаядекларация встречается.

После того, как имя объявлено в тексте, оно может бытьиспользовано в любом последующем предложении в тексте как законченная именнаягруппа сама по себе.Имя также может быть объявлено именной группой. Следующее предложение объявляетте же три имени, что и в предыдущей декларации, а также заявляет отношение их ссылок:The woman Sue sees the cat Yojoin the building 'Grand Central Terminal'.Три имени представляются в логике первого порядка так же и с той же областьюдействия, как если б они появились в декларации. Если имена уже были объявлены, то же18суждение может быть объявлено с помощью имен без добавления существительного типаcat:Sue sees Yojo in 'Grand Central Terminal'.После того, как имя было объявлено, оно может быть использовано в любой последующейточке того же текста.

Оно может быть законченной именной группой само по себе либоможет предваряться существительным, определяющим предикат, который являетсяистиной, если отправляет к его ссылке.Понятия должны начинаться с маленькой буквы, в отличие от экземпляров классов. Изпонятий, состоящих из нескольких слов, например «жесткий диск», необходимоформировать слова с подчеркиванием: жесткий_диск.Два типа сущностей, целые числа и символьные строки, имеют специальные имена, нетребующие объявления, так как синтаксис имени единственно определяет ссылку и еетип:1. Целые числа.

Любое имя, состоящее из строки из одной или более цифр,принимается за имя целого числа. Имя типа 437 может быть использовано бездекларации, хотя расширенная форма целое_число 437 допустима.2. Символьные строки. Символьная строка, заключенная в двойные кавычкипринимается за имя как таковое; любые двойные кавычки внутри строки должныудваиваться. Как и в случае имен целых чисел, закавыченная строка типа "abc"может быть использована без декларации, но также допустимо и использованиерасширенной формы строка "abc".В добавок к именам, чья область действия простирается на весь текст, имеются временныеимена, называемые переменными, чья область действия ограничивается отдельнымпредложением или даже еще меньше. Переменной является любое имя, состоящее изодной из букв x, y, z или w, следующей за необязательной строкой цифр.

При первомпоявлении в предложении переменная должна входить как в именную группу,начинающуюся с квантора существования, так и в именную группу, начинающуюся сквантора общности. В последующие появления в предложении переменная можетпоявляться само по себе или в именных группах типа множество x.193.2.5 СуществительныеВ отличие от имени, которое ссылается на особую сущность в предметной области,существительныеподдерживаетмогутчетырессылатьсяналюбуютипа существительных:сущностьзаданноготипа.УРЯкатегориальные существительные,относительные существительные, функциональные существительные и вариативныеотносительные или функциональные существительные. Все эти существительные можнопредставить в логике первого порядка с помощью меток типа и предикатов илиотношений.1.

Категориальные существительные. Существительное типа собака или стол,которое обозначает тип, или категорию, сущности, называется категориальнымсуществительным. Оно представляется меткой типа в кванторе, например ( x:Dog), или одноместным предикатом, например Dog(x). Следующая записьобъявляет три категориальных существительных:Объявить собака как существительное,стол как существительное,гончая как существительное с отношением(собака).По умолчанию представлением для существительного является одноместныйпредикат или метка типа с тем же написанием, что и само существительное;объявлениегончаяпоказывает,какзадаетсяпредикатсотличающимсянаписанием. В результате оба существительных собака и гончая представленыодним и тем же предикатом: собака(x).2.

Относительныесуществительные.Существительноетипаребенокилислужащий имеет два назначения: как и категориальное существительное, онообозначает тип сущности, но также оно обозначает и двухместное отношение кнекой другой сущности. Когда относительное существительное представляетсядвухместным отношением, например ребенок(x,y) или служащий(x,y). С однимаргументом соответствующий одноместный предикат ребенок(x) или служащий(x)истинен в зависимости от некой сущности, называемой фокусом двухместногоотношения. Другой аргумент отношения, называемый коррелятом, может бытьфокусом другого относительного существительного, например родитель илиработодатель.

В предложении Вася есть ребенок Маши, Вася является фокусом, а20Маша — коррелятом; но они меняются ролями в предложении Маша есть родительВаси.Объявить ребенок как существительное (x1 ребенок x2),служащий как существительное (x1 служащий x2),В этой декларации выражения в скобках являются образцами, демонстрирующими,как существительное используется в предложении УРЯ. Две переменные x1 и x2показывают, что каждое существительное представлено двухместным отношением.В этом примере переменная x1 демонстрирует фокус, но в следующем примерефокусом является уже переменная x2:Объявить родитель как существительное (x2 родитель x1) с отношением(ребенок),работодателькаксуществительное(x2работодательx1)сотношением(служащий).При переключении фокуса и коррелята, те же два отношения ребенок(x1,x2) ислужащий(x1,x2)могутиспользоватьсядляопределенияотносительныхсуществительных родитель и работодатель.3.

Функциональные существительные. Существительное типа мать являетсяособым случаем относительного существительного, имеющим отдельное значениедля каждого варианта его коррелята. Поскольку ребенок имеет двух родителей, акаждый родитель имеет одного или более детей, каждый ребенок имеет ровно однумать.Следовательно,относительноесуществительноематьназываетсяфункциональным существительным, так как обозначает функцию из множествадетей в множество матерей.Объявить мать как функциональное существительное (x1 мать x2),суммакакфункциональноесуществительное(x3суммаx1иx2)сотношением("+").В первой строке мать определяется так же, как и ребенок, но с дополнительнымспецификаторомфункциональное.Вовторойстрокесуммаопределяетсятрехместным отношением, чья запись является специальным символом "+",который должен быть заключен в кавычки.

Пример показывает, что фокусфункции, также называемый результатом, — это третий аргумент отношения.214. Вариативныеотносительныесуществительные.Несмотрянато,чтобольшинство относительных и функциональных существительных в русском языкепредставляютсясуществительныедвухместнымиимеютвесотношениями,больше,чемнекоторые2,аотносительныенекоторыеназываютсявариативными из-за того, что имеют вариативный вес. Примером вариативногофункциональногосуществительногоявляетсямножество,котороеможнопредставить одноместным предикатом множество(x), чтобы показать, что x — этомножество или оно может иметь n+1 аргументов для демонстрации множества из nэлементов, состоящих из его последних n аргументов. Три точки в следующейзаписи показывают ноль или больше дополнительных аргументов:Объявить множество как функциональное существительное (x1 множество из x2 ...).Следующеепредложениеобъявляетпустое_множествовкачествеименимножества и показывает, что оно не содержит ни одного элемента:Ничто есть элемент множества пустое_множество.В переводе в логику первого порядка слово ничто представляется кванторомсуществования с отрицанием без метки типа ~(  x).

Отсутствие метки типаозначает, что квантор распространяет свою область действия на все в предметнойобласти.ИП:(  пустое_множество:Множество)~(  x)(x  пустое_множество)С тех пор, как все имена имеют глобальную область действия, декларацияпустое_множество в качестве имени обязывает поместить квантор существования вначало. Квантор существования для переменной остается для всей областидействия отрицания.3.2.6 Глаголы и прилагательныеГлаголы и прилагательные могут быть переведены двумя способами: наиболее кратко спомощью относительного представления или более полно и детализировано с помощьюролевого представления.

В относительной форме глагол, например дает, представлентрехместным предикатом или отношением, а прилагательное, например сочная,22представлен одноместным предикатом. Следующий пример демонстрирует относительноепредставление предложения, содержащего глагол и прилагательное:УРЯ:Маша дает собаке сочную кость.ИП:(  x:Собака)(  y:Кость)(Человек(Маша)  Дает(Маша,x,y)  Сочная(y))Ролевое представление, обычно используемое в лингвистике, переводит дает водноместный предикат типа метка, который связан со своими участниками двухместнымиотношениями: агент (Agnt) для дателя; тема (Thme) для подарка; и получатель (Rcpt) дляполучателя.