Версия убеждения

редактировать

Версия убеждения - это процесс изменения убеждений, чтобы учесть новую информацию. логическая формализация пересмотра проверений исследуется в философии, в базах данных и в искусственном интеллекте для разработки рационального агента.

Что делает пересмотр веры нетривиальным, так это то, что возможно несколько способов выполнения этой операции. Например, если текущие знания включают три факта « $A {\ displaystyle A}$ $A$ верно», « $B {\ displaystyle B}$ $B$ верно» и «если $A {\ displaystyle A}$ $A$ и $B {\ displaystyle B}$ $B$ истинны, то $C {\ displaystyle C}$ $C$ верно », введение новой информации « $C {\ displaystyle C}$ $C$ неверно» может быть выполнено с сохранением согласованности только удаления хотя бы одного из трех фактов. В этом случае существует как минимум три способа выполнения ревизии. В общем, может быть несколько разных способов изменения знаний.

Содержание

1 Пересмотр и обновление
- 1.1 Пример
2 Сокращение, расширение, пересмотр, консолидация и влияние
3 Постулаты AGM
4 Условия, эквивалентные постулатам AGM
5 Сужение
6 Тест Рамсея
7 Немонотонное отношение вывода
8 Базовая версия
9 Пересмотр и обновление на основе модели
10 Итерационная ревизия
11 Слияние
12 Социальные сети теория выбора
13 Сложность
14 Актуальность
15 Реализации
16 См. также
17 Примечания
18 Ссылки
19 Внешние ссылки

Пересмотр и обновление

Обычно различают два типа изменений:

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

редакция: и старые убеждения, и новая информация к одной и той же ситуации; несоответствие между новой и старой информацией объясняется тем, что старая информация менее надежна, чем новая; пересмотр - это процесс вставки новой информации в набор старых версий без порождения несогласованности.

Основное предположение пересмотра предположений - это минимальное изменение: знания до и после изменения быть как можно более похожими. В случае обновления этот принцип формализует предположение об инерции. В случае пересмотра этого предписания предписывает сохранить как можно больше информации при изменении.

Пример

Следующий классический пример показывает, что операции, выполняемые в двух настройках обновления и ревизии, совпадают. Пример основан на двух различных интерпретациях набора убеждений ${a ∨ b} {\ displaystyle \ {a \ vee b \}}$ $\ {a \ vee b \}$ и иная информация $¬ a {\ displaystyle \ neg a}$ $\ neg a$ :

update: в этой сценарии два спутника, блок A и блок B, вращаются вокруг Марса; спутники запрограммированы на посадку, передавая свой статус на Землю; Земля получила сообщение от одного из спутников о том, что она все еще находится на орбите; однако из-за помех неизвестно, какой спутник послал сигнал; Земля дает сообщение получает о приземлении единицы А; этот сценарий можно смоделировать следующим образом; две пропозициональные переменные $a {\ displaystyle a}$ $a$ и $b {\ displaystyle b}$ $b$ указать, что Unit A и Unit B, соответственно, все еще на орбите; исходный набор иммунений: ${a ∨ b} {\ displaystyle \ {a \ vee b \}}$ $\ {a \ vee b \}$ (один из двух спутников все еще находится на орбите) и новый фрагмент информации - это $¬ a {\ displaystyle \ neg a}$ $\ neg a$ (объект A приземлился и поэтому не находится на орбите); единственный рациональный результат обновления: $¬ a {\ displaystyle \ neg a}$ $\ neg a$ ; поскольку исходная информация о том, что один из двух спутников еще не приземлился, возможно, поступала от Отряда A, положение Отряда B неизвестно;

редакция: пьеса «Шесть персонажей в поисках Автор» будет показан в одном из двух местных театров; эта информация может быть обозначена как ${a ∨ b} {\ displaystyle \ {a \ vee b \}}$ $\ {a \ vee b \}$ , где $a {\ displaystyle a}$ $a$ и $b {\ displaystyle b}$ $b$ указывает, что спектакль будет поставлен в первом или втором театре соответственно; информация о том, что "Иисус Христос Суперзвезда" будет показан в первом театре, указывает на то, что выполнено $¬ a {\ displaystyle \ neg a}$ $\ neg a$ ; в этом напрашивается очевидный вывод, что «Шесть персонажа в поисках автора» будут показаны во втором, а не в первом театре, что логически представлено как $¬ a ∧ b {\ displaystyle \ neg a \ wedge b}$ $\ neg a \ wedge b$ .

В этом примере показано, что изменение убеждения $a ∨ b {\ displaystyle a \ vee b}$ $a \ vee b$ с новой информацией $¬ a {\ displaystyle \ neg a}$ $\ neg a$ дает два разных результата $¬ a {\ displaystyle \ neg a}$ $\ neg a$ и $¬ a ∧ b {\ displaystyle \ neg a \ wedge b}$ $\ neg a \ wedge b$ в зависимости от того, является ли настройка обновлением или редакцией.

