Генри Э. Кибург-младший (1928–2007) был профессором моральной философии Гидеона Бербанка и профессором компьютерных наук в Университете Рочестера , Нью-Йорк, и выдающимся ученым Пейса в Институте познания человека и машины , Пенсакола, Флорида. Его первые должности на факультете были в Институте Рокфеллера , Денверском университете , Уэслианском колледже и Государственном университете Уэйна .
Кибург работал с вероятностью и логикой и известен своим парадоксом лотереи (1961). Кибург также редактировал « Исследования субъективной вероятности» (1964) с Говардом Смоклером. Из-за связи этой совокупности с байесовской вероятностью Кибурга часто неправильно понимают как байесовского. Его собственная теория вероятности изложена в « Логических основах статистического вывода» (1974), теории, которая впервые нашла форму в его книге « Вероятность и логика рационального убеждения» 1961 года (в свою очередь, работе, тесно связанной с его докторской диссертацией). Кибург описывает свою теорию как кейнсианскую и фишеровскую (см. Джона Мейнарда Кейнса и Рональда Фишера ), выполняя обещанияРудольф Карнап и Ханс Райхенбах за логическую вероятность, основанную на эталонных классах, реакцию на статистику Неймана – Пирсона (см. Лемму Ежи Неймана , Карла Пирсона и Неймана – Пирсона ) и нейтральную по отношению к байесовской подтверждающей обусловленности. По последнему вопросу Кибург подробно обсуждал в литературе со своим другом и коллегой Исааком Леви .
К более поздним основным работам Кибурга относятся « Эпистемология и вывод» (1983), сборник эссе; Теория и измерение (1984), ответ на « Основы измерения» Кранца – Люса – Суппеса – Тверски ; и « Наука и разум» (1990), который пытается развеять опасения Карла Поппера и Бруно де Финетти по поводу того, что эмпирические данные не могут подтвердить универсальную количественную научную аксиому (например, F = ma ).
Кибург был членом Американской ассоциации развития науки (1982), членом Американской академии искусств и наук (1995), членом Американской ассоциации искусственного интеллекта (2002) и обладателем медали Батлера за философию в Сильвер из Колумбийского университета , где он получил докторскую степень под руководством Эрнеста Нагеля . Кибург также был выпускником Йельского университета и стипендиатом Гуггенхайма в 1980 году . [1]
Кибург владел фермой в Лионе, штат Нью-Йорк, где он вместе со своей женой Сарой разводил скот ангусов и продвигал ветряные турбины для энергонезависимых фермеров.
Философские родственники
Несколько профессоров философии сегодня были когда-то студентами Генри Кибурга, включая Дэниела Деннета , Роберта Сталнакера , Рича Томасона, Тедди Зайденфельда и Уильяма Л. Харпера.
Его аспирантами по ИИ были Рональд Луи , Бюлент Муртезаоглу и Чох Ман Тенг, а также постдокторант Фахием Бахус. Среди его студентов философии были дочь Алиса Кибург, Мариам Талос, Грегори Уиллер , Уильям Харпер, Абхая Наяк, Прашанта Бандьопадхая, в дополнение к перечисленным выше.
Теория вероятности
Несколько идей различают Кибург в Kyburgian или гносеологическую интерпретацию вероятности:
- Вероятность измеряется интервалом (некоторые ошибочно принимают это за сходство с теорией Демпстера-Шафера , но Кибург категорически отвергает их правило комбинирования; его работа оставалась ближе к доверительным интервалам и часто интерпретировалась байесовцами как приверженность набору распределений. , от которого Кибург не отказался)
- Все утверждения о вероятности можно проследить до прямого вывода частоты в эталонном классе (могут быть вычисления по правилу Байеса после выводов прямого вывода, но в теории Кибурга нет ничего похожего на априорное распределение)
- Эталонный класс - это наиболее специфический класс с подходящими частотными знаниями (это правило Райхенбаха, которое Кибург уточнил ; его структура была позже переинтерпретирована Джоном Л. Поллоком как оспоримая система рассуждений , но Кибург никогда не предполагал, что вычисление объективных вероятностей для быть сокращенным из-за ограниченной рациональности из-за вычислительного несовершенства)
- Все вероятностные выводы основаны на знании частот и свойств, а не на незнании частот; однако случайность - это, по сути, отсутствие знания о предвзятости (Кибург особенно отвергает максимальные энтропийные методы Гарольда Джеффриса , Е.Т. Джейнса и другие способы использования Принципа Безразличия здесь; и Кибург здесь не согласен с Исааком Леви, который считает, что случайность должна быть положительно утверждена. при знании соответствующих физических симметрий)
- Нет разногласий по поводу вероятности, если есть согласие по релевантным знаниям; это объективизм, относящийся к доказательному состоянию (т. е. относящийся к набору наблюдаемых частот свойств в классе и набору утвержденных свойств событий)
Пример: предположим, что корпус Знаний находится на уровне принятия. В этом корпусе содержатся утверждения,
e - это T1, а e - это T2 .
Наблюдаемые
частота P среди T1 составляет 0,9.
Наблюдаемые
частота P среди T2 составляет 0,4.
Какова вероятность того, что e будет P ?
Здесь есть два конфликтующих эталонных класса, поэтому вероятность составляет либо [0, 1] , либо некоторый интервал, объединяющий .4 и .9, который иногда равен просто [.4, .9] (но часто другой вывод будет гарантировано). Добавление знаний
Все T1 - это T2
теперь делает T1 наиболее конкретным релевантным эталонным классом и доминирующим над всеми мешающими эталонными классами. С этим универсальным заявлением о включении классов
вероятность равна [.9, .9], прямым выводом из T1 .
Правила Кибурга применяются к конфликтам и подчинению в сложных частичных порядках.
Принятие и принципы рациональной веры
Выводы Кибурга всегда относительны к уровню принятия, который определяет корпус морально определенных утверждений. Это похоже на уровень уверенности, за исключением того, что теории Неймана – Пирсона запрещены ретроспективные вычисления и принятие после наблюдений, в то время как эпистемологическая интерпретация вероятности Кибургом разрешает и то, и другое. На уровне принятия любое утверждение, которое более вероятно, чем уровень принятия, может быть принято, как если бы оно было достоверным. Это может создать логическую несогласованность, которую Кибург проиллюстрировал в своем знаменитом парадоксе лотереи .
В приведенном выше примере вычисление того, что e является P с вероятностью 0,9, позволяет принять утверждение, что e является P категорически, на любом уровне принятия ниже, чем .9 (при условии, что расчет был выполнен на уровне принятия выше. .9). Интересное противоречие состоит в том, что очень высокие уровни принятия содержат мало доказательственных заявлений. Они даже не включают грубые наблюдения за чувствами, если в прошлом эти чувства часто обманывались. Точно так же, если измерительное устройство сообщает в пределах интервала ошибки со скоростью 0,95, тогда никакие измеримые утверждения недопустимы на уровне выше 0,95, если только интервал ошибки не будет расширен. Между тем, на более низких уровнях принятия допустимо так много противоречивых утверждений, что ничего полезного невозможно вывести без несогласованности.
Кибург трактует предложения с универсальной квантификацией, чтобы добавить их к Ур-корпусу или смысловым постулатам языка. Здесь такие утверждения, как F = ma или предпочтение транзитивно, обеспечивают дополнительные выводы на всех уровнях принятия. В некоторых случаях добавление аксиомы приводит к предсказаниям, которые не опровергаются опытом. Это приемлемые теоретические постулаты (и они все же должны быть упорядочены в порядке некоторой простоты). В других случаях теоретический постулат противоречит свидетельствам и наблюдениям, основанным на измерениях, поэтому постулат должен быть отклонен. Таким образом, Кибург предоставляет вероятностно-опосредованную модель предсказательной силы , формирования научных теорий, паутины убеждений и языковых вариаций. Теория принятия опосредует противоречие между лингвистическим категориальным утверждением и вероятностной эпистемологией.