Рассел С., Норвиг П. Искусственный интеллект. Современный подход (2-е изд., 2006) (1245267), страница 132
Текст из файла (страница 132)
Логика косвенного описания и логика умолчания Выше приводились два примера, в которых с виду естественные процессы формирования рассуждений нарушают свойство монотонности логики, которое было доказаноц в главе 7. В первом примере свойство, наследуемое всеми элементами категории в семантической сети, может быть переопределено с использованием более конкретной информации, касающейся подкатегории.
Во втором примере отрицаемые литералы, выведенные на основании предположения о замкнутом мире, могут быть переопределены путем добавления положительных литералов. Простой самоанализ показывает, что такие нарушения монотонности широко распространены и в обыденных рассуждениях. Создается впечатление, что люди часто не переходят, а "перепрыгивают" к заключениям.
Например, увидев автомобиль, припаркованный на улице, человек обычно предполагает, что у этого автомобиля четыре колеса, даже если видит три. (Если вы чувствуете, что существование четвертого колеса действительно находится под сомнением, продумайте также вопрос о том, действительно ли являются настоящими три видимых колеса или они заменены изображениями на картонках, а сам автомобиль стоит на подставках.) И в самом деле, теория вероятностей позволяет уверенно прийти в заключению, что вероятность существования четвертого колеса весьма велика (хотя и не равна едини- и Напомним, что условие монотонности требует, чтобы все высказывания, которые следуют из базы знаний КВ, по-прежнеыу следовали бы из нее после добавления новых высказываний. Это означает, чтоесди кв и а, токв ж 11 и а. 489 Глава 10.
Представление знаний це), но большинству людей мысль о том, что у автомобиля нет четвертого колеса, даже не приходит в голову, если им не представляются новые факты, позволяющие изменить свое мнение. Таким образом, создается впечатление, что вывод о наличии у наблюдаемого автомобиля четырех колес достигается по умолчанию, если нет каких-либо причин поставить этот вывод под сомнение. Если же поступают новые факты (например, становится очевидно, что владелец катит колесо, а сам автомобиль поднят домкратом), то первоначальный вывод может быть отброшен.
Принято говорить, что в рассуждениях такого рода проявляется 'а. немонотонность, поскольку множество убеждений не возрастает монотонно со временем, по мере поступления новых фактов. Для того чтобы можно было описывать подобное поведение, были разработаны сж немонотонные логики, в которых используются модифицированные определения понятий истинности и логического следствия. В данном разделе рассматриваются две такие логики, для изучения которых были проведены обширные исследования: логика косвенного описания и логика умолчания. са Косвенное описание (с)гсцгпзсг)р()оп) может рассматриваться как более мощная и точная версия предположения о замкнутом мире. Его идея состоит в том, что должны быть заданы конкретные предикаты, в отношении которых предполагается, что они являются "настолько ложными, насколько это возможно", т.е.
ложными для всех объектов, за исключением тех, для которых эти предикаты заведомо истинны. Например, предположим, что необходимо ввести в базу знаний применяемое по умолчанию правило, что птицы летают. Для этого введем предикат, скажем АЬполта1г (х), и запишем следующее: Вбгс((х) л ЛЬпогта1г(х) ~ Р11ел(х) Если будет указано, что для предиката АЬполша1г ДОЛЖНО применяться косвЕипое описание, то программа формирования рассуждений на основе косвенных описаний получает право предполагать, что АЬполша1г(х), если не известно, что АЬпохта1з (х) ЯвлЯетсЯ истинным.
Это позволЯет вывоДить заключение р1зел ( твгеесу) из предпосылки Вйхс(( тггоесу), но такое заключение становится недействительным, если в базу знаний вводится утверждение АЬполта1, ( Тьгее Су) . Косвенное описание может рассматриваться как один из примеров логики ск предпочтения моделей (гпо((е! рге(егепсе). В подобных логиках высказывание следует из базы знаний (со статусом, заданным по умолчанию), если оно истинно во всех предпочтительных моделях базы знаний; в этом данное требование отличается от требования истинности во всех моделях в классической логике. С точки зрения косвенного описания одна модель является предпочтительной по отношению к другой, если в ней имеется меньшее количество аномальных объектов".
Рассмотрим, как эта идея может применяться в контексте множественного наследования в семантических сетях. Стандартный пример, демонстрирующий проблемы множественного наследования, называется "парадоксом Никсона". Этот пример основан на том наблюдении, что Ричард Никсон был одновременно и квакером (поэтому по 'з С точки зрения предположения о замкнутом мире одна модель является предпочтительной по отношению к другой, если в ней ямеегся меньше истинных атомов, те. предпочтительными моделями являются минимальные модели. Существует естественная связь между предположением о замкнутом мире и базами знаний с определенными выражениями, поскольку фиксированная точка, достигаемая в процессе прямого логического вывода в такой базе знаний, представляет собой уникальную минимальную модель (см.
с. 315). 490 Часть ПЕ Знания и рассуждения умолчанию пацифистом), и республиканцем (поэтому по умолчанию не пацифи- стом). Эту ситуацию можно описать следующим образом: ДериЫЗсап (Идхсп) л Оиа)гег(И1хсп) ЯериЫг сап (х) л АЬпсгта1г (х) ~ Раса гдас (х) Яиа)гег(х) л АЬпсгта1г(х) =-г Расгг1ес(х) ЕСЛИ ПРИМЕНЯЕТСЯ КОСВЕННОЕ ОПИСаНИЕ ДЛЯ ПРЕДИКатОВ АЬПСПта1г И АЬПОПта1„ то возникают две предпочтительные модели: в одной из них истинны выражения АЬпопта1, (Иххоп) и Рас1ЕТве (Иххсп), а В ДРУгОй — АЬпопта1г (Иухоп) и -Рас1Пвс(ИТхоп).
Таким образом, программа формирования рассуждений на основе косвенных описаний остается в полном неведении в отношении того, является ли Никсон пацифистом. При желании можно дополнительно ввести утверждение, что религиозные убеждения имеют приоритет над политическими убеждениями; для этого можно воспользоваться формализмом, называемым Ж косвенным описанием с приоритетами (рг(ог(()хег( сггсигпзспрйоп), чтобы отдать предпочтение моделям, в которых минимизируется предикат АЬпсрта1г.
ск Логика умолчания (деГаи)( )оя)с) — это формальная система, в которой могут быть записаны ск применяемые по умолчанию правила, применяемые для вывода непротиворечивых немонотонных заключений. Заданное по умолчанию правило выглядит примерно таким образом: Вдгс) (х) г Р11ее (х) г' Р11ее (х) Это правило означает, что если выражение дхпг((х) является истинным, а выражение Р11ее (х) не противоречит базе знаний, то вывод Р11ев (х) может быть сделан по умолчанию.
В общем случае заданное по умолчанию правило выглядит следующим образом: .г,, ..., .г„г с где Р называется предпосылкой, С вЂ” заключением, а.т, представляют собой обоснования; если можно доказать, что любое из них ложно, то нельзя вывести заключение. Любая переменная, которая появляется в т; или С, должна также находиться и в Р. Пример с парадоксом Никсона может быть представлен в логике умолчаний с помощью одного факта и двух заданных по умолчанию правил следующим образом: ЯериЫгсап (И1хоп) л Циа)гег(И1хсп) НериЫЗсап (х) г -грасхГ1ее (х) г' Рас1г1ее (х) Оиа)гег(х) г Рас111ее(х) г' Рас1Г1ес(х) Для интерпретации того, что означают заданные по умолчанию правила, определим понятие 'ж расширения теории умолчаний как максимального множества следствий из этой теории.
Таким образом, расширение я состоит из первоначально известных фактов и множества заключений, полученных на основе заданных по умолчанию правил, таких, что из Б нельзя больше вывести дополнительные заключения, а обоснования всех сделанных по умолчанию заключений в Я не противоречат Ы Как и в случае предпочтительных моделей, в логике косвенного описания существуют два возможных расширения для парадокса Никсона: согласно одному из них он является пацифистом, а согласно другому — нет.
Имеются также схемы с приоритетами, в которых определенные заданные по умолчанию правила могут получать преимущества над другими, что позволяет разрешать некоторые противоречия. Глава 10. Представление знаний 491 С 1980 года, когда впервые были предложены немонотонные логики, бьп достигнут большой прогресс в понимании их математических свойств.
А начиная с последней половины 1990-х годов появились практические системы, основанные на логическом программировании, которые продемонстрировали перспективность их использования в качестве инструментальных средств представления знаний. Тем не менее остаются нерешенными некоторые вопросы. Например, если высказывание: "Автомобили имеют четыре колеса" является ложным, то что влечет за собой наличие такого высказывания в некоторой базе знаний? Каковым является наиболее приемлемое множество заданных по умолчанию правил? Если нет возможности принять отдельно для каждого правила решение о том, должно лн оно находиться в нашей базе знаний, то налицо серьезная проблема отсутствия модульности.
Наконец, как могут использоваться для принятия решений определенные убеждения, имеющие заданный по умолчанию статус? По-видимому„эта проблема является наиболее сложной для систем формирования рассуждений по умолчанию. Принятие решений часто связано с поиском компромиссов, и поэтому необходимо сравнивать силу убеждений в отношении предполагаемых результатов различных действий. В тех случаях, когда решения одного и того же типа должны быть приняты повторно, появляется возможность интерпретировать заданные по умолчанию правила как высказывания с "пороговой вероятностью". Например, заданное по умолчанию правило "Тормоза в моем автомобиле всегда в порядке*' фактически означает "Если нет другой информации, то вероятность, что тормоза в моем автомобиле в порядке, достаточно велика, чтобы оптимальным решением для меня был выезд на дорогу без их проверки". Если контекст принятия решения изменяется (например, если приходится спускать тяжело груженый самосвал вниз по крутой горной дороге), такое заданное по умолчанию правило внезапно становится неприемлемым, даже если нет новых фактов, говорящих о том, что тормоза неисправны.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
