В.Н. Пильщиков - Язык Плэнер, страница 42

Например, для ответа на вопрос «х — муж р?» в базе данных отыскиваются утверждения о том, что з — супруг у п что х— мужчина. 'Такой поиск осуществляетсн следу>ащеа целевой теоремой (вопросы, как н факты, также преобразуются системой к префнксному виду): [ВЕР1ХЕ МУЖ? (СОНБЕО (Х «") (1ИУЖ «Х «У) [ЯЕАКСН (СУПРУГ .Х .У)] [ЯЕАКСН (МУЖ'1ИНА .ХЦЦ Аналогично определнются целевые теоремы для понятна «л«ена>, «отец>, «мать», «сын» н «дочьм [Пер!не женА? (ОО?чЯКО (х У) (женА ех «У) [ЯЕАКСН (СУПРУГ .Х .>'Ц [БЕАКСН (ЖЕНЩИНА .ХЦЦ [1)ЕР17)Е ОТЕЦ? (СО?(ЯЕО (Х У) (ОТЕЦ»Х»У) [ЯЕАВСН (РОДИТЕЛЬ .Х .УЦ [ЯЕАВСН (МУЖЧИНА .Х)])] [ОЕР1НЕ МАТЬ? (СО?1ЯЕО (Х У) (МАТЬ «Х «У) [ЯЕАВСН (РОДИТЕЛЬ .Х .У)] [ЯЕАВСН (ЖЕНЩИНА .Х)]Ц' [ПЕР1г)Е СЫН? (СОНЯЕ1] (Х У) (СЫН «Х «У) [ЯЕАВСН (РОДИТЕЛЬ У .Х)] [ЯЕАВСН (МУЖЧИНА .ХЦЦ [ПЕР1НЕ ДОь1Ь? (СОНЯЕО (Х У) (ДОт(Ь «Х «У) [ЯЕАВСН (РОДИТЕЛЬ .У .Х)] [ЯЕАВСН (ЖЕНЩИНА .ХЦ Ц Примерно так же описываются и теоремы, отвечающие иа вопросы о других родствевлых отношениях.

Приведем лишь определение теорем, относящихся к поватиям «брат», «дядя» и «левестка»: [ОЕР1НЕ БРАТ? (СОНЯЕО (Х У Х) (БРАТ «Х»У) [ЯЕАВСН (РОДИТЕЛЬ «Е .УЦ [ЯЕАВСН (РОДИТЕЛЬ .Е .Х)] [ЯЕАВСН (МУЖЧИНА .Х)]Ц . [ОЕР1НЕ ДЯДЯ? (СОНЯЕО (Х У Е) (ДЯДЯ »Х »У) [ЯЕАВСН (РОДИТЕЛЬ »Е .УЦ [АСН1ЕУЕ (БРАТ .Х .ЕЦЦ [ОЕР1НЕ НЕВЕСТКА1? (СО?)ЯЕО (Х У Е) (НЕВЕСТКА»Х «У) [АСН1ЕЧЕ (ЖЕНА .Х «Х)] [АСН1ЕУЕ (СЫН .Е .УЦ [ЯЕАВСН (ЖЕНЩИНА УЦЦ [ПЕР)НЕ НЕВЕСТКА2? (СОНЯЕО (Х У Е) (НЕВЕСТКА «Х»У) [АСН1ЕУЕ (ЖЕНА .Х»Е)] [АСН1ЕУЕ (БРАТ .Е .УЦ Ц [БЕР1НЕ НЕВЕСТКАЗ7 (СО?(ЯЕО (Х У Е %') (НЕВЕСТКА «Х «У) [АСН1ЕУЕ (ЖЕНА .Х «Е)] [АСН1ЕУЕ (БРАТ .Е»%Ц [АСН1ЕУЕ (МУЗЕ .ьт .УЦ Ц Для отношения «в — невестка у-а» иы определили три теоремы — по одной па каждый возможный вариант данного отяошения: невестка — вто жена сьгиа (если у — женщина), либо жеиа брата, либо жена брата мужа.

Теперь приведем определение основной фуикцви нашей вопросно-ответной системы, которая обеспечивает прием предложений ййа пользователя, их анализ и преобразование к префнксному виду, организует вызов записывающих и целевых теорем и выдает ответы пользователю в виде, удобном для восприятия (считаем, что функции ввода-вывода работают с терминалом): [ПЕР!НЕ РОДНЯ (ЬАМВОА () [РВОС (Т Х У Р Ь) А [ЯЕТ Т [ВЕА11]] [РЕВМ [СОКО ([ЕО .Т КОНЕЦ] [ВЕТ()ВК ()]) ([1Я («Х — «Р «У) .Т] [ЯЕТ У [ПАДЕЖ Л]] [1Р ([СОА1 (.Р .Х .ЧЦ [МРВ1КР Я ЗНАЮ]) (Т [РВА% (.Р .Х Л) (ТВУЦ [РВ1КТ ПОНЯТНО]Ц) ([1Я (В КАКОМ РОДСТВЕ «Х И «У 7) .Т] [!Р, ([АСН1ЕЧЕ («Р .Х .У)] [РВ)КТ (.Х вЂ” .Р [ПАДЕЖ Х]Ц) ([АСН1ЕЧЕ («Р .У .Х)] [РВР7Т (.У вЂ” .Р [ПАДЕЖ .Х] Ц) (Т [МРВ1КТ НЕ ЗНАЮ]Ц) ([1Я (КТО «Р «У 7) .Т] [ЯЕТ У [ПАДЕЖ .У]] [ЯЕТ 1 [Р1НП А11 (Х) .Х [СОАЬ (.Р «Х .УЦ]] [СОКО (.Ь [МРВ)УТ !.Ь]) (Т [МРВ1КТ НЕ ЗНАЮ]Ц) (Т [РВ1НТ НЕПОНЯТНО])]] [СО А]]Ц ЛИТЕРАТУРА $.

Лавров С. С., Сил агадзе Г. С. Автоматическая обработка данных. Язык лисп и его реализация.— Мл Наука, 1978. 2. Маурер У. Введение в программирование ка языке лисп.— Мл Мир, 1976. 3. Нем)$$ С. РЬАХХЕК: А ЬапбпаБе 1ог Машро1аИпб Мойе!з апй Ргоч)пд ТЬеогешз Ьв а КоЬо!.

Мешо 68.— А1 $вЬ., М1Т, СашЬг)йбе, Мазе., 197$. 4. Нем!!С С. ВезсПР$1оп апй ТЬеогеь!са1 Апа1уз!з (Оз!пд БсЬеша$а) о$ РЬАХХЕК: А 1апбсаде $ог Ргочшд ТЬеогешз апй Машро!а$шд Мойе1з ш а КоЬо!. ТК вЂ” 258.— А1 1.аЬ., М1Т, СашЬ- г)йБе, Мазе., 1972. 5. Ясззшап О., МсОегшо$! О. %Ьу Сопшч1пд 1з Ве$$ег $Ьап Р!апп!п8. Мешо 255.— А1 ЬаЬ., М!Т, СашЬг)ЙЯе, Мазе., $972.

6. ОегЬзеп У. А. С. ОА-4: А ЬапБпабе 1ог АгбИ1с1а1 1пзе1НБепсе.— Ягап1огй КезеагсЬ 1пзН$сте, Меп1о РагЬ, Са!И., 1973, 7. $$г ! ! Ь е г В. М. ТЬе ОЫБР Ке$егепсе Мапиа1. ТесЬ. Хо!с М8.— А1 Сепгег, БК1, Мегйо РагЬ, СаН$., 1976.

8. В оЬго1ч О. О., $$'!в обгай Т. Ап Очаге!еи о1 ЕК$е а Кпочг!ей9е Кергезептаь!оп Ьап8паБе.— СобшНче Яс1епсе, ч. 1, гб 1, 1977, р. 3 — 46. 9. КоЬегсе К. В., Оо1йзсе$п 1. Р. ТЬе ИП Рг!шег. Машо 408.— А! 1аЬ., М1Т, СашЬг!йяе, Мазе., $977. 10. Бр я брик В. М. Ф-яаык — формализм для представлепия акакий в иктеллектуальпой диалоговой системе.— В кнл Прикладная информатика, выл. 1.

Мл Финансы и статистика, 1981, с. 73 — 103. 11. \Чагг еп О. Н. В., Р е ге!га Ь. М. РКОЬОО: ТЬе Ьапяпаяе апй Из 1шр!ешепьа$1оп Сошрагей иИЬ Е1ЯР.— Я!ОРЬАХ Хо$1- сез, ч. $2, М 8, 1977, р. $09 — Ыб. 12: Я пззшап 6„!ч $подгай Т., СЬагп$аЬ Е. М1СКОР!.АХХЕК Ке$егепсе Маиса!. Мешо 203.— А1 ЬаЬ., М1Т, СашЬ- г$69е, Мазе., 1971. 13. Виноград Т. Программа, понимающая естественный язык.— Мл Мпр, 1976. 14. Пач1ез П.

Л М. РОРЬЕК $.5 Ке$егепсе Мюша1.— Оп!чего!- !у о! Ей!пЬсгд, Ясоь)апй, $973. 15. П и л ь щ и к о в В. Н. Язык ирограммировапия ПЛЭНЕРБЭСМ.— Мл Изд-зо Моск. уи-та, 1978. 16. Пп л ь щ и ко з В. Н. Система программпроваиия ПЛЭНЕРБЭСМ.— Мл Изд-во Моск.

уи-та, 1982. $7. Ф ай к с Р., Нильсон Н. Система ЯТК1РБ — новый подход к применению методов докааательства теорем при решении задач.— В кис Интегральные роботы. Мс Мир, 1973, с. 382 — 403. 20$ ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ Алфавит 9 Альтернатива ИЗ, 416, 120, 135 Аргумент сопоставителя 92, 93, 95, 105 — функции 15, 17 — 19, 45 — 48 Атом 9 — И, 13, 29, 76, 95 Атомарное выражение 9, И, 13, 29, 67, 96 База данных 143 — 146, 155, 156 Блок (блочная функция) ЗЗ вЂ” 38, 133, 138 —, описание локальных первмениых 34 —, тело 34 Буква 9 Ввод-вывод 56 — 62, 128, 155, 156 Воавват по неуспеху ИЗ, И4, Иб, 126, 127, 141 Вызов по образцу 157, 158, 161, 164 — 170, 177, 178, 180 Выаывающий образец 157, 158, 164, 170, 178, 180, 192 Выражение 9, 13 — верхнего уровня программы 49, 62, 135, 136, 140 Выход из процедур 36, 62, 63, 103, 104, 163, 134 Вычисление неуспешное И8, И9, 140 — усйешиое И8, 140 Дедуктивный механиам 159, 161 Десегментации правило 80, 81 Динамическая идентификация переменных 52 Идентификатор 9 — И, 17, 28, 64, 65, 67, 68, 95 Индикатор см.

Свойство, наававие 202 «Истина> 28, 31 Клауса 33, 101, 137 Константа И, 55, 56, 129 †, значение 55, 56, 128, 129 —, имя 55, 56 «Ложьз 28, 121 Метка 34 —.36, 38, 52 Неудача сопоставления 75 Неуспех ИЗ вЂ 1, 126, 127, 134, 135, 141, 151, 152, 154, 155, 168, 178, 181, 182 †, распространение 127 —, сообщение И9 — 121, 134, 135, 138, 151, 152, 154, 155, 168, 178, 181, 182 Образец 75, 76, 92 — простой 76 — 80, 84 — 86 — сегментный 76, 80 — 86, 101, 140, 141 Т-образец 163, 170 Обратный оператор 126 †1, 141, 142, 147, 150, 155, 175, 182 Обращение (простое, сегментное) к константе 11, 14 — 16, 30, 55, 76, 77, 81, 84, 85, 92, 95, 96 — к переменной 9 — И, 13, 14, 29, 30, 76, 95, 96 — к сопоставителю 76, 85, 92, 97 — к функции 14 — 19, 45, 46, 76, 77, 81, 84, 85 Ограничение на значение первменной 172 †1 Ограничитель 9 Оператор 34 — '.

выхода 36, 37 Оператор перехода 35 — 37 — присваивания 34, 35, 37 — составной 36, 37 — условный 37 Описание локальных переменных 34, 40, 41, 100, 133, 138, .163 Отмена действий (при неуспехе) ИЗ, И4, 125 — 134, 141, 142, 144, 147, 150, 155,-167, 182 Ошибок перехват 63, 64 Параметр сопоставптеля' 105 — функции 45 — 47 — цикла 40 — 42, 128 Переменная 10, И, 52 — 56 — глобальная, см.

Константа — локальная И, 34 — 36, 39 — 42, 46, 52 — 54, 56, 100, 105, 167 — —, значение 10, И, 34, 35, 39 — 41, 45, 46, 52, 53, 77, 78, 80, 82, 128 — '130, 141, 142, 167, 171 †1 — —,имя10, И,34,39,52,54, 56 :-переменная, см. Обращение к константе ;переменная И, 13, 16, 30, 77, 80, 92, 95, 174 — 176 «-переменная И, 30, 77, 95, 98, 171 †1 й-переменная, см. Обращение к константе );переменная И, 14, 30, 81 — 85, 96 ) «-переменная И, 30, 82 — 85, 96, 98 Поиск по образцу 144, 146, 150— 154, 177 Предикат 28 — 31 — арифметическив 31 Префикс И, 69, 70 Пробел 9, 12 Программа 49, 50, 61, 62, 140 Процедура см.

Теорема, Сопоставитель, Функция —, имя 38, 45, 52, 56, 96,'97 Пустой список 12, 28, 30, 97 Развилка ИЗ вЂ” И7, 120, 126, 127, 135, 141 — именованная 135 Режим воавратов ИЗ, И4, 125— 128, 140 — 142 — —, укравлеиие 125 — 128 Рекомендация 147, 150, 161, 164 — 170, 177, 180 — 182, 192, 193 †, редактирование 180 †1 Рекурсии 46, 605, 178 Свойство 65 †, аначенне 65, 66 †, название 65, 66 Связь между переменными 171, 173 †1 Сегмент.13 Сегментация выражения 14 Скобки 12, 69 Соответствие соноставллемых объектов 75 Сопоставитель 92 — 95 — арифметический 98 — встроенный 95 — 104 — — класса РЯПВН 95 — — — ВОВК 95 —, имя 92, 96, 97, 104 — логический 98 †1 — определяемый 95, 104, 105 —, определяющее выражение 105 —, тело 15 — условный 101 Сопоставление образца с выражением 75 — 78, 80 — 86, 92— 105, 129, 140 — 142, 174 — 176 — — с образцом 16?, 170 — 177 Спецлитера 9, 10 Список 9, 12, 13, 17, 19 — 23, 29, 30, 39, 69, 96, 101, 102 —, длина 12, 23, 96 —, элемент 12, 19 — 21 1 список 9, 12, 14, 22, 23, 29, 76, 78, 80 — 86, 96 Р-список 9, 12, 14, 15, 30, 45, 92, 96, 97 В-список 9, 12, 15, 30, 45, 92, 96, 97 Список возможностей 165 — 167 Список свойств идентификатора 64 — 67, 104, 128 — — теоремы 162, 163, 165, 182 — — утверждения 143, 145 — 152, 154, 155, 177 Теорема 157, 158, 161 —.163 — вычеркнвающая 144, 150, 161 — 164, 169, 170, 193 — ааписывающая 144, 147, 161— 164, 169, 170, 192, 193 —,пмя 162 203 Теорема, образец 157, 158, 163 —, описание локальных переменных 163 —, определяющее выраженно 163 —, тело 157, 158, 163, 167 — целевая 158, 161, 163, 164, 169, 177, 182 — 192 Г-точка 126, 127, 131 — 135, 150, 165, 168, 169 Удача сопоставлении 75 Условие ЗЗ, 137 Условное выражение 32, 33, 37, 38, 136, 137 Утверждение 143 †1, 192 †,вычеркивание 144, 146, 149, 150, 161, 162, 193 †,запись 144, 146 †1, 161, 162, 192, 193 †, поиск см.