Сужение, расширение, пересмотр, объединение и слияние

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

сокращение: удаление убеждения;

расширение: добавление убеждения без согласованности;

исправление: добавление убеждения с сохранением согласованности;

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

объединение: восстановление согласованности набора убеждений;

объединение: слияние двух или более набораовений при сохранении согласованности.

Пересмотр и влияние тем, что первая операция выполняется, когда новое убеждение, которое необходимо объединить, считается более надежным, чем старое; Следовательно, последовательность операций за счет удаления некоторых старых верований. Слияние - более общая операция, поскольку приоритет среди наборов иммунений может быть или не совпадать.

Исправление может быть выполнено, сначала включив новый факт, а затем восстановив согласованность консолидации. На самом деле это скорее форма слияния, чем пересмотр, поскольку новая информация не всегда считается более надежной, чем старые знания.

Постулаты AGM

Постулаты AGM (названные в честь имен их сторонников, Alchourrón, Gärdenfors и Makinson ) являются свойствами, которые Оператор, выполняющий пересмотр, должен удовлетворять, чтобы этот оператор считался рациональным. Рассматриваемая настройка - это настройка проверки, что есть части информации, относящиеся к одной и той же ситуации. Рассматриваются операции: расширение (добавление убеждения без проверки согласованности), пересмотр (добавление убеждения при сохранении) и сокращение (удаление убеждения).

Первые шесть постулатов называются «постулатами ГОСА». В настройках, рассмотренных Альчурроном, Гарденфорсом и Макинсоном, текущий набор представлений дедуктивно замкнутым набором логических формул $K {\ displaystyle K}$ $K$ , называемым набором представлений, новая часть информации представляет собой логическую формулу $P {\ displaystyle P}$ $P$ , проверка выполняется бинарным оператором $∗ {\ displaystyle *}$ $*$ который принимает в качестве своих операндов текущие убеждения и новую информацию и в создающий пересмешений, представляющий результат просмотра. Оператор $+ {\ displaystyle +}$ $+$ обозначает расширение: $K + P {\ displaystyle K + P}$ $K + P$ - дедуктивное замыкание $K ∪ {P} { \ Displaystyle K \ чашка \ {P \}}$ $K \ чашка \ {P \}$ . Постулаты AGM для пересмотра:

Закрытие: $K ∗ P {\ displaystyle K * P}$ $K * P$ - набор убеждений (т. Е. Дедуктивно замкнутый набор формул);
Успех: $P ∈ K ∗ P {\ displaystyle P \ in K * P}$ $P \ in K * P$
Включение: $K ∗ P ⊆ K + P {\ displaystyle K * P \ substeq K + P}$ $K * P \ substeq K + P$
Пустота: $Если (¬ P) ∉ K, то K ∗ P = K + P {\ displaystyle {\ text {If}} (\ neg P) \ not \ in K, {\ текст {then}} K * P = K + P}$ ${\ text {If}} (\ neg P) \ not \ in K, {\ текст {}}} K * P = K + P$
$K ∗ P {\ displaystyle K * P}$ $K * P$ несовместимо, только если $P {\ displaystyle P }$ $P$ несовместимо
Расширяемость: $Если P и Q логически эквивалентны, то K ∗ P = K ∗ Q {\ displaystyle {\ text {If}} P {\ text {и }} Q {\ text {логически эквивалентны, тогда}} K * P = K * Q}$ ${\ text {If}} P {\ text {и}} Q {\ text {логически эквивалентны, тогда}} K * P = K * Q$ (см. логическая эквивалентность )
$K ∗ (P ∧ Q) ⊆ (K ∗ P) + Q {\ Displaystyle К * (P \ клин Q) \ substeq (K * P) + Q}$ $K * (P \ wedge Q) \ substeq (K * P) + Q$
$Если (¬ Q) ∉ K ∗ P, то (K ∗ P) + Q ⊆ K ∗ (P ∧ Q) {\ displaystyle {\ text {If}} (\ neg Q) \ not \ in K * P {\ text {then}} (K * P) + Q \ substeq K * (P \ wedge Q)}$ ${\ text {If}} (\ neg Q) \ not \ in K * P {\ text {then}} (K * P) + Q \ substeq K * (P \ wedge Q)$

Ревизия опе ратора, которая удовлетворяет всем восьми постулатам, - это полная версия Meet, в которой $K ∗ P {\ displaystyle K * P}$ $K * P$ равно $K + P {\ displaystyle K + P}$ $K + P$ , если согласовано, и дедуктивному замыканию $P {\ displaystyle P}$ $P$ в случае потери. Этот оператор проверки удовлетворяет всем постулатам AGM, но считается слишком консервативным в том смысле, что информация из старой базы знаний не сохраняется, если формула пересмотра не соответствует с ней.

Условия, эквивалентные постулатам AGM

Постулаты AGM эквивалентны нескольким условиям различных операторов ревизии; в частности, они эквивалентны определению оператора ревизии в терминах структур, известных как функции выбора, эпистемические закрепления, системы сфер и отношения. Последние предоставьте собой рефлексивные, транзитивные и общие отношения по набору моделей.

Каждый оператор редакции $∗ {\ displaystyle *}$ $*$ , удовлетворяющий постулатам AGM, связан с набором отношений предпочтений $≤ K {\ displaystyle \ leq _ {K}}$ $\ leq _ {K}$ , по одному для каждого возможного набора наборов $K {\ displaystyle K}$ $K$ , так что модели $K {\ displaystyle K}$ $K$ являются в точности минимальными из всех моделей согласно $≤ K {\ displaystyle \ leq _ {K}}$ $\ leq _ {K}$ . Оператор ревизии и связанное с ним семейство порядков связаны тем, что $K ∗ P {\ displaystyle K * P}$ $K * P$ - это набор формул, набор моделей содержит все минимальные модели $P {\ displaystyle P}$ $P$ согласно $≤ K {\ displaystyle \ leq _ {K}}$ $\ leq _ {K}$ . Это условие эквивалентно тому, что набор моделей $K ∗ P {\ displaystyle K * P}$ $K * P$ является отсутствием точности набором минимальных моделей $P {\ displaystyle P}$ $P$ согласно порядку $≤ K {\ displaystyle \ leq _ {K}}$ $\ leq _ {K}$ .

Предпочтительный порядок $≤ K {\ displaystyle \ leq _ {K}} <133$ $\ leq _ {K}$ представляет порядок неправдоподобия всех ситуаций, включая те, которые мыслимы, но в настоящее время считаются ложными. Минимальные модели в соответствии с таким порядком - это как раз модели базы знаний, которые в настоящее время считаются наиболее вероятными. Все остальные модели лучше этих и действительно считаются менее правдоподобными. В общем, $I < K J {\displaystyle I<_{K}J}$ $I <_ {K} J$ указывает, что ситуация, представленная моделью $I {\ displaystyle I}$ $I$ , считается более правдоподобной, чем ситуация, представленная $J {\ displaystyle J}$ $J$ . В результате пересмотре по формуле, имеющей $I {\ displaystyle I}$ $I$ и $J {\ displaystyle J}$ $J$ в качестве моделей, следует выбирать только $I {\ displaystyle I}$ $I$ в качестве модели пересмотренной базы знаний, поскольку эта модель представляет собой наиболее вероятный сценарий среди тех, которые поддерживаются $P {\ displaystyle P}$ $P$ .

Сокращение

Сокращение - это операция удаления убеждения $P {\ displaystyle P}$ $P$ из базы знаний $K {\ displaystyle K}$ $K$ ; результат этой операции обозначается $K - P {\ displaystyle K-P}$ $КП$ . Операторы пересмотра и сжатия связаны тождествами Леви и Харпера:

K ∗ P = (K - ¬ P) + P {\ displaystyle K * P = (K- \ neg P) + P}

K * P = (K- \ neg P) + P

K - P знак равно K ∩ (K ∗ ¬ P) {\ displaystyle KP = K \ cap (K * \ neg P)}

KP = K \ cap (K * \ neg P)

Восемь постулатов были использованы для сокращений. Всякий раз, когда оператор исправления удовлетворяет восьмипостулатам исправления, его оператор сжатия удовлетворяет восьми постулатам сокращения и наоборот. Если оператор сжатия удовлетворяет, по крайней мере, его первым постулатам сжатия переводит его в оператор сжатия, а затем обратно в оператор сжатия с использованием двух приведенных выше тождеств приводит к исходному оператору сжатия. То же самое, начиная с оператора ревизии.

Один из постулатов сокращений давно обсуждался: постулат восстановления:

K = (K - P) + P {\ displaystyle K = (KP) + P}

K = (KP) + P

Согласно этому постулат, удаление убеждения $P {\ displaystyle P}$ $P$ с последующим повторным введением того же убеждения должно привести к исходному исходному убеждению. Есть несколько примеров, показывающих, что такое поведение не всегда разумно: в частности, сокращение общим условием, таким как $a ∨ b {\ displaystyle a \ vee b}$ $a \ vee b$ , приводит к удалению большего количества утвержденных условий, такие как $a {\ displaystyle a}$ $a$ из набора убеждений; тогда неясно, почему повторное введение $a ∨ b {\ displaystyle a \ vee b}$ $a \ vee b$ должно также привести к повторному введению более конкретным условиям $a {\ displaystyle a}$ $a$ . Например, раньше считалось, что у Джорджа есть немецкое гражданство, то он также считался европейцем. Заключение этого последнего убеждения равносильно прекращению верить, что Джордж - европеец; следовательно, Джордж имеет немецкое гражданство, также исключается из набора иммунений. Если позже выяснится, что у Джорджа есть австрийское гражданство, то факт, что он европеец, также будет восстановлен. Однако, согласно постулату выздоровления, следует восстановить веру в то, что он также имеет немецкое гражданство.

