Deduktiv klassifikator - Deductive classifier

A deduktiv klassifikator ning bir turi sun'iy intellekt xulosa mexanizmi. Bu $ a $ deklaratsiyalar to'plamini oladi ramka tili tibbiy tadqiqotlar yoki molekulyar biologiya kabi domen haqida. Masalan, sinflar, kichik sinflar, xususiyatlar va ruxsat etilgan qiymatlar bo'yicha cheklovlar. Tasniflovchi turli xil deklaratsiyalarning mantiqan mos kelishini yoki yo'qligini aniq bir-biriga mos kelmaydigan deklaratsiyalarni va ular orasidagi nomuvofiqlikni ajratib ko'rsatishini aniqlaydi. Agar deklaratsiyalar bir-biriga mos keladigan bo'lsa, klassifikator kiritishga asoslangan holda qo'shimcha ma'lumotlarni tasdiqlashi mumkin. Masalan, u mavjud sinflar haqida ma'lumot qo'shishi, qo'shimcha sinflar yaratishi va hk. Bu qoidalardagi IF-THEN shartlarini keltirib chiqaradigan an'anaviy xulosa chiqaruvchi dvigatellardan farq qiladi. Klassifikatorlar ham shunga o'xshashdir teorema isboti ular kirish sifatida qabul qilib, orqali mahsulot ishlab chiqaradilar Birinchi tartibli mantiq. Tasniflagichlar kelib chiqishi KL-ONE Frame tillari. Hozirda ular texnologiyaning bir qismini tashkil qilganligi sababli ular tobora ahamiyat kasb etmoqda Semantik veb. Zamonaviy klassifikatorlar Veb-ontologiya tili. Ular tahlil qiladigan va ishlab chiqaradigan modellar deyiladi ontologiyalar.[1]

Tarix

Klassik muammo bilimlarni namoyish etish chunki sun'iy intellekt - bu bilimlarni namoyish etish tizimining ta'sirchan kuchi va hisoblash samaradorligi o'rtasidagi savdo. Bilimlarni namoyish etishning eng kuchli shakli bu birinchi darajali mantiq (FOL). Biroq, birinchi darajali mantiqning to'liq ekspresiv kuchini ta'minlaydigan bilimlarni namoyish qilishni amalga oshirish mumkin emas. Bunday vakillik takrorlashning iloji bo'lmagan barcha butun sonlar to'plami kabi tushunchalarni namoyish etish imkoniyatini o'z ichiga oladi. Ta'rif bo'yicha cheksiz to'plam uchun miqdoriy tasdiqni amalga oshirish, to'xtab bo'lmaydigan dasturni keltirib chiqaradi. Biroq, muammo cheksiz to'plamlarni amalga oshira olmaslikdan ko'ra chuqurroqdir. Levesque ko'rsatganidek, bilimlarni namoyish etish mexanizmi FOLga qanchalik yaqin bo'lsa, hisoblash uchun cheksiz yoki qabul qilinishi mumkin bo'lmagan katta manbalarni talab qiladigan iboralar paydo bo'lishi ehtimoli shunchalik yuqori bo'ladi.[2]

Ushbu kelishuv natijasida, sun'iy intellekt uchun bilimlarni namoyish qilish bo'yicha ko'plab dastlabki ishlar FOLning kichik qismini qabul qilinadigan hisoblash tezligi bilan ta'minlaydigan turli xil kelishuvlar bilan tajriba o'tkazishni talab qildi. Birinchi va eng muvaffaqiyatli kelishuvlardan biri asosan tillarni rivojlantirish edi modus ponens, ya'ni IF-THEN qoidalari. Qoidalarga asoslangan tizimlar deyarli barcha erta bilimlarni namoyish etish mexanizmi edi ekspert tizimlari. Qoidalarga asoslangan tizimlar qabul qilinadigan hisoblash samaradorligini ta'minladi va shu bilan birga kuchli bilimlarni taqdim etdi. Shuningdek, bilimlar uchun qoidalar juda intuitiv edi. Darhaqiqat, tadqiqotchilarni qoidalarga asoslangan bilimlarni namoyish qilishni rivojlantirishga undagan ma'lumotlardan biri bu psixologik tadqiqotlar bo'lib, odamlar ko'pincha murakkab mantiqni qoidalar orqali namoyish etishgan.[3]

