Vi anser att ett deklarativt ramverk för maskininlärning där begrepp och hypoteser definieras av formler för en logik över någon "bakgrundsstruktur". Vi visar att inom denna ram kan begrepp som definieras av första ordningens formler över en bakgrundsstruktur av högst polylogaritmisk examen läras i polylogaritmisk tid i "sannolikt ungefär korrekt" lärande känsla.
Grohe och Ritzert REF visade att första ordningens formler är PAC-lärbara över bakgrundsstrukturer av polylogaritmisk grad.
Learning first-order definable concepts over structures of small degree
{'venue': '2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)', 'journal': '2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)', 'mag_field_of_study': ['Mathematics', 'Computer Science']}