Соответствие между пересмотром и сжатием, вызванным идентичностями Леви и Харпера, таково, что сокращение, не удовлетворяющее постулату восстановления, переводится в пересмотр, удовлетворяющий всем восьми постулатам, и что пересмотр, удовлетворяющий всем восьми постулатам, переводится в сокращение, удовлетворяющее всем восьми постулатам, включая восстановление. В результате, если восстановление исключается из рассмотрения, несколько операторов сжатия переводят в один из исправлений, который затем может быть преобразован обратно ровно в один оператор сжатия. Этот оператор - единственный из исходной группы операторов сжатия, удовлетворяющий восстановлению; среди этой группы именно оператор сохраняет как можно больше информации.

Тест Рамсея

Оценка контрфактического условия $a>b {\ displaystyle a>b}$ $a>b$ может быть выполнено в соответствии с тестом Ramsey (назв. в честь Фрэнка П. Рэмси ), к гипотетическому добавлению $a {\ displaystyle a}$ $a$ к набору текущей проверкой истинности $b {\ displaystyle b}$ $b$ . Если $K {\ displaystyle K}$ $K$ - это набор убеждений, используемых в настоящее время, тест Рамси формирует следующее соответствие:

a>b ∈ K {\ displaystyle a>b \ in K}

a>b \ in K

если и только если

b ∈ K ∗ a {\ displaystyle b \ in K * a}

b \ in K * a

Если рассматриваемый язык формул, представляющих убеждения пропозициональный, тест Рамсея дает последовательное определение контрфактических условных убеждений в терминах протестных убеждений. Однако, если язык формул, представляющих убеждения, включает контрфактическую условную связку $>{\ displaystyle>}$ $>$ , тест Рамси приводит к тривиальному результату Гарденфорса: нет нетривиального теста ревизии, который удовлетворяет AGM постулатам AGM, такому условию теста. результат сохранения в предположении, что контрфактические формулы типа $a>b {\ displaystyle a>b}$ $a>b$ может присутствовать в наборах версий и пересмотренных формулах. Было предложено несколько решений этой проблемы.

Немонотонное вывод результатов

Учитывая фиксированную базу знаний $K {\ displaystyle K}$ $K$ и оператор проверки $∗ {\ displaystyle *}$ $*$ , можно определить немонотонное вывод, используя следующее определение: $P ⊢ Q {\ displaystyle P \ vdash Q}$ $P \ vdash Q$ тогда и только тогда, когда $K ∗ П ⊨ Q {\ displaystyle K * P \ models Q}$ $K * P \ models Q$ . Другими словами, формула $P {\ displaystyle P}$ $P$ влечет за собой другую формулу $Q {\ displaystyle Q}$ $Q$ , если добавление первой формулы к текущим знаниям приводит к получению $Q {\ displaystyle Q}$ $Q$ . Это отношение вывода немонотонно.

Постулаты AGM могут быть преобразованы в набор постулатов для этого вывода. Каждый из этих постулатов вытекает из некоторого ранее рассмотренного постулатов для немонотонных выводов. И наоборот, условия, которые были рассмотрены для немонотонных выводов вывода, могут быть переведены в постулаты для оператора проверки. Все эти посту вытекают из постулатов Общего собрания акционеров.

Базовая версия

В структуре AG набор представлений представлен представлен дедуктивно замкнутым набором пропозициональных формул. Хотя такие множество бесконечны, они всегда могут быть конечно представимы. Предполагается, что работа с дедуктивно замкнутыми наборами формул приводит к неявным предположениям. Это называется принципом неактуальности синтаксиса.

Этот принцип обсуждался и обсуждается в настоящее время: while ${a, b} {\ displaystyle \ {a, b \}}$ $\ {a, b \}$ и ${a ∧ b} {\ displaystyle \ {a \ wedge b \}}$ $\ {a \ wedge b \}$ - два эквивалентных набора, изменение которых на $¬a {\ displaystyle \ neg a}$ $\ neg a$ должно дать разные результаты. В первом случае $a {\ displaystyle a}$ $a$ и $b {\ displaystyle b}$ $b$ - два отдельных убеждения; поэтому редактирование с помощью $¬ a {\ displaystyle \ neg a}$ $\ neg a$ не должно быть никакого влияния на $b {\ displaystyle b}$ $b$ , и результатом пересмотра будет ${¬ a, b} {\ displaystyle \ {\ neg a, b \}}$ $\ {\ neg a, b \}$ . Во втором случае $a ∧ b {\ displaystyle a \ wedge b}$ $a \ wedge b$ берется за одно убеждение. Тот факт, что $a {\ displaystyle a}$ $a$ является ложным, противоречит этому убеждению, которое, следовательно, должно быть удалено из набора убеждений. Таким образом, результатом пересмотра является ${¬ a} {\ displaystyle \ {\ neg a \}}$ $\ {\ neg a \}$ в данном случае.