Biroq, qoidalarga asoslangan tizimlarning dastlabki muvaffaqiyatlaridan so'ng, ramkalar tillari o'rniga qoidalar bilan keng tarqalgan yoki tez-tez ishlatib turadigan keng tarqalgan foydalanish paydo bo'ldi. Kadrlar ma'lum turdagi tushunchalarni, ayniqsa subpart yoki subklass ierarxiyasidagi tushunchalarni aks ettirishning tabiiy usulini taqdim etdi. Bu klassifikator deb nomlanuvchi yangi xulosa dvigatelining rivojlanishiga olib keldi. Tasniflovchi sinf ierarxiyasini tahlil qilishi mumkin (shuningdek, ontologiya ) va uning haqiqiyligini aniqlang. Agar iyerarxiya yaroqsiz bo'lsa, klassifikator mos kelmaydigan deklaratsiyalarni ta'kidlaydi. Klassifikatordan foydalanish uchun til uchun rasmiy asos zarur edi. Tasniflagichni muvaffaqiyatli namoyish etgan birinchi til KL-ONE tillar oilasi edi. The LOOM tili ISI dan KL-ONE kuchli ta'sir ko'rsatdi. LOOM-ga ob'ektga yo'naltirilgan vositalar va muhitning tobora ommalashib borishi ham ta'sir ko'rsatdi. Loom Frame tili imkoniyatlaridan tashqari haqiqiy ob'ektga yo'naltirilgan imkoniyatni taqdim etdi (masalan, xabarlarni uzatish). Tasniflagichlar "Semantik veb" nomi bilan mashhur bo'lgan keyingi avlod Internetini yaratishda muhim rol o'ynaydi. Veb-ontologiya tili Hermit va Fact ++ kabi klassifikatorlar orqali tasdiqlanishi va asoslanishi mumkin bo'lgan formalizmni ta'minlaydi.[4]

Amaliyotlar

Protege Ontologiya muharriri

Tasniflagichlarning dastlabki versiyalari mantiqiy teorema tasdiqlovchilari. A bilan ishlaydigan birinchi klassifikator Kadr tili edi KL-ONE klassifikator.[5][6] Keyinchalik keng tarqalgan tizimga asoslangan tizim Axborot fanlari institutining LOOM edi. LOOM ramka tili bilan bir qatorda Common Lisp Object System-dan foydalangan holda ob'ektga yo'naltirilgan haqiqiy imkoniyatlarni taqdim etdi.[7] Semantik Internetda Protege vositasi Stenford standart muhitning bir qismi sifatida tasniflagichlarni (mulohazachilar deb ham ataladi) beradi.[8]

Tashqi havolalar

Adabiyotlar

  1. ^ Berners-Li, Tim; Xendler, Jeyms; Lassila, Ora (2001 yil 17-may). "Semantik veb-kompyuterlar uchun mazmunli bo'lgan veb-tarkibning yangi shakli yangi imkoniyatlar inqilobiga sabab bo'ladi". Ilmiy Amerika. 284 (5): 34–43. doi:10.1038 / Scientificamerican0501-34. Arxivlandi asl nusxasi 2013 yil 24 aprelda.
  2. ^ Levesk, Gektor; Ronald Braxman (1985). "Bilimlarni aks ettirish va mulohaza yuritishning asosiy savdosi". Ronald Braxman va Ektor J. Leveskda (tahrir). Bilim vakolatxonasida o'qish. Morgan Kaufmann. p.49. ISBN  978-0-934613-01-9. KR xizmatini teoremaga qisqartirishda yaxshi yangilik shundaki, biz hozirda KR tizimi nima qilishi kerakligi to'g'risida juda aniq va aniq tushunchaga ega; yangi yomon tomoni shundaki, bu xizmatlarni taqdim eta olmasligi aniq ... FOL-dagi jumla teorema yoki yo'qligi to'g'risida qaror qabul qilish ... hal qilinmaydi.
  3. ^ Xeys-Rot, Frederik; Waterman, Donald; Lenat, Duglas (1983). Ekspert tizimlarini qurish. Addison-Uesli. pp.6–7. ISBN  978-0-201-10686-2.
  4. ^ MacGregor, Robert (1994). "Bashoratli hisoblash uchun tavsiflovchi tasniflovchi" (PDF). AAAI - 94 ta protsess. Olingan 17 iyul 2014.
  5. ^ Vuds, V. A.; Schmolze, J. G. (1992). "KL-ONE oilasi". Ilovalar bilan kompyuterlar va matematika. 23 (2–5): 133–177. doi:10.1016/0898-1221(92)90139-9.
  6. ^ Braxman, R. J.; Schmolze, J. G. (1985). "KL-ONE ma'lumotlarini taqdim etish tizimiga umumiy nuqtai". Kognitiv fan. 9 (2): 171–216. doi:10.1207 / s15516709cog0902_1.
  7. ^ MacGregor, Robert (1991 yil iyun). "Bilimlarning namoyishini kuchaytirish uchun tavsif klassifikatoridan foydalanish". IEEE Expert. 6 (3): 41–46. doi:10.1109/64.87683.
  8. ^ "Protege Wiki: Protege bilan birlashadigan mulohazalar". Stenford universiteti. Olingan 19 iyul 2014.