Cтраница 3
Поскольку главной целью искусственного интеллекта является установление связи между методами решения задач и самими задачами, то необходимо охарактеризовать и то и другое. Обычно классы методов решения задач могут различаться по степени использования: 1) цепочки рассуждений в системах порождающих правил; 2) сопоставления и 3) процедуры порождения и проверки. [31]
Каждому правительству следует руководствоваться конкретными ( количественными) данными, осуществляя управление обществом. Так, если даются сведения, отражающие число рабочих, которые должны потерять работу, то это число может быть получено использованием некоторой цепочки рассуждений. Конечно, нам не известно, была ли на самом деле использована такая цепочка рассуждений, или это число просто согласуется с ней. Но мы можем быть уверены в том, что если у некоторого политического деятеля затребуют оправдания проводимой им политики, то ответ должен содержать нечто более серьезное в ее поддержку, чем просто соображения морального или политического характера. [32]
Эксперименты с базой знаний включают добавление прототипов новых задач верхнего уровня, подобных прототипам КОНСУЛЬТАЦИЯ и ПРОСМОТР, для выполнения дополнительных задач в области болезней легких. Например, можно было бы рассмотреть задачу Ретроспективный Анализ, которая рассматривает начальный ряд данных и окончательную интерпретацию и пытается сформулировать связывающую их цепочку рассуждений. [33]
Экспертные системы можно разделить на две группы в соответствии с тем, используются ли в них рассуждения, основанные на вероятностных соображениях. Если такие рассуждения не используются, то вопрос оценивания работы экспертной системы должен решаться весьма просто: мы либо согласимся, либо не согласимся с цепочкой рассуждений, поскольку результаты действий такого рода экспертных систем должны обладать силой строгой логики. [34]
Мы также отметили, что одна из особенностей экспертных систем, отличающих их от обычных программ, состоит в широком использовании эвристик, которые помогают минимизировать количество шагов поиска при решении проблемы. Такой ускоренный путь решения проблем воспроизводит и механизм мышления человека-эксперта, который применяет базовые принципы только в редких случаях, а в большинстве ситуаций вполне удовлетворяется решениями из накопленного опыта. В результате цепочка рассуждений оказывается довольно короткой и крайне специфичной для каждой конкретной ситуации. [35]
Затем, оказывается, деньги одинаково точно измеряют высшие побуждения и низменные страсти. Маршалл ведет цепочку рассуждений. А ведет вот куда: в дальнейшем он станет убеждать читателя, будто в процессе производства одинаковые жертвы несут рабочие и капиталисты, поскольку, дескать, первые затрачивают усилия на труд, а вторые - на воздержание, которое необходимо для того, чтобы отказаться от потребления имеющихся в настоящее время денег, вложить их в производство и мучаться, пока не завершится процесс и деньги не вернутся к капиталистам. [36]
Знаменитая брошюра Дедекинда Чем являются и чем должны быть числа. То, что может быть доказано, не должно принимать в науке на веру, Это высказывание, конечно, характерно для образа мышления большинства математиков, и тем не менее оно как принцип несостоятельно. Вряд ли та цепочка опосредованных рассуждений, которую мы называем доказательством, способна порождать какую бы то ни было веру без того, чтобы мы не удостоверились путем непосредственного усмотрения в правильности каждого отдельного шага. Тот же, кто подходит к другим наукам, например к философии, как математик, требуя дефиниций и дедукций в математическом стиле, поступает ничуть не умнее зоолога, который стал бы отвергать числа на том основании, что они не являются живыми существами. [37]
Получение такого заключения должно было бы привести к тому, что линию рассуждений, порожденную правилом 2, следует исключить из рассмотрения. Говорят, что соответствующий контекст отравлен. Как правило, удаляется вся цепочка рассуждений, вплоть до последнего размножения контекстов. Таким образом, контексты, выделенные утолщенными прямоугольниками на рис. 17.1, должны быть исключены из рассмотрения, и останется только одна цепочка, в соответствии с которой будет сделан вывод о необходимости посетить занятия по информатике, несмотря на все соблазны. [38]
Традиционно построение правил вывода и баз знаний считается прерогативой экспертных систем - направления искусственного интеллекта, которое претендовало в начале семидесятых годов заменить собою искусственные нейронные сети в задачах обработки информации. Экспертные системы были ориентированы именно на обработку данных с помощью некоторых правил вывода, которые предполагалось извлекать у экспертов в той или иной области знаний. Экспертные системы были призваны реализовывать цепочки рассуждений, имитирующих анализ ситуации экспертом-человеком. По сути в 70 - е годы сам термин искусственный интеллект был синонимом разработки экспертных систем, или инженерии знаний. [39]
В таких ситуациях цепочка рассуждений назад может быть более эффективна. При этом методе вывода система начинает с того, что нужно доказать, например, что факт Z существует и нужно исполнить только те правила, которые относятся к установлению этого факта. На рис. 4.10 показано, как цепочка рассуждений назад должна работать, используя правила из примера рассуждений по цепочке вперед. [40]
![]() |
Треугольник Фреге. [41] |
Процедуры обобщения и детализации понятий плохо формализуемы и требуют от экспертов и аналитиков высокой квалификации. Иерархическое представление знаний требует установления отношений между понятиями внутри каждого уровня иерархии и между ними. Заключительным этапом структурирования знаний являются анализ возможных цепочек рассуждения и выработка правил принятия решений, которые позволяют объединить сформированные понятия и отношения в динамическую модель знаний предметной области. [42]
![]() |
Пример рассуждений по цепочке вперед. [43] |
Существуют два метода, которые могут быть использованы в системе, основанной на правилах; один называется рассуждением по цепочке вперед, а другой - рассуждением по цепочке назад. Получение заключения Необходим жесткий диск емкостью более 20 Мбайт - это пример только что представленного использования рассуждений по цепочке вперед. На рис. 4.8 показано детально, как цепочка рассуждений вперед работает в простом наборе правил. [44]
Он характеризуется комбинацией четырех парадигм ИИ логического программирования, основанных на правилах немонотонного рассуждения и дедуктивного поиска. DUCK достигает немонотонного рассуждения, используя направляемый зависимостями возврат, который в свою очередь использует систему поддержания значений истинности данных. DUCK поддерживает схемы управления с помощью прямой и обратной цепочек рассуждений. [45]