Проблема использования дедуктивно закрытых баз знаний заключается в том, что не делается различия между частями знаний, которые известны сами по себе, и частями знаний, которые являются их просто следствием. Вместо этого это различие проводится с помощью фундаментального подхода к пересмотру убеждений, который связан с фундаментализмом в философии. Согласно этому подходу, отказ от непроизводных знаний должен приводить к отказу от всех его последствий, которые не поддерживаются иным образом (другими непроизводными знаниями). Этот подход можно реализовать, используя базы знаний, которые не являются дедуктивно закрытыми, и предполагая, что все формулы в базе знаний представляют собой самостоятельные убеждения, то есть они не являются производными убеждениями. Чтобы отличить фундаментальный подход к пересмотру убеждений от подхода, основанного на дедуктивно закрытых базах знаний, последний называется когерентистскимподходом. Это название было выбрано, потому что когерентистский подход направлен на восстановление согласованности (следовать) между всеми убеждениями, как самостоятельными, так и производными. Этот подход связан с когерентизмом в философии.

Основоположники ревизии, работ с недедуктивно закрытыми наборами убеждений, обычно выбирают некоторые подмножества $K {\ displaystyle K}$ $K$ , которые согласуются с $P {\ displaystyle P}$ $P$ , объединил их каким-то образом, а затем соединил их с $P {\ displaystyle P}$ $P$ . Ниже приведены два недедуктивно закрытых оператора ревизии базы.

WIDTIO: (Если сомневаетесь, выбросьте) максимальные подмножества $K {\ displaystyle K} <133$ $K$ , которые соответствуют $P {\ displaystyle P}$ $P$ пересекаются, и $P {\ displaystyle P}$ $P$ добавляется к результирующему набору; Другими словами, результат пересмотра состоит из $P {\ displaystyle P}$ $P$ и всех $K {\ displaystyle K}$ $K$ , которые максимальные подмножества $K {\ displaystyle K}$ $K$ , согласны с $P {\ displaystyle P}$ $P$ ;

Уильямс: решил открытую проблему, разработав новое представление для конечных базисов, чтобы провести ревизию и сокращение года общего собрания. Это представление было преобразовано в вычислительную модель.

Гинзберг - Феджин - Ульман - Варди: максимальные подмножества $K ∪ {P} {\ displaystyle K \ cup \ {P \}}$ $K \ чашка \ {P \}$ , которые согласованы и содержат $P {\ displaystyle P}$ $P$ , объединяются дизъюнкцией;

Nebel: похожие к вышеизложенному, но среди формул может быть установлен приоритет, так что формулы с более высоким приоритетом будут отозваны с меньшей вероятностью, чем формулы с более низким приоритетом.

Другая реализация фундаментального подхода к убеждениям оснований на явном объявлении убеждения. В системы поддержания истины можно указать связи между убеждениями. В мирах можно явно заявить, что в данный факт верят на основании одного или нескольких других фактов; такая зависимость оправданием. Убеждения, не имеющие никакого оправдания, роль не производных услуг в недедуктивно закрытой базе знаний.

Пересмотр и обновление на основе моделей

Ряд предложений по пересмотру и обновлению на основе набора моделей задействованных формул разработан независимо от структур AGM. Используется в том, что база знаний эквивалентна набору миров, то есть набору сценариев, которые считаются возможными в соответствии с этой базой знаний. Таким образом, пересмотр может работать на искусстве обучения миров, а не на соответствующих основах.

Операторы изменений и обновления, основанные на моделях, обычно идентифицируются по именам их авторов: Винслетт, Форбус, Сато, Далал, Хегнер и Вебер. Согласно первому четырем из этих предложений, результат изменений / обновления формулы $K {\ displaystyle K}$ $K$ другой формулой $P {\ displaystyle P}$ $P$ включает набором моделей $P {\ displaystyle P}$ $P$ , которые наиболее близки к моделям $K {\ displaystyle K}$ $K$ . Могут быть устойчивыми понятиями разные близости, что приводит к различию между этими предложениями.

Пеппас и Уильямс: представили формальную взаимосвязь между редакцией и обновлением. Они представили идентичность Уинслетта в

Dal: моделях $P {\ displaystyle P}$ $P$ , имеющем минимальное расстояние Хэмминга до моделей $K {\ displaystyle K}$ $K$ выбраны в качестве моделей, являющиеся результатом изменения;

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

Winslett: для каждой модели $K {\ displaystyle K}$ $K$ , ближайших моделей $P {\ displaystyle P}$ $P$ выбраны; сравнение выполняется с использованием набора разницы;

Боргида: равно значению Уинслетта, если $K {\ displaystyle K}$ $K$ и $P {\ displaystyle P}$ $P$ непоследовательны; в случае возникновения результата пересмотра будет $K ∧ P {\ displaystyle K \ wedge P}$ $K \ wedge P$ ;

Forbus: аналогично Уинслетту, но используется расстояние Хэмминга.

