Лингвистические основы информатики

профессор
кафедры информационных систем
факультета филологии и искусств CПбГУ

школа, 1982
Лайонз Дж. Лингвистическая семантика: Введение. – М., 2003
Кронгауз

информационных системах. - М.: Наука, 1989
Тузов В. А. Компьютерная

лингвистике
Семантика в терминоведении и философии – проблема определения терминов.
Компьютерная семантика

M. Essai de semantique. Paris, 1897.
(а) смысловая сторона языковых выражений:
семантика

его выполнения
(операционная семантика ):
If Then Else < операторы-НЕТ>
В

раздел в традиционной лингвистике – лексикология и лексикография..
Лексикология – "раздел

составления толковых словарей сделали актуальной задачу систематизации и описания значений

NB: Ничего не возникает и не происходит "просто так". Ср. мореплавание и хронометр.

 одинаково звучащие слова, не имеюшие общих элементов смысла"
(Часто подразумевается

Примеры "настоящих" омонимов:
брак I = изъян (нем., польск.); … = defect (англ.)
ср. браконьер (фр. braconnier)
брак II = женитьба (рус. брать); … = marriage (англ.)
рейд I (гол. reed) = водное пространство у входа в порт,
удобное для якорной стоянки судов
рейд II (англ. raid) = проникновение подвижных войсковых групп
в глубь неприятельской территории
[Словарь иностранных слов]

слова, имеющие противоположные значения".
Но: ср. большой – маленький, черный –

береговой ее гранит.
Джон купил банку колы, сел на скамью и

chains of noun phrases that refer to the same object

(the)

Богумил Палек (1968):
Наши взгляды на анафору резко отличаются от общераспространенных концепций. По существу, мы считаем кросс-референцию самостоятельным языковым явлением и предметом исследования. До сих пор в лингвистических работах она обычно рассматривалась как проблема местоимений и артиклей… Отсюда возникает неоднозначность и расплывчатость в употреблении термина "анафора".

Хомский]

терминов.
Представление любой области профессиональных знаний начинается с раздела "Основные термины

обозначают употребляемые в данной профессиональной сфере обычные слова.
Совсем простой пример:
Автомобиль

Ожегов:
Значительный по размерам, по величине, силе (большой дом).
Значительный, выдающийся; обладающий в высокой степени качеством, которое заключено в значении определяемого существительного (большой поэт, большой плут, большая победа / беда).
Взрослый, подросший - о ребенке (сын уже большой).
Многочисленный (большая толпа)
Представленный в большом количестве (большая нефть).

на красный свет
Пешеходу нельзя перелететь через улицу, махая руками.

(не

(не соответствует нормам морали)

(запрещено законом – последует наказание)

(противоречит законам природы)

? Что есть 'жизнь' ?
Что есть 'взаимодействие' ?

Софисты:

языку человека (уже владеющего родным языком)
Общая направленность компьютерной (точнее, инженерной!)

= KRL) и построение систем ограниченного вывода для них. Логические

именуют на один и тот же предмет, явление?)

Примеры:
Так думал молодой

. Уникальный исторический центр может выжить лишь при условии, что

был затоплен.
(1-2а) … Крейсера повреждений не получили.
(1-2б) ? …Корабли повреждений

лексические функции Мельчука – Жолковского.)

опасной реке.

Методы обнаружения смысловой неполноты текста и заполнения смысловых лакун.
NB:

Однажды Приснился упрямому сон, Как будто Шагает по Африке он. С небес Африканское солнце печет, Река, под названием Конго, Течет. Подходит к реке Пионерский отряд. Ребята Фоме У реки говорят: — Купаться нельзя: Аллигаторов тьма. — Неправда! — Друзьям отвечает Фома. Трусы и рубашка Лежат на песке. Упрямец плывет По опасной реке. Близка Аллигатора хищная пасть. — Спасайся, несчастный, Ты можешь пропасть! Но слышен Ребятам Знакомый ответ: — Прошу не учить, Мне одиннадцать лет! Уже крокодил У Фомы за спиной. Уже крокодил Поперхнулся Фомой: Из пасти у зверя Торчит голова. До берега Ветер доносит слова: — Непра... Я не ве...— Аллигатор вздохнул И, сытый, В зеленую воду нырнул. Трусы и рубашка Лежат на песке. Никто не плывет По опасной реке. Проснулся Фома, Ничего не поймет... Трусы и рубашку Со стула берет.

Хотели как лучше, а получилось как всегда.

что-нибудь недорогое и в
масле?
Говорят поверхностное дыхание по Бутейко

- Банку сардин.

Опрос таможенников бывших республик СССР – сколько времени вам нужно для покупки БМВ?
Украинский таможенник – ну, 3 месяца, не меньше.
Белорусский –месяцев 5
Российский – не менее 5-ти лет
???

Да уж больно фирма крупная!

поддержки алгоритмов семантического анализа.

Прецедентный анализ в семантике.

"понятие" ?
Классификация понятий

в значительной мере результат развития науки и лексикографической работы лингвистов.

Объекты

и отношения предметов и явлений".
Понятие – "мысль, отражающая в обобщенной

спиртных напитков вблизи образовательных учреждений.
спиртные напитки = ? (пиво?)

Ср.:
Диверсификация производства увеличит доходы. (ДА?)
Дискретизация производства увеличит доходы. (?)
Дискредитация производства увеличит доходы. (НЕТ)

вызвать волка к телефону" [Маршак]
? Воробей посмотрел на часы,

используя это понятие; отвечать на вопросы, обнаруживать противоречия и смысловую

выделение общего, которое достигается посредством отвлечения от всех особенностей отдельных

(17 значений)
Семантический треугольник – только констатирует проблему:
знак
(материал)
значение
(мысль, понятие)
предмет
Откуда берется

предметов:
Практика как сфера формирования "значений":

ребенок: "мама", "дай", "не хочу", "пить")
Символизация звуками (молчащий до 3-х

в русском языке: выпить, поддать, принять, наклюкаться, дербануть, сообразить, закладывать, квасить, …(>50)

грамматической системы:
структура деятельности приобретает разнообразие; становятся
значимы связи между

грамматику как инструмент).
Ср. кентавр, люди с собачьими головами, …
четвертое измерение
Далее

