Ana Ozaki

New Steps on the Exact Learning of CNF

2016 · arXiv (Cornell University)

A major problem in computational learning theory is whether the class of formulas in conjunctive normal form (CNF) is efficiently learnable. Although it is known that this class cannot be polynomially learned using either membership …

Learning Horn Envelopes via Queries from Large Language Models

2023 · arXiv (Cornell University)

We investigate an approach for extracting knowledge from trained neural networks based on Angluin's exact learning model with membership and equivalence queries to an oracle. In this approach, the oracle is a trained neural network. …

Non-Normal Modal Description Logics (Extended Version)

2023 · arXiv (Cornell University)

Modal logics are widely used in multi-agent systems to reason about actions, abilities, norms, or epistemic states. Combined with description logic languages, they are also a powerful tool to formalise modal aspects of ontology-based reasoning …