Cyc

Cyc insan-gibi reasoningilizce yapmak için imkan vermenin yapay zeka uygulamaları imkan vermenin gayesiyle hergün sağduyu bilgisinin veritabanısı ve geniş bir ontolojiyi bir araya toplamak için kalkışan yapay zeka bir projedir: Bilgi temelinin

Contents

1 Overview 2 tanımlaması , Cyc Project 6 'nın terminology 3 OpenCyc 4 ResearchCyc 5 eleştirileri Microelectronics 'in bölümü ve bilgisayar teknolojisi anonim şirketi gibinin, Doug Lenat tarafından 1984'i çalışmaya başladılan also 7 References 8 dış links

//

Overview

The projeni görür. Ad" Cyc" ( " Ansiklopedi" , pskolojiden hoşlananı telaffuz etti) Kayıtlı bir marka Cycorp tarafından , Inc sahip olunur mu. Austin 'de , Texas , Lenat tarafından bir şirket koşuş ve Cycun gelişmesine adadı. Orijinal bilgi temeli özeldir fakat Bilgi temelinin bir daha küçük versiyonu , Otomatik düşünme için yaygın bir kelime haznesini kurmak için niyet etti , bir açık kaynaklı lisansının altında OpenCyc gibi yayınlandı. Daha fazla , Cyc ResearchCyc gibi bir araştırma-amaçlar lisansın altında yapay zeka araştırmacılarına müsaidi geçenlerde yapılmış. Veritabanıda gösterilen bilgi

Typical parçaları " Her üç bir bitkidir" Ve" Bitkiler sonunda ölür" . Netice çıkarma motoru açık son ve cevap sorusunu doğru olarak çizebilir mi acaba Sorunca kalıbı sıkıştırır. Bilgi temeli( KB) Bir milyon insan-defined iddiaların üzerinde , yönetimler veya sağduyu fikirleri içerir. Bunlar dil CycLda , formüle edilir ve Peltekliğini yüklem hesaba dayalı olan dili programlıyor olan bir sözdizimi benzeri var. CycL kullanıcılar onlar olduğu kelime oyunu yapar" Bisikletçiler" . Cyc projedeki akım işinin

Muchu bilgi mühendisliği olmak için devam eder , Dünya hakkında gerçekleri elle gösteriyor , Ve o bilgide verimli netice çıkarma mekanizmaları tamamlıyor. Gittikçe artarak bununla beraber Cycorptaki iş Cyc sistem yetenek vermeyi doğal dilde son kullanıcılarıyla haberleşmek için gerektirir , Bilgi düzeniyle yardım et makine öğrenmesinin yolu ile işlem yapar. Bilgi temelinin

tanımlaması , Cycdaki terminology

The kavram adlar sabitler gibi bilinir. Sabit ilk iş olarağı bir isteğe bağlı" #$" Ve durum-duyarlıdır. Sabitler var:

• Individual parçalar kiÅŸiseller , meselâ #$BillClinton veya #$France gibi bildi.
• Collections , meselâ #$Tree-ThePlant( Tüm aÄŸaçlar içerme) Veya #$EquivalenceRelation( Tüm eÅŸitlik iliÅŸki içerme) . Bir koleksiyonun bir üyesi o koleksiyonun bir örneÄŸini çağırılır. . EÄŸer iki tartışma siblings olursa örneÄŸin #$siblings sibling iliÅŸki , doÄŸrudur. Kongre tarafından , gerçek fonksiyonu sabidi ilk iÅŸ olarağı bir aÅŸağı-durum mektup. Gerçek fonksiyonları mantıksal connectivese bozululan olur( Meselâ #$and , #$or , #$not , #$implies) , ölçücüler( #$forAll , #$thereExists , vb.. ) Ve doÄŸrular.
• Functions , veri olanlardan hangisi ürün yeni dönemler. ÖrneÄŸin , #$FruitFn , bir tipi tanımlıyor olan bir tartışmayla saÄŸlayınca( Veya koleksiyon) Bitkilerini , meyvelerinin koleksiyonuna geri dönecek. Kongre tarafından , fonksiyon sabidi ilk iÅŸ olarağı bir ayakkabı yüzü-durum mektup ve iple son" Fn" .