наблюдений"),
а от общего к единичному (конкретизация и индивидуализация различаемых в

оценочный компоненты

выражено словосочетанием
(обычно – именным словосочетанием)
профессиональные понятия формируются в сфере

русский: утопленный (ср. вдавленный)

2-х и более словный термин /
устойчивое словосочетание, фразеологизм

эквивалент слов (в том числе служебных).
Сложные предлоги: при помощи; в

бы одно из слов словосочетания имеет весьма общее значение.
Взрывчатое вещество
Трансурановые

или употреблено в переносном (метафорическом) значении, получая однозначное толкование только

Ферма
Море Лаптевых
Градусов Цельсия
Декартовы координаты

А4. Термины, для которых затруднительно однозначно определить

измерения.
Срок службы
Срок годности
Срок гарантии
Продолжительность жизни
Угловая скорость
Абонентская плата

А7. Наименование класса объектов,

(в контексте данной предметной области однозначен, а синтаксическая связь между

охлаждения, Прозрачность материала, Толщина пленки.
Б3. Объект/процесс - его характеристика

используемое для принятия решения):
автомобильный аккумулятор
логический элемент
палубная авиация
сила Лоренца
коэффициент полезного действия
лопасти

функциональные термы.
2.2. Основные семантические категории.

свойствах, отношениях, процессах.
Общее название, которое для них подходит – имена.

ВСЕГДА, ИНОГДА;
Количественные термы и термы количественных отношений: один, два, три,

понятийную классификацию":
существительные – "предметы";
(качественные) прилагательные – "свойства";
глаголы – "процессы и

считать несущественными с точки зрения семантики и, соответственно, слова, относимые

белеет, находится … vs нагрев, плавление, прибытие …
Тест – результат

нагреватель, термометр;
вес  легкий, тяжелый; облегчить; весы, взвешивать;
стоимость, цена 

фамилия, профессия ученое звание, марка, …
Имена объектов (значения признаков и

имена с предметным значением

Прилагательные -
Качественные обычно значения объектных или

или определения
Наименования признаков:
1.1. Качественный (классификационный)
(цвет, агрегатное состояние)
1.2. Бинарный

Семантич. разборка лексики

– это процесс ?? объект??
Следует исходить из того, что семантические

цвет

между словами (терминами), но могут и не иметь грамматического выражения

Теоретических оснований для выбора именно такого списка отношений указать, видимо, нельзя. Основания чисто эмпирические – они фактически представляют тот набор, который возникает при попытках определить содержание синтаксических связей (в языках, в которых они присутствуют в явном виде) и классифицировать таковые. Именно так мы ответим на вопрос, почему из логических связок в этот список входит только конъюнкция (кореференция), а дизъюнкция и импликация не входят.[1] Ответ будет прост: потому, что такие интерпретации реально не встречаются в языке. А на вопрос о причинах, по которым сам язык делает именно такой выбор в отношении синтаксического – а, следовательно, более экономного, чем лексическое, представления логических связок, такой выбор синтаксически выражаемых ролевых указателей (субъект действия, объект действия/процесса, инструмент действия, начальный и конечный объект и т.п.) можно дать, видимо, единственно возможный ответ: в силу высокой частотности использования именно этих смысловых элементов и присущего языку стремления к экономии выразительных средств. То же стремление к экономии выразительных средств объяснит то, почему одни лексические отношения (иметь частью, быть предназначенным, и т.п.) в языке часто свертываются до синтаксической связи, тогда как другие – нет. И в том и в другом случае такие сокращения возникают тогда, когда у отправителя сообщения есть уверенность, что получатель способен однозначно восстановить "свернутый" в синтаксическую связь смысл – достаточно (грамматическими средствами) выразить сам факт наличия связи: голова Ивана, копал лопатой, крыша дома, чайная чашка, построено братом и т. п. [1]

отношения)
предъявляют определенные требования к контексту (как правило, требования к

ролей должен устанавливаться исходя из принципа минимальной достаточности выразительных возможностей

физическое действие предполагает предмет, на который направлено действие (например, обработка

пункт и конечный пункт движения, изменения. (Ехать, лететь, идти, наливать

сверлит, ремонтирует, изобретает,...). То же для психических процессов и состояний.

предполагает указание средств и методов исполнения: рисовал кистью; сверлил на

то, что не является специфичным для конкретного термина или группы

указателей:
SUB1 (Agent) – первый (активный) субъект действия;
SUB2 (Experiencer) – второй

списком:

Agent
Experiencer
Source
Goal
Theme
Instrument

and summarizing various systems of case relations or thematic roles,

категории Объект, либо между таким термином и объектным признаком с

числе с изменением направления синтаксической связи:
синий шар = (-)
шаровая молния = *молниевый

интерпретацию; словосочетание может быть трансформировано в синонимичную трехчленную конструкцию, в

избыточностью:
произвел выстрел ~ выстрелил;
осуществил расчет ~ рассчитал;
процесс

?
огромный мегаполис;
очень выдающийся;
быстро мчавшийся;
планета Земля
масло масляное; металлическая медь;

весом - 2 [т]
число – единица измерения; число – имя

интерпретации синтаксической связи:
Книга [R1] издательства R1 = выпущенная
Книга [R2]

некоторой совокупности предметов, явлений. Эту совокупность (множество) называют объем понятия.
Объем

сосна, книга, война, …
Даже для, казалось бы, собственных имен –

может быть бунтовщиком?

В. И. Ленин – ходатаям:
Химия и контрреволюция не

И

A

B

A B

гипонимия
несовместимость ~ антонимия (??)
антонимия – частное отношение: для большинства понятий

рабочий – студент;
пожар – стихийное бедствие – явление природы;
планета –

именуют разные предметы / явления, но можно указать отношение, которое


стул, сидеть

руководить

иметь частью

иметь местом (локализация)

быть предназначенным для

подчиняться

вращать, завинчивать, отвинчивать, …

 [ измеряет ] сила тока
единица измерения нестандартная – стандартная:

языки Слайд 81
Представление знаний в языках логического типа
Слайд 103
Специализированные

Языки представления знаний – основной инструмент инженерии знаний (knowledge engineering).
Knowledge engineering is the application of logic and ontology to the task of building computable models of some domain for some purpose.
John F. Sowa

1.2.      Типы знаний.
1.3.      Виды ЯПЗ.
1.4.  Простой пример: язык реляционных СУБД.

качестве ЯПЗ?
В информационных технологиях нужны точные правила

описания и представления ментальных процедур характеризуется тенденцией описания в агглютинативном

пространства «Старый Свет», детерминированных влиянием нигеро-конголезской языковой культуры, предпосылками к

выражений;
точно определенные правила смысловых преобразований языковых выражений (правила логического вывода);
правила

Факты и законы.

явлений и познавательных процедур:
медь электропроводна;
независимость объекта от знания о нем.
Мир

"что?" vs "как?" ):
Солнце вращается вокруг Земли
vs
Чтобы

электропроводна
Факт – знание об индивидуальных объектах и явлениях:
(Здесь и сейчас;

табличного типа
Семантические сети
Фреймовые языки
Продукционные языки
ЯПЗ сетевых

собой одну или несколько совокупностей однотипных объектов, характеризуемых одним и

(Хранится и обрабатывается только значение!)
Высказывание: запись (строка

совпадению значения поля
- семантика отношения явно не выражена
Связывание через вспомогательную

объектов (только через поле Дата-Время)
Невозможно отражать содержание нарративных текстов:
Жил-был поп,

Другие виды "нетабличной" информации:
медицинская карта;
законодательство;
протокол обследования места преступления;
реклама.

Рассел Б. 1910-13]
Whitehead A. N., Russel B. Principia Mathematica.

"Логика не изучает мышление, она упорядочивает и нормализует его. Она имеет дело не с процессом открытия, а с формой изложения полученного результата с тем, чтобы убедить других в его правильности, а себя в отсутствии самообмана (заметьте аналогию с отладкой программы!). Кант сказал ещё точнее и жестче: «Логика является цензурой мысли»."
(Н.Н.Непейвода)

от прозы к стихам. Настоящие стихи проверяются прежде всего по

Доказательное логическое рассуждение относится к обычному в некотором отношении так же, как стихи относятся к прозе. Но стихи часто ценятся за неоднозначность, а доказательство — лишь за однозначность."

семантическую. Чтобы конструкция была доказательством в конкретной системе (в этом

из простых высказываний можно построить сложное высказывание; какие логические выводы

X & Y
(б) X  Y
(в) X
(г)

Ничто другое, построенное из высказываний и логических связок, не является высказыванием.

Y)
Если дважды два четыре, то Луна сделана из зеленого сыра
(

Примеры применения правил построения:
   A
A &  ( B  C )
  ( A  ) ( ?Неверно, что или если 12 делится на 2, то)

Ср.: Если в Москве невысокое ограждение, отделяющее тротуар от проезжей части, называется бордюр,
то в Петербурге – поребрик.
NB: Нет в толковом словаре Ожегова (1991 ) и грамматическом словаре Зализняка (1977), но есть в орфографическом словаре!

|— Y & X

К (1а) – ср.:
1) Мэри вышла замуж "И" родила ребенка. 2) Мэри родила ребенка "И" вышла замуж.

Y (modus ponens)
Если дважды два четыре (X ),
то

Y
Y приятно
-----------------
Следовательно, X истинно

истинность высказываний
X, X & Y, X  Y, X 

высказываний.
 Ель растет перед дворцом, а под ней хрустальный дом.
В озеро

движения, пока и поскольку оно не понуждается приложенными силами изменить

B
A – Ель растет перед дворцом.
B – Под елью находится

формул.
 
X ® ( Y & Z )
X ® ( Y

с логической точки зрения свойство и отношение?
Как из терминов можно

одноместный предикат,
x, a -индивидная переменная и индивидная константа, то:
P(1)

… , an -индивидные константы,
x1 , x2 , … ,

, … , xn ), B(y1 , y2 , …

с одной свободной
переменной,
то:
x P ( x ), 

предикатные константы, индивидные переменные и кванторы.
Пушкин – поэт
P( a )


( …a… )
– если для всех, то и для каждого…

|— y  x R ( x, y )

( x )
Встречаются белые слоны.
 x ( P1 ( x

Все металлы электропроводны.

x ( P1 ( x )  P2( x ) )
- формальная импликация

Все [числа] делятся друг на друга.

x y D ( x, y )

Существует, по крайней мере, одна пара [чисел], таких, что первое делится на второе.

 x  y D ( x, y )

Каждый автомобиль (P1 ) имеет [частью] (R ) двигатель (P2 ) .

x ( P1 ( x )   y ( P2( y ) & R ( x, y ) ) )

родства. Какая Марья без Ивана?)
"Настоящие имена", используемые в учебниках логики:

высказываний.
" x $ y ( ù P ( x )

(границы терминов указаны скобками).
Пример:
(Предисловие) (предшествует) (основному тексту), (содержит) (общую

делится на 6.
(Ель) (растет перед) (дворцом), а (под) ней (хрустальный)

нет в общей логике предикатов?
3.2. Представление признаков.
3.3. Представление отношений.
3.4. Логическая

?жидкая пирамида ?идеи спят ?медь смертна ?металлическая медь
Ролевые указатели:
СООБЩИЛ (

микрон
(принтер) HP DeskJet-694C;
(завод) "Красный треугольник",
(шар) красного цвета

того, каким способом устанавливаются значения данного признака для определенного объекта.

быть получен в результате тестирования:
отнесение объекта к одному из

x ) & МОЩНОСТЬ ( х, v ) & v

(Для числовых признаков подразумевается указание числовых значений, соответствующих стандартным единицам измерения: для мощности – ватты, для линейных размеров – метры, и т. д.)

ПРИНТЕР ( x ) & МАРКА ( х, v ) & v = “HP LaserJet 3050”
ЗАВОД ( x ) & ИМЯ ( х, v ) & v = “КРАСНЫЙ ТРЕУГОЛЬНИК”
ШАР ( x ) & ЦВЕТ ( х, v ) & v = КРАСНЫЙ

В предпоследнем примере значением может быть любая текстовая строка; в последнем примере – значение из конечного списка (КРАСНЫЙ, ОРАНЖЕВЫЙ, ЖЕЛТЫЙ, …) – строка или ее порядковый номер.

место переменной значения:
МОЩНОСТЬ ( х, 75 )
МАРКА ( х,

),
где P – наименование признака,
V - множество допустимых значений.
В

вес, малая толщина, высокочастотный, громадное расстояние, …
Ср. также: потрясающая доброта,

) & БВ (v)
В логическом языке можно квалифицировать такие оценки

признаков.)
температура  горячий,холодный; нагрев, охлаждение;
нагреватель, термометр
Слайд 28
x горячий 

( х, v ) & ШАР ( х )
В общем

(постулата) вида:
(А1) xv1v2 ( Р ( х, v1 ) &

х, v1 ) & q1( v1) & q2( v2 )

к каким нет, может выявляться, например, обнаружением некорректности вопроса о

постулатами осмысленности признака, имеющими вид:
(А2)  x (

( v АГРЕГАТНОЕ_СОСТОЯНИЕ ( х, v ) 

x (

ЖИВОЕ_СУЩЕСТВО ( х ) )

МАКРОТЕЛО ( х ) )

РАБОТАЮЩИЙ_ПО_НАЙМУ ( х ) )

ТВЕРДЫЙ ( х ) )

ЮРИДИЧЕСКОЕ_ЛИЦО ( х ) )

) 
ТВЕРДЫЙ ( х ) )
(б)  x (

содержит цинк(OB2)
НАХОДИТЬСЯ_МЕЖДУ ( OB1: x, OB2: y, OB: z )
Земля(OB)

Слайд 43

Слайд 131
ОТНОШЕНИЕ_ВЛЮБЛЕННОСТИ (SUB1 /кто?/: x, [

( OB1: x, OB2: y, OB: z, v)
Земля(OB) находится между

y, v ) 

xy z ( v КУПИТЬ (SUB1:

ОБЛАДАНИЕ_СОЗНАНИЕМ ( x, ДА ) & БЫТЬ_ТЕКСТОМ ( y ) )

СОЦИАЛЬНЫЙ СУБЪЕКТ ( x) &
СОЦИАЛЬНЫЙ СУБЪЕКТ ( y) &
БЫТЬ_ТОВАРОМ ( z ) )

не лыс.
Неверно, что нынешний король Франции лыс.
Презумпция существования описываемого объекта:
Сейчас

Внешнее отрицание как отрицание применимости признака:
(а) Кристалл прозрачен. Кристалл непрозрачен.
Неверно,что кристалл прозрачен.
(б) ?Завод прозрачен. ?Завод непрозрачен.
Неверно, что завод прозрачен.
 x  v ( ЗАВОД ( x ) & ПРОЗРАЧНОСТЬ ( х, v ) & ( v  = ДА ) )
x  v ( ЗАВОД ( x ) & ПРОЗРАЧНОСТЬ ( х, v ) ) Нет в речи!
~ (  x v ( ЗАВОД ( x ) & ПРОЗРАЧНОСТЬ ( х, v ) & ( v = ДА ) ) )

стол; ?самый человечный человек; ?весьма превосходный; ?совершенно замечательный; ?большой великан…

Ср. А. А. Зиновьев:
Ибанск есть никем не населенныый населенный пункт, которого нет в действительности. А если бы он даже случайно был, он был бы чистым вымыслом. Во всяком случае, если он где-то возможен, то только не у нас, в Ибанске.

В. С. Черномырдин:
Отродясь такого не было, и вот опять то же самое.

 ( A  )
Человек, который был четвергом. (Г.

языка, которые:
a) содержат лишние элементы;
b) не несут никакой информации.
Случаи

) назовем однородным, если его условия осмысленности по местам x