Оператор пересмотра, определенным Хегнером, делает $K {\ displaystyle K}$ $K$ , чтобы не влиять на значения чисел, указанных в $P {\ displaystyle P}$ $P$ . В результате этой операции получается формула $K '{\ displaystyle K'}$ $K'$ , которая согласуется с $P {\ displaystyle P}$ $P$ и поэтому может быть объединена с этим. Оператор редакции Вебера аналогичен, но литералы, удаленные из $K {\ displaystyle K}$ $K$ , не являются всеми литералами $P {\ displaystyle P}$ $P$ , но только литералы, которые по-разному оцениваются парой ближайших моделей $K {\ displaystyle K}$ $K$ и $P {\ displaystyle P}$ $P$ в соответствии с Сато мера близости.

Итерационная версия

Постулаты AGM эквивалентны упорядочиванию предпочтений (упорядочение по моделям), которое должно быть связано с каждой базой знаний $K {\ displaystyle K}$ $K$ . Однако они не связывают порядки, соответствующие двум неэквивалентным базам знаний. В частности, порядок, связанный с базой знаний $K {\ displaystyle K}$ $K$ и ее обновленной версией $K ∗ P {\ displaystyle K * P}$ $K * P$ , может быть совершенно другой. Это проблема для выполнения второй ревизии, поскольку порядок, связанный с $K ∗ P {\ displaystyle K * P}$ $K * P$ , необходим для вычислений $K ∗ P ∗ Q {\ displaystyle K * P * Q}$ $K*P*Q$ .

Установление связи между порядком, себя с $K {\ displaystyle K}$ $K$ и $K ∗ P {\ displaystyle K * P}$ <149 Однако было признано, что это неправильное решение этой проблемы. Действительно, отношение предпочтения должно зависеть от предыдущей истории изменений, а не только от итоговой базы знаний. В более общем плане отношение предпочтений больше информации о душевном состоянии агента, чем простая база знаний. В самом деле, два состояния ума могут представлять одно и то же знание $K {\ displaystyle K}$ $K$ , но в то же время различаться в способах включения нового знания. Например, два человека могут иметь одно и то же представление о том, но они различаются по поводу того, как они изменит это представление, если выиграют лотерею на миллион долларов. Условия упрощения упрощения упорядочения предпочтений является то, что их минимальные модели являются в точности моделями с ними базами знаний, можно считать, что база знаний не показывает упорядочение предпочтений (но не наоборот).

Учитывая, что упорядочение предпочтений позволяет получить связанный с ним базы знаний, но также позволяет выполнить единичный шаг пересмотра, исследования повторного пересмотра были установлены на том, как следует изменить порядок предпочтений в ответ на пересмотр. В то время как пошаговая редакция касается того, как базу знаний $K {\ displaystyle K}$ $K$ нужно преобразовать в новую базу знаний $K ∗ P {\ displaystyle K * P}$ $K * P$ , итеративная редакция касается того, как упорядочение предпочтений (представляющее как текущие знания, так и то, сколько ситуаций, которые считаются ложными, считаются возможными), должны быть преобразованы в новое отношение предпочтений, когда $P {\ displaystyle P}$ $P$ изучен. Один шаг повторной ревизии приводит к новому порядку, который позволяет вносить дальнейшие поправки.

Обычно рассматриваются два вида упорядочения предпочтений: числовой и нечисловой. В первом случае уровень правдоподобия модели представлен неотрицательным целым числом; чем ниже ранг, тем правдоподобнее ситуация, соответствующая модель. Нечисловые порядки предпочтений соответствуют отношениям предпочтений, используемым в структуре AGM: возможно, тотальный порядок над моделями. Нечисловое отношение предпочтения изначально считалось непригодным для повторной ревизии из-за невозможности отменить ревизию рядом других ревизий, что вместо этого возможно в числовом случае.

Дарвиш и Перл сформулировали следующие постулаты для повторного пересмотра.

если $α ⊨ μ {\ displaystyle \ alpha \ models \ mu}$ $\ alpha \ models \ mu$ , то $(ψ ∗ μ) ∗ α ≡ ψ ∗ α {\ displaystyle (\ psi * \ му) * \ альфа \ эквив \ psi * \ альфа}$ $(\ psi * \ mu) * \ alpha \ Equiv \ psi * \ alpha$ ;
если $α ⊨ ¬ μ {\ displaystyle \ alpha \ models \ neg \ mu}$ $\ alpha \ models \ neg \ mu$ , то $(ψ ∗ μ) ∗ α ≡ ψ ∗ α {\ Displaystyle (\ psi * \ mu) * \ альфа \ эквив \ psi * \ alpha}$ $(\ psi * \ mu) * \ alpha \ Equiv \ psi * \ alpha$ ;
, если $ψ ∗ α ⊨ μ {\ displaystyle \ psi * \ alpha \ models \ mu}$ $\ psi * \ alpha \ models \ mu$ , тогда $(ψ ∗ μ) ∗ α ⊨ μ {\ displaystyle (\ psi * \ mu) * \ alpha \ models \ mu}$ $(\ psi * \ mu) * \ alpha \ models \ mu$ ;
, если $ψ ∗ α ⊭ ¬ μ {\ Displaystyle \ psi * \ alpha \ not \ models \ neg \ mu}$ $\ psi * \ alpha \ not \ models \ neg \ mu$ , затем $(ψ ∗ μ) ∗ α ⊭ ¬ μ {\ displaystyle (\ psi * \ mu) * \ alpha \ not \ models \ neg \ mu}$ $(\ psi * \ mu) * \ alpha \ not \ models \ neg \ mu$ .