The en önemli yüklemler #$isa ve #$genlstir. Şu parçası tanımlayan ilk birisi , İkinci olan şu koleksiyonu başka olanın bir subcollectionudur. Bazı koleksiyonun bir örneğidir Kavramlar hakkında gerçekler mahkum eden kesin CycL kullanmanı öne sürdü. Yüklemler tartışmaları , parantezdeden önce yazılır:

( #$isa #$BillClinton #$UnitedStatesPresident)

" Fatura Clinton U 'ın koleksiyonuna ait olur. S. Başkanlar" And

( #$genls #$Tree-ThePlant #$Plant)

" Tüm ağaçlar bitkilerdir" .

( #$capitalCity #$France #$Paris)

" Paris Fransa baÅŸkendidir. "

Sentences değişkenleri hatta içerebilir , İpler başlıyor" ? " . Bu cümleler çağırılır" Yönetimler" . Bir önemli kural #$isa yüklem reads

hakkında öne sürdü( #$implies( #$and( #$isa? OBJ? SUBSET) ( #$genls? SUBSET? SUPERSET) ) ( #$isa? OBJ? SUPERSET) ) " Eğer OBJ koleksiyon SUBSET 'ın bir örneği olursa OBJ o zaman koleksiyon SUPERSET 'ın bir örneğidir" ve SUBSET SUPERSET 'ın bir subcollectionudur . Başka tipik örnek is

( #$relationAllExists #$biologicalMother #$ChordataPhylum #$FemaleAnimal)

which koleksiyon #$ChordataPhylumun her örneği için onu kastetir( Ben. E. Her chordate için) , orada dişi bir hayvan var olur( #$FemaleAnimalın örneği) Annesi hangisidir( Yüklem #$biologicalMother tarafından tanımladı) .

The bilgi temeli microtheoriese bölünür( Mt) , kavramların koleksiyonları ve gerçekler bilginin bir özel üIkesine tipik olarak ait oluyor. Bilgi temelinden farklı olarak bir bütün , her bir microtheory ayrılıklardan bedava olmak için gerektirilen olduğun gibi. düzenli bir sabit olan her bir microtheoryun bir adı var; Microtheory sabitler ipi içerir" Mt" Kongre tarafından. Bir örnek #$MathMttır , Microtheory matematiksel bilgiyi içeriyor. Microtheories birbiriniden miras alabilir ve Bir hiyerarşide organize edilir: #$MathMtın bir ihtisası #$GeometryGMt , geometri hakkında microtheorydur. OpenCyc 'un

OpenCyc

The en son versiyonu , 1.0 , Temmuz 2006 'da yayınlandı. Birbirini 1.0 dönemlerin binlerinin yüzleri içeriyor olan tam Cyc ontolojini içerir , İddiaların milyonlarıyla beraber birbiriniye dönemleri anlatıyor. Bilgi temeli 47,000 kavramları içerir ve 306,000 gerçekler ve OpenCyc web sitesinde gözden geçirilen olur. OpenCyc 'un ilk versiyonu 2001 'de yayınlandı ve 6,000 kavramlar ve 60,000 gerçekleri yalnızca içerdi. Bilgi temeli külhanbeyi lisansının altında yayınlanır. Cycorp niyetini kullanıcılarının ihtiyaçları karşılaşmak için sınırsız licences , paralelin altında OpenCycu yayınlamak için ifade etti. CycL ve SubL tercüman( netice çıkarmaları çizmek gibi gözden geçirmek için size izin veren program) ve Veritabanıyı bile düzenleyin kaynak kodusuz çift bir gibi ücreti ödenmiş , fakadı yalnızca yayınlanır mı. O öküz başlı kıvrık boynuzlu/linux için müsait ve pencereler içindir.

ResearchCyc

In Temmuz 2006 , Cycorp ResearchCyc 1.0 , bir bedavayı yayınladı( Fakat açık kaynaklı) Cycun versiyonu araştırma topluluğunda amaçladı. ( ResearchCyc 2004 'ün tamamı boyunca gelişmenin beta aşamasındaydı; Bir ikinci sürüm Şubat 2005 'te yayınlandı. ) Taxonomic bilgiye ek olarak OpenCyc 'da içerdi , ResearchCyc significantly daha fazla anlama ait bilgiyi içerir( Ben. E. , ek gerçekler) Bilgi temelindeki kavramlar hakkında ve Geniş bir sözlüğü içerir , İngilizce çözümlüyor ve Kuşak araçları ve Java bilgi düzenlemesi için arayüzler ve queryingilizceyi kurdu:

Cycorp dönemlerin tamamı yayınlamanın niyetini açıkça ifade etti ve Taxonomic ilişkiler OpenCyc 'un bölümü ve bu OpenCyc 1.0 'ın sürümüyle başarılan olduğun gibi ResearchCyc 'da içerdi. Bir belirli gaye anlama ait webde kullanmak için tamamen bedava bir sağlamanın osu ve sınırsız anlama ait kelime haznesidir. OpenCyc taxonomy OpenCyc web sitesinde baykuşta müsaittir. Cyc Project

The Cyc projenin

eleştirileri tanımlanmış" Yapay zeka tarihin en tartışmalı gayretlerinin birisi" ( Bertino et al , p. 275) , bu yüzden o eleştiri payını kaçınılamaz surette topladı. Eleştiriler gerektirir: Sistemin

• The karmaşıklığı- Encyclopædic tutkuları tarafından tartışarak gerektirdi- Ve yaygın reificationdan hand
• Scalability problemler tarafından sisteme ilave etmedeki sonucu olan güçlük , madde kavramının constants
• Unsatisfactory tedavisi ve asıl arasında benzeyen fark ve herhangi bir anlamlı karşılaÅŸtırmalı deÄŸerlendirmenin dıştan gelen properties
• The eksikliÄŸi veya her ikisi geniÅŸlikte sistemin Cyc's netice çıkarma engine
• The akım eksikliÄŸinin verimliliÄŸi için kıyas ve derinlik ve ölçme güncellenmiÅŸ çevrim içi alıştırma maddinin completeness
• Limited documentation
• The eksikliÄŸinde benzeyen güçlük systems

These yayınları öğrenmek için ona projenin başlamasıdan berinin, çeşitli yerlerde tartışılan yeni insanlar için zor yaptığı gibi özellikle; Doug Lenat ve diğerleri savunmasında çok tartışmayı.

also

• Chinese room
• ConceptNet
• DAML
• Mindpixel
• Open akıl yaygın Sense
• Semantic Web
• SHRDLU

References

• Elisa Bertino , Gian Piero Zarri , Barbara Catania , Gian Pierro Zarri'yi görür( 2001) . Zeki veritabanı sistemleri. Addison-Wesley profesyonel. ISBN ISBN 0-201-87736-8.
• Matuszek , Cynthia , M. Witbrock , R. Kahlert , J. Cabral , D. Schneider , P. Åžah ve D. Lenat. SaÄŸduyu için araÅŸtırma: Webden Cyc nüfusunu artırma. Yapay zekadaki yirminci ulusal konferansın tutanağında , Pittsburgh , Pennsylvania , Temmuz 2005. [ 1]
• Shepard , Blake , C. Matuszek , C. B. Fraser , W. Wechtenhiser , D. Crabbe , Z. Güngördü , J. Jantos , T. Hughes , L. Lefkowitz , M. Witbrock , D. Lenat , E. Larson. Bir bilgi-Based aÄŸ güvenliÄŸine yaklaşır: AÄŸ riski deÄŸerlendirmesi bilgi alanısındaki Cyc baÅŸvurma. Yapay zeka konferansın on yedinci yenilikçi uygulamalarının tutanağında , Pittsburgh , Pennsylvania , Temmuz 2005. [ 2]
• Ramachandran , Deepak , P. Reagan , K. Goolsbey. Ä°lk-Orderized ResearchCyc: Expressivity ve bir yaygın-duyum ontolojideki verimlilik. BaÄŸlamlardaki AAAI dükkandan kağıtlarda ve ontolojiler: Teori , uygulama ve uygulamalar. Pittsburgh , Pennsylvania , Temmuz 2005. [ 3]
• Cabral , John , R. C. Kahlert , C. Matuszek , M. Witbrock , B. Yazlar. Tümevarımsal meyile anlama ait Meta-bilgi çevirme. Tümevarımsal mantıktaki 15'inci uluslararası konferansın tutanağında , Bonn , Almanya , aÄŸustos 2005'i programlıyor. [ 4]
• Schneider , Dave , C. Matuszek , P. Åžah , R. Kahlert , D. Baxter , J. Cabral , M. Witbrock , D. Lenat. Toplama ve zeka analiz için gerçekleri yönetiyor. Zeka analizdeki 2005 uluslararası konferansın tutanağında , McLean , Virjinya , 2005. [ 5]
• Forbus , Kenneth , L. Birnbaum , E. Wagner , J. Fırıncı & amper; M. Witbrock. Benzerlik birleÅŸtirme , zeki bilgi yeniden ele geçirmesi , ve analiz için bilgi bütünleÅŸtirme: Ä°lk bir rapor. Zeka analizdeki 2005 uluslararası konferansın tutanağında , McLean , Virjinya , 2005. [ 6]
• Deaton , Chris , B. Shepard , C. Klein , C. Mayans , B. Yazlar , bir. Brusseau , M. Witbrock. Cycdaki geniÅŸ terörizm bilgi temel. Zeka analizdeki 2005 uluslararası konferansın tutanağında , McLean , Virjinya , 2005. [ 7]
• Rode , Benjamin. Ä°liÅŸkisel verideki örnek geri almasının bir örneÄŸine karşı. Zeka analizdeki 2005 uluslararası konferansın tutanağında , McLean , Virjinya , 2005. [ 8]
• Siegel , çentik , B. Shepard , J. Cabral , M. Witbrock. Hipotez kuÅŸak ve zeka analiz için delil toplantı: Cycorp's Nooscape uygulama. Zeka analizdeki 2005 uluslararası konferansın tutanağında , McLean , Virjinya , 2005. [ 9]
• Curtis , Jon , G. Matthews , D. Baxter. Bir sorudaki Cycun etkili kullanmasında bilgide IJCAI dükkandan kağıtlarda sistem ve sorular cevaplama için düşünme , Edinburgh , iskoçyayı cevaplıyor: 2005. [ 10]
• Witbrock , Michael , C. Matuszek , bir. Brusseau , R. C. Kahlert , C. B. Fraser , D. Lenat. Bilgi bilginin babası olur: Adımlar gönüllü bağışçılarından bilgi koleksiyonunda 2005 AAAI ilkbahar sempozyumundan kağıtlarda Cycda bilgi edinmeye yardım etti( KCVC) , pp. 99-105. Stanford , California , mart 2005. [ 11]
• Belasco , Alan , J. Curtis , RC Kahlert , C. Klein , C. Mayans , R. Reagan. Bilgi yarıklar gösterme etkili bir ÅŸekilde. D 'da. Karagiannis , U. Reimer( Eds. ) : Bilgi yönetiminin pratik görünüşleri , PAKM 2004 'ün tutanağı , viyana , Avusturya , aralık 2-3 , 2004 , sıçrayan-Verlag , Berlin Heidelberg. [ 12]
• Siegel , çentik , G. Matthews , J. Efendiler , R. Kahlert , M. Witbrock ve K. Pittman. Ajan mimarlıkları: Yazılım mühendisliÄŸi güçleri birleÅŸtirme ve zeki ajan mimarlıklarındaki AAAI dükkandan kağıtlardaki Cognitive sistemler: Yazılım mühendisliÄŸi güçleri birleÅŸtirme ve Cognitive sistemler , teknik raporu WS-04-07 , pp. 74-79. Menlo park , California: AAAI , 2004'i basar. [ 13]
• Witbrock , Michael , K. Panton , S. L. Kamış , D. Schneider , B. Aldag , M. Reimers ve S. Bertolo. Otomatik baykuÅŸ çıkması bilgi fiyat yükseliÅŸinde 2004 dükkanın dükkan iÅŸaretlerinde ve 3rd uluslararası anlama ait web konferansı ISWC2004 'nde anlama ait çıkma , Hiroshima , Japonya , kasım 2004 , pp kuran geniÅŸ bir bilgi tarafından yardım etti. 71-80. [ 14]
• Masters , reçeller ve Z. Güngördü. Plânlanmış bilgi kaynağı bütünleÅŸtirmesi: Bir geliÅŸim raporu. Bilgi yoÄŸun Multiagent sistemler bütünleÅŸtirmesinde , Cambridge , Massachusetts , Amerika BirleÅŸik Devletleri , 2003. [ 15]
• O'Hara , Tom , N. Salay , M. Witbrock , et al. Cyc bilgi temeli kullanma için kriter ikna etme ve WordNet 'e uzatması. Sayısal anlama aitlerdeki beÅŸte bir uluslararası dükkanın tutanağında , Tilburg , 2003. [ 16]
• Witbrock , Michael , D. Baxter , J. Curtis , et al. Cycdaki bilgi edinmesi için etkileÅŸimli bir diyalog sistem. Yapay zekadaki onsekizinci uluslararası eklem konferansın tutanağında , Acapulco , Meksika , 2003. [ 17]
• Panton , Kathy , P. Miraglia , N. Salay , et al. Bilgi düzeni ve diyalog KRAKEN Toolset'i kullanıyor. Yapay zekadaki onsekizinci vatandaÅŸ konferansında , Edmonton , Kanada , 2002. [ 18]
• Masters , reçeller. Plânlanmış bilgi kaynağı bütünleÅŸtirmesi ve bilgi füzyonuna uygulamaları. Bilgi füzyonundaki beÅŸte bir uluslararası konferansın tutanağında , Annapolis , MD , Temmuz 2002. [ 19]
• Reed , Stephen ve D. Lenat. Cyca ontolojiler haritasını yapma. Anlama ait web için ontolojilerdeki AAAI 2002 konferans dükkanında , Edmonton , Kanada , Temmuz 2002. [ 20]
• D. Lenat ve R. V. Guha. ( 1990) . GeniÅŸ bilgi-Based sistemler oluÅŸturma: Gösterme ve Cyc projedeki netice çıkarma. Addison-Wesley. ISBN 0-201-51752-3.
• The imgesel düşünme makinesi tuzu 9000 anlamak için yaratıcısının, adı niçin kullandığı bir encyclopaedic veritabanına ulaşıyor olanı açık bir ÅŸekilde gördü" Anka" Çevirimiçi ikiz birimi getirme , 2001 destanda HAL 9000'e yardım edecek olan teÅŸhise ait-amaç simülasyon için.
• The imgesel düşünme makinesi KARR( Şövalye binicisi) Temel insan arzularını kontrol ediyorken bir veritabanı kullanmayı görülür mü( Olay" Güven paslanmaz" ) . Cycorp webpage
• Opencycden

dış links

• Cycorp homepage
• Publications müsait. Org( Birkaç dersleri içerir)
• research. Cyc. OpenCyc bilgi base
• sourceforgenini gözden geçiriyor olan halka izin veren com
• The Cyc Foundation
• Servers. AÄŸ/projects/opencyc , zirve-düzey Cyc ontolojinin açık kaynaklı sürümü( Temmuz 14 , 2006'i yaradılan 1.0'i yayınlar)
• OpenCyc C API
• Whatever düşündüğü iÅŸlemek için oldu? 23 Nisan 2005 , yeni Scientist
• Common duyum 15 Nisan 2006 , yeni Scientist
• " Bir Cyclisdin itirafları" Cyc

hakkında - bir blog