а2) Отношение R ( …, xi ,…, xk ,…, ) назовем однородным, по паре мест xi ,…, xk , если его условия осмысленности для этих мест совпадают:
находиться между (OB1, OB2; OB1, OB3; OB2, OB3;),
сообщать (SUB1, SUB2),
наказывать (SUB1, SUB2),
прибывать(OB1, OB2),
соединять(OB1, OB2)

назовем рефлексивным, если выполнено условие:
" x R ( x

назовем симметричным, если выполнено условие:
" x" y ( R

назовем транзитивным, если выполнено условие:
" x" y ( (

определения. Например:
Однородное отношение R ( x1 , x2 ,

отношением типа равенства, если оно рефлексивно, симметрично и транзитивно.

Однородное бинарное

договор

– это описание свойств индивидуальных объектов, отношений между ними и

кристалле не превышает 0,01%.
Бологое находится между Санкт-Петербургом и Москвой на

объем
T - температура
R - коэффициент (газовая постоянная).
P * V =

Более точная формулировка –
уравнение газового состояния (для идеального газа):

Если x – газ и давление газа vP , объем газа vV,
температура газа vT , то vP = R * ( vT / vV )

& ОБЪЕМ ( x , vV ) & ТЕМПЕРАТУРА (

Концептуальная интерпретация символов физических величин 
Математическая зависимость между величинами

задать объемные отношения между понятиями и описать другие аспекты сочетаемости

Типовые логические схемы, используемые в определениях.
Конъюнктивная (связка И):
T( х )  A ( х ) & B ( х )
ЛЕД (x)  ВОДА (x) & КРИСТАЛЛ (x)
Сикейрос – мексиканский живописец и общественный деятель.

 B ( х )
ИМЕННАЯ_ЛЕКСИКА 
СУЩЕСТВИТЕЛЬНЫЕ ( х )

Определение через отношение:
T( х )  A ( х ) &  y ( B ( y ) & R( x, y ) )
Теплоход –
судно, приводимое в движение двигателем внутреннего сгорания
ТЕПЛОХОД (x)  СУДНО (x) &
 y ( ДВИГАТЕЛЬ_ВНУТРЕННЕГО_СГОРАНИЯ ( y ) &
ПРИВОДИТСЯ_В_ДВИЖЕНИЕ ( OB: x, INS: y ) )
Определения 1) и 3) в традиционных учебниках логики часто именовались определением через род и видовое отличие.

и количественные ограничители:
Автобус - многоместный (больше 8 мест) пассажирский
автомобиль

вычислять объемные отношения между ними.
Ср. теплоход, атомоход и танкер:
танкер 

машины.
Неправильно:
РОТОР ( x )  ВРАЩАЕТСЯ ( x ) &

Правильно:
Ротор –часть машины, которая вращается, когда машина
функционирует.

РОТОР ( x )   y( БЫТЬ_ЧАСТЬЮ ( x, y ) & МАШИНА ( y ) &
( ФУНКЦИОНИРУЕТ ( y )  ВРАЩАЕТСЯ ( x ) )

)  ПРИБОР ( x ) & ТЕМПЕРАТУРА( y )

Правильно:
ТЕРМОМЕТР ( x )  ПРИБОР ( x ) &
( ФУНКЦИОНИРУЕТ ( x )   y( ТЕМПЕРАТУРА( y, v ) &
ИЗМЕРЯЕТ ( INS: x, OB: v ) ) )
Т. е.:
Термометр – прибор, который, будучи использован по назначению,
измеряет величину температуры.

газов из сосудов.

ВАКУУМНЫЙ_НАСОС ( x ) 
ТЕХНИЧЕСКОЕ_УСТРОЙСТВО( x )

само на себя и на единицу.
Неправильно:
ПРОСТОЕ_ЧИСЛО ( x ) 

Правильно:
ПРОСТОЕ_ЧИСЛО ( x )  НАТУРАЛЬНОЕ_ЧИСЛО ( x ) &
 y ( ДЕЛИТСЯ ( x, y )  ( y = x  y = 1 )

терминов указаны скобками).
Фарфор – плотный керамический материал белого цвета.
Алюминий

термины, а терминосистемы, представляющие определенную предметную область.
Логическая реконструкция должна

вычленение из них базовых признаков и других информационно значимых элементов.

возлагается на составителей словарей. В сомнительных и неясных случаях инженер

один из которых (моторный) приводится в движение тяговым электродвигателем мощностью

питания, высота контактного провода, и т. п. с точки зрения

признаков (противопоставлений):
по среде перемещения:
наземный – водный – воздушный;

двух целей:
а) Логическая полнота набора значений для каждого из вводимых

противопоставление – скажем, есть термины электрический двигатель, реактивный двигатель, двигатель

определений:
автомобиль - транспортное средство на колесном ходу с собственным двигателем

[по умолчанию - пассажирский];
ТРОЛЛЕЙБУС (x)  НЕРЕЛЬСОВОЕ_ТРАНСПОРТНОЕ_СРЕДСТВО (x) & БЕЗ_АВТОНОМНОГО_ИСТОЧНИКА_ЭНЕРГИИ

дирижабль - аэростат, приводимый в движение двигателем
ДИРИЖАБЛЬ (x)  АЭРОСТАТ (x) &
С_АВТОНОМНЫМ_ИСТОЧНИКОМ_ЭНЕРГИИ (x)

а также для военных целей;
баржа  несамоходное грузовое судно;
танкер 

&
С_АВТОНОМНЫМ_ИСТОЧНИКОМ_ЭНЕРГИИ &
НАЛИВНОЙ_ТРАНСПОРТ

  шлюпка 
ТРАНСПОРТНОЕ_СРЕДСТВО_ВОДНОЕ[Т2.2] ( x ) & МАЛОЕ[Т17.2]

могут (и должны) фиксироваться импликативные и ассоциативные связи не только

и продукционные языки
4.3. ЯПЗ в сетевых технологиях

граф с именованными дугами.
Используются словарные и фактографические семантические сети.
Словарная сеть

Ср. Мюллер:
narrative – 1) рассказ, повествование; 2) изложение фактов.
На

