AINeutralarXiv – CS AI · 9h ago6/10
🧠
Bounded Fitting for Expressive Description Logics
Researchers extend bounded fitting—a machine learning paradigm for logical formula discovery—to more expressive description logics beyond ALC, maintaining PAC-style guarantees while implementing practical solutions via SAT solvers. The work demonstrates that this approach scales to complex logical systems with inverse roles and qualified restrictions, achieving competitive results against existing concept learners.