Конкретные операторы повторной ревизии были предложены Spohn, Boutilier, Williams, Lehmann и другими. Уильямс также предоставил общий оператор повторной редакции.

Spohn отклонил редакцию: это нечисловое предложение было сначала рассмотрено Spohn, который изменил его на основании того факта, что изменения могут быть изменены таким образом, что исходный порядок не может быть восстановлен с помощью других редакций; этот оператор новой изменяет порядок предпочтений с учетом информации $P {\ displaystyle P}$ $P$ , делает все модели $P {\ displaystyle P}$ $P$ предпочтительнее всех других моделей; исходный порядок сохраняется при сравнении двух моделей, которые моделями $P {\ displaystyle P}$ $P$ или обоими не моделями $P {\ displaystyle P}$ $P$ ;

Естественная редакция: при изменении порядка предпочтений по формуле $P {\ displaystyle P}$ $P$ , все минимальные модели (в соответствии с порядком предпочтений) $P {\ displaystyle P}$ $P$ предпочтительнее всех остальных; исходный порядок моделей сохраняется при сравнении двух моделей, которые не являются минимальными моделями $P {\ displaystyle P}$ $P$ ; этот оператор минимально изменяет порядок среди моделей, сохраняя при этом свойство, что модели базы знаний после проверки на $P {\ displaystyle P}$ $P$ являются минимальными моделями для $P {\ displaystyle P }$ $P$ в соответствии с порядком предпочтений;

Трансмутации: Уильямс предоставил первое обобщение итерации пересмотра убеждений с использованием трансмутаций. Она проиллюстрировала трансмутации, используя две формы пересмотра, условности и корректировки, которые работают с порядком числовых предпочтений; для пересмотра требуется не только формула, но и номер или рейтинг существующего убеждения, указывающий на степень его правдоподобия; в то время как порядок предпочтений по-прежнему инвертирован (чем ниже модель, тем она наиболее правдоподобна), степень правдоподобия пересматриваемой формулы прямая (чем выше степень, тем больше верят в формулу);

Ранжированная версия: ранжированная модель, которая представляет собой присвоение неотрицательных целых чисел моделям, должна быть указана в начале; этот ранг аналогичен порядку предпочтений, но не изменяется при пересмотре; то, что изменяется последовательностью ревизий, - это текущий набор моделей (представляющий текущую базу знаний) и число, называемое рангом последовательности; поскольку это число может не уменьшаться только монотонно, некоторые последовательности ревизий приводят к ситуациям, в которых каждая последующая ревизия выполняется как полная ревизия.

Объединение

В операторе ревизии неявно предполагается, что новая часть информации $P {\ displaystyle P}$ $P$ всегда должна считаться более надежной, чем старая база знаний $K {\ displaystyle K}$ $K$ . Это формализовано вторым постулатом AGM: $P {\ displaystyle P}$ $P$ всегда считается верным после пересмотра $K {\ displaystyle K}$ $K$ с $П {\ Displaystyle P}$ $P$ . В более общем плане можно рассмотреть процесс объединения нескольких частей информации (а не только двух), которые могут иметь или не иметь одинаковую надежность. Редакция становится частным случаем этого процесса, когда менее надежный фрагмент информации $K {\ displaystyle K}$ $K$ объединяется с более надежным $P {\ displaystyle P}$ $P$ .

. входными данными для процесса проверки является пара формул $K {\ displaystyle K}$ $K$ и $P {\ displaystyle P}$ $P$ , входными данными для слияния является мультимножество формул $K {\ displaystyle K}$ $K$ , $T {\ displaystyle T}$ $T$ и т. д. Использование мультимножеств необходимо, поскольку два источника процесса слияния могут быть идентичны.

При объединении нескольких баз знаний с одинаковой степенью правдоподобия проводится различие между арбитражем и большинством. Это различие зависит от предположения, которое делается об информации и от того, как она должна быть собрана.

Арбитраж: результат арбитража двух баз знаний $K {\ displaystyle K}$ $K$ и $T {\ displaystyle T}$ $T$ влечет за собой $К ∨ T {\ displaystyle K \ vee T}$ $K \ vee T$ ; это условие формализует предположение о сохранении как можно большего количества старой информации, поскольку оно эквивалентно навязыванию того, что каждая формула, вытекающая из обеих баз знаний, также является результатом их арбитража; в возможном мировоззрении «реальный» мир считается одним из миров, считающихся возможным согласно по крайней мере одной из двух баз знаний;