к объектам
предметной области;
статические отношения.
в некоторых нотациях - значения числовых,

событие, отношение;
некоторые предметные отношения между объектами, которые, как правило, систематически

жили в ветхой землянке ровно тридцать лет и три года.

фразы
Старик ловил неводом рыбу, старуха пряла свою пряжу:
$ x$

таблицы) указанный фрагмент текста (только выделенные курсивом фрагменты).
Милиционеры расстреляли трактор.
Это

(зависимостей между свойствами, событиями, процессами).
Основной единицей продукционного языка является утверждение

быть решены известными в математике вычислительными методами, требуют учета неколичественных

данных с целью определения их смысла. (Данные могут быть зашумленными

реализации рекомендаций
Обучение: Диагностика, отладка и исправление поведения ученика
Управление: Интерпретация, прогноз,

- это схема описания типовой ситуации (или класса объектов), содержащая

дата заключения:
кто засвидетельствовал:
…
Ф2: Юридическое лицо:
наименование:

передача, наем на работу, …>
…

KIF: Knowledge Interchange Format.
KIF is a language designed for

base and inference engine developed by Cycorp.
The goal of

низким уровнем их взаимосвязи. Он развивается очень быстрыми темпами, но

Web - это расширение Web, в котором информации придается определенная

information about resources in the World Wide Web.

RDF can

RDF используется как средство самоописания: конструкции

RDF Primer - учебное пособие по RDF
This Primer is designed to provide the reader with the basic knowledge required to effectively use RDF. It introduces the basic concepts of RDF and describes its XML syntax

an abstract syntax on which RDF is based, and which

how to use RDF to describe RDF vocabularies.

RDF Test

RDF Model       2.3 Structured Property Values and Blank Nodes       2.4 Typed Literals       2.5

Interpreting RDF Schema Declarations       5.4 Other Schema Information       5.5 Richer Schema Languages   6.

совокупность свойств, называемых RDF-описанием. Каждое из этих свойств имеет тип

описания (subject).
P – имя свойства, описывающего объект (predicate).
O - значение

An RDF triple contains three components:
the subject, which is an RDF URI reference or a blank node
the predicate, which is an RDF URI reference
the object, which is an RDF URI reference, a literal or a blank node
An RDF triple is conventionally written in the order subject, predicate, object.
The predicate is also known as the property of the triple.

февраля 2004
Это утверждение структурируется следующим образом:
Субъект -
документ, который зарегистрирован

2004"
Существует развернутый и сокращенный RDF-синтаксис.
Сокращенный синтаксис использует короткие префиксы

Eric Miller, whose email address is em@w3.org, and whose