книги из ГПНТБ / Слэйгл Д. Искусственный интеллект. Подход на основе эвристического программирования
.pdfВ О П Р О С Н О - О Т В Е Т Н А Я П Р О Г Р А М М А (QA3) |
301 |
на множители), PROVE (доказать), PRENEX (квантор- |
|
ная приставка), CHECKSUBSUMPTION |
(отнести к не |
которой категории, классифицировать) ' и др. |
|
Управлять данными, содержащимися в памяти, помо |
|
гает также и сама система доказательства |
теорем. Пред |
ложения заносятся в память только в том случае, если они не представляют собой ни тавтологии, ни противоре чия. Новый дизъюнкт не заносится в память, если в па мяти уже существует другой дизъюнкт равной или меньщей длины, который может заменить новый дизъюнкт. Возможны еще два других способа проверки, хотя в на стоящее время они и не включены в систему. Предложе ние, введенное в систему, может быть проверено на совме стимость с имеющейся базой данных путем доказательства отрицания этого предложения. Если доказывается, что предложение не совместимо, оно не должно сохраняться в памяти. В качестве другого возможного теста система доказательства теорем может попытаться доказать новое предложение за один или два шага. Если такое доказа тельство оказывается достаточно простым, новое пред ложение можно рассматривать как излишнее и не запо минать его.
Как описано в разд. 3, система доказательства теорем может быть также использована для упрощения ответа.
4.3.Стратегия
Стратегия доказательства теорем, использованная в QA3, подобна стратегии «предпочтения единичного дизъюнкта» (unit-preference), использующей понятия «опорного множества» (set-of-support) и «замещения» (subsumption).
Принципиальным изменением, введенным в эту стра тегию применительно к использованию системы доказа тельства теорем в качестве вопросно-ответной системы, является использование двух множеств дизъюнктов при проведении доказательств. Первое множество, названное «ПАМЯТЬЮ», содержит все введенные в систему предло жения (аксиомы). Второе множество, названное «СПИСКОМ ДИЗЪЮНКТОВ», представляет собой дейст вующее множество дизъюнктов, содержащих только аксио-
302 П Р И Л О Ж Е Н И Е
мы, используемые в текущей попытке доказательства, и получающиеся при этом новые дизъюнкты. Предпола гается, что СПИСОК ДИЗЪЮНКТОВ содержит только дизъюнкты, наиболее подходящие с точки зрения ответа на заданный вопрос. Работа системы доказательства тео рем с каждым дизъюнктом требует значительного време ни и объема памяти. Высокая стоимость обработки свя зана с затратами времени на поиск дизъюнкта, который можно рассматривать в качестве кандидата для резолю ции, факторизации или замещения, а также с необходи мостью использовать дополнительный объем памяти для подсчетов, связанных с дизъюнктом. По этой причине и поскольку большинство дизъюнктов ПАМЯТИ не нужно для текущего доказательства, их нежелательно иметь в СПИСКЕ ДИЗЪЮНКТОВ . Таким образом, главная стратегия состоит в том, чтобы работать в основном с дизъюнктами из СПИСКА ДИЗЪЮНКТОВ, периодически дополняя этот список новыми подходящими дизъюнктами из основной ПАМЯТИ. Если в СПИСОК ДИЗЪЮНКТОВ внесен дизъюнкт, который не может привести к доказа тельству, это может при попытке доказательства привести к порождению многих бесполезных дизъюнктов. Чтобы избежать этого, стратегия сопротивляется включению в СПИСОК дизъюнктов нееднипчной длины.
Стратегия доказательства часто видоизменяется, но мы |
|
все же дадим здесь общий обзор ее свойств. Когда задает |
|
ся вопрос, исходный СПИСОК ДИЗЪЮНКТОВ |
содержит |
только дизъюнкты, соответствующие отрицанию вопроса, |
|
которые составляют onorji-ioe множество (set-of-support). |
|
К СПИСКУ ДИЗЪЮНКТОВ применяется модифициро |
|
ванная стратегия предпочтения дизъюнктов |
единичной |
длины (unit-preference), налагающая ограничения на «сте пень» связи дизъюнктов. По мере выполнения этой стра
тегии дизъюнкты из ПАМЯТИ, которые |
разрешаются |
|
с дизъюнктами СПИСКА |
ДИЗЪЮНКТОВ, |
добавляются |
к СПИСКУ. Эта стратегия |
выполняется до тех пор, пока |
при заданном ограничении на «степень» еще можно при менить резолюцию.
Наконец, достигается предел. СПИСОК ДИЗЪЮНК ТОВ со всей своей «бухгалтерией» временно сохраняется. Если до этого система доказательства теорем пыталась
В О П Р О С Н О - О Т В Е Т Н А Я П Р О Г Р А М М А (QA3) |
303 |
получить ответ «yes», то теперь она пытается |
получить |
ответ «по». При попытке получения ответа «по» она также накапливает и сохраняет соответствующий «NO» СПИСОК ДИЗЪЮНКТОВ и затем предпринимает поиск ответа «NO PROOF FOUND». Пользователь может продолжить поиск, отдав команду: CONTINUE (продолжать). Если предел не достигнут ни для «yes»-, ни для «по»-случая, выдается ответ INSUFFICIENT INFORMATION (недо статочно информации).
Стратегия имеет некоторые дополнительные свойства: 1. Если вновь полученный единичный дизъюнкт ие удается разрешить ни с одним из дизъюнктов в СПИСКЕ ДИЗЪЮНКТОВ, он проверяется с единичным дизъюнк том ПАМЯТИ на противоречие. Это помогает быстрее
отыскать |
короткие |
доказательства. |
2. В |
изученных |
к настоящему времени применениях |
вопросно-ответной системы доказательство часто пред ставляет собой цепь «двойных» дизъюнктов, т. е. дизъюнк тов длины 2. Семантически это обычно означает, что при надлежность некоторого элемента множеству определяет ся путем его последовательного связывания с надмножест вами пли подмножествами. Для ускорения этого процес са включается специальная быстрая программа, которая разрешает единичные дизъюнкты в СПИСКЕ ДИЗЪЮНК ТОВ с двойными дизъюнктами ПАМЯТИ. Наш опыт к настоящему времени говорит о полезности этой эвристики.
3.Каждый новый порожденный дизъюнкт, рассматри вается с точки зрения того, не может ли он быть заменен другим, более коротким дизъюнктом из СПИСКА ДИЗЪЮНКТОВ . Со своей стороны, все дизъюнкты большей длины из СПИСКА ДИЗЪЮНКТОВ проверя ются с целью выяснения, не могут ли они быть заменены новыми дизъюнктами. В этом случае более длинные дизъюнкты вычеркиваются.
4.Теорема Харта (1965) показывает, как бинарная резолюция может привести к получению избыточных эквивалентных доказательств. Эквивалентные доказатель ства устраняются из единичных секций. Вое назвал это свойством поэлементной несвязности. В настоящее вре мя для неедпничных секций это еще не выполнено.
304 |
П Р И Л О Ж Е Н И Е |
5.Путем расширения опорного множества в СПИСКЕ ДИЗЪЮНКТОВ/можно разрешать пары дизъюнктов из этого СПИСКА (но не из опорного множества) до сте пени 2.
6.Дизъюнкты ПАМЯТИ и СПИСКА для облегчения поиска индексируются. Дизъюнкты в ПАМЯТИ индек сируются символами предикатов и указанием при каж дом символе длины предиката. Дизъюнкты в СПИСКЕ индексируются указанием длины. При поиске в ПАМЯ ТИ подходящих дизъюнктов для добавления в СПИСОК уже входящие в СПИСОК дизъюнкты ие рассматривают
ся. Дизъюнкты |
каждой определенной |
длины заносятся |
в списки, причем |
новые дизъюнкты той |
же длины добав |
ляются в конце такого списка. В памяти хранятся также указатели этих списков, которые используются для пред
отвращения |
повторного разрешения двух дизъюнктов, |
а также для |
предотвращения проведения эквивалентных |
доказательств.
Описанная стратегия «полна» в том смысле, что она обычно находит любое доказательство, которое может быть найдено при заданных ограничениях, наложенных на время и на объем памяти.
5. РАБОТА QA3
5.1. Применения
Программа была испытана на нескольких наборах во просов, уже использовавшихся в ранее разработанных вопросно-ответных программах. Кроме того, программа QA3 теперь используется и для других применений. На бор вопросов для программы QA2 (Грин и Рафаэль, 1968) включал некоторые вопросы о принадлежности к множеству, о включении множеств, об отношениях часть— целое и ряд сходных задач.
В программе SIR Рафаэля (19646) рассматривалось сходное, но более обширное множество задач, обладающее также некоторыми интересными свойствами и требующее взаимодействия фактов или аксиом, описывающих не сколько типов объектов. В SIR использовались различ ные программы для ответа на каждый тип вопросов, и
В О П Р О С Н О - О Т В Е Т Н А Я П Р О Г Р А М М А (QA3) |
305 |
при добавлении в систему нового отношения требовалось не только введение новой подпрограммы для работы с этим отношением, но и внесение изменений во всю систе му в целом, чтобы обеспечить взаимодействие этих новых отношений с имевшимися ранее. Эта трудность является основным препятствием для дальнейшего развития систе мы SIR. В качестве возможного выхода из этого затруд нения Рафаэль предложил свою «формализованную во просно-ответную систему». Испытание QA3 на задачах системы SIR дало следующие результаты: за 2 ч работы на телетайпе все факты, запрограммированные для SIR, были введены в память системы QA3 в виде аксиом логи ки 1-го порядка, и QA3 по существу ответила на все вопросы, на которые ответила программа SIR. Системе QA3 не задавались вопросы, ответы на которые преду сматривали использование особой эвристики «принцип исключения» («exception principle*), специально разрабо танной для системы SIR. Факты и вопросы, формулируе мые для системы SIR на ограниченном английском языке, можно было синхронно переводить на язык логики 1-го порядка.
Слэйгл в своей статье о системе DEDUCOM (1965) предложил более обширное, хотя и менее взаимосвязан ное множество задач, состоящее как из вопросов, на ко торые отвечали различные программы, так и из вопро сов, впервые предложенных для автоматического поиска ответа (Рафаэль, 1964а; Блэк, 1964; Сафьер, 1963; Маккарти, 1963; Купер, 1964; Саймон, 1963). В этот набор задач было включено несколько примеров, требующих
последовательных процессов, например |
задача |
«Конеч |
||||
ная игра» Маккарти (1963), задача |
«Микадо» |
Сафьера |
||||
(1963), |
задача |
«Обезьяна |
и бананы» |
Маккарти |
(1963) и |
|
задача |
Саймона |
(1963) о |
компиляторе |
описания |
состоя |
ний. Используя обсуждавшиеся в разд. 3 методы описа ния процессов, можно аксиоматизировать все факты и вопросы, опубликованные в работе Слэйгла. Более того, QA3 преодолела некоторые недостатки программы
DEDUCOM: |
QA3 сумела |
ответить |
на все вопросы, на |
|
которые можно ответить; |
порядок |
представления в ней |
||
аксиом не влиял на способность |
отвечать на вопросы, |
|||
и никаких |
дополнительных фактов |
не потребовалось. |
20—1677
306 |
П Р И Л О Ж Е Н И Е |
QA3 была также испытана на множестве из 23 вопросов, предложенном Купером (1964). QA3 правильно ответила на все вопросы, включая 4 вопроса, на которые не смогла ответить программа Купера, и 16 вопросов, на которые не ответила DEDUCOM.
Программа QA3 решила также задачу «Волк, коза и капуста», в которой крестьянин должен перевести в лод ке волка, козу и качан капусты через реку, но он может взять с собой в лодку только что-нибудь одно. Волк не может оставаться один на один с козой, а коза не может остаться с капустой.
Во всех задачах, упомянутых выше, данные для QA3, так же как и вопросы, были представлены на языке ло гики 1-го порядка. Программы Рафаэля и Купера ис пользовали сокращенный (ограниченный) английский язык.
Используя транслятор с английского языка на язык логики, разработанный Коулсом (1968), Коулс н Рафаэль начали изучение некоторых специальных применений QA3. QA3 была также испытана в работе Стэнфордского исследовательского института в качестве программы для решения задач.
5.2.Ограничения
Следует указать и на несколько ограничений програм мы. Во-первых, QA3 еще не является вполне закончен ной системой. Одно очень важное свойство, которое опу
щено в системе, — автоматическая работа с отношением |
|
равенства, что является отнюдь не тривиальной |
пробле |
мой. Без этой способности программа QA3 оказывается |
|
весьма неповоротливой в некоторых задачах, |
которые |
удобно представить с использованием понятия равенства.
Отношение равенства — только один |
из ряда |
примеров |
понятий «более высокого порядка» |
(например, |
теория |
множеств), которые либо не могут быть описаны в логи ке 1-го порядка, либо требуют некоторых операций на метауровне, таких, как экономная схема, либо неудобны в практическом отношении для представления в логике 1-го порядка. Однако пока еще далеко неясно, как оце нить практические ограничения для системы логики 1-го порядка, если ее дополнить специальными эвристиками.
В О П Р О С Н О - О Т В Е Т Н А Я П Р О Г Р А М М А (QA3) |
307 |
Одно из достоинств системы |
QA3 — использование |
эвристик, относительно независимых от проблемной сре ды. Все, что касается среды, вытекает из частных аксиом, хранящихся в памяти, из доказанных теорем и из част ных представлений, выбранных для каждого предложе ния. Это вносит элегантность и общность и в то же вре мя приводит к достаточно мощной системе. Однако для решения более сложных задач необходимо обеспечить возможность использования специальных эвристик, зави сящих от проблемной среды, или возможность пользовать ся советами при решении частных задач. Такая способ ность к запрашиванию советов требует гибкой и легко изменяемой стратегии поиска.
Частные эвристики, использованные в QA3, являются экспериментальными и не подверглись еще тщательной проверке в вопросно-ответных системах (хотя эти изме нения и эвристики, по-видимому, улучшают работу си стемы). При введении каждой модификации стратегии работа системы улучшается в применении к частному классу задач. Чтобы помочь устранить имеющуюся здесь неопределенность, различные показатели, отражающие качество работы системы, теперь автоматически выводятся на печать после каждого вопроса. Это позволяет произ водить сравнительную оценку различных эвристик.
Нужно также отметить, что вопросы и объектная сре да для QA3 были выбраны из специального типа задач и из тестовых задач, использованных в других вопросноответных системах и решателях задач. Хотя это обстоя тельство облегчает сравнение QA3 с другими системами, само по себе оно еще не говорит о том, как будет вести себя эта система при работе с практическими задачами.
Применение системы в новых и более сложных зада чах должно привести к лучшему пониманию и уточнению возможностей программы QA3 и соответственно метода доказательства теорем при построении вопросно-ответных систем.
5.3. Характеристики работы QA3
Чтобы ответить на упомянутые в этой статье вопросы, QA3 затрачивает от нескольких секунд до нескольких минут. «Решательную способность» системы QA3 можно
308 |
П Р И Л О Ж Е Н И Е |
грубо оценить, накладывая определенные |
ограничения |
на допустимое время поиска и на свободный объем памя ти, имеющийся в распоряжении для накопления получае мых при поиске решений дизъюнктов. Обычно объем па мяти рассчитан на несколько сотен дизъюнктов. Глубина поиска, определяемая ограничением на степень, обычно достигает 10. Интересно отметить, что многие упомянутые выше задачи, обычно решаемые на основе «здравого смыс ла», оказываются в пределах указанных ограничений си стемы QA3; соответствующие доказательства, таким об разом, несложны по сравнению с некоторыми математи ческими доказательствами, предложенными системам для
доказательства |
теорем. |
|
|
|
|
|
|
|||||
Л И Т Е Р А Т У Р А |
|
|
|
|
|
|
|
|
|
|||
B l a c k |
F. |
S., |
«A |
Deductive |
Question-Answering |
Systems, |
Ph. |
|||||
D. |
Thesis, |
Harvard, |
1964. |
|
|
|
|
|
|
|||
C o l |
es L . S., |
«An On-line Question-Answering System |
with |
Natu |
||||||||
ral Language and Pictorial Inputs, |
Proc. 23rd ACM Nat. Conf., |
|||||||||||
1968. |
|
|
|
|
|
|
|
|
|
|
|
|
C o o p e r |
D. A . , |
«Theorem Proving |
in |
Computers», |
Advances in |
|||||||
programming and Non-Numerical |
Computation |
(ed. Fox. L . ) , |
||||||||||
London; |
Pergamon |
Press, |
1966. |
|
|
|
|
|
||||
C o o p er |
W. S., «Fact |
Retrievel and Deductive Question Answering |
||||||||||
Information |
Retrieval Systems», |
J. |
Ass. Comput. |
Mach., |
11, |
|||||||
117—137 |
(1964). |
|
|
|
|
|
|
t. |
|
D a v i s M . , «Eliminating the Irrelevant from Mechanical Proofs», Annual Symposia in Applied Math., X I X , Providence, Rhode Island, Am. Math. Soc. (1963).
G r e e n |
B. F., |
Jr., |
VV .o 1 f |
А. К., |
С h о m s k y C., |
L a u g h e- |
|||||||
r y K . , «Base-bail: an |
Automatic Question Answerer», |
Computers |
|||||||||||
and Thought (eds. Feigenbaum E. A. and Feldman J.). New York, |
|||||||||||||
McGraw - Hill, 1963; русский |
перевод см. сб. «Вычислительные |
||||||||||||
машины |
и |
мышление», изд-во «Мир», 1968. |
|
|
|
||||||||
G r e e n |
С. |
С , |
R a p h a e l |
В . , |
«The Use of |
Theorem-Proving |
|||||||
Techniques |
in Question-Answering Systems», Proc. 23rd ACM |
||||||||||||
Nat. |
|
Conf., |
|
1968. |
|
|
|
|
|
|
|
|
|
H а г t |
T. P., |
«A Useful Algebraic Property of Robinson's |
Unifica |
||||||||||
tion |
Algorithms, Memo № |
91, A I |
Project, Project |
MAC, MIT , |
|||||||||
1965. |
|
|
|
|
|
|
|
|
|
|
|
|
|
L i n d s a y |
R. |
|
K . , |
«Inferential Memory as the |
Basis |
of |
Machines |
||||||
which |
Understand Natural Languages, Computers and Thought |
||||||||||||
(eds. |
|
Feigenbaum |
E. A. and Feldman J.), New York, |
McGraw- |
|||||||||
H i l l , |
1963; |
|
русский |
перевод |
см. |
сб. «Вычислительные маши |
|||||||
ны |
и мышление», |
изд-во |
«Мир», |
1968. |
|
|
|
Ь О П Р О С Н О - О Т Ь Е Т Н А Я |
П Р О Г Р А М М А (QA3) |
|
|
|
|
|
|
|
309 |
|||||||||||||
M c C a r t h y |
J., |
«Programs |
with |
Common |
Sense, Symp. Mechani |
|||||||||||||||||
zation of Thought Processes, Teddington, Nat. Phys. Lab., 1958. |
||||||||||||||||||||||
M c C a r t y |
J., |
«Situations, |
Actions |
and Causal |
|
Laws», |
Stanford |
|||||||||||||||
Artificial |
|
Intelligence |
Project |
memo |
№ 2, 1963. |
|
|
|
||||||||||||||
M c C a r t h y |
J., H a y e s |
P., |
«Some |
Philosophical |
Problems from |
|||||||||||||||||
the |
Standpoint |
of |
Artificial |
Intelligence», Machine |
Intelligence, |
|||||||||||||||||
vol. 4, p. 463—502 |
(ed. s. Meitzer В. and Michie D.), Edinburgh, |
|||||||||||||||||||||
Edinburgh Univ. Press, 1969; русский |
перевод см. сб.«Кибернети |
|||||||||||||||||||||
ческие проблемы бионики», |
вып. 2, изд-во «Мир», 1972. |
|
||||||||||||||||||||
R a p h a e l В . , «A Computer |
Program |
Which |
«Understands», Proc. |
|||||||||||||||||||
FJCC, |
Washington |
D. C , |
Spartan |
Books, |
1964 (a). |
|
|
|
||||||||||||||
R a p h a e l |
В . , SIR: A Computer |
|
Program for Semantic |
Informa |
||||||||||||||||||
tion Retrieval MAC-TR2, |
Project |
MAC, M I T , 1964 (6). |
|
|||||||||||||||||||
R o b i n s o n |
J. |
A . , |
«A |
Machine-Oriented |
Logic |
Based |
on the |
|||||||||||||||
Resolution |
Principle)), J. Ass. Comp at. Mach., |
12, 23—41 |
(1965). |
|||||||||||||||||||
R о b i n s о n J. A . , |
«A Review |
of Automatic |
Theorem-Proving», |
|||||||||||||||||||
Annual |
Symposia |
in |
Applied |
Math., |
X I X , Providence, |
Rhode |
||||||||||||||||
Island; Am. Math. |
Soc, |
1967. |
|
|
|
|
|
|
|
|
|
|
||||||||||
S a f i e r F., |
«The Mikado as an Advice Taker |
Problem», |
Stanford |
|||||||||||||||||||
Artificial |
|
Intelligence |
Project |
Memo |
№ 3, 1963. |
|
|
|
||||||||||||||
S a f i e r |
F., |
«Simple |
Simon», |
Stanford |
Artificial |
|
Intelligence Pro |
|||||||||||||||
ject |
|
Memo |
№ 25, 1965. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
S i m o n |
|
H . , |
«Expreiments with a Heuristic Compiler», J. Ass. |
|||||||||||||||||||
Cornput. |
Mach., |
10, 493—450 |
|
(1963). |
|
|
|
|
|
|
|
|||||||||||
S 1 a g 1 e J. R., |
«Experiments |
w i t h a Deductive, |
|
Question-Answe |
||||||||||||||||||
ring |
|
Problem», |
Commun. |
ACM, 8, 792—798 |
(1965). |
|
|
|
||||||||||||||
W o s |
L . , |
C a r s o n |
D. F., |
|
R o b i n s o n |
G. A., «The Unit |
||||||||||||||||
Preference Strategy |
in Theorem |
|
Proving», |
AFIPS, 26, 615—621, |
||||||||||||||||||
Fall |
|
Joint |
Cornput Conf., Washington D. C , Spartan Books, 1964. |
|||||||||||||||||||
W o s L . |
T., |
C a r s o n |
D. F., |
R o b i n s o n |
G. A., |
«Efficiency |
||||||||||||||||
and |
|
Completeness |
of |
the |
Set-Of-Support |
Strategy |
in |
Theorem- |
||||||||||||||
Proving», |
J. Ass. Cornput. |
Mach., |
12, 536—541 |
(1965). |
|
|
W о s L . T., R o b i n s o n ü . A . , C a r s o n D. K , S h a 1 1 a L . , «The Concept of Demodulation in Theorem-Proving», J. Ass. Lomput. Alach., 14, 698—709 (1967).
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ |
|
|
|
|
|
|
|
|
|
|
||||||||||||
Л-5-альфа-бета-процедура 32 |
Геометрические |
аналогии, |
про |
|||||||||||||||||||
Автоматическая |
|
выработка |
от |
грамма |
отыскания |
127—130 |
||||||||||||||||
ветов на вопросы |
198—206 |
Глубина |
решения |
276 |
|
|
||||||||||||||||
Автоматический |
синхронный пе |
GPS |
(Общий |
решатель задач) |
||||||||||||||||||
ревод |
267 |
|
|
|
|
|
|
|
|
|
161—178, 256, 257 |
|
|
|||||||||
Автоматическое |
|
реферирование |
— антецеденты |
цели 170 |
|
|||||||||||||||||
209—212 |
|
|
|
|
|
|
|
|
|
— выводы |
177, |
178 |
|
|
||||||||
признаки |
211—212 |
|
|
— задача |
об |
обезьяне |
н |
бана |
||||||||||||||
— составление |
программ |
188— |
нах |
161 — 172 |
|
|
|
|
||||||||||||||
193 |
|
|
|
|
|
|
|
|
|
|
|
|
— исполняющая |
|
программа |
|||||||
—• |
|
обучающая |
|
программа |
163—165 |
|
|
|
|
|
|
|||||||||||
190—193 |
|
|
|
|
|
|
|
|
|
— метод |
выбора |
166, 169 |
|
|||||||||
|
г «Эвристический |
компи |
преобразований 166, |
169 |
||||||||||||||||||
лятор» |
188—193 |
|
|
|
|
|
применения |
|
168, |
169 |
|
|||||||||||
Алгебра |
Буля |
115 |
|
|
|
|
|
уменьшения |
различий 167, |
|||||||||||||
АЛГОЛ |
262 |
|
|
|
|
|
|
|
|
|
168 |
|
|
|
|
|
|
|
|
|
||
Алгоритм — см. |
|
Процедура |
|
— операторы |
171 |
|
|
|
||||||||||||||
Альфа-бета-отсечение |
|
28, |
|
104, |
— решенные задачи 172—177 |
|||||||||||||||||
152 |
|
|
|
|
|
|
|
|
|
|
|
|
— сравнение |
170 |
|
|
|
|||||
Альфа-отсечение |
28 |
|
|
|
|
|
— цели |
169, |
170 |
|
|
|
|
|||||||||
Анализ |
сложных |
систем 268 |
|
|
|
|
|
|
|
|
|
|
||||||||||
—целей |
и средств |
162, 177 |
|
DEDUCOM 200—206, 278, 305 |
||||||||||||||||||
Английский |
язык |
|
ограниченный |
Дедуктивная |
вопросно-ответная |
|||||||||||||||||
189, |
199, 261, 262, |
305, 306 |
система—"см. Программы, от |
|||||||||||||||||||
Антагонистическая |
|
игра, |
опре |
вечающие |
на |
вопросы, |
Во |
|||||||||||||||
деление |
20 |
|
|
|
|
|
|
|
|
просно-ответные |
системы |
|||||||||||
Антецедент |
цели |
|
170 |
|
|
|
|
Дедукция |
(см. также |
Вопрос |
||||||||||||
Балансирование |
|
|
|
сборочного |
но-ответные |
системы, |
Прин |
|||||||||||||||
|
|
|
цип |
резолюции) |
88 |
|
|
|||||||||||||||
конвейера |
183, |
|
184 |
|
|
|
|
Дерево |
высказываний |
142 |
|
|||||||||||
Бессмысленные |
слоги |
236 |
|
|
— дизъюнктивно-конъюнктив |
|||||||||||||||||
Бета-отсечение |
29 |
|
|
|
|
|
|
ное |
67, 68 |
|
|
|
|
|
|
|||||||
Булева |
алгебра |
115 |
|
|
|
|
|
— игры |
14—19 |
|
|
|
|
|
||||||||
Вероятностная |
|
процедура |
об |
одного |
лица |
117 |
|
|
||||||||||||||
|
— имплицитное |
|
16, 67, 68 |
|
||||||||||||||||||
щая |
130 |
|
|
|
|
|
|
|
|
|
|
критерии |
окончания |
17 |
||||||||
специальная |
|
128—130 |
|
— преемники |
16—18 |
|
|
|||||||||||||||
Вероятностное |
|
|
упорядочение |
— поиск |
14—19, 254 |
|
|
|||||||||||||||
ходов |
30, |
153 |
|
|
|
|
|
|
|
— порождающие |
|
процедуры 17 |
||||||||||
Включающее |
ИЛ И |
95 |
|
|
|
— процедура |
«сначала |
вглубь» |
||||||||||||||
Вопросно-ответные |
|
|
|
системы |
17, |
18 |
|
|
|
|
|
|
|
|
||||||||
(см. также |
Программы, |
отве |
«сначала |
вширь» |
17, 18 |
|||||||||||||||||
чающие |
на вопросы, |
Автома |
— целей |
14—19 |
|
|
|
|
||||||||||||||
тическая |
выработка |
|
ответов |
дизъюнктивное |
116—118, |
|||||||||||||||||
на |
вопросы |
QA3) |
136—140, |
186, |
187 |
|
|
|
|
|
|
|
||||||||||
198—207, 275—308 |
|
|
|
|
отсечение |
ветвей |
76, 77 |
|||||||||||||||
Вычислительные |
|
|
|
|
машины |
|
|
|
пример |
76 |
|
|
||||||||||
(ЭВМ), |
определение |
10 |
|
|
— эксплицитное |
15, 67—69 |
||||||||||||||||
перспективы |
|
|
применения |
Дизъюнктивная |
запись 96 |
|
||||||||||||||||
264, |
265, 271, 272 |
|
|
|
|
|
Дизъюнкция |
95 |
|
|
|
|
||||||||||
цифровые |
10 |
|
|
|
|
|
|
Дискриминирующая сеть 240 |