Кіріспе
Есептеулік оқыту теориясы
Математикадағы есептеулік оқыту теориясында, X доменіндегі ұғым – X бойынша толық Бульдық функция. Ұғымдар класы – ұғымдар жиыны. Ұғымдар кластары есептеулік оқыту теориясының пәні болып табылады. Ұғымдар класы терминологиясы модель теориясында, әсіресе шамамен дұрыс (PAC) оқытумен байланысты жиі кездеседі. Бұл жағдайда, егер Y жиынтығын (жіктегіш шығысы) белгілер жиыны ретінде, ал X – мысалдар жиыны ретінде қарастырсақ, мысалдардан жіктегіш белгілеріне (мұнда және c – X-тің ішкі жиыны) жүзеге асырылатын шамалау, c ұғым деп аталады. Ұғымдар класы – мұндай ұғымдардың жиынтығы. C ұғымдар класы берілгенде, D субкласы қолжетімді болады, егер D-де C-дегі s-тің кеңейтулері бар ұғымдардың дәл сол жиыны болса.
In computational learning theory in mathematics, a concept over a domain X is a total Boolean function over X. A concept class is a class of concepts. Concept classes are a subject of computational learning theory. Concept class terminology frequently appears in model theory associated with probably approximately correct (PAC) learning. In this setting, if one takes a set Y as a set of (classifier output) labels, and X is a set of examples, the map , i. e. from examples to classifier labels (where and where c is a subset of X), c is then said to be a concept. A concept class is then a collection of such concepts. Given a class of concepts C, a subclass D is reachable if there exists a sample s such that D contains exactly those concepts in C that are extensions to s.
Өмірбаян
Үлгі — бұл белгілі бір жиыннан функцияның бөлігі. Кез келген ұғымды оның сипаттамалық функциясы арқылы анықтаса, ол үлгінің ерекше жағдайы болып табылады. Егер екі үлгінің анықталу облыстарының қиылысындағы мәндері сәйкес келсе, онда олар үйлесімді болады. Егер екі үлгі үйлесімді болса және бірінші үлгінің анықталу облысы екінші үлгінің анықталу облысына кірсе, онда бірінші үлгі екінші үлгіге кеңейтіледі.
Қолданбалар
Кез келген түсінік классын қарастырайық. Кез келген түсінік үшін , егер барлық жағдайда, түсінік класындағы кем дегенде түсінік классификация бойынша -мен келіссе, онда бұл түсінік оң бүтін сан үшін "жақсы" деп аталады. Түсінік класының "саусақ із" өлшемі – бұл кез келген қолжетімді подкласс "жақсы" түсінікті қамтитын ең кіші оң бүтін сан. Бұл шама түсініктер класын оқу үшін қажетті эквивалентті сұраулардың ең аз санын келесі теңсіздік бойынша шектеу үшін қолданылады: