Henry E. Kyburg Jr. - Henry E. Kyburg Jr.
Henry E. Kyburg Jr. (1928–2007) Gideon Burbank Ahlak Felsefesi Profesörü ve New York Rochester Üniversitesi'nde Bilgisayar Bilimleri Profesörü ve Pensacola, Florida'daki İnsan ve Makine Bilişi Enstitüsü'nde Pace Eminent Akademisyeniydi . İlk öğretim kadrosu Rockefeller Enstitüsü , Denver Üniversitesi , Wesleyan Koleji ve Wayne Eyalet Üniversitesi'ndeydi .
Kyburg olasılık ve mantık üzerine çalıştı ve Piyango Paradoksu (1961) ile tanınır . Kyburg ayrıca , Howard Smokler ile birlikte Studies in Subjective Probability'nin (1964) editörlüğünü yaptı. Bu koleksiyonun Bayes olasılığı ile ilişkisi nedeniyle , Kyburg genellikle bir Bayesçi olarak yanlış anlaşılır. Kendi olasılık teorisi, ilk kez 1961 tarihli Olasılık ve Rasyonel İnancın Mantığı (sırasıyla doktora teziyle yakından ilişkili bir çalışma) kitabında biçim bulan bir teori olan İstatistiksel Çıkarımın Mantıksal Temelleri'nde (1974) ana hatlarıyla belirtilmiştir . Kyburg olarak teorisini tarif Keynes ve Fisherian (bakınız Özlü ve Ronald Fisher ), vaat bir dağıtım Rudolf Carnap'a ve Hans Reichenbach referans sınıflarına göre mantıksal olasılık, Neyman- Pearson istatistiklerine bir reaksiyon (bakınız Jerzy Neyman- , Karl Pearson , ve Neyman-Pearson lemma ) ve Bayesian onay koşullandırmasına göre nötr. İkinci konuda, Kyburg, literatürde yaşam boyu arkadaşı ve meslektaşı Isaac Levi ile tartışmayı genişletti .
Kyburg'un sonraki önemli çalışmaları arasında bir deneme koleksiyonu olan Epistemology and Inference (1983); Theory and Measurement (1984), Krantz–Luce–Suppes–Tversky'nin Foundations of Measurement'ına bir yanıt ; ve Karl Popper'ın ve Bruno de Finetti'nin ampirik verilerin evrensel olarak nicelenmiş bir bilimsel aksiyomu (örneğin, F = ma ) doğrulayamayacağına dair endişelerini gidermeye çalışan Science and Reason (1990 ).
Kyburg, Amerikan Bilim İlerleme Derneği Üyesi (1982), Amerikan Sanat ve Bilim Akademisi Üyesi (1995), Amerikan Yapay Zeka Derneği Üyesi (2002) ve içinde Butler Felsefe Madalyası sahibiydi. Silver , doktorasını Ernest Nagel'in danışmanı olarak aldığı Columbia Üniversitesi'nden . Kyburg ayrıca Yale Üniversitesi'nden mezun oldu ve 1980 Guggenheim Fellow'u oldu .
Kyburg, Lyons, New York'ta karısı Sarah ile Angus sığırlarını yetiştirdiği ve enerjiden bağımsız çiftçiler için rüzgar türbini sistemlerini desteklediği bir çiftliğe sahipti .
felsefi akrabalar
Bugün, Daniel Dennett , Robert Stalnaker , Rich Thomason, Teddy Seidenfeld ve William L. Harper dahil olmak üzere birçok felsefe profesörü bir zamanlar Henry Kyburg'un lisans öğrencileriydi .
AI tez öğrencileri Ronald Loui , Bülent Murtezaoğlu ve Choh Man Teng ve doktora sonrası ziyaretçi Fahiem Bacchus idi. Felsefe öğrencileri, yukarıda listelenenlere ek olarak kızı Alice Kyburg, Mariam Thalos, Gregory Wheeler , William Harper, Abhaya Nayak, Prashanta Bandyopadhaya'yı içeriyordu.
olasılık teorisi
Birkaç fikir, Kyburg'un Kyburgcu veya olasılığın epistemolojik yorumunu birbirinden ayırır :
- Olasılık bir aralıkla ölçülür (bazıları bunu Dempster-Shafer teorisine bir yakınlık olarak görür , ancak Kyburg onların kombinasyon kurallarını kesin olarak reddeder; çalışmaları güven aralıklarına daha yakın kalmıştır ve Bayesçiler tarafından genellikle bir dizi dağılıma bağlılık olarak yorumlanmıştır. Kyburg'un reddetmediği)
- Tüm olasılık ifadeleri, bir referans sınıfında doğrudan frekans çıkarımına kadar izlenebilir (doğrudan çıkarım sonuçları üzerine Bayes kuralı hesaplamaları olabilir, ancak Kyburg'un teorisinde ön dağılım gibi bir şey yoktur)
- Referans sınıfı, uygun frekans bilgisine sahip en spesifik sınıftır (bu, Kyburg'un kesinleştirdiği Reichenbach kuralıdır; çerçevesi daha sonra John L. Pollock tarafından geçersiz bir akıl yürütme sistemi olarak yeniden yorumlandı , ancak Kyburg hiçbir zaman nesnel olasılıkların hesaplanmasını amaçlamadı. hesaplama kusuru nedeniyle sınırlı rasyonalite ile kestirme olun )
- Tüm olasılık çıkarımları, frekansların bilinmemesine değil, frekanslar ve özellikler bilgisine dayanır; bununla birlikte, rastgelelik esasen önyargı bilgisi eksikliğidir (Kyburg özellikle Harold Jeffreys , ET Jaynes'in maksimum entropist yöntemlerini ve burada Kayıtsızlık İlkesi'nin diğer kullanımlarını reddeder ; ve Kyburg burada şansın pozitif olarak ileri sürülmesi gerektiğine inanan Isaac Levi ile aynı fikirde değildir. ilgili fiziksel simetrilerin bilgisi üzerine)
- İlgili bilgi üzerinde anlaşma sağlandıktan sonra olasılık üzerinde hiçbir anlaşmazlık yoktur; bu, kanıtsal bir duruma görelileştirilmiş bir nesnelciliktir (yani, bir sınıfta gözlenen özelliklerin bir dizi sıklığına ve olayların bir dizi iddia edilen özelliklerine görelileştirilmiş)
Örnek: Kabul düzeyinde bir Bilgi külliyatı varsayalım . Bu derlemde yer alan ifadeler,
e is a T1 and e is a T2.
gözlemlenen
frequency of P among T1 is .9.
gözlemlenen
frequency of P among T2 is .4.
e'nin bir P olma olasılığı nedir ?
Burada, birbiriyle çelişen iki referans sınıfı vardır, bu nedenle olasılık ya [0, 1] ya da .4 ve .9'u birleştiren bir aralıktır, bu bazen sadece [.4, .9] olur (ancak genellikle farklı bir sonuç garantili). bilgi eklemek
All T1's are T2's
şimdi T1'i en spesifik ilgili referans sınıfı ve tüm müdahale eden referans sınıflarının hakimi yapıyor . Bu evrensel sınıf içerme beyanı ile,
the probability is [.9, .9], by direct inference from T1.
Kyburg'un kuralları, karmaşık kısmi siparişlerde çatışma ve boyun eğme için geçerlidir.
Rasyonel inancın kabulü ve ilkeleri
Kyburg'un çıkarımları her zaman ahlaki olarak kesin ifadelerin bir bütününü tanımlayan bir kabul düzeyine görelileştirilir . Bu, bir güven düzeyi gibidir, ancak Neyman-Pearson teorisinin geriye dönük hesaplama ve gözlem sonrası kabulden yasaklanması, Kyburg'un olasılıkların epistemolojik yorumu her ikisine de izin verir. Kabul düzeyinde, kabul düzeyinden daha olası olan herhangi bir ifade, bir kesinlikmiş gibi kabul edilebilir. Bu, Kyburg'un ünlü piyango paradoksunda gösterdiği mantıksal tutarsızlık yaratabilir .
Yukarıdaki örnekte, bu hesaplama , e bir P .9 olasılıkla izin kabul beyanı ve e, bir P olan alt kabul herhangi bir seviyede, kategorik daha hesaplama bir kabul seviyesi üzerinde gerçekleştirildi bu da varsayılarak .9 ( .9). İlginç olan gerilim, çok yüksek düzeydeki kabullerin birkaç kanıtlayıcı ifade içermesidir. Bu duyular geçmişte sıklıkla aldatılmışsa , duyuların ham gözlemlerini bile içermezler. Benzer şekilde, bir ölçüm cihazı .95 oranında bir hata aralığı içinde rapor veriyorsa, hata aralığı genişletilmedikçe .95'in üzerinde hiçbir ölçülebilir ifade kabul edilemez. Bu arada, daha düşük kabul seviyelerinde, o kadar çok çelişkili ifade kabul edilebilir ki, tutarsızlık olmadan yararlı hiçbir şey elde edilemez.
Kyburg'un evrensel olarak nicelleştirilmiş cümleleri ele alış biçimi, onları dilin Ur-corpus'una veya anlam önermelerine eklemektir . Orada, F = ma veya tercih geçişlidir gibi bir ifade , tüm kabul seviyelerinde ek çıkarımlar sağlar. Bazı durumlarda, bir aksiyomun eklenmesi, deneyimle çürütülmeyen tahminler üretir. Bunlar kabul edilebilir teorik varsayımlardır (ve yine de bir tür basitlikle düzenlenmelidirler). Diğer durumlarda, teorik varsayım, kanıt ve ölçüme dayalı gözlemlerle çelişir, bu nedenle varsayım reddedilmelidir. Bu şekilde Kyburg, tahmin gücü , bilimsel teori oluşumu, İnanç Ağı ve dilsel çeşitlilik için olasılık aracılı bir model sağlar . Kabul teorisi, dilbilimsel kategorik iddia ile olasılığa dayalı epistemoloji arasındaki gerilime aracılık eder.