Большинство: результат объединения базы знаний $K {\ displaystyle K}$ $K$ с другими базами знаний можно принудительно вызвать $K {\ displaystyle K}$ $K$ , добавив достаточное количество других баз знаний, эквивалентных $К {\ Displaystyle K}$ $K$ ; это условие соответствует своего рода голосованию большинством голосов: достаточно большое количество баз знаний всегда может преодолеть «мнение» любого другого фиксированного набора баз знаний.

Вышеупомянутое является исходным определением арбитража. Согласно более новому определению, арбитр Оператор ion - это оператор слияния, который нечувствителен к количеству эквивалентных баз знаний для слияния. Это определение арбитраж полной противоположностью большинству.

Постулаты как для арбитража предложены рацион, так и влияние. Примером арбитражного оператора, удовлетворяющего всем постулатам, является классическая дизъюнкция. Примером широко распространяющегося всем постулатам, является выбор всех моделей, которые имеют минимальное общее Хэмминга, до моделей знаний для слияния.

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

Теория общественного выбора

Многие предложения по пересмотру включают упорядочивание моделей, представляющих относительную правдоподобность альтернатив. Проблема сли сводится к объединению набора порядков в один, выражающий совокупную правдоподобность альтернатив. Это похоже на то, что делается в теории социального выбора, которая изучает, как предпочтения группы агентов могут быть рационально объединены. Теория пересмотра убеждений и теории социального выбора схожи в том, что они объединяют набор порядков в одну. Они различаются тем, как интерпретируются порядки: предпочтения в социальных выборах; правдоподобие примотре обвинений. Другое отличие состоит в том, что альтернативно используется алфавит в данном режиме выбора.

Сложность

Проблема пересмотра наиболее изученной точки зрения компьютерной сложности, - это проблема ответа на запрос в пропозициональном случае. Это проблема установления того, следует ли формула из результата пересмотра, то есть $K ∗ P ⊨ Q {\ displaystyle K * P \ models Q}$ $K * P \ models Q$ , где $K {\ displaystyle K}$ $K$ , $P {\ displaystyle P}$ $P$ и $Q {\ displaystyle Q}$ $Q$ - пропозициональные формулы. В более общем смысле, ответ на запрос - это определение проблемы, является ли формула результата пересмотра, может быть изменение, слияние, пересмотр, повторная ревизия и т. Д. Еще одна проблема, на которую обращают внимание, - это проблема проверка модели, то есть проверка того, удовлетворяет ли модель результату пересмотра. С этим связан вопрос, может ли такой результат представлен в изображении полиномиального от его аргументов.

Экстренная замкнутая база знаний в эквивалентной конечной базе знаний.

Различают репрессии. В то время как первые представляют собой простые математические операторы, преобразующие пару формул в другую формулу, последние зависят от дополнительной информации, такой как отношение предпочтений. Например, ревизия является оператором, потому что, если даны две формулы $K {\ displaystyle K}$ $K$ и $P {\ displaystyle P}$ $P$ , никакие другие данные необходимы для вычислений $K * P {\ displaystyle K * P}$ $K * P$ . С другой стороны, ревизия на основе отношения предпочтения является схемой пересмотра, потому что $K {\ displaystyle K}$ $K$ и $P {\ displaystyle P}$ $P$ не позволяет определить результат пересмотра, если не задано семейство порядков предпочтений между моделями. Сложность ревизии определена в предположении, что дополнительная информация, необходимая для вычисления ревизии, дается вой компактной форме. Например, отношение предпочтений может быть последовательностью формул, модели которых становятся все более предпочтительными. Явное сохранение в виде набора паролем не является компактным представлением предпочтения, требуемое пространство экспоненциально зависит от количества пропозициональных букв.

Сложность ответа на запрос и проверки модели в пропозициональном случае находится на втором уровне полиномиальной иерархии для наборов операторов и схем пересмотра проверений. Большинство операторов ревизии страдают от проблемы репрезентативного разрушения: результат пересмотра двух исходных формул не обязательно может быть представлен в визуализации, полиномиальном от двух исходных формул. Другими словами, пересмотр может экспоненциально увеличить размер базы знаний.

Актуальность

Достигнуты новые прорывные результаты, демонстрирующие, как релевантность может быть при пересмотре вирусов. Уильямс, Пеппас, Фу и Чопра сообщили о результатах в журнале «Искусственный интеллект».

Реализации

Системы, специально реализующие пересмотр обвинений:

SATEN - объектно-ориентированный веб-интерфейс механизм проверки и извлечения (Williams, Sims)
ADS - SAT-решатель - проверка обвинений на основе (Benferhat, Kaci, Le Berre, Вильямс )
BReLS
Immortal

Две системы, запускающие функцию Проверки пересмотра, - это SNePS и Cyc.